Home
last modified time | relevance | path

Searched refs:newStore (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp107 NewState.setStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
108 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
133 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()
142 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()
200 const StoreRef &newStore in invalidateRegionsImpl() local
205 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()
222 const StoreRef &newStore = in killBinding() local
225 if (newStore.getStore() == OldStore) in killBinding()
228 return makeWithStore(newStore); in killBinding()
447 void ProgramState::setStore(const StoreRef &newStore) { in setStore() argument
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h306 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {
307 assert(&newStore.mgr == &mgr);
308 if (store != newStore.store) {
309 mgr.incrementReferenceCount(newStore.store);
311 store = newStore.getStore();
H A DStoreRef.h36 StoreRef &operator=(StoreRef const &newStore);