Home
last modified time | relevance | path

Searched refs:MRMgr (Results 1 – 8 of 8) sorted by relevance

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DLoopWidening.cpp58 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 DStore.cpp44 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 DExprEngineCXX.cpp126 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 DRegionStore.cpp1273 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 DCallEvent.cpp463 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 DExprEngine.cpp228 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 DStore.h59 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 DExprEngine.h157 MemRegionManager &MRMgr; variable
432 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()