C++: clarify folds only appear in uninstantiated templates

nickrolfe · nickrolfe · commit 8da2f0b8dcc6 · 2019-05-02T11:16:21.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
@@ -965,7 +965,8 @@ class NoExceptExpr extends Expr, @noexceptexpr {
 }
 
 /**
- * A C++17 fold expression.
+ * A C++17 fold expression. This will only appear in an uninstantiated template; any instantiations
+ * of the template will instead contain the sequence of expressions given by expanding the fold.
  */
 class FoldExpr extends Expr, @foldexpr {
   override string toString() {

Original file line number	Diff line number	Diff line change
`@@ -965,7 +965,8 @@ class NoExceptExpr extends Expr, @noexceptexpr {`
`965`	`965`	`}`
`966`	`966`
`967`	`967`	`/**`
`968`		`- * A C++17 fold expression.`
	`968`	`+ * A C++17 fold expression. This will only appear in an uninstantiated template; any instantiations`
	`969`	`+ * of the template will instead contain the sequence of expressions given by expanding the fold.`
`969`	`970`	`*/`
`970`	`971`	`class FoldExpr extends Expr, @foldexpr {`
`971`	`972`	`override string toString() {`