Searched refs:StoreManager (Results 1 - 14 of 14) sorted by relevance
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | StoreRef.h | 21 class StoreManager; 25 /// memory model. Different subclasses of StoreManager may choose 31 StoreManager &mgr; 34 StoreRef(Store store, StoreManager &smgr); 47 const StoreManager &getStoreManager() const { return mgr; }
|
H A D | Store.h | 9 // This file defined the types Store and StoreManager. 53 class StoreManager { class in namespace:clang::ento 58 /// MRMgr - Manages region objects associated with this StoreManager. 62 StoreManager(ProgramStateManager &stateMgr); 65 virtual ~StoreManager() = default; 200 /// If the StoreManager supports it, increment the reference count of 204 /// If the StoreManager supports it, decrement the reference count of 244 /// enterStackFrame - Let the StoreManager to do something when execution 264 virtual bool HandleBinding(StoreManager& SMgr, Store store, 278 bool HandleBinding(StoreManager [all...] |
H A D | ProgramState.h | 43 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)( 464 std::unique_ptr<StoreManager> StoreMgr; 532 StoreManager &getStoreManager() { return *StoreMgr; } 553 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { 744 StoreManager &SM = *getStateManager().StoreMgr;
|
H A D | CheckerContext.h | 63 StoreManager &getStoreManager() {
|
H A D | SymbolManager.h | 38 class StoreManager; 578 SymbolManager &symmgr, StoreManager &storeMgr) 621 /// StoreManager::removeDeadBindings has been called.
|
H A D | ExprEngine.h | 386 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); }
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 9 // This file defined the types Store and StoreManager. 42 StoreManager::StoreManager(ProgramStateManager &stateMgr) function in class:StoreManager 46 StoreRef StoreManager::enterStackFrame(Store OldStore, 60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, 67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, 74 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { 248 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { 264 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { 273 SVal StoreManager [all...] |
H A D | ProgramState.cpp | 202 StoreManager::InvalidatedRegions TopLevelInvalidated; 203 StoreManager::InvalidatedRegions Invalidated; 533 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); 611 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
|
H A D | SValBuilder.cpp | 568 StoreManager &storeMgr = StateMgr.getStoreManager(); 644 StoreManager &storeMgr = StateMgr.getStoreManager();
|
H A D | RegionStore.cpp | 350 class RegionStoreManager : public StoreManager { 381 : StoreManager(mgr), Features(f), 527 /// If the StoreManager supports it, decrement the reference count of 675 std::unique_ptr<StoreManager> 681 std::unique_ptr<StoreManager> 1001 StoreManager::InvalidatedRegions *Regions; 1011 StoreManager::InvalidatedRegions *r,
|
H A D | ExprEngineCallAndReturn.cpp | 127 StoreManager &StoreMgr) {
|
H A D | ExprEngine.cpp | 338 StoreManager &StoreMgr = StateMgr.getStoreManager();
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CallAndMessageChecker.cpp | 197 StoreManager &StoreMgr; 202 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr,
|
H A D | MacOSKeychainAPIChecker.cpp | 214 StoreManager& SM = C.getStoreManager();
|
Completed in 230 milliseconds