Searched refs:state_exceedsUpperBound (Results 1 – 1 of 1) sorted by relevance
151 const GRState *state_exceedsUpperBound, *state_withinUpperBound; in checkLocation() local152 llvm::tie(state_exceedsUpperBound, state_withinUpperBound) = in checkLocation()156 if (state_exceedsUpperBound && !state_withinUpperBound) { in checkLocation()157 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()