Home | History | Annotate | Download | only in Core

Lines Matching defs:NewStore

105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
107   NewState.setStore(newStore);
108   SymReaper.setReapedStore(newStore);
128   const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
129   ProgramStateRef new_state = makeWithStore(newStore);
190     const StoreRef &newStore
195     ProgramStateRef newState = makeWithStore(newStore);
208   const StoreRef &newStore =
211   return makeWithStore(newStore);
218   const StoreRef &newStore =
221   if (newStore.getStore() == OldStore)
224   return makeWithStore(newStore);
230   const StoreRef &NewStore =
232   return makeWithStore(NewStore);
409 void ProgramState::setStore(const StoreRef &newStore) {
410   Store newStoreStore = newStore.getStore();