------- Additional Comments From bangerth at dealii dot org 2005-01-28 19:11 ------- Why do you think the front-end doesn't know that the destructor is empty? It sees its definition, and it knows about potential destructors of member objects and base classes, so it should have all the information. That being said, I don't consider this to be such an important case as to pour a lot of passion into this discussion :-) W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19661
