Searched refs:MRMgr (Results 1 - 7 of 7) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 26 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 D | CallEvent.cpp | 290 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 D | RegionStore.cpp | 1102 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 D | ExprEngineCXX.cpp | 173 MemRegionManager &MRMgr = Eng.getSValBuilder().getRegionManager(); local 174 return MRMgr.getCXXTempObjectRegion(CE, LCtx);
|
H A D | ExprEngine.cpp | 192 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local 221 TR = MRMgr.getCXXStaticTempObjectRegion(Inner); 224 TR = MRMgr.getCXXTempObjectRegion(Inner, LC);
|
H A D | BugReporterVisitors.cpp | 848 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local 849 return MRMgr.getVarRegion(VD, N->getLocationContext());
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | Store.h | 45 /// 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