From fba9ea939e333df3db40091c6c9825f4f5485acb Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 4 Dec 2020 13:11:40 +0000 Subject: Declare mempcpy on macOS, to silence compiler warnings --- runtime/klee-libc/fortify-klibc.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'runtime/klee-libc/fortify-klibc.c') diff --git a/runtime/klee-libc/fortify-klibc.c b/runtime/klee-libc/fortify-klibc.c index ed4a3033..12f80345 100644 --- a/runtime/klee-libc/fortify-klibc.c +++ b/runtime/klee-libc/fortify-klibc.c @@ -13,6 +13,11 @@ #include +#ifdef __APPLE__ +/* macOS does not provide mempcpy in string.h */ +void *mempcpy(void *destaddr, void const *srcaddr, size_t len); +#endif + void *__mempcpy_chk(void *dest, const void *src, size_t len, size_t destlen) { if (len > destlen) klee_report_error(__FILE__, __LINE__, "mempcpy overflow", "ptr.err"); -- cgit 1.4.1