http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55868
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |FIXED --- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-12 12:58:39 UTC --- Fixed on trunk. Thanks for the report. Paul