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.

Reply via email to