Dataflow: Minor simplification.

github · Dec 10, 2024 · 40f7713 · 40f7713
1 parent 4e155f8
commit 40f7713
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
@@ -2043,7 +2043,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
             exists(NodeEx node, FlowState state |
               sourceNode(node, state) and
               (if hasSourceCallCtx() then cc = true else cc = false) and
-              PrevStage::revFlow(node, state, getApprox(any(ApNil nil))) and
+              PrevStage::revFlow(node, state, any(PrevStage::ApNil nil)) and
               c = node.getEnclosingCallable()
             )
             or