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

/*
Value is always false (b; line#8)
  'b == false' was established from condition (!b; line#8)
 */
class Test {
  void test(boolean b, int limit) {
    for(int i=0; i<=limit; i++) {
      if (!b) System.out.println(<selection>b</selection>);
    }
  }
}