https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114147
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Patch posted: https://gcc.gnu.org/pipermail/gcc-patches/2024-March/646989.html
redi at gcc dot gnu.org via Gcc-bugs Fri, 01 Mar 2024 07:12:20 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114147
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Patch posted: https://gcc.gnu.org/pipermail/gcc-patches/2024-March/646989.html