http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54831
--- Comment #7 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-10-08 14:10:25 UTC --- Marek, the patch looks good, thanks.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54831
--- Comment #7 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-10-08 14:10:25 UTC --- Marek, the patch looks good, thanks.