Searched defs:newStore (Results 1 – 8 of 8) sorted by relevance
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore() local136 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial() local145 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero() local204 const StoreRef &newStore in invalidateRegionsImpl() local226 const StoreRef &newStore = in killBinding() local436 void ProgramState::setStore(const StoreRef &newStore) { in setStore()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings() local128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); in bindDefault() local190 const StoreRef &newStore in invalidateRegionsImpl() local208 const StoreRef &newStore = in invalidateRegionsImpl() local218 const StoreRef &newStore = in killBinding() local409 void ProgramState::setStore(const StoreRef &newStore) { in setStore()
307 std::unique_ptr<Instruction> newStore( in ReplaceWholeStore() local
90 std::unique_ptr<Instruction> newStore( in AddStore() local
308 std::unique_ptr<Instruction> newStore( in ReplaceWholeStore() local