PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7716 ------- Additional Comments From bangerth@dealii.org 2003-06-10 14:59 ------- Resolution is here (and in PR 7553): http://gcc.gnu.org/ml/gcc-bugs/2003-06/msg01235.html