Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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 DStore.h54 StoreRef ResultingStore;
131 virtual StoreRef killBinding(Store ST, Loc L) = 0;
135 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
196 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
243 virtual StoreRef invalidateRegions(
299 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef() function
305 inline StoreRef::StoreRef(const StoreRef &sr) in StoreRef() function
312 inline StoreRef::~StoreRef() { in ~StoreRef()
317 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {
H A DBasicValueFactory.h64 StoreRef store;
68 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
81 const StoreRef &store,
239 const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
H A DSValBuilder.h53 class StoreRef; variable
253 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
H A DProgramState.h128 ProgramStateRef makeWithStore(const StoreRef &store) const;
131 void setStore(const StoreRef &storeRef);
136 StoreRef st, GenericDataMap gdm);
H A DSymbolManager.h584 StoreRef reapedStore;
641 void setReapedStore(StoreRef st) { reapedStore = st; } in setReapedStore()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp47 StoreRef st, GenericDataMap gdm) in ProgramState()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
182 const StoreRef &NewStore = Mgr.StoreMgr->invalidateRegions( in invalidateRegions()
199 const StoreRef &newStore = in killBinding()
433 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore()
457 void ProgramState::setStore(const StoreRef &newStore) { in setStore()
H A DRegionStore.cpp550 StoreRef getInitialStore(const LocationContext *InitLoc) override { in getInitialStore()
554 return StoreRef(RegionBindingsRef(RegionBindingsRef::ParentTy( in getInitialStore()
569 StoreRef invalidateRegions(Store store, ArrayRef<SVal> Values,
597 return BindResult{StoreRef(bind(BoundedBindings, LV, V).asStore(), *this), in Bind()
615 StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this), {}}; in BindDefaultInitial()
632 return BindResult{StoreRef(store, *this), {}}; in BindDefaultZero()
641 StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this), in BindDefaultZero()
682 StoreRef killBinding(Store ST, Loc L) override;
791 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
1465 StoreRef RegionStoreManager::invalidateRegions( in invalidateRegions()
[all …]
H A DBasicValueFactory.cpp39 const StoreRef &store, in Profile()
142 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()
H A DStore.cpp47 BindResult Result{StoreRef(OldStore, *this), {}}; in enterStackFrame()