about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.h
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-06-01 16:34:44 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-06-01 16:34:44 +0000
commit1016ee0df2a459881d6f9930f7b72929e8bdc8b8 (patch)
tree284f947b6ccb4df3aeb319dedd8eac820bcc2b67 /lib/Core/Executor.h
parentaca72ee7ebadf396d815f6c4983697e76e408268 (diff)
downloadklee-1016ee0df2a459881d6f9930f7b72929e8bdc8b8.tar.gz
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
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r--lib/Core/Executor.h9
1 files changed, 0 insertions, 9 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 852d4cc6..2619e786 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -237,15 +237,6 @@ private:
                     bool zeroMemory=false,
                     const ObjectState *reallocFrom=0);
 
-  /// XXX not for public use (this is for histar, it allocations a
-  /// contiguous set of objects, while guaranteeing page alignment)
-  void executeAllocN(ExecutionState &state,
-                     uint64_t nelems,
-                     uint64_t size,
-                     uint64_t alignment,
-                     bool isLocal,
-                     KInstruction *target);
-
   /// Free the given address with checking for errors. If target is
   /// given it will be bound to 0 in the resulting states (this is a
   /// convenience for realloc). Note that this function can cause the