Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStoreRef.h30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x); }
44 ~StoreRef();
DStore.h70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
77 virtual StoreRef killBinding(Store ST, Loc L) = 0;
81 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
184 virtual StoreRef invalidateRegions(Store store,
196 StoreRef enterStackFrame(Store store,
250 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef() function
256 inline StoreRef::StoreRef(const StoreRef &sr) in StoreRef() function
263 inline StoreRef::~StoreRef() { in ~StoreRef()
[all …]
DBasicValueFactory.h46 StoreRef store;
49 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
56 const StoreRef &store,
172 const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
DProgramState.h93 ProgramStateRef makeWithStore(const StoreRef &store) const;
95 void setStore(const StoreRef &storeRef);
100 StoreRef st, GenericDataMap gdm);
DSymbolManager.h576 StoreRef reapedStore;
646 void setReapedStore(StoreRef st) { reapedStore = st; } in setReapedStore()
DSValBuilder.h216 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp46 StoreRef st, GenericDataMap gdm) in ProgramState()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings()
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); in bindDefault()
190 const StoreRef &newStore in invalidateRegionsImpl()
208 const StoreRef &newStore = in invalidateRegionsImpl()
218 const StoreRef &newStore = in killBinding()
230 const StoreRef &NewStore = in enterStackFrame()
403 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore()
409 void ProgramState::setStore(const StoreRef &newStore) { in setStore()
DStore.cpp28 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame()
31 StoreRef Store = StoreRef(OldStore, *this); in enterStackFrame()
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { in BindDefault()
52 return StoreRef(store, *this); in BindDefault()
DRegionStore.cpp371 StoreRef getInitialStore(const LocationContext *InitLoc) override { in getInitialStore()
372 return StoreRef(RBFactory.getEmptyMap().getRootWithoutRetain(), *this); in getInitialStore()
385 StoreRef invalidateRegions(Store store,
403 StoreRef Bind(Store store, Loc LV, SVal V) override { in Bind()
404 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this); in Bind()
410 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override { in BindDefault()
425 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this); in BindDefault()
464 StoreRef killBinding(Store ST, Loc L) override;
556 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
1241 StoreRef
[all …]
DBasicValueFactory.cpp30 const StoreRef &store, in Profile()
127 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()