https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108448
--- Comment #8 from Gavin Howard <gavin at yzena dot com> --- Created attachment 54310 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54310&action=edit Amalgamation with License Header Not important for the bug, but I reuploaded the amalgamation with its proper license header. Sorry; need to do this for legal reasons.