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();