Dataflow: Avoid duplication in fwdFlow1 disjunction.

github · Jan 30, 2025 · 1a930cc · 1a930cc
1 parent 50f7c89
commit 1a930cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)
           )