https://gcc.gnu.org/bugzilla/show_bug.cgi?id=43892
--- Comment #37 from Jakub Jelinek <jakub at gcc dot gnu.org> --- What happened with this patch?
jakub at gcc dot gnu.org via Gcc-bugs Tue, 06 Jun 2023 13:14:46 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=43892
--- Comment #37 from Jakub Jelinek <jakub at gcc dot gnu.org> --- What happened with this patch?