https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51976
--- Comment #17 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- I think the last issues in comment 16 can be tracked by pr54070 and this PR closed as FIXED.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51976
--- Comment #17 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- I think the last issues in comment 16 can be tracked by pr54070 and this PR closed as FIXED.