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

gcc/cp/ChangeLog

 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.
 

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)

gcc/testsuite/ChangeLog

 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.
 

gcc/testsuite/g++.dg/cpp0x/initlist34.C

+// 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);
+}