http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60410
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- See also http://gcc.gnu.org/ml/gcc-testresults/2014-03/msg00661.html (x86_64-unknown-linux-gnu).
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60410
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- See also http://gcc.gnu.org/ml/gcc-testresults/2014-03/msg00661.html (x86_64-unknown-linux-gnu).