StaticAnalyzer/Core/ProgramState.cpp

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);
191     const StoreRef &newStore
196     ProgramStateRef newState = makeWithStore(newStore);
209   const StoreRef &newStore =
212   return makeWithStore(newStore);
219   const StoreRef &newStore =
222   if (newStore.getStore() == OldStore)
225   return makeWithStore(newStore);
410 void ProgramState::setStore(const StoreRef &newStore) {
411   Store newStoreStore = newStore.getStore();