https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97836
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- So, can this be closed as fixed or do you want to do something further?
jakub at gcc dot gnu.org via Gcc-bugs Wed, 02 Dec 2020 11:31:59 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97836
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- So, can this be closed as fixed or do you want to do something further?