c++: ICE on anon struct with base [PR96636]
authorJason Merrill <jason@redhat.com>
Fri, 30 Jul 2021 20:49:03 +0000 (16:49 -0400)
committerJason Merrill <jason@redhat.com>
Sat, 31 Jul 2021 14:43:42 +0000 (10:43 -0400)
pinski pointed out that my recent change to reject anonymous structs with
bases was relevant to this PR.  But we still ICEd after giving that error;
this fixes the ICE.

PR c++/96636

gcc/cp/ChangeLog:

* decl.c (fixup_anonymous_aggr): Clear TYPE_NEEDS_CONSTRUCTING
after error.

gcc/testsuite/ChangeLog:

* g++.dg/ext/anon-struct9.C: New test.

gcc/cp/decl.c
gcc/testsuite/g++.dg/ext/anon-struct9.C [new file with mode: 0644]

index e4be6be..6fa6b9a 100644 (file)
@@ -5094,7 +5094,11 @@ fixup_anonymous_aggr (tree t)
       tree field, type;
 
       if (BINFO_N_BASE_BINFOS (TYPE_BINFO (t)))
-       error_at (location_of (t), "anonymous struct with base classes");
+       {
+         error_at (location_of (t), "anonymous struct with base classes");
+         /* Avoid ICE after error on anon-struct9.C.  */
+         TYPE_NEEDS_CONSTRUCTING (t) = false;
+       }
 
       for (field = TYPE_FIELDS (t); field; field = DECL_CHAIN (field))
        if (TREE_CODE (field) == FIELD_DECL)
diff --git a/gcc/testsuite/g++.dg/ext/anon-struct9.C b/gcc/testsuite/g++.dg/ext/anon-struct9.C
new file mode 100644 (file)
index 0000000..5675942
--- /dev/null
@@ -0,0 +1,9 @@
+// PR c++/96636
+// { dg-options "" }
+
+typedef class {
+  class a {};
+  class : virtual a {};                // { dg-error "anonymous struct with base" }
+} b;
+void foo(){ b();}
+