StaticAnalyzer/Core/ProgramState.cpp

78   StoreMgr.reset((*CreateSMgr)(*this));
105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
116   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
128   const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
192     = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
210   Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
220     getStateManager().StoreMgr->killBinding(OldStore, LV);
232     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
368                 StoreMgr->getInitialStore(InitLoc),
514   StoreManager &StoreMgr = state->getStateManager().getStoreManager();
519   return StoreMgr.scanReachableSymbols(val.getStore(), R, *this);
607       StoreManager &StoreMgr = state->getStateManager().getStoreManager();
608       if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))