From f0a0ae4d437d7c5bae9e42e0c693da26a87f64d6 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Sat, 2 Nov 2013 00:09:36 +0100 Subject: Fix build of POSIX file descriptor functions Build Large File System functions for 32bit and 64bit correctly --- runtime/POSIX/fd_32.c | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'runtime/POSIX/fd_32.c') diff --git a/runtime/POSIX/fd_32.c b/runtime/POSIX/fd_32.c index 389d7ae8..36c5d41f 100644 --- a/runtime/POSIX/fd_32.c +++ b/runtime/POSIX/fd_32.c @@ -18,7 +18,6 @@ #endif #include "klee/Config/Version.h" -#if defined(ENV32) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 2)) #define _LARGEFILE64_SOURCE #include "fd.h" @@ -205,21 +204,3 @@ __attribute__((weak)) int open64(const char *pathname, int flags, ...) { return __fd_open(pathname, flags, mode); } - -__attribute__((weak)) off64_t lseek64(int fd, off64_t off, int whence) { - return __fd_lseek(fd, off, whence); -} - -__attribute__((weak)) int stat64(const char *path, struct stat64 *buf) { - return __fd_stat(path, buf); -} - -__attribute__((weak)) int lstat64(const char *path, struct stat64 *buf) { - return __fd_lstat(path, buf); -} - -__attribute__((weak)) int fstat64(int fd, struct stat64 *buf) { - return __fd_fstat(fd, buf); -} - -#endif -- cgit 1.4.1