https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100444
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> --- Created attachment 51547 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51547&action=edit Proposed patch
redi at gcc dot gnu.org via Gcc-bugs Mon, 04 Oct 2021 05:20:44 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100444
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> --- Created attachment 51547 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51547&action=edit Proposed patch