http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55909
--- Comment #17 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-01-09 10:18:34 UTC --- Thanks Mikael. Thus I suppose the minimized snippet in Comment #14 also runs fine for you? Indeed, it would be nice if you could try to reproduce the exact problem Philip is seeing in a pure 64-bit setup.