http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53315
--- Comment #8 from Andi Kleen <andi-gcc at firstfloor dot org> 2012-05-11 18:02:43 UTC --- I tested HJs fix on the test case and also on a more complex program and it all works as expected. Please commit.