Merge pull request #3618 from aschackmull/java/typeflow-test

Approved by aibaars
2026-01-15 07:24:49 +01:00 · 2020-06-04 10:09:44 +01:00
parent 70131e6ac8 64225c31a6
commit c806e229aa
2 changed files with 8 additions and 0 deletions
--- a/java/ql/test/library-tests/typeflow/A.java
+++ b/java/ql/test/library-tests/typeflow/A.java
@@ -85,4 +85,11 @@ public class A extends ArrayList<Long> {
      empty.put(k, v);
    }
  }
+
+  public void m8(Object[] xs, int i) {
+    if (xs[i] instanceof Integer) {
+      Object n = xs[i];
+      Object r = n;
+    }
+  }
 }
--- a/java/ql/test/library-tests/typeflow/typeflow.expected
+++ b/java/ql/test/library-tests/typeflow/typeflow.expected
@@ -12,3 +12,4 @@
 | A.java:61:11:61:11 | x | Integer | false |
 | A.java:67:22:67:22 | x | Integer | false |
 | A.java:70:23:70:24 | x2 | Integer | false |
+| A.java:92:18:92:18 | n | Integer | false |