https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48783
Jose E. Marchesi <jemarch at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jemarch at gcc dot gnu.org --- Comment #9 from Jose E. Marchesi <jemarch at gcc dot gnu.org> --- Note https://gcc.gnu.org/pipermail/gcc-patches/2023-August/627864.html