Searched refs:newStore (Results 1 – 3 of 3) sorted by relevance
113 NewState.setStore(newStore); in removeDeadBindings()114 SymReaper.setReapedStore(newStore); in removeDeadBindings()140 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()149 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()207 const StoreRef &newStore in invalidateRegionsImpl() local212 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()229 const StoreRef &newStore = in killBinding() local232 if (newStore.getStore() == OldStore) in killBinding()235 return makeWithStore(newStore); in killBinding()432 void ProgramState::setStore(const StoreRef &newStore) { in setStore() argument[all …]
319 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {320 assert(&newStore.mgr == &mgr);321 if (store != newStore.store) {322 mgr.incrementReferenceCount(newStore.store);324 store = newStore.getStore();
37 StoreRef &operator=(StoreRef const &newStore);