From f8f3a4b25fb7d6ff5464eebf151ca695dea19f68 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <schack@semmle.com>
Date: Mon, 23 Sep 2019 11:07:10 +0200
Subject: [PATCH] Java: Minor additional type pruning.

---
 .../semmle/code/java/dataflow/internal/DataFlowImplCommon.qll  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll
index 97052e80004..240913001d5 100644
--- 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())
     )
   }