From d84096eacbdc9932d7aead46fa8f7cffba61a1ec Mon Sep 17 00:00:00 2001 From: jason Date: Mon, 6 Sep 2010 04:49:24 +0000 Subject: [PATCH] * decl.c (cp_finish_decl): Don't change init for auto deduction. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163896 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 2 ++ gcc/cp/decl.c | 13 ++++++++----- gcc/testsuite/ChangeLog | 2 ++ gcc/testsuite/g++.dg/cpp0x/auto19.C | 8 ++++++++ 4 files changed, 20 insertions(+), 5 deletions(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/auto19.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 9fe9ef0..58bcab4 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,7 @@ 2010-09-06 Jason Merrill + * decl.c (cp_finish_decl): Don't change init for auto deduction. + * pt.c (fold_non_dependent_expr_sfinae): Split out from... (fold_non_dependent_expr): ...here. (convert_nontype_argument): Use it. Take complain parm. diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 75fd9f7..409836c 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -5681,18 +5681,21 @@ cp_finish_decl (tree decl, tree init, bool init_const_expr_p, auto_node = type_uses_auto (type); if (auto_node) { + tree d_init; if (init == NULL_TREE) { error ("declaration of %q#D has no initializer", decl); TREE_TYPE (decl) = error_mark_node; return; } - if (TREE_CODE (init) == TREE_LIST) - init = build_x_compound_expr_from_list (init, ELK_INIT, - tf_warning_or_error); - if (describable_type (init)) + d_init = init; + if (TREE_CODE (d_init) == TREE_LIST) + d_init = build_x_compound_expr_from_list (d_init, ELK_INIT, + tf_warning_or_error); + if (describable_type (d_init)) { - type = TREE_TYPE (decl) = do_auto_deduction (type, init, auto_node); + type = TREE_TYPE (decl) = do_auto_deduction (type, d_init, + auto_node); if (type == error_mark_node) return; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8cfc06e..2cfe379 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,7 @@ 2010-09-06 Jason Merrill + * g++.dg/cpp0x/auto19.C: New. + * g++.dg/template/sfinae25.C: New. * g++.dg/template/char1.C: Expect warning. * g++.dg/template/nontype10.C: Likewise. diff --git a/gcc/testsuite/g++.dg/cpp0x/auto19.C b/gcc/testsuite/g++.dg/cpp0x/auto19.C new file mode 100644 index 0000000..f709902 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/auto19.C @@ -0,0 +1,8 @@ +// { dg-options -std=c++0x } + +struct Explicit { + Explicit() = default; // Line 2 + explicit Explicit(const Explicit&){} +} ex; + +auto ex2(ex); // Line 6 -- 2.7.4