re PR c++/59646 (ICE with volatile in initializer list)

	PR c++/59646
	* call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
	[ck_list]: Check for error_mark_node.
	(build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.

From-SVN: r207346

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a9e56a472117de99cbc9d4c7e73242cb4db78791..1fd5a6808d8592cf23985a6e33847b5b92dd030f 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,10 @@
 2014-01-31  Jason Merrill  <jason@redhat.com>
 
+       PR c++/59646
+       * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
+       [ck_list]: Check for error_mark_node.
+       (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.
+
        PR c++/57043
        * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
        during partial ordering.

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 71f95dbed4a2ba088bafd55145168ed74f82a498..d4e8a285b9d1e59675c15ab3b75b080273500c0d 100644 (file)
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -886,6 +886,8 @@ build_aggr_conv (tree type, tree ctor, int flags, tsubst_flags_t complain)
   if (ctor == error_mark_node)
     return NULL;
 
+  flags |= LOOKUP_NO_NARROWING;
+
   for (; field; field = next_initializable_field (DECL_CHAIN (field)))
     {
       tree ftype = TREE_TYPE (field);
@@ -926,6 +928,7 @@ build_aggr_conv (tree type, tree ctor, int flags, tsubst_flags_t complain)
   c->type = type;
   c->rank = cr_exact;
   c->user_conv_p = true;
+  c->check_narrowing = true;
   c->u.next = NULL;
   return c;
 }
@@ -6111,6 +6114,8 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
           to avoid the error about taking the address of a temporary.  */
        array = cp_build_addr_expr (array, complain);
        array = cp_convert (build_pointer_type (elttype), array, complain);
+       if (array == error_mark_node)
+         return error_mark_node;
 
        /* Build up the initializer_list object.  */
        totype = complete_type (totype);
@@ -6135,8 +6140,11 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
          return fold_if_not_in_template (expr);
        }
       expr = reshape_init (totype, expr, complain);
-      return get_target_expr_sfinae (digest_init (totype, expr, complain),
+      expr = get_target_expr_sfinae (digest_init (totype, expr, complain),
                                     complain);
+      if (expr != error_mark_node)
+       TARGET_EXPR_LIST_INIT_P (expr) = true;
+      return expr;
 
     default:
       break;

diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist79.C b/gcc/testsuite/g++.dg/cpp0x/initlist79.C
new file mode 100644 (file)
index 0000000..5a1914d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/initlist79.C
@@ -0,0 +1,8 @@
+// PR c++/59646
+// { dg-require-effective-target c++11 }
+
+#include <initializer_list>
+
+struct A {};
+
+std::initializer_list<volatile A> x = {{}};