https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67224
--- Comment #29 from Lewis Hyatt <lhyatt at gmail dot com> --- (In reply to jos...@codesourcery.com from comment #28) > Thanks for working on this! I encourage sending this to gcc-patches once > a few fixes have been made and you've done the legal paperwork, see > <https://gcc.gnu.org/contribute.html>. > Thank you very much for taking a look and for the feedback. I will incorporate all this and send to gcc-patches. Regarding the copyright assignment, I couldn't quite discern from this link what I need to do next... it seems like I need someone to email me the necessary form, is that correct? I will also file additional bug reports for the diagnostics-related stuff; I believe I can construct test cases that do not depend on this patch for those.