Searched refs:newStore (Results 1 – 2 of 2) sorted by relevance
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings() local107 NewState.setStore(newStore); in removeDeadBindings()108 SymReaper.setReapedStore(newStore); in removeDeadBindings()128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); in bindDefault() local129 ProgramStateRef new_state = makeWithStore(newStore); in bindDefault()191 const StoreRef &newStore in invalidateRegionsImpl() local196 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()209 const StoreRef &newStore = in invalidateRegionsImpl() local212 return makeWithStore(newStore); in invalidateRegionsImpl()219 const StoreRef &newStore = in killBinding() local[all …]
267 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {268 assert(&newStore.mgr == &mgr);269 if (store != newStore.store) {270 mgr.incrementReferenceCount(newStore.store);272 store = newStore.getStore();