https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83533
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED Target Milestone|--- |4.8.0 --- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- GCC 4.7.x has not been maintained or supported by the upstream GCC project for several years, and this is already fixed in GCC 4.8.0