http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55272
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-11-12 10:52:30 UTC --- Actually, the patch fixed the PR (I did not use the patched version in the previous test). Sorry for the noise.