1 /* { dg-do compile } */
2 /* { dg-options "-O -ftree-loop-if-convert -ftree-vrp -fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts" } */
4 typedef int jmp_buf[1];
6 extern void exit(int) __attribute__((__noreturn__
));
7 extern int setjmpx(jmp_buf) __attribute__((__returns_twice__
));
12 int b () { exit (1); }