Searched refs:getElementRegion (Results 1 – 8 of 8) sorted by relevance
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
71 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
486 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
505 return loc::MemRegionVal(MRMgr.getElementRegion( in getLValueElement()
518 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
| H A D | RegionStore.cpp | 1389 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
2464 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray()
2467 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray()
2520 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2567 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
|
| H A D | ExprEngineCXX.cpp | 188 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
1066 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
|
| H A D | SimpleSValBuilder.cpp | 1164 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
|
| H A D | MemRegion.cpp | 1135 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion() function in MemRegionManager
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 173 const ElementRegion *const ER = RegionManager.getElementRegion( in allRegionsUsedByWait()
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoModeling.cpp | 171 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 1458 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1464 return getElementRegion(ER->getElementType(), ER->getIndex(), in getElementRegionWithSuper()
|