http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57003
--- Comment #20 from Bernd Schmidt <bernds at gcc dot gnu.org> 2013-04-25 10:12:12 UTC --- Patch is OK, thanks Jakub - you were too fast for me on this one.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57003
--- Comment #20 from Bernd Schmidt <bernds at gcc dot gnu.org> 2013-04-25 10:12:12 UTC --- Patch is OK, thanks Jakub - you were too fast for me on this one.