Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.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()
207 MemRegionManager &getMemRegionManager() const override { return Mgr; } in getMemRegionManager()
223 friend class MemRegionManager; variable
225 CodeSpaceRegion(MemRegionManager &mgr) in CodeSpaceRegion()
240 GlobalsSpaceRegion(MemRegionManager &mgr, Kind k) : MemSpaceRegion(mgr, k) { in GlobalsSpaceRegion()
257 friend class MemRegionManager; variable
261 StaticGlobalSpaceRegion(MemRegionManager &mgr, const CodeTextRegion *cr) in StaticGlobalSpaceRegion()
[all …]
H A DStore.h59 MemRegionManager &MRMgr;
130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
H A DSValBuilder.h65 MemRegionManager MemMgr;
188 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()
189 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
H A DExprEngine.h159 MemRegionManager &MRMgr;
429 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
H A DProgramState.h530 MemRegionManager& getRegionManager() { in getRegionManager()
533 const MemRegionManager &getRegionManager() const { in getRegionManager()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp67 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, in getSubRegion()
84 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2, in getSubRegion()
102 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2, in getSubRegion()
127 MemRegionManager::~MemRegionManager() = default;
146 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()
733 DefinedOrUnknownSVal MemRegionManager::getStaticSize(const MemRegion *MR, in getStaticSize()
795 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()
805 const REG *MemRegionManager::LazyAllocate(REG*& region, ARG a) { in LazyAllocate()
815 MemRegionManager::getStackLocalsRegion(const StackFrameContext *STC) { in getStackLocalsRegion()
828 MemRegionManager::getStackArgumentsRegion(const StackFrameContext *STC) { in getStackArgumentsRegion()
[all …]
H A DLoopWidening.cpp59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
H A DExprEngineCXX.cpp116 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
535 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
H A DCallEvent.cpp474 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1363 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
H A DBugReporterVisitors.cpp357 MemRegionManager &MmrMgr;
H A DExprEngine.cpp337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp84 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
H A DVforkChecker.cpp168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
H A DCallAndMessageChecker.cpp245 MemRegionManager &MrMgr;
249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
H A DMallocChecker.cpp2769 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp150 MemRegionManager &RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()