| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Fixes #46 and reverts #47. As stated in #46, the solution works for
musl, glibc etc. However, the code in stub.c is executed by uclibc
and uclibc doesn't allocate the target buffer in realpath. The
memory error occured while running df for 10min with DFS.
|
|
With glibc 2.25, we see:
runtime/POSIX/stubs.c:243:14: error: conflicting types for 'gnu_dev_major'
unsigned int gnu_dev_major(unsigned long long int __dev) __attribute__((weak));
^
/usr/include/sys/sysmacros.h:79:27: note: previous definition is here
__SYSMACROS_DEFINE_MAJOR (__SYSMACROS_IMPL_TEMPL)
^
Glibc 2.25 switched from ULL to dev_t for gnu_dev_major, gnu_dev_minor,
and gnu_dev_makedev. Handle by using an appropriate type according to
the glibc version.
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
|
|
a NULL argument. In respose of issue https://github.com/klee/klee/issues/399
|
|
|
|
|
|
|
|
methods. This fixes build problems (at least on my machine glibc
2.16.0-2)
The __priority_which_t and __rlimit_resource_t data types which
functions set_priority(), setrlimit() and setrlimit64() need are not
defined in any of the headers the runtime/POSIX/stubs.c includes.
It appears in the past the "sys/resource.h" was included by
"sys/wait.h" but in the recent version of glibc I am using it is not.
So to fix this I've added the include."
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166554 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
- Lots more tweaks, documentation, and web page content is needed,
but this should compile & work on OS X & Linux.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8
|
