20 |
#ifndef PUPA_SETJMP_HEADER |
#ifndef PUPA_SETJMP_HEADER |
21 |
#define PUPA_SETJMP_HEADER 1 |
#define PUPA_SETJMP_HEADER 1 |
22 |
|
|
23 |
|
#ifdef PUPA_UTIL |
24 |
|
#include <setjmp.h> |
25 |
|
typedef jmp_buf pupa_jmp_buf; |
26 |
|
#define pupa_setjmp setjmp |
27 |
|
#define pupa_longjmp longjmp |
28 |
|
#else |
29 |
/* This must define pupa_jmp_buf. */ |
/* This must define pupa_jmp_buf. */ |
30 |
#include <pupa/cpu/setjmp.h> |
#include <pupa/cpu/setjmp.h> |
31 |
|
|
32 |
int pupa_setjmp (pupa_jmp_buf env); |
int pupa_setjmp (pupa_jmp_buf env); |
33 |
void pupa_longjmp (pupa_jmp_buf env, int val) __attribute__ ((noreturn)); |
void pupa_longjmp (pupa_jmp_buf env, int val) __attribute__ ((noreturn)); |
34 |
|
#endif |
35 |
|
|
36 |
#endif /* ! PUPA_SETJMP_HEADER */ |
#endif /* ! PUPA_SETJMP_HEADER */ |