openide/java/java-tests/testData/inspection/dataFlow/tracker/ModOutOfRange.java

/*
Value is always false (x % 10 == 15; line#7)
  Result of '%' is in {-9..9} (x % 10; line#7)
 */
class Test {
  void test(int x) {
    if (<selection>x % 10 == 15</selection>) {

    }
  }
}