https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71176
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Patch posted to https://gcc.gnu.org/ml/gcc-patches/2018-12/msg01511.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71176
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Patch posted to https://gcc.gnu.org/ml/gcc-patches/2018-12/msg01511.html