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

/*
Value is always false (s.length() < 0; line#7)
  String length is always non-negative (s.length(); line#7)
 */
class Test {
  void test(String s) {
    if (<selection>s.length() < 0</selection>) {

    }
  }
}