https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117724
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> --- The original source file is OK with -std=gnu17.
sjames at gcc dot gnu.org via Gcc-bugs Thu, 21 Nov 2024 00:34:11 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117724
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> --- The original source file is OK with -std=gnu17.