dfa: don't forget variable instanceof info when merging states

2026-08-26 15:27:45 +07:00 · 2013-09-27 13:00:16 +02:00
parent 083da84b79
commit b370bc5b85
3 changed files with 22 additions and 1 deletions
@@ -0,0 +1,19 @@
+class Some {
+  void foo() {
+    Object o = null;
+    while (equals(3)) {
+      if (equals(2)) {
+        if (o == null) {
+          o = new String();
+        }
+      }
+      if (<warning descr="Condition 'o == null || o instanceof String' is always 'true'">o == null || <warning descr="Condition 'o instanceof String' is always 'true' when reached">o instanceof String</warning></warning>) {
+        System.out.println(o);
+      }
+    }
+  }
+
+
+}
+
+