Lines Matching refs:getStore

50     store(st.getStore()),  in ProgramState()
105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,  in removeDeadBindingsFromEnvironmentAndStore()
118   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),  in bindLoc()
132   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);  in bindDefaultInitial()
141   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);  in bindDefaultZero()
201   = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,  in invalidateRegionsImpl()
221   Store OldStore = getStore();  in killBinding()
225   if (newStore.getStore() == OldStore)  in killBinding()
235     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);  in enterStackFrame()
448   Store newStoreStore = newStore.getStore();  in setStore()
469   Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);  in printJson()
556   return StoreMgr.scanReachableSymbols(val.getStore(), R, *this);  in scan()
627       if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))  in scan()