/openbsd/gnu/llvm/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() 388 MRMgr.getCXXDerivedObjectRegion(TargetClass, SR)); in evalBaseToDerived() 435 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar() 437 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar() 486 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement() 505 return loc::MemRegionVal(MRMgr.getElementRegion( in getLValueElement() 518 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
H A D | ExprEngineCXX.cpp | 126 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() local 153 MRMgr.getCXXBaseObjectRegion(BaseClass, ThisReg, in computeObjectUnderConstruction() 188 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction() 300 return loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E)); in computeObjectUnderConstruction() 303 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction() 311 MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx)); in computeObjectUnderConstruction() 388 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction() 688 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor() local 689 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor() 886 Dest = MRMgr.getCXXTempObjectRegion(E, Pred->getLocationContext()); in VisitCXXDestructor() [all …]
|
H A D | RegionStore.cpp | 1273 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion() 1389 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer() 1594 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second); in findLazyBinding() 1601 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second); in findLazyBinding() 1611 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg, in findLazyBinding() 2464 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray() 2467 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray() 2567 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector() 2616 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct() 2700 MRMgr.getCXXBaseObjectRegion(BRD, R, /*IsVirtual=*/false); in bindStruct() [all …]
|
H A D | CallEvent.cpp | 463 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local 492 MRMgr.getParamVarRegion(Call.getOriginExpr(), Idx, CalleeCtx)); in addParameterValuesToBindings() 1368 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local 1369 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
|
H A D | ExprEngine.cpp | 228 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine() 348 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local 394 TR = MRMgr.getCXXStaticTempObjectRegion(Init); in createTemporaryRegionIfNeeded() 396 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded() 400 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
|
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | Store.h | 59 MemRegionManager &MRMgr; variable 131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() 136 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar() 141 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()
|