https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71092
--- Comment #1 from Lukas K. <bugz at 0x83 dot eu> --- Created attachment 38480 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38480&action=edit preprocessed source (had to gzip because of file size limit)
