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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp202 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; local
203 std::tie(state_exceedsUpperBound, state_withinUpperBound) =
207 if (state_exceedsUpperBound && state_withinUpperBound) {
210 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted,
214 } else if (state_exceedsUpperBound) {
218 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes);

Completed in 96 milliseconds