------- Additional Comments From bangerth at dealii dot org 2004-12-20 17:08 ------- A patch (with following long discussion) has been proposed here: http://gcc.gnu.org/ml/gcc-patches/2004-12/msg01495.html W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17617