Searched defs:newStore (Results 1 – 1 of 1) sorted by relevance
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore() local199 const StoreRef &newStore = in killBinding() local457 void ProgramState::setStore(const StoreRef &newStore) { in setStore()