| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
71 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
296 const MemRegion *BaseReg = MRMgr.getCXXBaseObjectRegion( in evalDerivedToBase()
387 MRMgr.getCXXDerivedObjectRegion(TargetClass, SR)); in evalBaseToDerived()
434 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
436 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
495 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
514 return loc::MemRegionVal(MRMgr.getElementRegion( in getLValueElement()
527 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
| H A D | ExprEngineCXX.cpp | 127 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() local
154 MRMgr.getCXXBaseObjectRegion(BaseClass, ThisReg, in computeObjectUnderConstruction()
189 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
301 MRMgr.getCXXStaticLifetimeExtendedObjectRegion(E, VD)); in computeObjectUnderConstruction()
304 MRMgr.getCXXLifetimeExtendedObjectRegion(E, VD, LCtx)); in computeObjectUnderConstruction()
309 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
317 MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx)); in computeObjectUnderConstruction()
396 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
696 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor() local
697 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
[all …]
|
| H A D | RegionStore.cpp | 1264 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion()
1376 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1581 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second); in findLazyBinding()
1588 Result.second = MRMgr.getFieldRegionWithSuper(FR, Result.second); in findLazyBinding()
1598 Result.second = MRMgr.getCXXBaseObjectRegionWithSuper(BaseReg, in findLazyBinding()
2449 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray()
2452 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray()
2505 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2552 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
2598 const FieldRegion *SourceFR = MRMgr.getFieldRegion(Field, LCV.getRegion()); in tryBindSmallStruct()
[all …]
|
| H A D | CallEvent.cpp | 466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local
495 MRMgr.getParamVarRegion(Call.getOriginExpr(), Idx, CalleeCtx)); in addParameterValuesToBindings()
1396 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
1397 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
|
| H A D | ExprEngine.cpp | 229 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
349 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
396 TR = MRMgr.getCXXStaticLifetimeExtendedObjectRegion(Init, VD); in createTemporaryRegionIfNeeded()
398 TR = MRMgr.getCXXLifetimeExtendedObjectRegion(Init, VD, LC); in createTemporaryRegionIfNeeded()
402 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
405 TR = MRMgr.getCXXTempObjectRegion(Init, LC); in createTemporaryRegionIfNeeded()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 59 MemRegionManager &MRMgr; variable
131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
136 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
141 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
|
| H A D | ExprEngine.h | 157 MemRegionManager &MRMgr; variable
424 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
|