http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56982
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-17 08:56:00 UTC --- I don't see how we could declare the testcase invalid, why would n need to be volatile? It isn't live across the setjmp call, it is even declared after the setjmp call, and it is always initialized after the setjmp call.