[Bug c++/88114] "virtual ~destructor() = default": Destructor not created

[burnus at gcc dot gnu.org]

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Updated patch:
https://gcc.gnu.org/ml/gcc-patches/2019-01/msg00646.html