https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113402
--- Comment #9 from Iain Sandoe <iains at gcc dot gnu.org> --- I think this is fixed now?
iains at gcc dot gnu.org via Gcc-bugs Sat, 16 Mar 2024 19:48:05 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113402
--- Comment #9 from Iain Sandoe <iains at gcc dot gnu.org> --- I think this is fixed now?