Dataflow: Minor simplification.

aschackmull · aschackmull · commit 40f77136787a · 2024-12-10T13:28:43.000+01:00
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

Original file line number	Diff line number	Diff line change
`@@ -2043,7 +2043,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {`
`2043`	`2043`	`exists(NodeEx node, FlowState state \|`
`2044`	`2044`	`sourceNode(node, state) and`
`2045`	`2045`	`(if hasSourceCallCtx() then cc = true else cc = false) and`
`2046`		`- PrevStage::revFlow(node, state, getApprox(any(ApNil nil))) and`
	`2046`	`+ PrevStage::revFlow(node, state, any(PrevStage::ApNil nil)) and`
`2047`	`2047`	`c = node.getEnclosingCallable()`
`2048`	`2048`	`)`
`2049`	`2049`	`or`