Home
last modified time | relevance | path

Searched refs:MemRegionManager (Results 1 – 17 of 17) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDMemRegion.h55 class MemRegionManager; variable
115 virtual MemRegionManager* getMemRegionManager() const = 0;
201 MemRegionManager *Mgr;
203 MemSpaceRegion(MemRegionManager *mgr, Kind k) : MemRegion(k), Mgr(mgr) { in MemSpaceRegion()
208 MemRegionManager* getMemRegionManager() const override { return Mgr; } in getMemRegionManager()
224 friend class MemRegionManager; variable
226 CodeSpaceRegion(MemRegionManager *mgr) in CodeSpaceRegion()
241 GlobalsSpaceRegion(MemRegionManager *mgr, Kind k) : MemSpaceRegion(mgr, k) { in GlobalsSpaceRegion()
258 friend class MemRegionManager; variable
262 StaticGlobalSpaceRegion(MemRegionManager *mgr, const CodeTextRegion *cr) in StaticGlobalSpaceRegion()
[all …]
HDSValBuilder.h65 MemRegionManager MemMgr;
174 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()
175 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
HDStore.h59 MemRegionManager &MRMgr;
130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
HDExprEngine.h135 MemRegionManager &MRMgr;
398 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
HDProgramState.h523 MemRegionManager& getRegionManager() { in getRegionManager()
526 const MemRegionManager &getRegionManager() const { in getRegionManager()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDMemRegion.cpp66 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1,
83 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2,
101 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2,
126 MemRegionManager::~MemRegionManager() = default;
145 MemRegionManager* SubRegion::getMemRegionManager() const { in getMemRegionManager()
721 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()
731 const REG *MemRegionManager::LazyAllocate(REG*& region, ARG a) { in LazyAllocate()
741 MemRegionManager::getStackLocalsRegion(const StackFrameContext *STC) { in getStackLocalsRegion()
754 MemRegionManager::getStackArgumentsRegion(const StackFrameContext *STC) { in getStackArgumentsRegion()
767 *MemRegionManager::getGlobalsRegion(MemRegion::Kind K, in getGlobalsRegion()
[all …]
HDLoopWidening.cpp59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
HDExprEngineCXX.cpp116 MemRegionManager &MRMgr = SVB.getRegionManager(); in prepareForObjectConstruction()
459 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in VisitCXXConstructExpr()
HDCallEvent.cpp510 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1355 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
HDBugReporterVisitors.cpp336 MemRegionManager &MmrMgr;
1837 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
HDExprEngine.cpp337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDBuiltinFunctionChecker.cpp81 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
HDVforkChecker.cpp167 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
HDCallAndMessageChecker.cpp198 MemRegionManager &MrMgr;
202 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
HDMallocChecker.cpp2788 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
HDMPIChecker.cpp149 MemRegionManager *const RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountChecker.cpp168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()