Lines Matching defs:newStore

106   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
108   NewState.setStore(newStore);
109   SymReaper.setReapedStore(newStore);
133   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);
134   ProgramStateRef new_state = makeWithStore(newStore);
142   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);
143   ProgramStateRef new_state = makeWithStore(newStore);
199   const StoreRef &newStore =
202   if (newStore.getStore() == OldStore)
205   return makeWithStore(newStore);
446 void ProgramState::setStore(const StoreRef &newStore) {
447   Store newStoreStore = newStore.getStore();