| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 55 class MemRegionManager; variable
206 MemRegionManager &Mgr;
228 friend class MemRegionManager; variable
262 friend class MemRegionManager; variable
310 friend class MemRegionManager; variable
329 friend class MemRegionManager; variable
346 friend class MemRegionManager; variable
360 friend class MemRegionManager; variable
374 friend class MemRegionManager; variable
1341 class MemRegionManager {
[all …]
|
| H A D | SValBuilder.h | 66 MemRegionManager MemMgr;
155 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()
156 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
|
| H A D | Store.h | 59 MemRegionManager &MRMgr;
130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
|
| H A D | ExprEngine.h | 156 MemRegionManager &MRMgr;
431 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
|
| H A D | ProgramState.h | 568 MemRegionManager& getRegionManager() { in getRegionManager()
571 const MemRegionManager &getRegionManager() const { in getRegionManager()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 68 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, in getSubRegion()
128 MemRegionManager::~MemRegionManager() = default;
147 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()
827 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()
873 *MemRegionManager::getGlobalsRegion(MemRegion::Kind K, in getGlobalsRegion()
1053 MemRegionManager::getNonParamVarRegion(const VarDecl *D, in getNonParamVarRegion()
1153 MemRegionManager::getSymbolicRegion(SymbolRef sym, in getSymbolicRegion()
1165 MemRegionManager::getFieldRegion(const FieldDecl *d, in getFieldRegion()
1177 MemRegionManager::getCXXTempObjectRegion(Expr const *E, in getCXXTempObjectRegion()
1611 MemRegionManager &MemMgr = getMemRegionManager(); in getCaptureRegions()
[all …]
|
| H A D | LoopWidening.cpp | 58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
| H A D | ExprEngineCXX.cpp | 118 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
638 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
|
| H A D | CallEvent.cpp | 432 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1332 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
|
| H A D | BugReporterVisitors.cpp | 506 MemRegionManager &MmrMgr;
|
| H A D | ExprEngine.cpp | 341 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | ParamRegionTest.cpp | 19 void checkForSameParamRegions(MemRegionManager &MRMgr, in checkForSameParamRegions()
30 MemRegionManager &MRMgr = StMgr.getRegionManager(); in performTest()
|
| H A D | StoreTest.cpp | 46 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest()
114 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 85 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
|
| H A D | VforkChecker.cpp | 169 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
|
| H A D | ErrnoModeling.cpp | 157 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
|
| H A D | CallAndMessageChecker.cpp | 245 MemRegionManager &MrMgr;
249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
|
| H A D | MallocChecker.cpp | 2985 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 150 MemRegionManager &RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|