http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54818
--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-10-05 10:20:49 UTC --- AFAICT the problem occurs in 64 bit mode, but not in 32 one.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54818
--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-10-05 10:20:49 UTC --- AFAICT the problem occurs in 64 bit mode, but not in 32 one.