------- Comment #10 from ben at decadent dot org dot uk 2006-12-08 00:40 ------- Lawrence: Every class has a destructor. You're talking about classes that have trivial destructors. Whether a non-virtual destructor is trivial or not has no bearing on the fact that if an instance of a derived class is destroyed through a pointer or reference to a base class with a non-virtual destructor, the result is undefined behaviour.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7302
