diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll index 6e716b74bc3..e379059f4bc 100644 --- a/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll +++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll @@ -189,13 +189,6 @@ module MakeImplStage1 Lang> { // If we are in global evaluation with an overlay present, restrict // sources to those visible in the overlay or isOverlayNode(source) - or - // those from files in the diff. The diff is a subset of the overlay - // in the common case, but this is not guaranteed. Including the diff here - // ensures that we re-evaluate flow that passes from a file in the - // diff (but in the base), through a file in the overlay with - // possibly important changes, back to the base. - isDiffFileNode(source) ) } @@ -215,8 +208,6 @@ module MakeImplStage1 Lang> { not isEvaluatingInOverlay() or isOverlayNode(sink) - or - isDiffFileNode(sink) ) }