https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48244
--- Comment #10 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > I have submitted the necessary patches and test_result.log as pr64271 Does this mean that this PR can be closed? If yes, with which resolution?
