https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88610
--- Comment #4 from simon at pushface dot org --- This problem has been fixed for some time now - I think in GCC 11.
simon at pushface dot org via Gcc-bugs Wed, 30 Aug 2023 04:26:01 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88610
--- Comment #4 from simon at pushface dot org --- This problem has been fixed for some time now - I think in GCC 11.