Searched refs:state_exceedsUpperBound (Results 1 – 1 of 1) sorted by relevance
201 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; in checkLocation() local202 std::tie(state_exceedsUpperBound, state_withinUpperBound) = in checkLocation()206 if (state_exceedsUpperBound && state_withinUpperBound) { in checkLocation()209 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted, in checkLocation()213 } else if (state_exceedsUpperBound) { in checkLocation()217 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()