Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp277 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()
286 sb.makeArrayIndex(scaling.getQuantity()), in scaleValue()
H A DMallocChecker.cpp1144 svalBuilder.makeArrayIndex(TypeSize.getQuantity()), in addExtentSize()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp170 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h273 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex() function
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp64 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
H A DRegionStore.cpp2210 const NonLoc &Idx = svalBuilder.makeArrayIndex(i); in bindArray()
2258 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
H A DExprEngineC.cpp1072 RHS = svalBuilder.makeArrayIndex(1); in VisitIncrementDecrementOperator()