Use slightly less confusing syntax

owen-mc · owen-mc · commit b1bcbec37d56 · 2025-10-01T16:13:15.000+01:00
diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
@@ -134,7 +134,8 @@ predicate jumpStep(Node n1, Node n2) {
       lastUse = getAnAdjacentUse*(def.getAFirstUse()) and
       not exists(getAnAdjacentUse(lastUse))
     |
-      [n1, n1.(DataFlow::PostUpdateNode).getPreUpdateNode()] = instructionNode(lastUse)
+      n1 = instructionNode(lastUse) or
+      n1.(DataFlow::PostUpdateNode).getPreUpdateNode() = instructionNode(lastUse)
     )
   )
   or

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,8 @@ predicate jumpStep(Node n1, Node n2) {`
`134`	`134`	`lastUse = getAnAdjacentUse*(def.getAFirstUse()) and`
`135`	`135`	`not exists(getAnAdjacentUse(lastUse))`
`136`	`136`	`\|`
`137`		`- [n1, n1.(DataFlow::PostUpdateNode).getPreUpdateNode()] = instructionNode(lastUse)`
	`137`	`+ n1 = instructionNode(lastUse) or`
	`138`	`+ n1.(DataFlow::PostUpdateNode).getPreUpdateNode() = instructionNode(lastUse)`
`138`	`139`	`)`
`139`	`140`	`)`
`140`	`141`	`or`