diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-25 07:36:44 -0700 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-25 07:36:44 -0700 |
commit | 43138101d048394690a90fd9f5a6fb0df916161c (patch) | |
tree | 70e9d4a75804cc2ef12bda03fd029c013462e123 /runtime/POSIX/fd_64.c | |
parent | 1510c721187f1e838d30fca376af2ab5af90ee6c (diff) | |
parent | 90601a60fb6a0f22337c46680f150ec04ad3c6cb (diff) | |
download | klee-43138101d048394690a90fd9f5a6fb0df916161c.tar.gz |
Merge pull request #25 from paulmar/master
Added some of the common *at functions & others to the model. Obey --max-forks in switch statements.
Diffstat (limited to 'runtime/POSIX/fd_64.c')
-rw-r--r-- | runtime/POSIX/fd_64.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index 268579c0..2178ad14 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -57,6 +57,20 @@ int open(const char *pathname, int flags, ...) { return __fd_open(pathname, flags, mode); } +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); + va_end(ap); + } + + return __fd_openat(fd, pathname, flags, mode); +} + off64_t lseek(int fd, off64_t offset, int whence) { return __fd_lseek(fd, offset, whence); } |