Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h55 class MemRegionManager; variable
116 virtual MemRegionManager &getMemRegionManager() const = 0;
206 MemRegionManager &Mgr;
208 MemSpaceRegion(MemRegionManager &mgr, Kind k) : MemRegion(k), Mgr(mgr) { in MemSpaceRegion()
212 MemRegionManager &getMemRegionManager() const override { return Mgr; } in getMemRegionManager()
228 friend class MemRegionManager; variable
230 CodeSpaceRegion(MemRegionManager &mgr) in CodeSpaceRegion()
245 GlobalsSpaceRegion(MemRegionManager &mgr, Kind k) : MemSpaceRegion(mgr, k) { in GlobalsSpaceRegion()
262 friend class MemRegionManager; variable
266 StaticGlobalSpaceRegion(MemRegionManager &mgr, const CodeTextRegion *cr) in StaticGlobalSpaceRegion()
[all …]
H A DSValBuilder.h66 MemRegionManager MemMgr;
155 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()
156 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
H A DStore.h59 MemRegionManager &MRMgr;
131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
H A DExprEngine.h157 MemRegionManager &MRMgr;
432 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
H A DProgramState.h570 MemRegionManager& getRegionManager() { in getRegionManager()
573 const MemRegionManager &getRegionManager() const { in getRegionManager()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp68 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, in getSubRegion()
85 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2, in getSubRegion()
103 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2, in getSubRegion()
128 MemRegionManager::~MemRegionManager() = default;
147 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()
736 DefinedOrUnknownSVal MemRegionManager::getStaticSize(const MemRegion *MR, in getStaticSize()
839 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()
849 const REG *MemRegionManager::LazyAllocate(REG*& region, ARG a) { in LazyAllocate()
859 MemRegionManager::getStackLocalsRegion(const StackFrameContext *STC) { in getStackLocalsRegion()
872 MemRegionManager::getStackArgumentsRegion(const StackFrameContext *STC) { in getStackArgumentsRegion()
[all …]
H A DLoopWidening.cpp58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
H A DCallEvent.cpp463 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1368 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
H A DExprEngineCXX.cpp126 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
688 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
H A DBugReporterVisitors.cpp506 MemRegionManager &MmrMgr;
H A DExprEngine.cpp348 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp85 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
H A DVforkChecker.cpp170 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
H A DCallAndMessageChecker.cpp245 MemRegionManager &MrMgr;
249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
H A DErrnoModeling.cpp158 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
H A DMallocChecker.cpp2976 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp150 MemRegionManager &RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp169 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()