http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107
--- Comment #33 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-02-05 20:24:37 UTC --- Anything missing before this PR can be closed?
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107
--- Comment #33 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-02-05 20:24:37 UTC --- Anything missing before this PR can be closed?