https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47469
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- Well, this PR has been rotting for more than four years and a half. I was only pointing to the fact that the initial patch no longer applies. If you know what to do, please do so. If not, I don't see the point to keep it open for the next decade.
