https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123406
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- Oops, I pasted the wrong PR number into the comment, I'll fix that.
redi at gcc dot gnu.org via Gcc-bugs Tue, 06 Jan 2026 05:59:47 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123406
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- Oops, I pasted the wrong PR number into the comment, I'll fix that.