https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125354
--- Comment #10 from Paul Thomas <pault at gcc dot gnu.org> --- Comment on attachment 64521 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64521 Patch for preliminary review Hi Jerry, LGTM. I would post it on the list anyway. Cheers Paul
