Home
last modified time | relevance | path

Searched refs:makeZeroArrayIndex (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp77 return svalBuilder.makeZeroArrayIndex(); in computeExtentBegin()
277 return val.isUndef() ? svalBuilder.makeZeroArrayIndex() : val; in getValue()
H A DErrnoModeling.cpp171 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
H A DRegionStore.cpp1388 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h259 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex() function