https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58876
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> ---
After discussing with some of the G++ maintainers, I'm going to try to make
-Wdelete-non-virtual-dtor warn even for system headers. It's always a bug, so
it should just warn. Then we don't need clever tricks to toggle the system
header state.
