diff options
| author | Jason Merrill <jason@redhat.com> | 2010-05-17 15:53:55 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2010-05-17 15:53:55 -0400 |
| commit | 9d2b7551cded29cd7eaa87ed8ceb5c01f9e022aa (patch) | |
| tree | 166d2adb5c10d652871dae97b1d256a722aa85db /gcc | |
| parent | c8361db176c68d1d3b4085970b8862387785e0c2 (diff) | |
| download | gcc-9d2b7551cded29cd7eaa87ed8ceb5c01f9e022aa.zip gcc-9d2b7551cded29cd7eaa87ed8ceb5c01f9e022aa.tar.gz gcc-9d2b7551cded29cd7eaa87ed8ceb5c01f9e022aa.tar.bz2 | |
re PR c++/44157 ([C++0x] GCC wrongly takes a std::initializer_list argument as non-deduced context)
PR c++/44157
* call.c (build_over_call): Limit init-list deduction warning to
cases where the argument is actually an init-list.
From-SVN: r159509
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/call.c | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/initlist34.C | 12 |
4 files changed, 25 insertions, 4 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f06c6cd..6a7a824 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2010-05-17 Jason Merrill <jason@redhat.com> + PR c++/44157 + * call.c (build_over_call): Limit init-list deduction warning to + cases where the argument is actually an init-list. + PR c++/44158 * call.c (build_over_call): Don't do bitwise copy for move ctor. diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 5d13007..46779fa 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -5666,6 +5666,7 @@ build_over_call (struct z_candidate *cand, int flags, tsubst_flags_t complain) parm = TREE_CHAIN (parm), ++arg_index, ++i) { tree type = TREE_VALUE (parm); + tree arg = VEC_index (tree, args, arg_index); conv = convs[i]; @@ -5680,7 +5681,8 @@ build_over_call (struct z_candidate *cand, int flags, tsubst_flags_t complain) if (cxx_dialect > cxx98 && flag_deduce_init_list && cand->template_decl - && is_std_init_list (non_reference (type))) + && is_std_init_list (non_reference (type)) + && BRACE_ENCLOSED_INITIALIZER_P (arg)) { tree tmpl = TI_TEMPLATE (cand->template_decl); tree realparm = chain_index (j, DECL_ARGUMENTS (cand->fn)); @@ -5701,9 +5703,7 @@ build_over_call (struct z_candidate *cand, int flags, tsubst_flags_t complain) } } - val = convert_like_with_context - (conv, VEC_index (tree, args, arg_index), fn, i - is_method, - complain); + val = convert_like_with_context (conv, arg, fn, i-is_method, complain); val = convert_for_arg_passing (type, val); if (val == error_mark_node) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 67cd4ad..aff8d1c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-05-17 Jason Merrill <jason@redhat.com> + PR c++/44157 + * g++.dg/cpp0x/initlist34.C: New. + +2010-05-17 Jason Merrill <jason@redhat.com> + PR c++/44158 * g++.dg/cpp0x/rv-trivial-bug.C: Test copy-init too. diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist34.C b/gcc/testsuite/g++.dg/cpp0x/initlist34.C new file mode 100644 index 0000000..45cba56 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/initlist34.C @@ -0,0 +1,12 @@ +// PR c++/44157 +// { dg-options "-std=c++0x" } + +#include <initializer_list> + +template<typename T> +void f(T) { } + +int main() { + std::initializer_list<int> a = { 0 }; + f(a); +} |