https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95718
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- The change occurred between revisions r226476 (2015-08-02, OK) and r227252 (2015-08-27, wrong). No idea about how this translates to git!-(