https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95808
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed on the trunk so far.
jakub at gcc dot gnu.org via Gcc-bugs Thu, 29 Oct 2020 09:10:15 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95808
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed on the trunk so far.