We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4ee236d commit 1d9a93aCopy full SHA for 1d9a93a
go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
@@ -105,7 +105,7 @@ private Field getASparselyUsedChannelTypedField() {
105
106
bindingset[v]
107
pragma[inline_late]
108
-private predicate jumpStepHelper(ValueEntity v, Node n) { n = v.getARead() }
+private predicate isValueEntityRead(ValueEntity v, Node n) { n = v.getARead() }
109
110
/**
111
* 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) {
121
or
122
n1.(DataFlow::PostUpdateNode).getPreUpdateNode() = v.getARead()
123
) and
124
- jumpStepHelper(v, n2)
+ isValueEntityRead(v, n2)
125
)
126
127
exists(SsaExplicitDefinition def, SsaVariableCapture succ |
0 commit comments