https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82402
--- Comment #1 from Bernd Edlinger <edlinger at gcc dot gnu.org> --- 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); }