http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53422 --- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-21 09:25:00 UTC --- Patches should be posted to gcc-patches@gcc.gnu.org.