Home
last modified time | relevance | path

Searched refs:makeArrayIndex (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp87 SvalBuilder.makeArrayIndex(TypeSize.getQuantity()), in getExtentSizeOfNewTarget()
97 return SvalBuilder.makeArrayIndex(I.getZExtValue()); in getExtentSizeOfNewTarget()
H A DArrayBoundCheckerV2.cpp286 sb.makeArrayIndex(scaling.getQuantity()), in scaleValue()
H A DIteratorModeling.cpp259 SVB.makeArrayIndex(1)); in checkPostStmt()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getDynamicExtentWithOffset()
H A DExprEngineCXX.cpp107 LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue); in makeElementRegion()
179 svalBuilder.makeArrayIndex(Idx), MR, in computeObjectUnderConstruction()
304 Base = State->getLValue(E->getType(), svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
603 State, AILE, LCtx, svalBuilder.makeArrayIndex(Idx)); in handleConstructor()
1011 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
H A DStore.cpp63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
H A DRegionStore.cpp2460 auto Idx = svalBuilder.makeArrayIndex(i); in tryBindSmallArray()
2516 const NonLoc &Idx = svalBuilder.makeArrayIndex(i); in bindArray()
2563 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
H A DExprEngineC.cpp1117 RHS = svalBuilder.makeArrayIndex(1); in VisitIncrementDecrementOperator()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp171 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h263 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex() function