1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#include <setjmp.h> #include "_safety.h" #undef setjmp int setjmp(jmp_buf jb) { (void)jb; UNDEFINED("The setjmp() macro has been suppressed to access an actual function"); return 0; } /* SIGNAL_SAFE(0) STDC(0) */