From: Marek Polacek <polacek@redhat.com>
Date: Sat, 29 Jan 2022 01:01:06 +0000 (-0500)
Subject: c++: Reject union std::initializer_list [PR102434]
X-Git-Tag: upstream/12.2.0~1746
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b1a8b92f8f78536a00012e2e53a0d12ddbe6836d;p=platform%2Fupstream%2Fgcc.git

c++: Reject union std::initializer_list [PR102434]

Weird things are going to happen if you define your std::initializer_list
as a union.  In this case, we crash in output_constructor_regular_field.

Let's not allow such a definition in the first place.

	PR c++/102434

gcc/cp/ChangeLog:

	* class.cc (finish_struct): Don't allow union initializer_list.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp0x/initlist128.C: New test.
---

diff --git a/gcc/cp/class.cc b/gcc/cp/class.cc
index 5db3722..6961557 100644
--- a/gcc/cp/class.cc
+++ b/gcc/cp/class.cc
@@ -7766,6 +7766,8 @@ finish_struct (tree t, tree attributes)
 		ok = true;
 	    }
 	}
+      /* It also cannot be a union.  */
+      ok &= NON_UNION_CLASS_TYPE_P (t);
       if (!ok)
 	fatal_error (input_location, "definition of %qD does not match "
 		     "%<#include <initializer_list>%>", TYPE_NAME (t));
diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist128.C b/gcc/testsuite/g++.dg/cpp0x/initlist128.C
new file mode 100644
index 0000000..2224686
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/initlist128.C
@@ -0,0 +1,16 @@
+// PR c++/102434
+// { dg-do compile { target c++11 } }
+
+using size_t = decltype(sizeof 0);
+
+namespace std {
+  template<typename T> union initializer_list { // { dg-error "definition of .*std::initializer_list.* does not match" }
+    const T *ptr;
+    size_t n;
+  };
+}
+template<typename T>
+void Task() {}
+auto b = { &Task<int> };
+
+// { dg-prune-output "compilation terminated" }