https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82561
--- Comment #2 from Sylvestre Ledru <sylvestre at debian dot org> --- Created attachment 42375 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42375&action=edit preprocessed file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82561
--- Comment #2 from Sylvestre Ledru <sylvestre at debian dot org> --- Created attachment 42375 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42375&action=edit preprocessed file