https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118123
--- Comment #1 from Mark Harmstone <mark at harmstone dot com> --- Sorry about this, I've submitted a patch to fix it.
mark at harmstone dot com via Gcc-bugs Thu, 19 Dec 2024 19:03:44 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118123
--- Comment #1 from Mark Harmstone <mark at harmstone dot com> --- Sorry about this, I've submitted a patch to fix it.