------- Comment #3 from dominiq at lps dot ens dot fr 2008-10-07 16:01 ------- > Was this fixed by: ...
The problem is no longer here at revision 140915. So the answer is probably yes, but I am not ready to dig any further. So this pr can probably closed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37747
