PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12132 ------- Additional Comments From reichelt at gcc dot gnu dot org 2003-09-02 17:01 ------- *** Bug 12135 has been marked as a duplicate of this bug. ***