------- Additional Comments From bangerth at dealii dot org 2005-09-14 22:57 ------- Well, we've been tightening the compiler in many places. I consider this a particularly useless extension -- it's true that it doesn't hurt anyone, but it adds nothing whatsoever of value to the language. I would be very much surprised if more than a handful of people have ever used it, and I can't think of a reason why it would be undue to ask them to fix their codes. In the interest of sticking with the language standards and to simplify the compiler, I vote for removing the extension. Even documenting it seems a waste of time to me. W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16782
