Skip to content

Commit 4168245

Browse files
committed
Ruby: Fix doc comments
1 parent 29a8a82 commit 4168245

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -474,6 +474,7 @@ private module Cached {
474474
} or
475475
TSynthSplatArgumentNode(CfgNodes::ExprNodes::CallCfgNode c) or
476476
TSynthSplatArgumentElementNode(CfgNodes::ExprNodes::CallCfgNode c, int n) {
477+
// we use -1 to represent data at an unknown index
477478
n in [-1 .. 10] and
478479
exists(Argument arg, ArgumentPosition pos |
479480
pos.isSplat(any(int p | p > 0)) and arg.isArgumentOf(c, pos)
@@ -1546,7 +1547,7 @@ predicate storeStepCommon(Node node1, ContentSet c, Node node2) {
15461547
}
15471548

15481549
/**
1549-
* A store step from a `SynthSplatArgumentElementNode` into a `SynthSplatArgumentNode`.
1550+
* Holds if data can flow from a `SynthSplatArgumentElementNode` into a `SynthSplatArgumentNode` via a store step.
15501551
* For example in
15511552
*
15521553
* ```rb
@@ -1627,7 +1628,7 @@ predicate readStepCommon(Node node1, ContentSet c, Node node2) {
16271628
}
16281629

16291630
/**
1630-
* A read step from a splat argument to a `SynthSplatArgumentElementNode`.
1631+
* Holds if data can flow from a splat argument to a `SynthSplatArgumentElementNode` via a read step.
16311632
* For example in
16321633
* ```rb
16331634
* foo(x, y, *[1, 2])

0 commit comments

Comments
 (0)