https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66027
--- Comment #3 from JD <t at sharklasers dot com> --- Created attachment 35490 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35490&action=edit preprocessed sources and makefile
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66027
--- Comment #3 from JD <t at sharklasers dot com> --- Created attachment 35490 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35490&action=edit preprocessed sources and makefile