PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11129 ------- Additional Comments From aj@gcc.gnu.org 2003-06-13 04:32 ------- Thanks, this patch works for me. Please commit it!