diff options
author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2012-11-27 11:01:57 +0100 |
---|---|---|
committer | Martin Nowack <martin.nowack@gmail.com> | 2013-08-28 08:54:50 +0200 |
commit | e0dc5a1321ce657d15c564b029f1252d29eecb2c (patch) | |
tree | 93436e60ece20693702056af5c333c0435606106 | |
parent | fa78e0da73f6aa581461baf8d3531b5c7f00abc9 (diff) | |
download | klee-e0dc5a1321ce657d15c564b029f1252d29eecb2c.tar.gz |
Disable redefinition of functions
-rw-r--r-- | runtime/POSIX/fd_32.c | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/runtime/POSIX/fd_32.c b/runtime/POSIX/fd_32.c index 338d9ba2..6246f057 100644 --- a/runtime/POSIX/fd_32.c +++ b/runtime/POSIX/fd_32.c @@ -160,8 +160,7 @@ int __getdents(unsigned int fd, struct dirent *dirp, unsigned int count) /* Forward to 64 versions (uclibc expects versions w/o asm specifier) */ -int open64(const char *pathname, int flags, ...) __attribute__((weak)); -int open64(const char *pathname, int flags, ...) { +__attribute__((weak)) int open64(const char *pathname, int flags, ...) { mode_t mode = 0; if (flags & O_CREAT) { @@ -175,22 +174,18 @@ int open64(const char *pathname, int flags, ...) { return __fd_open(pathname, flags, mode); } -off64_t lseek64(int fd, off64_t off, int whence) __attribute__((weak)); -off64_t lseek64(int fd, off64_t off, int whence) { +__attribute__((weak)) off64_t lseek64(int fd, off64_t off, int whence) { return __fd_lseek(fd, off, whence); } -int stat64(const char *path, struct stat64 *buf) __attribute__((weak)); -int stat64(const char *path, struct stat64 *buf) { +__attribute__((weak)) int stat64(const char *path, struct stat64 *buf) { return __fd_stat(path, buf); } -int lstat64(const char *path, struct stat64 *buf) __attribute__((weak)); -int lstat64(const char *path, struct stat64 *buf) { +__attribute__((weak)) int lstat64(const char *path, struct stat64 *buf) { return __fd_lstat(path, buf); } -int fstat64(int fd, struct stat64 *buf) __attribute__((weak)); -int fstat64(int fd, struct stat64 *buf) { +__attribute__((weak)) int fstat64(int fd, struct stat64 *buf) { return __fd_fstat(fd, buf); } |