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

semmle-qlci · web-flow · commit c806e229aa32 · 2020-06-04T10:09:44.000+01:00
Approved by aibaars
diff --git a/java/ql/test/library-tests/typeflow/A.java b/java/ql/test/library-tests/typeflow/A.java
@@ -85,4 +85,11 @@ public void put(String k, String v) {
       empty.put(k, v);
     }
   }
+
+  public void m8(Object[] xs, int i) {
+    if (xs[i] instanceof Integer) {
+      Object n = xs[i];
+      Object r = n;
+    }
+  }
 }
diff --git 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 |

Original file line number	Diff line number	Diff line change
`@@ -85,4 +85,11 @@ public void put(String k, String v) {`
`85`	`85`	`empty.put(k, v);`
`86`	`86`	`}`
`87`	`87`	`}`
	`88`	`+`
	`89`	`+ public void m8(Object[] xs, int i) {`
	`90`	`+ if (xs[i] instanceof Integer) {`
	`91`	`+ Object n = xs[i];`
	`92`	`+ Object r = n;`
	`93`	`+ }`
	`94`	`+ }`
`88`	`95`	`}`