Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStoreRef.h30 class StoreRef {
35 StoreRef(Store store, StoreManager &smgr);
36 StoreRef(const StoreRef &sr);
37 StoreRef &operator=(StoreRef const &newStore);
38 ~StoreRef();
40 bool operator==(const StoreRef &x) const {
45 bool operator!=(const StoreRef &x) const { return !operator==(x); }
H A DStore.h108 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
113 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
118 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
123 virtual StoreRef killBinding(Store ST, Loc L) = 0;
127 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
235 virtual StoreRef invalidateRegions(Store store,
247 StoreRef enterStackFrame(Store store,
301 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef() function
307 inline StoreRef::StoreRef(const StoreRef &sr) in StoreRef() function
314 inline StoreRef::~StoreRef() { in ~StoreRef()
[all …]
H A DBasicValueFactory.h63 StoreRef store;
67 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
76 const StoreRef &store,
225 const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
H A DSValBuilder.h51 class StoreRef; variable
255 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
H A DProgramState.h95 ProgramStateRef makeWithStore(const StoreRef &store) const;
97 void setStore(const StoreRef &storeRef);
102 StoreRef st, GenericDataMap gdm);
H A DSymbolManager.h567 StoreRef reapedStore;
623 void setReapedStore(StoreRef st) { reapedStore = st; } in setReapedStore()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp48 StoreRef st, GenericDataMap gdm) in ProgramState()
111 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings()
139 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial()
148 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero()
207 const StoreRef &newStore in invalidateRegionsImpl()
229 const StoreRef &newStore = in killBinding()
241 const StoreRef &NewStore = in enterStackFrame()
426 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore()
432 void ProgramState::setStore(const StoreRef &newStore) { in setStore()
H A DRegionStore.cpp384 StoreRef invalidateRegions(Store store,
402 StoreRef Bind(Store store, Loc LV, SVal V) override { in Bind()
410 StoreRef BindDefaultInitial(Store store, const MemRegion *R, in BindDefaultInitial()
435 return StoreRef(store, *this); in BindDefaultZero()
480 StoreRef killBinding(Store ST, Loc L) override;
1288 StoreRef
1340 return StoreRef(B.asStore(), *this); in invalidateRegions()
2094 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding()
2097 return StoreRef(getRegionBindings(ST).removeBinding(R) in killBinding()
2102 return StoreRef(ST, *this); in killBinding()
[all …]
H A DStore.cpp47 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame()
50 StoreRef Store = StoreRef(OldStore, *this); in enterStackFrame()
H A DBasicValueFactory.cpp39 const StoreRef &store, in Profile()
144 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()