Home | History | Annotate | Download | only in sanitizer_common

Lines Matching full:invariant

1067       uptr mid = (beg + end) / 2;  // Invariant: mid >= beg + 1