Home
last modified time | relevance | path

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

/llvm-project-15.0.7/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.cpp1389 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
2462 MRMgr.getElementRegion(Ty, Idx, LCV.getRegion(), Ctx); in tryBindSmallArray()
2465 const ElementRegion *DstER = MRMgr.getElementRegion(Ty, Idx, R, Ctx); in tryBindSmallArray()
2517 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2564 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
H A DExprEngineCXX.cpp178 auto R = MRMgr.getElementRegion(NE->getType()->getPointeeType(), in computeObjectUnderConstruction()
1011 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
H A DSimpleSValBuilder.cpp1161 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
H A DMemRegion.cpp1119 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion() function in MemRegionManager
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DStoreTest.cpp132 MRManager.getElementRegion(ASTCtxt.IntTy, Zero, CLRegion, ASTCtxt)); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp173 const ElementRegion *const ER = RegionManager.getElementRegion( in allRegionsUsedByWait()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp170 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h1446 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1452 return getElementRegion(ER->getElementType(), ER->getIndex(), in getElementRegionWithSuper()