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

/freebsd-10.1-release/contrib/llvm/tools/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.cpp289 MemRegionManager &MRMgr = SVB.getRegionManager(); local
301 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
902 MemRegionManager &MRMgr = SVB.getRegionManager(); local
903 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
H A DRegionStore.cpp1105 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K);
1252 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx));
1452 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second);
1459 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second);
1469 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg,
1999 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx);
2046 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx);
2090 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion());
2093 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R);
2147 const FieldRegion* FR = MRMgr
[all...]
H A DExprEngineCXX.cpp177 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); local
178 Target = MRMgr.getCXXTempObjectRegion(CE, LCtx);
H A DExprEngine.cpp190 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local
219 TR = MRMgr.getCXXStaticTempObjectRegion(Inner);
222 TR = MRMgr.getCXXTempObjectRegion(Inner, LC);
H A DBugReporterVisitors.cpp848 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local
849 return MRMgr.getVarRegion(VD, N->getLocationContext());
/freebsd-10.1-release/contrib/llvm/tools/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 84 milliseconds