https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105531
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > I mean to submit a patch cherry-picking that one shortly. OK, thanks in advance.
ebotcazou at gcc dot gnu.org via Gcc-bugs Mon, 03 Oct 2022 02:55:04 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105531
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > I mean to submit a patch cherry-picking that one shortly. OK, thanks in advance.