Searched refs:newStore (Results 1 – 11 of 11) sorted by relevance
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore() local111 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()112 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()136 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial() local137 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()145 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero() local146 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()204 const StoreRef &newStore in invalidateRegionsImpl() local209 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()226 const StoreRef &newStore = in killBinding() local[all …]
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()190 const StoreRef &newStore in invalidateRegionsImpl() local195 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()208 const StoreRef &newStore = in invalidateRegionsImpl() local211 return makeWithStore(newStore); in invalidateRegionsImpl()218 const StoreRef &newStore = in killBinding() local[all …]
268 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {269 assert(&newStore.mgr == &mgr);270 if (store != newStore.store) {271 mgr.incrementReferenceCount(newStore.store);273 store = newStore.getStore();
311 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {312 assert(&newStore.mgr == &mgr);313 if (store != newStore.store) {314 mgr.incrementReferenceCount(newStore.store);316 store = newStore.getStore();
36 StoreRef &operator=(StoreRef const &newStore);
90 std::unique_ptr<Instruction> newStore( in AddStore() local95 newStore->dbg_line_insts().push_back(*line_inst); in AddStore()97 newStore->SetDebugScope(dbg_scope); in AddStore()98 (*block_ptr)->AddInstruction(std::move(newStore)); in AddStore()
307 std::unique_ptr<Instruction> newStore( in ReplaceWholeStore() local316 newStore->AddOperand(std::move(copy)); in ReplaceWholeStore()318 iter = where.InsertBefore(std::move(newStore)); in ReplaceWholeStore()
308 std::unique_ptr<Instruction> newStore( in ReplaceWholeStore() local317 newStore->AddOperand(std::move(copy)); in ReplaceWholeStore()319 iter = where.InsertBefore(std::move(newStore)); in ReplaceWholeStore()