diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp index 4c7ebbd56aee..0be473ea9c9e 100644 --- a/clang/lib/Sema/SemaDeclCXX.cpp +++ b/clang/lib/Sema/SemaDeclCXX.cpp @@ -1635,6 +1635,12 @@ Sema::ActOnCXXInClassMemberInitializer(Decl *D, SourceLocation EqualLoc, return; } + if (DiagnoseUnexpandedParameterPack(InitExpr, UPPC_Initializer)) { + FD->setInvalidDecl(); + FD->removeInClassInitializer(); + return; + } + ExprResult Init = InitExpr; if (!FD->getType()->isDependentType() && !InitExpr->isTypeDependent()) { // FIXME: if there is no EqualLoc, this is list-initialization. @@ -2031,6 +2037,9 @@ Sema::BuildMemberInitializer(ValueDecl *Member, assert((DirectMember || IndirectMember) && "Member must be a FieldDecl or IndirectFieldDecl"); + if (Args.DiagnoseUnexpandedParameterPack(*this)) + return true; + if (Member->isInvalidDecl()) return true; diff --git a/clang/test/CXX/temp/temp.decls/temp.variadic/p5.cpp b/clang/test/CXX/temp/temp.decls/temp.variadic/p5.cpp index 0f409e709e98..bade856f6033 100644 --- a/clang/test/CXX/temp/temp.decls/temp.variadic/p5.cpp +++ b/clang/test/CXX/temp/temp.decls/temp.variadic/p5.cpp @@ -189,6 +189,12 @@ struct TestUnexpandedDecls : T{ T list_init = { static_cast(0) }; // expected-error{{initializer contains unexpanded parameter pack 'Types'}} } + T in_class_member_init = static_cast(0); // expected-error{{initializer contains unexpanded parameter pack 'Types'}} + TestUnexpandedDecls() : + Types(static_cast(0)), // expected-error{{initializer contains unexpanded parameter pack 'Types'}} + Types(static_cast(0))..., + in_class_member_init(static_cast(0)) {} // expected-error{{initializer contains unexpanded parameter pack 'Types'}} + void default_function_args(T = static_cast(0)); // expected-error{{default argument contains unexpanded parameter pack 'Types'}} template // expected-error{{default argument contains unexpanded parameter pack 'Types'}}