| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest() 31 const FieldRegion *FR = Eng.getRegionManager().getFieldRegion(FD, VR); in performTest()
|
| H A D | StoreTest.cpp | 46 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest() 114 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest()
|
| H A D | ParamRegionTest.cpp | 30 MemRegionManager &MRMgr = StMgr.getRegionManager(); in performTest()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 568 MemRegionManager& getRegionManager() { in getRegionManager() function 569 return svalBuilder->getRegionManager(); in getRegionManager() 571 const MemRegionManager &getRegionManager() const { in getRegionManager() function 572 return svalBuilder->getRegionManager(); in getRegionManager() 701 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion() 757 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue() 765 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
|
| H A D | SValBuilder.h | 155 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function 156 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
|
| H A D | Store.h | 130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
|
| H A D | ExprEngine.h | 431 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager() function
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
| H A D | SValBuilder.cpp | 311 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis() 319 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis() 337 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal() 342 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal() 350 return makeLoc(getRegionManager().getStringRegion(PE->getFunctionName())); in getConstantVal()
|
| H A D | ConstraintManager.cpp | 29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
|
| H A D | ExprEngineCXX.cpp | 118 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() 638 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor() 1114 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr() 1128 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
|
| H A D | CallEvent.cpp | 202 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation() 432 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() 1332 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
|
| H A D | Store.cpp | 44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
|
| H A D | ExprEngine.cpp | 221 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine() 341 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
|
| H A D | RegionStore.cpp | 1081 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()
|
| /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 | 322 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
|
| H A D | MallocChecker.cpp | 2985 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|