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 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()