diff options
| author | Jason Merrill <jason@redhat.com> | 2010-01-05 11:36:45 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2010-01-05 11:36:45 -0500 |
| commit | d097567da357024ce7863036368e48b0fd4baaaa (patch) | |
| tree | b01229b732c9807bbbb39b8da713ea9e89087123 /gcc | |
| parent | 105249d140ea123b0d6932341715366fbe48244b (diff) | |
| download | gcc-d097567da357024ce7863036368e48b0fd4baaaa.zip gcc-d097567da357024ce7863036368e48b0fd4baaaa.tar.gz gcc-d097567da357024ce7863036368e48b0fd4baaaa.tar.bz2 | |
pt.c (unify_pack_expansion): Handle deduction from init-list.
* pt.c (unify_pack_expansion): Handle deduction from init-list.
* call.c (build_over_call): Don't complain about it.
From-SVN: r155653
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/call.c | 6 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/initlist30.C | 12 |
5 files changed, 29 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 427e57f..158e80d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2010-01-05 Jason Merrill <jason@redhat.com> + + * pt.c (unify_pack_expansion): Handle deduction from init-list. + * call.c (build_over_call): Don't complain about it. + 2010-01-04 Jason Merrill <jason@redhat.com> PR c++/42555 diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 3fcbccf..02fc4b3 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -5665,8 +5665,12 @@ build_over_call (struct z_candidate *cand, int flags, tsubst_flags_t complain) tree tmpl = TI_TEMPLATE (cand->template_decl); tree realparm = chain_index (j, DECL_ARGUMENTS (cand->fn)); tree patparm = get_pattern_parm (realparm, tmpl); + tree pattype = TREE_TYPE (patparm); + if (PACK_EXPANSION_P (pattype)) + pattype = PACK_EXPANSION_PATTERN (pattype); + pattype = non_reference (pattype); - if (!is_std_init_list (non_reference (TREE_TYPE (patparm)))) + if (!is_std_init_list (pattype)) { pedwarn (input_location, 0, "deducing %qT as %qT", non_reference (TREE_TYPE (patparm)), diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index d2a1f9d..d814736 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -14047,6 +14047,9 @@ unify_pack_expansion (tree tparms, tree targs, tree packed_parms, if (!skip_arg_p) { + /* For deduction from an init-list we need the actual list. */ + if (arg_expr && BRACE_ENCLOSED_INITIALIZER_P (arg_expr)) + arg = arg_expr; if (unify (tparms, targs, parm, arg, arg_strict)) return 1; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 813e005..e137b5b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-01-05 Jason Merrill <jason@redhat.com> + + * g++.dg/cpp0x/initlist30.C: New test. + 2010-01-05 Richard Guenther <rguenther@suse.de> PR tree-optimization/42614 diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist30.C b/gcc/testsuite/g++.dg/cpp0x/initlist30.C new file mode 100644 index 0000000..a5bdb2e --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/initlist30.C @@ -0,0 +1,12 @@ +// Testcase for variadic init list deduction. +// { dg-options "-std=c++0x" } + +#include <initializer_list> + +template <class... Ts> +void f (std::initializer_list<Ts>... ls); + +int main() +{ + f({1},{2.0}); +} |