https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58876
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=64399
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to DB from comment #10)
> Sorry to pester, but is this likely to get anywhere, any time soon?
No, probably not. Comment 2 doesn't work because -Wsystem-headers can't be
enabled and disabled using pragmas. It doesn't work like other warnings.
I don't think this can be fixed in the library.
> I presume the same goes for std::shared_ptr, too.
No, because shared_ptr type-erases the deleter and so deletes the dynamic type
even if the stored pointer is upcast to a different static type.
