From b1bcbec37d5662ec16a3dcf9c7766dc87b630ec6 Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Thu, 25 Sep 2025 11:31:53 +0100
Subject: [PATCH] Use slightly less confusing syntax

---
 go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
index cd54bb5f1ce..3f2efd3b492 100644
--- 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