From 1fba8d99bcd29ba9e4e01d15b0b769712319a3a3 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Tue, 28 Jan 2025 15:33:22 +0100
Subject: [PATCH] Dataflow: Avoid duplication in fwdFlow1 disjunction.

---
 shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
index f5d0568e4ef08..ed52b473c4b41 100644
--- a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
+++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
@@ -415,7 +415,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
         private predicate compatibleContainer0(ApHeadContent apc, DataFlowType containerType) {
           exists(DataFlowType containerType0, Content c |
             PrevStage::storeStepCand(_, c, _, _, containerType0) and
-            not isTopType(containerType0) and
+            not topTypeContent(apc) and
             compatibleTypesCached(containerType0, containerType) and
             apc = projectToHeadContent(c)
           )