Marc Glisse 2015-04-29 10:28: > If you have time, it would be nice to file a PR about that. Done: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65926 -- Regards, niXman