https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99968
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- Should we close this as fixed since 12.1?
redi at gcc dot gnu.org via Gcc-bugs Thu, 01 Sep 2022 03:50:53 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99968
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- Should we close this as fixed since 12.1?