29 void ProgramStateRetain(const ProgramState *state) {  in ProgramStateRetain()
30   ++const_cast<ProgramState*>(state)->refCount;  in ProgramStateRetain()
34 void ProgramStateRelease(const ProgramState *state) {  in ProgramStateRelease()
36   ProgramState *s = const_cast<ProgramState*>(state);  in ProgramStateRelease()
40     s->~ProgramState();  in ProgramStateRelease()
46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,  in ProgramState()  function in ProgramState
56 ProgramState::ProgramState(const ProgramState &RHS)  in ProgramState()  function in ProgramState
62 ProgramState::~ProgramState() {  in ~ProgramState()
67 int64_t ProgramState::getID() const {  in getID()
68   return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this);  in getID()
100   ProgramState NewState = *state;  in removeDeadBindingsFromEnvironmentAndStore()
113 ProgramStateRef ProgramState::bindLoc(Loc LV,  in bindLoc()
128 ProgramState::bindDefaultInitial(SVal loc, SVal V,  in bindDefaultInitial()
138 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const {  in bindDefaultZero()
150 ProgramState::invalidateRegions(RegionList Regions,  in invalidateRegions()
167 ProgramState::invalidateRegions(ValueList Values,  in invalidateRegions()
180 ProgramState::invalidateRegionsImpl(ValueList Values,  in invalidateRegionsImpl()
218 ProgramStateRef ProgramState::killBinding(Loc LV) const {  in killBinding()
232 ProgramState::enterStackFrame(const CallEvent &Call,  in enterStackFrame()
239 SVal ProgramState::getSelfSVal(const LocationContext *LCtx) const {  in getSelfSVal()
246 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const {  in getSValAsScalarOrLoc()
262 SVal ProgramState::getSVal(Loc location, QualType T) const {  in getSVal()
303 ProgramStateRef ProgramState::BindExpr(const Stmt *S,  in BindExpr()
312   ProgramState NewSt = *this;  in BindExpr()
318 ProgramState::assumeInBoundDual(DefinedOrUnknownSVal Idx,  in assumeInBoundDual()
362 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx,  in assumeInBound()
371 ConditionTruthVal ProgramState::isNonNull(SVal V) const {  in isNonNull()
378 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const {  in areEqual()
382 ConditionTruthVal ProgramState::isNull(SVal V) const {  in isNull()
397   ProgramState State(this,  in getInitialState()
408   ProgramState NewState(*FromState);  in getPersistentStateWithGDM()
413 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) {  in getPersistentState()
419   if (ProgramState *I = StateSet.FindNodeOrInsertPos(ID, InsertPos))  in getPersistentState()
422   ProgramState *newState = nullptr;  in getPersistentState()
428     newState = (ProgramState*) Alloc.Allocate<ProgramState>();  in getPersistentState()
430   new (newState) ProgramState(State);  in getPersistentState()
435 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const {  in makeWithStore()
436   ProgramState NewSt(*this);  in makeWithStore()
441 ProgramStateRef ProgramState::cloneAsPosteriorlyOverconstrained() const {  in cloneAsPosteriorlyOverconstrained()
442   ProgramState NewSt(*this);  in cloneAsPosteriorlyOverconstrained()
447 void ProgramState::setStore(const StoreRef &newStore) {  in setStore()
460 void ProgramState::printJson(raw_ostream &Out, const LocationContext *LCtx,  in printJson()
487 void ProgramState::printDOT(raw_ostream &Out, const LocationContext *LCtx,  in printDOT()
492 LLVM_DUMP_METHOD void ProgramState::dump() const {  in dump()
496 AnalysisManager& ProgramState::getAnalysisManager() const {  in getAnalysisManager()
504 void *const* ProgramState::FindGDM(void *K) const {  in FindGDM()
523   ProgramState::GenericDataMap M1 = St->getGDM();  in addGDM()
524   ProgramState::GenericDataMap M2 = GDMFactory.add(M1, Key, Data);  in addGDM()
529   ProgramState NewSt = *St;  in addGDM()
535   ProgramState::GenericDataMap OldM = state->getGDM();  in removeGDM()
536   ProgramState::GenericDataMap NewM = GDMFactory.remove(OldM, Key);  in removeGDM()
541   ProgramState NewState = *state;  in removeGDM()
645 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const {  in scanReachableSymbols()
650 bool ProgramState::scanReachableSymbols(  in scanReachableSymbols()