From 7a8d2392eeac95ed7010bfacb22c49e3b7470331 Mon Sep 17 00:00:00 2001
From: Alex Eyers-Taylor <alexet@github.com>
Date: Thu, 25 Sep 2025 17:21:50 +0100
Subject: [PATCH] Daatflow: Fix bug

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

diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
index 07ebe057f02..982e4a1c6af 100644
--- a/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
+++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
@@ -150,6 +150,7 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
        * Shared between sources and sinks.
        */
       pragma[inline]
+      overlay[global]
       private predicate nonDiffInformedFilter(Node node) {
         // If we are in base-only global evaluation, do not filter out any sources.
         not isEvaluatingInOverlay()