Searched defs:newStore (Results 1 – 1 of 1) sorted by relevance
106 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore() local133 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial() local142 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero() local201 const StoreRef &newStore in invalidateRegionsImpl() local221 const StoreRef &newStore = in killBinding() local446 void ProgramState::setStore(const StoreRef &newStore) { in setStore()