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

Reply via email to