Re: C++ PATCH for c++/88830 - ICE with abstract class

[Marek Polacek]

On Mon, Jan 14, 2019 at 12:10:14PM +0100, Jakub Jelinek wrote:
> On Sun, Jan 13, 2019 at 09:07:00PM -0500, Marek Polacek wrote:
> > diff --git gcc/cp/decl2.c gcc/cp/decl2.c
> > index e4cf4e0a361..7b656712471 100644
> > --- gcc/cp/decl2.c
> > +++ gcc/cp/decl2.c
> > @@ -2229,7 +2229,8 @@ maybe_emit_vtables (tree ctype)
> >       never get generated.  */
> >    if (CLASSTYPE_PURE_VIRTUALS (ctype)
> >        && TYPE_HAS_NONTRIVIAL_DESTRUCTOR (ctype)
> > -      && DECL_DEFAULTED_IN_CLASS_P(CLASSTYPE_DESTRUCTOR(ctype)))
> > +      && !CLASSTYPE_LAZY_DESTRUCTOR (ctype)
> > +      && DECL_DEFAULTED_IN_CLASS_P (CLASSTYPE_DESTRUCTOR (ctype)))
> >      note_vague_linkage_fn (CLASSTYPE_DESTRUCTOR(ctype));
> 
> Just a formatting nit.  s/CLASSTYPE_DESTRUCTOR/& / on the above line too
> when you are at it.  Otherwise I came up with identical patch to yours
> (should have noticed the PR is ASSIGNED :( ).

:(  I missed the second formatting problem, fixed here:

2019-01-14  Marek Polacek  <pola...@redhat.com>

        PR c++/88830 - ICE with abstract class.
        * decl2.c (maybe_emit_vtables): Check CLASSTYPE_LAZY_DESTRUCTOR.
        Fix formatting.

        * g++.dg/other/abstract7.C: New test.

diff --git gcc/cp/decl2.c gcc/cp/decl2.c
index e4cf4e0a361..902bb8cab4f 100644
--- gcc/cp/decl2.c
+++ gcc/cp/decl2.c
@@ -2229,8 +2229,9 @@ maybe_emit_vtables (tree ctype)
      never get generated.  */
   if (CLASSTYPE_PURE_VIRTUALS (ctype)
       && TYPE_HAS_NONTRIVIAL_DESTRUCTOR (ctype)
-      && DECL_DEFAULTED_IN_CLASS_P(CLASSTYPE_DESTRUCTOR(ctype)))
-    note_vague_linkage_fn (CLASSTYPE_DESTRUCTOR(ctype));
+      && !CLASSTYPE_LAZY_DESTRUCTOR (ctype)
+      && DECL_DEFAULTED_IN_CLASS_P (CLASSTYPE_DESTRUCTOR (ctype)))
+    note_vague_linkage_fn (CLASSTYPE_DESTRUCTOR (ctype));
 
   /* Since we're writing out the vtable here, also write the debug
      info.  */
diff --git gcc/testsuite/g++.dg/other/abstract7.C 
gcc/testsuite/g++.dg/other/abstract7.C
new file mode 100644
index 00000000000..95781602c95
--- /dev/null
+++ gcc/testsuite/g++.dg/other/abstract7.C
@@ -0,0 +1,14 @@
+// PR c++/88830
+
+struct a {
+  ~a();
+};
+class b {
+  virtual void c(int &);
+};
+class C : b {
+  void c(int &);
+  virtual int d() = 0;
+  a e;
+};
+void C::c(int &) {}