diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-04-14 22:36:20 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-29 19:18:43 +0100 |
| commit | 5f8541ea1bb007af182cdda6080e3e46fce8e271 (patch) | |
| tree | e8c602c14d2fb4f8c0757f0c0ff4a1d8d0ff7911 /runtime/POSIX/stubs.c | |
| parent | e5743af37903c32cc24180f80fe49072dbda88f6 (diff) | |
| download | klee-5f8541ea1bb007af182cdda6080e3e46fce8e271.tar.gz | |
More FreeBSD related fixes to POSIX runtime.
Diffstat (limited to 'runtime/POSIX/stubs.c')
| -rw-r--r-- | runtime/POSIX/stubs.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/runtime/POSIX/stubs.c b/runtime/POSIX/stubs.c index ddbcc1fd..168bf299 100644 --- a/runtime/POSIX/stubs.c +++ b/runtime/POSIX/stubs.c @@ -19,7 +19,9 @@ #include <time.h> #include <unistd.h> #include <utime.h> +#ifndef __FreeBSD__ #include <utmp.h> +#endif #include <sys/mman.h> #include <sys/resource.h> #include <sys/stat.h> @@ -484,8 +486,13 @@ int setpgrp(pid_t a, pid_t b) { return -1; } +#ifndef __FreeBSD__ int setpriority(__priority_which_t which, id_t who, int prio) __attribute__((weak)); int setpriority(__priority_which_t which, id_t who, int prio) { +#else +int setpriority(int which, int who, int prio) __attribute__((weak)); +int setpriority(int which, int who, int prio) { +#endif klee_warning("ignoring (EPERM)"); errno = EPERM; return -1; @@ -505,19 +512,26 @@ int setresuid(uid_t ruid, uid_t euid, uid_t suid) { return -1; } +#ifndef __FreeBSD__ int setrlimit(__rlimit_resource_t resource, const struct rlimit *rlim) __attribute__((weak)); int setrlimit(__rlimit_resource_t resource, const struct rlimit *rlim) { +#else +int setrlimit(int resource, const struct rlimit *rlp) __attribute__((weak)); +int setrlimit(int resource, const struct rlimit *rlp) { +#endif klee_warning("ignoring (EPERM)"); errno = EPERM; return -1; } +#ifndef __FreeBSD__ int setrlimit64(__rlimit_resource_t resource, const struct rlimit64 *rlim) __attribute__((weak)); int setrlimit64(__rlimit_resource_t resource, const struct rlimit64 *rlim) { klee_warning("ignoring (EPERM)"); errno = EPERM; return -1; } +#endif pid_t setsid(void) __attribute__((weak)); pid_t setsid(void) { |