https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47030
--- Comment #6 from marco atzeri <marco_atzeri at yahoo dot it> --- Created attachment 44949 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44949&action=edit updated patch for 7.3.0
marco_atzeri at yahoo dot it Fri, 02 Nov 2018 12:00:07 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47030
--- Comment #6 from marco atzeri <marco_atzeri at yahoo dot it> --- Created attachment 44949 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44949&action=edit updated patch for 7.3.0