https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77882
--- Comment #6 from Elad Lahav <e2lahav at gmail dot com> --- (In reply to Richard Earnshaw from comment #5) > Patches need to be sent to gcc-patc...@gcc.gnu.org. Note, if you've not > contributed to gcc before you'll also need to sort out a copyright > assignment for the change (this is a non-trivial change). Yes, I figured there is more process to submitting a change. At this point I just wanted to point out that it is a simple enough fix.
