https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102664
--- Comment #23 from Jonathan Wakely <redi at gcc dot gnu.org> --- I have a patch ...
redi at gcc dot gnu.org via Gcc-bugs Tue, 08 Mar 2022 09:47:02 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102664
--- Comment #23 from Jonathan Wakely <redi at gcc dot gnu.org> --- I have a patch ...