1 /* { dg-do compile } */
2 
3 typedef int jmp_buf[1];
4 
5 extern void exit(int) __attribute__((__noreturn__));
6 extern int setjmpx(jmp_buf) __attribute__((__returns_twice__));
7 
8 jmp_buf jbAnagram;
9 int a[6];
10 int d;
b()11 int b () { exit (1); }
c()12 int c () { b (); }
e()13 int e ()
14 {
15   int f = 0;
16   for (; f < 6; f++)
17     a[f] = d;
18   c ();
19   setjmpx (jbAnagram);
20 }
21