| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | ParamRegionTest.cpp | 19 void checkForSameParamRegions(MemRegionManager &MRMgr, in checkForSameParamRegions() argument
23 return MRMgr.getVarRegion(PVD, SFC) == in checkForSameParamRegions()
24 MRMgr.getVarRegion(cast<ParmVarDecl>(D2), SFC); in checkForSameParamRegions()
30 MemRegionManager &MRMgr = StMgr.getRegionManager(); in performTest() local
37 assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
39 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
40 checkForSameParamRegions(MRMgr, SFC, P); in performTest()
47 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
48 checkForSameParamRegions(MRMgr, SFC, P); in performTest()
55 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
[all …]
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
59 const MemRegion *Regions[] = {MRMgr.getStackLocalsRegion(STC), in getWidenedLoopState()
60 MRMgr.getStackArgumentsRegion(STC), in getWidenedLoopState()
61 MRMgr.getGlobalsRegion()}; in getWidenedLoopState()
76 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
89 MRMgr.getCXXThisRegion(CXXMD->getThisType(), STC); in getWidenedLoopState()
|
| H A D | Store.cpp | 44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
71 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
297 const MemRegion *BaseReg = MRMgr.getCXXBaseObjectRegion( in evalDerivedToBase()
387 MRMgr.getCXXDerivedObjectRegion(TargetClass, SR)); in evalBaseToDerived()
434 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
436 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
485 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
504 return loc::MemRegionVal(MRMgr.getElementRegion( in getLValueElement()
517 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
| H A D | ExprEngineCXX.cpp | 118 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() local
145 MRMgr.getCXXBaseObjectRegion(BaseClass, ThisReg, in computeObjectUnderConstruction()
178 auto R = MRMgr.getElementRegion(NE->getType()->getPointeeType(), in computeObjectUnderConstruction()
288 return loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E)); in computeObjectUnderConstruction()
291 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
299 MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx)); in computeObjectUnderConstruction()
376 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
638 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor() local
639 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
836 Dest = MRMgr.getCXXTempObjectRegion(E, Pred->getLocationContext()); in VisitCXXDestructor()
[all …]
|
| H A D | RegionStore.cpp | 1268 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion()
1389 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1593 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second); in findLazyBinding()
1600 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second); in findLazyBinding()
1610 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg, in findLazyBinding()
2462 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray()
2465 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray()
2564 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
2609 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct()
2692 MRMgr.getCXXBaseObjectRegion(BRD, R, /*IsVirtual=*/false); in bindStruct()
[all …]
|
| H A D | CallEvent.cpp | 432 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local
454 MRMgr.getParamVarRegion(Call.getOriginExpr(), Idx, CalleeCtx)); in addParameterValuesToBindings()
1332 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
1333 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
|
| H A D | ExprEngine.cpp | 221 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
341 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
387 TR = MRMgr.getCXXStaticTempObjectRegion(Init); in createTemporaryRegionIfNeeded()
389 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
393 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 59 MemRegionManager &MRMgr; variable
130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
135 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
140 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
|
| H A D | ExprEngine.h | 156 MemRegionManager &MRMgr; variable
431 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
|