From e3414c0e8cc91a35cdcae09c0af8162b8f7c2f94 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 28 Jun 2010 15:07:59 +0000 Subject: Applied Stefan Bucur's patch from http://llvm.org/bugs/show_bug.cgi?id=6690. The patch adds specialized versions of klee_get_value for different types, fixing the previous klee_get_value function that sometimes truncated 64bit parameters to 32bit. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@107006 91177308-0d34-0410-b5e6-96231b3b80d8 --- runtime/klee-libc/klee-choose.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'runtime/klee-libc') diff --git a/runtime/klee-libc/klee-choose.c b/runtime/klee-libc/klee-choose.c index 347933df..181aedaa 100644 --- a/runtime/klee-libc/klee-choose.c +++ b/runtime/klee-libc/klee-choose.c @@ -9,8 +9,8 @@ #include "klee/klee.h" -unsigned klee_choose(unsigned n) { - unsigned x; +uintptr_t klee_choose(uintptr_t n) { + uintptr_t x; klee_make_symbolic(&x, sizeof x, "klee_choose"); // NB: this will *not* work if they don't compare to n values. -- cgit 1.4.1