Searched refs:MRMgr (Results 1 - 9 of 9) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); local
60 const MemRegion *Regions[] = {MRMgr.getStackLocalsRegion(STC),
61 MRMgr.getStackArgumentsRegion(STC),
62 MRMgr.getGlobalsRegion()};
75 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx);
88 MRMgr.getCXXThisRegion(CXXMD->getThisType(), STC);
|
| H A D | Store.cpp | 44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
71 return MRMgr.getElementRegion(T, idx, R, Ctx);
294 const MemRegion *BaseReg = MRMgr.getCXXBaseObjectRegion(
387 MRMgr.getCXXDerivedObjectRegion(TargetClass, SR));
474 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR));
476 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR));
512 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
531 return loc::MemRegionVal(MRMgr.getElementRegion(
544 return loc::MemRegionVal(MRMgr
[all...] |
| H A D | ExprEngineCXX.cpp | 116 MemRegionManager &MRMgr = SVB.getRegionManager(); local
299 V = loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E));
303 V = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
392 State, loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)));
459 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); local
460 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(CE, LCtx));
636 Dest = MRMgr.getCXXTempObjectRegion(E, Pred->getLocationContext());
|
| H A D | RegionStore.cpp | 1288 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K);
1440 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx));
1644 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second);
1651 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second);
1661 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg,
2272 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx);
2319 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx);
2361 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion());
2364 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R);
2450 MRMgr
[all...] |
| H A D | CallEvent.cpp | 510 MemRegionManager &MRMgr = SVB.getRegionManager(); local
531 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
1355 MemRegionManager &MRMgr = SVB.getRegionManager(); local
1356 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
|
| H A D | ExprEngine.cpp | 214 MRMgr(StateMgr.getRegionManager()),
337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local
383 TR = MRMgr.getCXXStaticTempObjectRegion(Init);
385 TR = MRMgr.getCXXTempObjectRegion(Init, LC);
389 TR = MRMgr.getCXXTempObjectRegion(Init, LC);
|
| H A D | BugReporterVisitors.cpp | 1837 MemRegionManager &MRMgr = StateMgr.getRegionManager(); local
1838 return MRMgr.getVarRegion(VD, N->getLocationContext());
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 58 /// MRMgr - Manages region objects associated with this StoreManager.
59 MemRegionManager &MRMgr; member in class:clang::ento::StoreManager
130 MemRegionManager& getRegionManager() { return MRMgr; }
135 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
140 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));
|
| H A D | ExprEngine.h | 134 /// MRMgr - MemRegionManager object that creates memory regions.
135 MemRegionManager &MRMgr; member in class:clang::ento::ExprEngine
398 MemRegionManager &getRegionManager() { return MRMgr; }
|
Completed in 243 milliseconds