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+.