https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65343
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- The original bug should be fixed by r13-6282-gd70f49e98245f8 Comment 8 isn't done though.
redi at gcc dot gnu.org via Gcc-bugs Thu, 08 Feb 2024 04:40:39 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65343
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- The original bug should be fixed by r13-6282-gd70f49e98245f8 Comment 8 isn't done though.