From 5a68a3c68c8b8a474ddcbf8ebfbcea917f2d7ee2 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 1 Aug 2009 22:52:06 +0000 Subject: A few type fixes for libc functions, for 64-bit. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77822 91177308-0d34-0410-b5e6-96231b3b80d8 --- runtime/klee-libc/memcpy.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runtime/klee-libc/memcpy.c') diff --git a/runtime/klee-libc/memcpy.c b/runtime/klee-libc/memcpy.c index 14b98ce6..7f7f133d 100644 --- a/runtime/klee-libc/memcpy.c +++ b/runtime/klee-libc/memcpy.c @@ -9,7 +9,7 @@ #include -void *memcpy(void *destaddr, void const *srcaddr, unsigned int len) { +void *memcpy(void *destaddr, void const *srcaddr, size_t len) { char *dest = destaddr; char const *src = srcaddr; -- cgit 1.4.1