/* { 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" } } */ |