naiman at math dot jct dot ac dot il: > Dear G++ Folk, > > An astute student found the following example: > > vvvvvvvvvvvvvvvvvvvvvvvvvvvvvv > class foo1 { > public: > virtual void f1 (void) {} > virtual ~foo1 (void); > }; > > class foo2 : public foo1 { > public: > ~foo2 (void); > }; > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > We believe the compiler should at least warn that foo2 > has a virtual function, and non-virtual dtor.
You're mistaken: foo2 has a virtual destructor. The PR is invalid.