Searched refs:state_precedesLowerBound (Results 1 – 1 of 1) sorted by relevance
122 ProgramStateRef state_precedesLowerBound, state_withinLowerBound; in checkLocation() local123 std::tie(state_precedesLowerBound, state_withinLowerBound) = in checkLocation()127 if (state_precedesLowerBound && !state_withinLowerBound) { in checkLocation()128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()