diff options
Diffstat (limited to 'runtime/POSIX/illegal.c')
| -rw-r--r-- | runtime/POSIX/illegal.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/POSIX/illegal.c b/runtime/POSIX/illegal.c index 469ea623..8b8c0134 100644 --- a/runtime/POSIX/illegal.c +++ b/runtime/POSIX/illegal.c @@ -25,8 +25,13 @@ int kill(pid_t pid, int sig) { return -1; } +#ifndef __FreeBSD__ int _setjmp (struct __jmp_buf_tag __env[1]) __attribute__((weak)); int _setjmp (struct __jmp_buf_tag __env[1]) { +#else +int _setjmp (jmp_buf env) __returns_twice; +int _setjmp (jmp_buf env) { +#endif klee_warning_once("ignoring"); return 0; } |