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()11int b () { exit (1); } c()12int c () { b (); } e()13int e () 14 { 15 int f = 0; 16 for (; f < 6; f++) 17 a[f] = d; 18 c (); 19 setjmpx (jbAnagram); 20 } 21