Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp73 return svalBuilder.makeZeroArrayIndex(); in computeExtentBegin()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h222 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex() function
/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp57 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
DExprEngineCXX.cpp99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); in makeZeroElementRegion()
DRegionStore.cpp1249 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()