framework/tests/value/RefineUnknownToIntRange.java

import org.checkerframework.common.value.qual.BoolVal;
import org.checkerframework.common.value.qual.IntRange;

public class RefineUnknownToIntRange {
  void test1(int x) {
    if (x > 1) {
      @IntRange(from = 2) int z = x;
    }

    if (x < 1) {
      @IntRange(to = 0) int z = x;
    }

    if (1 < x) {
      @IntRange(from = 2) int z = x;
    }

    if (1 > x) {
      @IntRange(to = 0) int z = x;
    }

    if (x >= 1) {
      @IntRange(from = 1) int z = x;
    }

    if (x <= 1) {
      @IntRange(to = 1) int z = x;
    }

    if (x < 100 && x > 2) {
      @IntRange(from = 3, to = 99) int z = x;
    }
  }

  void test3(boolean x) {
    // Make sure non int values are ignored.
    if (x == false) {
      @BoolVal(false) boolean y = x;
    }

    if (x != true) {
      @BoolVal(false) boolean y = x;
    }

    Object o = new Object();
    Object o2 = new Object();
    if (o == o2) {}
  }
}