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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp73 return svalBuilder.makeZeroArrayIndex();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h227 NonLoc makeZeroArrayIndex() { function in class:clang::ento::SValBuilder
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp57 NonLoc idx = svalBuilder.makeZeroArrayIndex();
H A DExprEngineCXX.cpp99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
H A DRegionStore.cpp1341 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex();

Completed in 136 milliseconds