https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110467
--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> --- (In reply to Eric Botcazou from comment #4) > > You were CC'd here: > > <https://gcc.gnu.org/pipermail/gcc-patches/2023-May/618954.html>, FWIW. > > I totally missed it, sorry about that. :-( No problem, sorry for not pinging you about it. I'll make sure to CC you when I post a fix for this PR.