https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505 --- Comment #9 from Arnaud Charlet <charlet at gcc dot gnu.org> --- Patch looks reasonable to me at first sight, can you please post it to gcc-patches for a final review and approval? Thanks for looking into it! Arno