PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10890 ------- Additional Comments From bangerth@dealii.org 2003-06-06 16:52 ------- Patch here: http://gcc.gnu.org/ml/gcc-bugs/2003-06/msg00743.html