| /* { dg-do compile } */ | |
| /* { dg-options "-fdump-tree-optimized" } */ | |
| /* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */ | |
| struct __jmp_buf_tag { int mask; }; | |
| typedef struct __jmp_buf_tag jmp_buf[1]; | |
| extern int _setjmp (struct __jmp_buf_tag __env[1]); | |
| extern jmp_buf g_return_jmp_buf; | |
| void SetNaClSwitchExpectations (void) | |
| { | |
| } | |
| void TestSyscall(void) | |
| { | |
| SetNaClSwitchExpectations(); | |
| _setjmp (g_return_jmp_buf); | |
| } | |
| /* { dg-final { scan-tree-dump-not "builtin_unreachable" "optimized" } } */ |