[clang] [Sema] Fix computations of "unexpanded packs" in substituted lambdas (PR #99882)

Ilya Biryukov via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 22 09:25:48 PDT 2024


================
@@ -353,7 +353,11 @@ Sema::DiagnoseUnexpandedParameterPacks(SourceLocation Loc,
       }
 
       if (!EnclosingStmtExpr) {
-        LSI->ContainsUnexpandedParameterPack = true;
+        // It is ok to have unexpanded packs in captures, template parameters
+        // and parameters too, but only the body statement does not store this
+        // flag, so we have to propagate it through LamdaScopeInfo.
+        if (LSI->AfterParameterList)
+          LSI->BodyContainsUnexpandedParameterPack = true;
----------------
ilya-biryukov wrote:

Yeah, there aren't any additional recursive traversals. It's only a shallow traversal over the fields of the lambda itself and it's corresponding members.

https://github.com/llvm/llvm-project/pull/99882


More information about the cfe-commits mailing list