https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92206
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- URL| |https://gcc.gnu.org/ml/gcc- | |patches/2019-10/msg01839.ht | |ml --- Comment #7 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- I posted a patch last week but just realised I forgot to link to it here. https://gcc.gnu.org/ml/gcc-patches/2019-10/msg01839.html