Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DLoopWidening.cpp53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
54 const MemRegion *Regions[] = {MRMgr.getStackLocalsRegion(STC), in getWidenedLoopState()
55 MRMgr.getStackArgumentsRegion(STC), in getWidenedLoopState()
56 MRMgr.getGlobalsRegion()}; in getWidenedLoopState()
DStore.cpp26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
59 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
275 MRMgr.getCXXBaseObjectRegion(BaseDecl, DerivedRegVal->getRegion(), in evalDerivedToBase()
418 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
420 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
455 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
474 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
488 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
DRegionStore.cpp1195 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion()
1342 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1546 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second); in findLazyBinding()
1553 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second); in findLazyBinding()
1563 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg, in findLazyBinding()
2093 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2140 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
2182 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct()
2185 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct()
2239 const FieldRegion* FR = MRMgr.getFieldRegion(*FI, R); in bindStruct()
DCallEvent.cpp318 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local
331 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); in addParameterValuesToBindings()
1029 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
1030 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
DExprEngineCXX.cpp155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in getRegionForConstructedObject() local
156 return MRMgr.getCXXTempObjectRegion(CE, LCtx); in getRegionForConstructedObject()
DBugReporterVisitors.cpp893 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference() local
894 return MRMgr.getVarRegion(VD, N->getLocationContext()); in getLocationRegionIfReference()
DExprEngine.cpp203 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
232 TR = MRMgr.getCXXStaticTempObjectRegion(Inner); in createTemporaryRegionIfNeeded()
235 TR = MRMgr.getCXXTempObjectRegion(Inner, LC); in createTemporaryRegionIfNeeded()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h46 MemRegionManager &MRMgr; variable
85 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()