Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h107 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;
186 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
226 virtual StoreRef invalidateRegions(Store store,
238 StoreRef enterStackFrame(Store store,
287 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef() function
293 inline StoreRef::StoreRef(const StoreRef &sr) in StoreRef() function
[all …]
H A DStoreRef.h29 class StoreRef {
34 StoreRef(Store store, StoreManager &smgr);
35 StoreRef(const StoreRef &sr);
36 StoreRef &operator=(StoreRef const &newStore);
37 ~StoreRef();
39 bool operator==(const StoreRef &x) const {
44 bool operator!=(const StoreRef &x) const { return !operator==(x); }
H A DBasicValueFactory.h62 StoreRef store;
66 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
75 const StoreRef &store,
242 const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
H A DSValBuilder.h50 class StoreRef; variable
268 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
H A DProgramState.h92 ProgramStateRef makeWithStore(const StoreRef &store) const;
94 void setStore(const StoreRef &storeRef);
99 StoreRef st, GenericDataMap gdm);
H A DSymbolManager.h523 StoreRef reapedStore;
579 void setReapedStore(StoreRef st) { reapedStore = st; } in setReapedStore()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp47 StoreRef st, GenericDataMap gdm) in ProgramState()
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
136 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial()
145 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero()
204 const StoreRef &newStore in invalidateRegionsImpl()
226 const StoreRef &newStore = in killBinding()
238 const StoreRef &NewStore = in enterStackFrame()
430 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore()
436 void ProgramState::setStore(const StoreRef &newStore) { in setStore()
H A DRegionStore.cpp406 StoreRef getInitialStore(const LocationContext *InitLoc) override { in getInitialStore()
410 return StoreRef(RegionBindingsRef( in getInitialStore()
425 StoreRef invalidateRegions(Store store,
443 StoreRef Bind(Store store, Loc LV, SVal V) override { in Bind()
444 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this); in Bind()
451 StoreRef BindDefaultInitial(Store store, const MemRegion *R, in BindDefaultInitial()
459 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this); in BindDefaultInitial()
464 StoreRef BindDefaultZero(Store store, const MemRegion *R) override { in BindDefaultZero()
476 return StoreRef(store, *this); in BindDefaultZero()
482 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this); in BindDefaultZero()
[all …]
H A DStore.cpp46 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame()
49 StoreRef Store = StoreRef(OldStore, *this); in enterStackFrame()
H A DBasicValueFactory.cpp39 const StoreRef &store, in Profile()
144 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()