http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57159
--- Comment #1 from jules at gcc dot gnu.org 2013-05-03 11:56:53 UTC --- Created attachment 30019 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30019 patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57159
--- Comment #1 from jules at gcc dot gnu.org 2013-05-03 11:56:53 UTC --- Created attachment 30019 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30019 patch