Searched refs:state_exceedsUpperBound (Results 1 – 1 of 1) sorted by relevance
154 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; in checkLocation() local155 std::tie(state_exceedsUpperBound, state_withinUpperBound) = in checkLocation()159 if (state_exceedsUpperBound && state_withinUpperBound) { in checkLocation()161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted); in checkLocation()166 if (state_exceedsUpperBound) { in checkLocation()168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()