Java: Minor additional type pruning.

2026-02-28 21:03:50 +01:00 · 2019-09-23 11:07:10 +02:00
parent 42a970b905
commit f8f3a4b25f
1 changed files with 2 additions and 1 deletions
--- 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())
    )
  }