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