------- Comment #3 from dominiq at lps dot ens dot fr 2008-07-18 20:47 ------- I think it has been fixed on July 14th or soon after, but I cannot find any pointer. Marked as fixed, please reopen if not.
-- dominiq at lps dot ens dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36738