https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122975
--- Comment #7 from Fabio Porcedda <fabio.porcedda at gmail dot com> --- Do you prefer that I open a new bug for test2.c?
fabio.porcedda at gmail dot com via Gcc-bugs Mon, 19 Jan 2026 05:36:34 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122975
--- Comment #7 from Fabio Porcedda <fabio.porcedda at gmail dot com> --- Do you prefer that I open a new bug for test2.c?