Searched refs:OOB_Precedes (Results 1 – 1 of 1) sorted by relevance
33 enum OOB_Kind { OOB_Precedes, OOB_Excedes, OOB_Tainted }; enumerator128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()199 case OOB_Precedes: in reportOOB()