Home
last modified time | relevance | path

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

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