diff options
| author | Jason Merrill <jason@redhat.com> | 2021-07-30 08:45:01 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2021-07-30 12:21:32 -0400 |
| commit | 3ead06c1cff8fb42b4e278c3624917e6b5477f12 (patch) | |
| tree | 59b79334540cc2c7c14d0dbf92e588e57796a85b /gcc/cp/class.c | |
| parent | 0ba2003cf306aa98b6ec91c9d849ab9bafcf17c2 (diff) | |
| download | gcc-3ead06c1cff8fb42b4e278c3624917e6b5477f12.zip gcc-3ead06c1cff8fb42b4e278c3624917e6b5477f12.tar.gz gcc-3ead06c1cff8fb42b4e278c3624917e6b5477f12.tar.bz2 | |
c++: Reject anonymous struct with bases
In discussion of jakub's patch for C++20 pointer-interconvertibility, it
came up that we allow anonymous structs to have bases, but don't do anything
usable with them. Let's reject it.
The comment change is something I noticed while looking for the right place
to diagnose this: finish_struct_anon does not actually check for anything
invalid, so it shouldn't claim to.
gcc/cp/ChangeLog:
* class.c (finish_struct_anon): Improve comment.
* decl.c (fixup_anonymous_aggr): Reject anonymous struct
with bases.
gcc/testsuite/ChangeLog:
* g++.dg/ext/anon-struct8.C: New test.
Diffstat (limited to 'gcc/cp/class.c')
| -rw-r--r-- | gcc/cp/class.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/cp/class.c b/gcc/cp/class.c index 14db066..6f31700 100644 --- a/gcc/cp/class.c +++ b/gcc/cp/class.c @@ -3072,8 +3072,7 @@ finish_struct_anon_r (tree field) } } -/* Check for things that are invalid. There are probably plenty of other - things we should check for also. */ +/* Fix up any anonymous union/struct members of T. */ static void finish_struct_anon (tree t) |