| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 41 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
42 const MemRegion *Regions[] = {MRMgr.getStackLocalsRegion(STC), in getWidenedLoopState()
43 MRMgr.getStackArgumentsRegion(STC), in getWidenedLoopState()
44 MRMgr.getGlobalsRegion()}; in getWidenedLoopState()
59 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
72 MRMgr.getCXXThisRegion(CXXMD->getThisType(), STC); in getWidenedLoopState()
|
| H A D | Store.cpp | 43 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
66 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
73 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
298 const MemRegion *BaseReg = MRMgr.getCXXBaseObjectRegion( in evalDerivedToBase()
389 MRMgr.getCXXDerivedObjectRegion(TargetClass, SR)); in evalBaseToDerived()
436 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
438 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
497 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
513 return loc::MemRegionVal(MRMgr.getElementRegion( in getLValueElement()
525 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
| H A D | ExprEngineCXX.cpp | 137 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() local
164 MRMgr.getCXXBaseObjectRegion(BaseClass, ThisReg, in computeObjectUnderConstruction()
199 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
311 MRMgr.getCXXStaticLifetimeExtendedObjectRegion(E, VD)); in computeObjectUnderConstruction()
314 MRMgr.getCXXLifetimeExtendedObjectRegion(E, VD, LCtx)); in computeObjectUnderConstruction()
319 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
327 MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx)); in computeObjectUnderConstruction()
406 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
528 MemRegionManager &MRMgr = SVB.getRegionManager(); in bindRequiredArrayElementToEnvironment() local
541 MRMgr.getElementRegion(Ctor->getType(), Idx, SourceArrayRegion, Ctx); in bindRequiredArrayElementToEnvironment()
[all …]
|
| H A D | RegionStore.cpp | 1428 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion()
1535 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1740 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second); in findLazyBinding()
1747 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second); in findLazyBinding()
1757 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg, in findLazyBinding()
2624 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray()
2627 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray()
2683 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2738 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
2825 const FieldRegion *SourceFR = MRMgr.getFieldRegion(Field, LCV.getRegion()); in tryBindSmallStruct()
[all …]
|
| H A D | CallEvent.cpp | 465 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local
494 MRMgr.getParamVarRegion(Call.getOriginExpr(), Idx, CalleeCtx)); in addParameterValuesToBindings()
1416 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
1417 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
|
| H A D | ExprEngine.cpp | 230 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
350 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
397 TR = MRMgr.getCXXStaticLifetimeExtendedObjectRegion(Init, VD); in createTemporaryRegionIfNeeded()
399 TR = MRMgr.getCXXLifetimeExtendedObjectRegion(Init, VD, LC); in createTemporaryRegionIfNeeded()
403 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
406 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 67 MemRegionManager &MRMgr; variable
139 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
144 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
149 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
|
| H A D | ExprEngine.h | 157 MemRegionManager &MRMgr; variable
432 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
|