Add a clarifying comment.

Max Schaefer · Max Schaefer · commit 2ef421255acb · 2020-08-10T14:49:19.000+01:00
diff --git a/ql/src/semmle/go/dataflow/FunctionInputsAndOutputs.qll b/ql/src/semmle/go/dataflow/FunctionInputsAndOutputs.qll
@@ -264,6 +264,7 @@ private class OutParameter extends FunctionOutput, TOutParameter {
   override DataFlow::Node getExitNode(DataFlow::CallNode c) {
     exists(DataFlow::Node arg |
       arg = getArgument(c, index) and
+      // exclude slices passed to varargs parameters using `...` calls
       not (c.hasEllipsis() and index = c.getNumArgument() - 1)
     |
       result.(DataFlow::PostUpdateNode).getPreUpdateNode() = arg

Original file line number	Diff line number	Diff line change
`@@ -264,6 +264,7 @@ private class OutParameter extends FunctionOutput, TOutParameter {`
`264`	`264`	`override DataFlow::Node getExitNode(DataFlow::CallNode c) {`
`265`	`265`	`exists(DataFlow::Node arg \|`
`266`	`266`	`arg = getArgument(c, index) and`
	`267`	+ // exclude slices passed to varargs parameters using `...` calls
`267`	`268`	`not (c.hasEllipsis() and index = c.getNumArgument() - 1)`
`268`	`269`	`\|`
`269`	`270`	`result.(DataFlow::PostUpdateNode).getPreUpdateNode() = arg`