diff options
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) { |