1 2 3 4 5 6 7 8 9 10
// { dg-options "-Wnon-virtual-dtor" } extern "Java" { class Foo { public: virtual void bar( void); }; }