http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53453
--- Comment #19 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> 2013-04-17 16:21:39 UTC --- I've sent a message to the gcc-patches list with a pointer to the gcc-patches list for the work.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53453
--- Comment #19 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> 2013-04-17 16:21:39 UTC --- I've sent a message to the gcc-patches list with a pointer to the gcc-patches list for the work.