https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55930
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Did the patch ever get sent to the gcc-patches list?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55930
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Did the patch ever get sent to the gcc-patches list?