Searched refs:newStore (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h268 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) { argument
269 assert(&newStore.mgr == &mgr);
270 if (store != newStore.store) {
271 mgr.incrementReferenceCount(newStore.store);
273 store = newStore.getStore();
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, local
107 NewState.setStore(newStore);
108 SymReaper.setReapedStore(newStore);
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); local
129 ProgramStateRef new_state = makeWithStore(newStore);
190 const StoreRef &newStore local
195 ProgramStateRef newState = makeWithStore(newStore);
208 const StoreRef &newStore = local
211 return makeWithStore(newStore);
218 const StoreRef &newStore local
409 setStore(const StoreRef &newStore) argument
[all...]

Completed in 349 milliseconds