Daatflow: Fix bug

Alex Eyers-Taylor · Alexander Eyers-Taylor · commit 7a8d2392eeac · 2025-10-07T17:52:12.000+01:00
diff --git 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()
