------- Comment #18 from dominiq at lps dot ens dot fr 2008-02-03 20:56 ------- Either I did make a mistake or I have been hit by a bugzilla bug, but comment #17 has not been displayed correctly in http://gcc.gnu.org/ml/gcc-bugs/2008-02/msg00328.html.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35035
