Skip to content

Commit fb04e39

Browse files
egregius313owen-mc
andauthored
ReturnValue[i] text
Co-authored-by: Owen Mansel-Chan <[email protected]>
1 parent 7210786 commit fb04e39

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/codeql/codeql-language-guides/customizing-library-models-for-go.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -246,7 +246,7 @@ The sixth value should be left empty and is out of scope for this documentation.
246246
The remaining values are used to define the ``access path``, the ``kind``, and the ``provenance`` (origin) of the summary.
247247

248248
- The seventh value is the access path to the input (where data flows from). ``Argument[receiver]`` is the access path to the receiver (``u`` in the example).
249-
- The eighth value ``ReturnValue`` is the access path to the output (where data flows to), in this case ``ReturnValue``, which means that the input flows to the return value.
249+
- The eighth value ``ReturnValue`` is the access path to the output (where data flows to), in this case ``ReturnValue``, which means that the input flows to the return value. When there are multiple return values, use `ReturnValue[i]` to refer to the `i`th return value (starting from 0).
250250
- The ninth value ``taint`` is the kind of the flow. ``taint`` means that taint is propagated through the call.
251251
- The tenth value ``manual`` is the provenance of the summary, which is used to identify the origin of the summary.
252252

0 commit comments

Comments
 (0)