Searched refs:newStore (Results 1 – 3 of 3) sorted by relevance
106 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore() local108 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()109 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()133 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial() local134 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()142 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero() local143 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()200 const StoreRef &newStore in invalidateRegionsImpl() local205 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()220 const StoreRef &newStore = in killBinding() local[all …]
303 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {304 assert(&newStore.mgr == &mgr);305 if (store != newStore.store) {306 mgr.incrementReferenceCount(newStore.store);308 store = newStore.getStore();
36 StoreRef &operator=(StoreRef const &newStore);