https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81084
--- Comment #61 from Andrew Jenner <andrewjenner at gcc dot gnu.org> --- Sorry, once again I have been totally swamped by other work. It's now looking like I should have some time to work on this in early July.