https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35710
--- Comment #15 from Jan-Benedict Glaw <jbg...@lug-owl.de> --- Feel free to commit your patch, Dominique. You've been faster with providing a fix. :) (But maybe incorporate the whitespace fixes as well.) Actually, there are some more in the initial commit, but cleaning them up without really fixing something just only makes rebasing more difficult.