105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,  in removeDeadBindingsFromEnvironmentAndStore()  local
107   NewState.setStore(newStore);  in removeDeadBindingsFromEnvironmentAndStore()
108   SymReaper.setReapedStore(newStore);  in removeDeadBindingsFromEnvironmentAndStore()
132   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);  in bindDefaultInitial()  local
133   ProgramStateRef new_state = makeWithStore(newStore);  in bindDefaultInitial()
141   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);  in bindDefaultZero()  local
142   ProgramStateRef new_state = makeWithStore(newStore);  in bindDefaultZero()
200   const StoreRef &newStore  in invalidateRegionsImpl()  local
205   ProgramStateRef newState = makeWithStore(newStore);  in invalidateRegionsImpl()
222   const StoreRef &newStore =  in killBinding()  local
225   if (newStore.getStore() == OldStore)  in killBinding()
228   return makeWithStore(newStore);  in killBinding()
447 void ProgramState::setStore(const StoreRef &newStore) {  in setStore()  argument
448   Store newStoreStore = newStore.getStore();  in setStore()