Searched refs:StoreRef (Results 1 - 10 of 10) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStoreRef.h1 //===- StoreRef.h - Smart pointer for store objects -------------*- C++ -*-===//
9 // This file defined the type StoreRef.
29 class StoreRef { class in namespace:clang::ento
34 StoreRef(Store store, StoreManager &smgr);
35 StoreRef(const StoreRef &sr);
36 StoreRef &operator=(StoreRef const &newStore);
37 ~StoreRef();
39 bool operator==(const StoreRef
[all...]
H A DStore.h21 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
104 /// \return A StoreRef object that contains the same
107 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
112 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
117 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
122 virtual StoreRef killBinding(Store ST, Loc L) = 0;
126 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
194 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
234 virtual StoreRef invalidateRegions(Store store,
246 StoreRef enterStackFram
301 inline StoreRef::StoreRef(Store store, StoreManager & smgr) function in class:clang::ento::StoreRef
307 inline StoreRef::StoreRef(const StoreRef &sr) function in class:clang::ento::StoreRef
[all...]
H A DBasicValueFactory.h23 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
62 StoreRef store;
66 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r)
75 const StoreRef &store,
224 const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
H A DSValBuilder.h50 class StoreRef;
254 NonLoc makeLazyCompoundVal(const StoreRef &store,
H A DSymbolManager.h22 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
566 StoreRef reapedStore;
622 void setReapedStore(StoreRef st) { reapedStore = st; }
H A DProgramState.h92 ProgramStateRef makeWithStore(const StoreRef &store) const;
94 void setStore(const StoreRef &storeRef);
99 StoreRef st, GenericDataMap gdm);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp47 StoreRef st, GenericDataMap gdm)
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
136 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);
145 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);
204 const StoreRef &newStore
226 const StoreRef &newStore =
238 const StoreRef &NewStore =
423 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const {
429 void ProgramState::setStore(const StoreRef &newStore) {
H A DRegionStore.cpp406 StoreRef getInitialStore(const LocationContext *InitLoc) override {
410 return StoreRef(RegionBindingsRef(
425 StoreRef invalidateRegions(Store store,
443 StoreRef Bind(Store store, Loc LV, SVal V) override {
444 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);
451 StoreRef BindDefaultInitial(Store store, const MemRegion *R,
459 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this);
464 StoreRef BindDefaultZero(Store store, const MemRegion *R) override {
476 return StoreRef(store, *this);
482 return StoreRef(
[all...]
H A DStore.cpp29 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
46 StoreRef StoreManager::enterStackFrame(Store OldStore,
49 StoreRef Store = StoreRef(OldStore, *this);
H A DBasicValueFactory.cpp19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
38 const StoreRef &store,
143 BasicValueFactory::getLazyCompoundValData(const StoreRef &store,

Completed in 227 milliseconds