http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56241
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-07 18:09:29 UTC --- Created attachment 29388 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29388 gcc48-pr56241.patch Patch with also the two other spots changed.