1 /* { dg-do compile } */
2 /* { dg-options "-fdump-tree-optimized" } */
3 /* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
4 
5 struct __jmp_buf_tag {};
6 typedef struct __jmp_buf_tag jmp_buf[1];
7 extern int _setjmp (struct __jmp_buf_tag __env[1]);
8 
9 jmp_buf g_return_jmp_buf;
10 
SetNaClSwitchExpectations(void)11 void SetNaClSwitchExpectations (void)
12 {
13 }
TestSyscall(void)14 void TestSyscall(void)
15 {
16   SetNaClSwitchExpectations();
17   _setjmp (g_return_jmp_buf);
18 }
19 
20 /* { dg-final { scan-tree-dump-not "builtin_unreachable" "optimized" } } */
21