Searched refs:MRMgr (Results 1 - 7 of 7) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
70 return MRMgr.getElementRegion(T, idx, R, Ctx);
286 MRMgr.getCXXBaseObjectRegion(BaseDecl, DerivedRegVal->getRegion(),
429 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR));
431 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR));
466 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
485 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
499 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR,
H A DCallEvent.cpp290 MemRegionManager &MRMgr = SVB.getRegionManager(); local
303 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
894 MemRegionManager &MRMgr = SVB.getRegionManager(); local
895 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
H A DRegionStore.cpp1102 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K);
1249 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx));
1449 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second);
1456 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second);
1466 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg,
1996 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx);
2043 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx);
2085 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion());
2088 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R);
2142 const FieldRegion* FR = MRMgr
[all...]
H A DExprEngineCXX.cpp173 MemRegionManager &MRMgr = Eng.getSValBuilder().getRegionManager(); local
174 return MRMgr.getCXXTempObjectRegion(CE, LCtx);
H A DExprEngine.cpp192 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local
221 TR = MRMgr.getCXXStaticTempObjectRegion(Inner);
224 TR = MRMgr.getCXXTempObjectRegion(Inner, LC);
H A DBugReporterVisitors.cpp848 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local
849 return MRMgr.getVarRegion(VD, N->getLocationContext());
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h45 /// MRMgr - Manages region objects associated with this StoreManager.
46 MemRegionManager &MRMgr; member in class:clang::ento::StoreManager
85 MemRegionManager& getRegionManager() { return MRMgr; }
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));

Completed in 162 milliseconds