https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100061
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Martin, could you please have a look into this?
jakub at gcc dot gnu.org via Gcc-bugs Wed, 18 Jan 2023 08:55:23 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100061
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Martin, could you please have a look into this?