http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27139
glisse at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |glisse at gcc dot gnu.org Resolution| |FIXED Target Milestone|--- |4.8.0 --- Comment #5 from glisse at gcc dot gnu.org 2012-05-05 00:20:08 UTC --- Closing then.