Searched refs:newStore (Results 1 – 3 of 3) sorted by relevance
111 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()112 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()137 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()146 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()204 const StoreRef &newStore in invalidateRegionsImpl() local209 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()226 const StoreRef &newStore = in killBinding() local229 if (newStore.getStore() == OldStore) in killBinding()232 return makeWithStore(newStore); in killBinding()436 void ProgramState::setStore(const StoreRef &newStore) { in setStore() argument[all …]
306 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {307 assert(&newStore.mgr == &mgr);308 if (store != newStore.store) {309 mgr.incrementReferenceCount(newStore.store);311 store = newStore.getStore();
36 StoreRef &operator=(StoreRef const &newStore);