Searched refs:MemRegionManager (Results 1 – 17 of 17) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 40 class MemRegionManager; variable
99 virtual MemRegionManager* getMemRegionManager() const = 0;
181 MemRegionManager *Mgr;
183 MemSpaceRegion(MemRegionManager *mgr, Kind k) : MemRegion(k), Mgr(mgr) { in MemSpaceRegion()
187 MemRegionManager* getMemRegionManager() const override { return Mgr; } in getMemRegionManager()
203 friend class MemRegionManager; variable
205 CodeSpaceRegion(MemRegionManager *mgr) in CodeSpaceRegion()
219 GlobalsSpaceRegion(MemRegionManager *mgr, Kind k) in GlobalsSpaceRegion()
234 friend class MemRegionManager; variable
238 StaticGlobalSpaceRegion(MemRegionManager *mgr, const CodeTextRegion *cr) in StaticGlobalSpaceRegion()
[all …]
|
| D | SValBuilder.h | 44 MemRegionManager MemMgr;
145 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()
146 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
|
| D | Store.h | 46 MemRegionManager &MRMgr;
85 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
|
| D | ProgramState.h | 508 MemRegionManager& getRegionManager() { in getRegionManager()
511 const MemRegionManager& getRegionManager() const { in getRegionManager()
|
| D | SVals.h | 39 class MemRegionManager; variable
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | MemRegion.cpp | 37 RegionTy* MemRegionManager::getRegion(const A1 a1) { in getRegion()
57 RegionTy* MemRegionManager::getSubRegion(const A1 a1, in getSubRegion()
75 RegionTy* MemRegionManager::getRegion(const A1 a1, const A2 a2) { in getRegion()
95 RegionTy* MemRegionManager::getSubRegion(const A1 a1, const A2 a2, in getSubRegion()
113 RegionTy* MemRegionManager::getSubRegion(const A1 a1, const A2 a2, const A3 a3, in getSubRegion()
136 MemRegionManager::~MemRegionManager() { in ~MemRegionManager()
158 MemRegionManager* SubRegion::getMemRegionManager() const { in getMemRegionManager()
699 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()
709 const REG *MemRegionManager::LazyAllocate(REG*& region, ARG a) { in LazyAllocate()
719 MemRegionManager::getStackLocalsRegion(const StackFrameContext *STC) { in getStackLocalsRegion()
[all …]
|
| D | LoopWidening.cpp | 53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
| D | CallEvent.cpp | 318 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1029 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
|
| D | ExprEngineCXX.cpp | 155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in getRegionForConstructedObject()
|
| D | BugReporterVisitors.cpp | 893 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
|
| D | ExprEngine.cpp | 203 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 60 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
|
| D | VforkChecker.cpp | 168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
|
| D | CallAndMessageChecker.cpp | 229 MemRegionManager &MrMgr; in PreVisitProcessArg()
233 MemRegionManager &mrMgr, Store s) in PreVisitProcessArg()
|
| D | MallocChecker.cpp | 2276 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|
| D | RetainCountChecker.cpp | 2725 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 150 MemRegionManager *const RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
|