https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82402
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Bernd Edlinger from comment #1) > Martin, try this modified test case: > > cat ice.c > typedef int jmp_buf[1]; > > extern exit(int) __attribute__((__noreturn__)); > extern int setjmpx(jmp_buf) __attribute__((__returns_twice__)); > > jmp_buf jbAnagram; > int a[6]; > int d; > int b () { exit (1); } > int c () { b (); } > int e () > { > int f = 0; > for (; f < 6; f++) > a[f] = d; > c (); > setjmpx (jbAnagram); > } Thanks, fails with GCC 4.9.0+.