https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84010
--- Comment #7 from James Clarke <jrtc27 at jrtc27 dot com> --- Eric, does the patch look fine to you? Do you want me to submit it to the mailing list, or is here ok?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84010
--- Comment #7 from James Clarke <jrtc27 at jrtc27 dot com> --- Eric, does the patch look fine to you? Do you want me to submit it to the mailing list, or is here ok?