------- Additional Comments From tobi at gcc dot gnu dot org 2004-07-12 10:16 ------- Looks like you were a little too late :-) I fixed this on the tenth. Thanks, anyhow. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16479