https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107536
--- Comment #1 from simon at pushface dot org --- Also present in GCC 13-20221030.
simon at pushface dot org via Gcc-bugs Tue, 08 Nov 2022 03:29:49 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107536
--- Comment #1 from simon at pushface dot org --- Also present in GCC 13-20221030.