https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106891
--- Comment #1 from Stephan Bergmann <sbergman at redhat dot com> --- Created attachment 53553 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53553&action=edit preprocessed source, gzipped to avoid bugzilla size limit
