diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-01 16:34:44 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-01 16:34:44 +0000 |
| commit | 1016ee0df2a459881d6f9930f7b72929e8bdc8b8 (patch) | |
| tree | 284f947b6ccb4df3aeb319dedd8eac820bcc2b67 /lib/Core/SpecialFunctionHandler.cpp | |
| parent | aca72ee7ebadf396d815f6c4983697e76e408268 (diff) | |
| download | klee-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/SpecialFunctionHandler.cpp')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 2e423785..3f7c442e 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -74,7 +74,6 @@ HandlerInfo handlerInfo[] = { add("klee_is_symbolic", handleIsSymbolic, true), add("klee_make_symbolic", handleMakeSymbolic, false), add("klee_mark_global", handleMarkGlobal, false), - add("klee_malloc_n", handleMallocN, true), add("klee_merge", handleMerge, false), add("klee_prefer_cex", handlePreferCex, false), add("klee_print_expr", handlePrintExpr, false), @@ -348,31 +347,6 @@ void SpecialFunctionHandler::handleMalloc(ExecutionState &state, executor.executeAlloc(state, arguments[0], false, target); } -void SpecialFunctionHandler::handleMallocN(ExecutionState &state, - KInstruction *target, - std::vector<ref<Expr> > &arguments) { - - // XXX should type check args - assert(arguments.size() == 3 && "invalid number of arguments to malloc"); - - // mallocn(number, size, alignment) - ref<Expr> numElems = executor.toUnique(state, arguments[0]); - ref<Expr> elemSize = executor.toUnique(state, arguments[1]); - ref<Expr> elemAlignment = executor.toUnique(state, arguments[2]); - - assert(numElems.isConstant() && - elemSize.isConstant() && - elemAlignment.isConstant() && - "symbolic arguments passed to klee_mallocn"); - - executor.executeAllocN(state, - numElems.getConstantValue(), - elemSize.getConstantValue(), - elemAlignment.getConstantValue(), - false, - target); -} - void SpecialFunctionHandler::handleAssume(ExecutionState &state, KInstruction *target, std::vector<ref<Expr> > &arguments) { |