Home
last modified time | relevance | path

Searched refs:getElementRegion (Results 1 – 8 of 8) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
71 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
485 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
504 return loc::MemRegionVal(MRMgr.getElementRegion( in getLValueElement()
517 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
H A DRegionStore.cpp1376 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
2448 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray()
2451 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray()
2504 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2551 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
H A DExprEngineCXX.cpp189 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
1071 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
H A DSimpleSValBuilder.cpp1190 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
H A DMemRegion.cpp1151 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion() function in MemRegionManager
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp173 const ElementRegion *const ER = RegionManager.getElementRegion( in allRegionsUsedByWait()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp172 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h1504 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1510 return getElementRegion(ER->getElementType(), ER->getIndex(), in getElementRegionWithSuper()