https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35710
--- Comment #17 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Feel free to commit your patch, Dominique. You've been faster with providing > a fix. :) (But maybe incorporate the whitespace fixes as well.) Done.
