https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80597
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- Created attachment 41300 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41300&action=edit gzipped C source code
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80597
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- Created attachment 41300 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41300&action=edit gzipped C source code