https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78037
--- Comment #2 from Nicolas Le Scouarnec <nlescoua at gmail dot com> --- Created attachment 39837 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39837&action=edit i file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78037
--- Comment #2 from Nicolas Le Scouarnec <nlescoua at gmail dot com> --- Created attachment 39837 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39837&action=edit i file