/*
#include
int setjmp ( jmp_buf env );
*/
#include
#include
jmp_buf jmp_dest;
void f(void);
int main(void)
{
int i;
printf("1 ");
i = setjmp(jmp_dest);
if(i == 0)
{
f();
printf("Sauter cette ligne.");
}
printf("%d", i);
return 0;
}
void f(void)
{
printf("2 ");
longjmp( jmp_dest, 3);
}