diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-03-15 13:42:26 +0100 |
|---|---|---|
| committer | Jiri Slaby <jirislaby@gmail.com> | 2017-03-15 13:46:58 +0100 |
| commit | 2852ef63e23e9742dcaba4d59f44b41adbe80b96 (patch) | |
| tree | 90ae4a20faea1a3609bedff1697097a50a94d0c2 /runtime/Intrinsic | |
| parent | 76bcb45aab9c86c63db3b834cca6126effd1c112 (diff) | |
| download | klee-2852ef63e23e9742dcaba4d59f44b41adbe80b96.tar.gz | |
runtime: POSIX, make it compile with glibc 2.25
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>
Diffstat (limited to 'runtime/Intrinsic')
0 files changed, 0 insertions, 0 deletions
