https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110467
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > You were CC'd here: > <https://gcc.gnu.org/pipermail/gcc-patches/2023-May/618954.html>, FWIW. I totally missed it, sorry about that. :-(
