framework/tests/value-ignore-range-overflow/Widen.java

package value;

import org.checkerframework.common.value.qual.*;

public class Widen {
  public class Loops {
    void test(int c, int max) {
      int decexp = 0;
      int seendot = 0;
      int i = 0;
      while (true) {
        if (c == '.' && seendot == 0) {
          seendot = 1;
        } else if ('0' <= c && c <= '9') {
          decexp += seendot;
        }

        if (max < i++) {
          break;
        }
      }
    }
  }
}