https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97570
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks for the report. It's fixed on the development trunk now, but I will also backport it to the release branches.
redi at gcc dot gnu.org via Gcc-bugs Mon, 26 Oct 2020 05:37:01 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97570
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks for the report. It's fixed on the development trunk now, but I will also backport it to the release branches.