https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60507
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- What is the status of the patch in comment 4?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60507
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- What is the status of the patch in comment 4?