https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53598
--- Comment #3 from Arnaud Bienner <arnaud.bienner at ensimag dot fr> --- For the record, bug 62182 (closed as duplicate of this one) contained a patch I wrote. It's not really working/neat, and I didn't have time to spend more time on it, but might be useful for someone trying to implement this.