https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85142
--- Comment #6 from Richard W.M. Jones <rjones at redhat dot com> --- The paste removed the "di" from "diff" but the patch is otherwise as posted.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85142
--- Comment #6 from Richard W.M. Jones <rjones at redhat dot com> --- The paste removed the "di" from "diff" but the patch is otherwise as posted.