http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60113
--- Comment #2 from lmat <dartmetrash at gmail dot com> --- Created attachment 32090 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32090&action=edit Bug report including command line output. My apologies! I was quite sure I had attached it, but I see quite plainly that I had failed! It appears that my upload was too big. I've divided it up using split --lines 35000 ... which creates three files.