[Bug c++/113916] gcc allows overriding a non-deleted private base class dtor with a defaulted dtor

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113916

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
            Summary|gcc allows overriding a     |gcc allows overriding a
                   |non-deleted private base    |non-deleted private base
                   |class dtor with a deleted   |class dtor with a defaulted
                   |defaulted dtor              |dtor
   Last reconfirmed|                            |2024-02-15
             Status|UNCONFIRMED                 |NEW
      Known to fail|                            |4.4.7, 4.7.1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

Looks not to be a regression either.