DR 1467 PR c++/51747

	DR 1467
	PR c++/51747
	* typeck2.c (digest_init_r): Fix single element list.

From-SVN: r222881

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index b1da4fe7e3db26ee3ebbf313d8119a14f54f4faf..4929faabfd533d5272814059f7d06f6819402f2a 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2015-05-07  Jason Merrill  <jason@redhat.com>
+
+       DR 1467
+       PR c++/51747
+       * typeck2.c (digest_init_r): Fix single element list.
+
 2015-05-05  Jason Merrill  <jason@redhat.com>
 
        * cp-gimplify.c (cp_genericize_r): Track TRY_BLOCK and

diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c
index 6e0c777eac1fb95e163f71913104ec0c7c5af627..076f9a03498dc0025b0f71d8fb71f57f78f64684 100644 (file)
--- a/gcc/cp/typeck2.c
+++ b/gcc/cp/typeck2.c
@@ -1096,6 +1096,19 @@ digest_init_r (tree type, tree init, bool nested, int flags,
              || TREE_CODE (type) == UNION_TYPE
              || TREE_CODE (type) == COMPLEX_TYPE);
 
+  /* "If T is a class type and the initializer list has a single
+     element of type cv U, where U is T or a class derived from T,
+     the object is initialized from that element."  */
+  if (cxx_dialect >= cxx11
+      && BRACE_ENCLOSED_INITIALIZER_P (init)
+      && CONSTRUCTOR_NELTS (init) == 1
+      && (CLASS_TYPE_P (type) || VECTOR_TYPE_P (type)))
+    {
+      tree elt = CONSTRUCTOR_ELT (init, 0)->value;
+      if (reference_related_p (type, TREE_TYPE (elt)))
+       init = elt;
+    }
+
   if (BRACE_ENCLOSED_INITIALIZER_P (init)
       && !TYPE_NON_AGGREGATE_CLASS (type))
     return process_init_constructor (type, init, complain);

diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist95.C b/gcc/testsuite/g++.dg/cpp0x/initlist95.C
new file mode 100644 (file)
index 0000000..fe2c8f6
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/initlist95.C
@@ -0,0 +1,5 @@
+// PR c++/51747
+// { dg-do compile { target c++11 } }
+
+struct B {};
+struct D : B {D(B b) : B{b} {}};