https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117725
--- Comment #11 from Matthias Klose <doko at gcc dot gnu.org> --- yes, that patch works for me.
doko at gcc dot gnu.org via Gcc-bugs Thu, 19 Dec 2024 11:25:59 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117725
--- Comment #11 from Matthias Klose <doko at gcc dot gnu.org> --- yes, that patch works for me.