------- Comment #1 from dominiq at lps dot ens dot fr 2008-10-07 16:03 ------- The problem is no longer here at revision 140915. It had probably the same origin as pr37747 and can be closed at the same time.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37748