https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108123
--- Comment #1 from Gaius Mulley <gaius at gcc dot gnu.org> --- done thanks for the bug report.
gaius at gcc dot gnu.org via Gcc-bugs Thu, 15 Dec 2022 03:50:19 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108123
--- Comment #1 from Gaius Mulley <gaius at gcc dot gnu.org> --- done thanks for the bug report.