https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83118
--- Comment #7 from Paul Thomas <pault at gcc dot gnu.org> --- Created attachment 44306 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44306&action=edit Patch for comment #6.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83118
--- Comment #7 from Paul Thomas <pault at gcc dot gnu.org> --- Created attachment 44306 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44306&action=edit Patch for comment #6.