http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47366
--- Comment #3 from Paolo Bonzini <bonzini at gnu dot org> 2011-01-20 13:12:02 UTC --- Indeed, it never occurred to me but it should.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47366
--- Comment #3 from Paolo Bonzini <bonzini at gnu dot org> 2011-01-20 13:12:02 UTC --- Indeed, it never occurred to me but it should.