PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12871 ------- Additional Comments From debian-gcc at lists dot debian dot org 2003-11-03 22:15 ------- uhh, bugzilla bug? anyway, these belong to PR12371.