https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53431
--- Comment #19 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- For what is worth, anyone please feel free to take my WIP patch in comment #10 and get it finished. You may also claim for yourself any bounty or compensation that may derive from it.
