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/fd_64.c | |
| parent | e5743af37903c32cc24180f80fe49072dbda88f6 (diff) | |
| download | klee-5f8541ea1bb007af182cdda6080e3e46fce8e271.tar.gz | |
More FreeBSD related fixes to POSIX runtime.
Diffstat (limited to 'runtime/POSIX/fd_64.c')
| -rw-r--r-- | runtime/POSIX/fd_64.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index 05bef394..3bf48f5e 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -46,12 +46,12 @@ int open(const char *pathname, int flags, ...) { mode_t mode = 0; - + if (flags & O_CREAT) { /* get mode */ va_list ap; va_start(ap, flags); - mode = va_arg(ap, mode_t); + mode = va_arg(ap, int); va_end(ap); } @@ -60,12 +60,12 @@ int open(const char *pathname, int flags, ...) { int openat(int fd, const char *pathname, int flags, ...) { mode_t mode = 0; - + if (flags & O_CREAT) { /* get mode */ va_list ap; va_start(ap, flags); - mode = va_arg(ap, mode_t); + mode = va_arg(ap, int); va_end(ap); } |