https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120775
--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> --- https://forge.sourceware.org/marek/gcc/pulls/96 seems to fix that, shall I merge that or do you want something else?
jakub at gcc dot gnu.org via Gcc-bugs Tue, 11 Nov 2025 08:16:35 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120775
--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> --- https://forge.sourceware.org/marek/gcc/pulls/96 seems to fix that, shall I merge that or do you want something else?