https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90806
--- Comment #17 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 6 Jan 2021, ebotcazou at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90806 > > --- Comment #16 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Richard, any objection to me backporting Marc's fixlet? > https://gcc.gnu.org/pipermail/gcc-patches/2019-July/525651.html It's fine to backport the actual commit.