http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59632
Volker Reichelt <reichelt at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution|--- |FIXED --- Comment #3 from Volker Reichelt <reichelt at gcc dot gnu.org> --- Apparently this has been fixed between 2014-01-17 and 2014-01-18.