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 D | StoreRef.h | 1 //===- 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 D | Store.h | 21 #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 D | BasicValueFactory.h | 23 #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 D | SValBuilder.h | 50 class StoreRef; 254 NonLoc makeLazyCompoundVal(const StoreRef &store,
|
H A D | SymbolManager.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h" 566 StoreRef reapedStore; 622 void setReapedStore(StoreRef st) { reapedStore = st; }
|
H A D | ProgramState.h | 92 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 D | ProgramState.cpp | 47 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 D | RegionStore.cpp | 406 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 D | Store.cpp | 29 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h" 46 StoreRef StoreManager::enterStackFrame(Store OldStore, 49 StoreRef Store = StoreRef(OldStore, *this);
|
H A D | BasicValueFactory.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h" 38 const StoreRef &store, 143 BasicValueFactory::getLazyCompoundValData(const StoreRef &store,
|
Completed in 227 milliseconds