Data flow: remove unused 'apNext'

asgerf · asgerf · commit 76eba98455b5 · 2024-08-29T15:42:04.000+02:00
diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
@@ -2719,7 +2719,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
                 apNext = ap
               )
               or
-              exists(NodeEx next, Ap apNext | revFlow(next, pragma[only_bind_into](state), apNext) |
+              exists(NodeEx next | revFlow(next, pragma[only_bind_into](state), _) |
                 storeStepCand(node, _, _, next, _, _)
                 or
                 readStepCand(node, _, next)

Original file line number	Diff line number	Diff line change
`@@ -2719,7 +2719,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {`
`2719`	`2719`	`apNext = ap`
`2720`	`2720`	`)`
`2721`	`2721`	`or`
`2722`		`- exists(NodeEx next, Ap apNext \| revFlow(next, pragma[only_bind_into](state), apNext) \|`
	`2722`	`+ exists(NodeEx next \| revFlow(next, pragma[only_bind_into](state), _) \|`
`2723`	`2723`	`storeStepCand(node, _, _, next, _, _)`
`2724`	`2724`	`or`
`2725`	`2725`	`readStepCand(node, _, next)`