https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70940
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- Should be fixed at g:01079b6a9236bd467b445fafaff2659840789a85
redi at gcc dot gnu.org via Gcc-bugs Tue, 27 Oct 2020 06:51:03 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70940
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- Should be fixed at g:01079b6a9236bd467b445fafaff2659840789a85