http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45816
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2010-09-28 20:52:27 UTC --- > I don't think I have access to that type of machine. If you send me a public key, I can give you access to my machine. > Can you help narrow it down as was done in PR45445? I can try (under supervision!-), but probably not before the end of the week.