Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit ce52cbb

Browse files
committed
C++: Disambiguate *n1..n2 doc.
1 parent 76780d7 commit ce52cbb

1 file changed

Lines changed: 6 additions & 4 deletions

File tree

cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,8 +37,9 @@
3737
* indirection, for example, `Argument[*0]` indicates the first indirection
3838
* of the 0th argument.
3939
* - `n1..n2` syntax can be used to indicate a range of arguments, inclusive
40-
* at both ends. One or more "*" can be added in front of the range to
41-
* indicate indirection on all arguments in the range, for example `*n1..n2`.
40+
* at both ends. One or more "*"s can be added in front of the whole range
41+
* to indicate that every argument in the range is indirect, for example
42+
* `*0..1` is the first indirection of both arguments 0 and 1.
4243
* - "ReturnValue": Selects a value being returned by the selected element.
4344
* One or more "*" can be added as an argument to indicate indirection, for
4445
* example, "ReturnValue[*]" indicates the first indirection of the return
@@ -54,8 +55,9 @@
5455
* indirection, for example, `Argument[*0]` indicates the first indirection
5556
* of the 0th argument.
5657
* - `n1..n2` syntax can be used to indicate a range of arguments, inclusive
57-
* at both ends. One or more "*" can be added in front of the range to
58-
* indicate indirection on all arguments in the range, for example `*n1..n2`.
58+
* at both ends. One or more "*"s can be added in front of the whole range
59+
* to indicate that every argument in the range is indirect, for example
60+
* `*0..1` is the first indirection of both arguments 0 and 1.
5961
* - "Parameter[n]": Selects the value of a parameter of the selected element.
6062
* The syntax is the same as for "Argument", for example "Parameter[0]",
6163
* "Parameter[*0]", "Parameter[0..2]" etc.

0 commit comments

Comments
 (0)