https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71937
--- Comment #4 from Jean-Michel Dubois <jmgjdubois at gmail dot com> --- Created attachment 38937 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38937&action=edit preprocessed files Here are the processed files. I will try with gcc 5.4 to morrow morning.