diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-14 07:10:59 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-14 07:10:59 +0000 |
| commit | d971beb276cbf8a14bea6bf2036ac842a8dd55bd (patch) | |
| tree | 54cc7b632613753b9f0728b468b5bc7ca5a9629e /lib/Core/SpecialFunctionHandler.cpp | |
| parent | 363d50af298495a76c851a244ccb06972c1febb9 (diff) | |
| download | klee-d971beb276cbf8a14bea6bf2036ac842a8dd55bd.tar.gz | |
Remove some unused functionality.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73329 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 11705722..3070da41 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -81,7 +81,6 @@ HandlerInfo handlerInfo[] = { add("klee_set_forking", handleSetForking, false), add("klee_warning", handleWarning, false), add("klee_warning_once", handleWarningOnce, false), - add("klee_under_constrained", handleUnderConstrained, false), add("klee_alias_function", handleAliasFunction, false), add("malloc", handleMalloc, true), add("realloc", handleRealloc, true), @@ -409,30 +408,6 @@ void SpecialFunctionHandler::handlePrintExpr(ExecutionState &state, llvm::cerr << msg_str << ":" << arguments[1] << "\n"; } - -void SpecialFunctionHandler::handleUnderConstrained(ExecutionState &state, - KInstruction *target, - std::vector<ref<Expr> > &arguments) { - // XXX should type check args - assert(arguments.size()==1 && - "invalid number of arguments to klee_under_constrained()."); - assert(isa<ConstantExpr>(arguments[0]) && - "symbolic argument given to klee_under_constrained!"); - - unsigned v = cast<ConstantExpr>(arguments[0])->getConstantValue(); - llvm::cerr << "argument = " << v << " under=" << state.underConstrained << "\n"; - if(v) { - assert(state.underConstrained == false && - "Bogus call to klee_under_constrained()."); - state.underConstrained = v; - llvm::cerr << "turning on under!\n"; - } else { - assert(state.underConstrained != 0 && "Bogus call to klee_taint_end()"); - state.underConstrained = 0; - llvm::cerr << "turning off under!\n"; - } -} - void SpecialFunctionHandler::handleSetForking(ExecutionState &state, KInstruction *target, std::vector<ref<Expr> > &arguments) { |