Lines Matching defs:StoreMgr

80   StoreMgr = (*CreateSMgr)(*this);
106   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
119   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
133   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);
142   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);
182   const StoreRef &NewStore = Mgr.StoreMgr->invalidateRegions(
200     getStateManager().StoreMgr->killBinding(OldStore, LV);
236     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
398                 StoreMgr->getInitialStore(InitLoc),
458   return getStateManager().StoreMgr->getLValueField(D, Base);
462   StoreManager &SM = *getStateManager().StoreMgr;
570   StoreManager &StoreMgr = state->getStateManager().getStoreManager();
575   return StoreMgr.scanReachableSymbols(val.getStore(), R, *this);
643       StoreManager &StoreMgr = state->getStateManager().getStoreManager();
644       if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))