https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956
--- Comment #1 from simon at pushface dot org --- It’s the -gnatX.
simon at pushface dot org via Gcc-bugs Sun, 08 Dec 2024 08:48:35 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956
--- Comment #1 from simon at pushface dot org --- It’s the -gnatX.