https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108077
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- This is Bug 108071 comment 7.
redi at gcc dot gnu.org via Gcc-bugs Mon, 12 Dec 2022 11:14:31 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108077
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- This is Bug 108071 comment 7.