http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59229
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- Revision 204901 (2013-11-16) seems OK (latest revision on an other machine, I'll have to check more carefully).
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59229
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- Revision 204901 (2013-11-16) seems OK (latest revision on an other machine, I'll have to check more carefully).