Searched refs:MRMgr (Results 1 – 7 of 7) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
D | Store.cpp | 26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager() 48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion() 70 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion() 286 MRMgr.getCXXBaseObjectRegion(BaseDecl, DerivedRegVal->getRegion(), in evalDerivedToBase() 429 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar() 431 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar() 466 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement() 485 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement() 499 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
D | RegionStore.cpp | 1102 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion() 1249 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer() 1449 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second); in findLazyBinding() 1456 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second); in findLazyBinding() 1466 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg, in findLazyBinding() 1996 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray() 2043 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector() 2085 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct() 2088 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct() 2142 const FieldRegion* FR = MRMgr.getFieldRegion(*FI, R); in bindStruct()
|
D | CallEvent.cpp | 290 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local 303 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); in addParameterValuesToBindings() 894 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local 895 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
|
D | ExprEngineCXX.cpp | 173 MemRegionManager &MRMgr = Eng.getSValBuilder().getRegionManager(); in getRegionForConstructedObject() local 174 return MRMgr.getCXXTempObjectRegion(CE, LCtx); in getRegionForConstructedObject()
|
D | BugReporterVisitors.cpp | 848 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference() local 849 return MRMgr.getVarRegion(VD, N->getLocationContext()); in getLocationRegionIfReference()
|
D | ExprEngine.cpp | 192 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local 221 TR = MRMgr.getCXXStaticTempObjectRegion(Inner); in createTemporaryRegionIfNeeded() 224 TR = MRMgr.getCXXTempObjectRegion(Inner, LC); in createTemporaryRegionIfNeeded()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | Store.h | 46 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()
|