From c10f41938a02e0763092f8e67226ca736bc1390d Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Mon, 22 Apr 2013 14:50:35 -0400 Subject: [PATCH] Core 1609 Core 1609 * decl2.c (check_default_args): Check for pack expansion. From-SVN: r198152 --- gcc/cp/ChangeLog | 3 +++ gcc/cp/decl2.c | 2 +- gcc/testsuite/g++.dg/cpp0x/variadic142.C | 9 +++++++++ 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/variadic142.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b4680c276eb..0dada14784a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,8 @@ 2013-04-22 Jason Merrill + Core 1609 + * decl2.c (check_default_args): Check for pack expansion. + * mangle.c (write_type): Mangle decltype(auto). 2013-04-19 Jason Merrill diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c index 74e51a8036d..8d2385d76dd 100644 --- a/gcc/cp/decl2.c +++ b/gcc/cp/decl2.c @@ -4463,7 +4463,7 @@ check_default_args (tree x) { if (TREE_PURPOSE (arg)) saw_def = true; - else if (saw_def) + else if (saw_def && !PACK_EXPANSION_P (TREE_VALUE (arg))) { error ("default argument missing for parameter %P of %q+#D", i, x); TREE_PURPOSE (arg) = error_mark_node; diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic142.C b/gcc/testsuite/g++.dg/cpp0x/variadic142.C new file mode 100644 index 00000000000..83b2429a5a1 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/variadic142.C @@ -0,0 +1,9 @@ +// Core 1609 +// { dg-require-effective-target c++11 } + +template +void f2(int a = 0, T... b, int c = 1); + +int main(){ + f2<>(); // parameter a has the value 0 and parameter c has the value 1 +} -- 2.30.2