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);
}

Reply via email to