Searched defs:state_exceedsUpperBound (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp154 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; local
155 std::tie(state_exceedsUpperBound, state_withinUpperBound) =
159 if (state_exceedsUpperBound && state_withinUpperBound) {
161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted);
166 if (state_exceedsUpperBound) {
168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes);

Completed in 83 milliseconds