https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65438 --- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- The code removed by the patch in comment 4 is still there.