Hi, I'm adding the testcase and closing the PR. Tested x86_64-linux.
Thanks, Paolo. /////////////////////////
2012-10-05 Paolo Carlini <paolo.carl...@oracle.com> PR c++/50893 * g++.dg/cpp0x/defaulted38.C: New.
Index: g++.dg/cpp0x/defaulted38.C =================================================================== --- g++.dg/cpp0x/defaulted38.C (revision 0) +++ g++.dg/cpp0x/defaulted38.C (working copy) @@ -0,0 +1,14 @@ +// PR c++/50893 +// { dg-do compile { target c++11 } } + +class Base +{ + public: + virtual ~Base() = default; +}; + +class Derived : public Base +{ + public: + virtual ~Derived() = default; +};