From 1d9a93a7313ed1ce9006f5fd96fc4f147416e45e Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Thu, 25 Sep 2025 11:27:28 +0100
Subject: [PATCH] Rename helper predicate

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

diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
index df352dc03d8..cd54bb5f1ce 100644
--- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
+++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
@@ -105,7 +105,7 @@ private Field getASparselyUsedChannelTypedField() {
 
 bindingset[v]
 pragma[inline_late]
-private predicate jumpStepHelper(ValueEntity v, Node n) { n = v.getARead() }
+private predicate isValueEntityRead(ValueEntity v, Node n) { n = v.getARead() }
 
 /**
  * Holds if data can flow from `node1` to `node2` in a way that loses the
@@ -121,7 +121,7 @@ predicate jumpStep(Node n1, Node n2) {
       or
       n1.(DataFlow::PostUpdateNode).getPreUpdateNode() = v.getARead()
     ) and
-    jumpStepHelper(v, n2)
+    isValueEntityRead(v, n2)
   )
   or
   exists(SsaExplicitDefinition def, SsaVariableCapture succ |