/* { dg-do run } */ | |
/* { dg-options "-O" } */ | |
#include <setjmp.h> | |
extern void abort (void); | |
jmp_buf buf; | |
void raise(void) | |
{ | |
__builtin_longjmp (buf, 1); | |
} | |
int execute(int cmd) | |
{ | |
int last = 0; | |
__builtin_setjmp (buf); | |
if (last == 0) | |
while (1) | |
{ | |
last = 1; | |
raise (); | |
} | |
if (last == 0) | |
return 0; | |
else | |
return cmd; | |
} | |
int main(void) | |
{ | |
if (execute (1) == 0) | |
abort (); | |
return 0; | |
} |