https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110378
--- Comment #10 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Martin, I think this is fixed?
hubicka at gcc dot gnu.org via Gcc-bugs Thu, 19 Dec 2024 07:58:57 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110378
--- Comment #10 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Martin, I think this is fixed?