https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82997
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Jakub's patch is <https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01041.html>.
joseph at codesourcery dot com Wed, 15 Nov 2017 10:28:36 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82997
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Jakub's patch is <https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01041.html>.