diff options
| author | Marek Polacek <polacek@redhat.com> | 2022-01-28 20:01:06 -0500 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2022-01-31 15:35:20 -0500 |
| commit | b1a8b92f8f78536a00012e2e53a0d12ddbe6836d (patch) | |
| tree | 6e77bd1248ff2e15ab1eff05612a55a457b240a3 /gcc/cp/class.cc | |
| parent | 76dc465aaf1b74bf92143510b6db5671e1c053d6 (diff) | |
| download | gcc-b1a8b92f8f78536a00012e2e53a0d12ddbe6836d.zip gcc-b1a8b92f8f78536a00012e2e53a0d12ddbe6836d.tar.gz gcc-b1a8b92f8f78536a00012e2e53a0d12ddbe6836d.tar.bz2 | |
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.
Diffstat (limited to 'gcc/cp/class.cc')
| -rw-r--r-- | gcc/cp/class.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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)); |