Java: Minor additional type pruning.

aschackmull · aschackmull · commit f8f3a4b25fb7 · 2019-09-23T11:07:10.000+02:00
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll
@@ -332,7 +332,8 @@ private module ImplCommon {
     exists(Node mid1, Node mid2, Content f |
       store(node1, f, mid1) and
       localValueStep*(mid1, mid2) and
-      read(mid2, f, node2)
+      read(mid2, f, node2) and
+      compatibleTypes(node1.getTypeBound(), node2.getTypeBound())
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -332,7 +332,8 @@ private module ImplCommon {`
`332`	`332`	`exists(Node mid1, Node mid2, Content f \|`
`333`	`333`	`store(node1, f, mid1) and`
`334`	`334`	`localValueStep*(mid1, mid2) and`
`335`		`- read(mid2, f, node2)`
	`335`	`+ read(mid2, f, node2) and`
	`336`	`+ compatibleTypes(node1.getTypeBound(), node2.getTypeBound())`
`336`	`337`	`)`
`337`	`338`	`}`
`338`	`339`