From 1016ee0df2a459881d6f9930f7b72929e8bdc8b8 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Mon, 1 Jun 2009 16:34:44 +0000 Subject: Kill off klee_malloc_n, we don't want to support this. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72693 91177308-0d34-0410-b5e6-96231b3b80d8 --- runtime/Runtest/intrinsics.c | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'runtime') diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index bcd072ac..7ec21901 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -94,21 +94,6 @@ void klee_make_symbolic(void *array, unsigned nbytes, const char *name) { } } -void *klee_malloc_n(unsigned nelems, unsigned size, unsigned alignment) { -#if 1 - return mmap((void*) 0x90000000, nelems*size, PROT_READ|PROT_WRITE, - MAP_PRIVATE -#ifdef MAP_ANONYMOUS - |MAP_ANONYMOUS -#endif - , 0, 0); -#else - char *buffer = malloc(nelems*size + alignment - 1); - buffer += (alignment - (long)buffer % alignment); - return buffer; -#endif -} - void klee_silent_exit(int x) { exit(x); } -- cgit 1.4.1