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