https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122975
--- Comment #8 from Fabio Porcedda <fabio.porcedda at gmail dot com> --- (In reply to Fabio Porcedda from comment #7) > Do you prefer that I open a new bug for test2.c? Please ignore test2.c, I've opened a new bug for it.
