diff options
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index e18d3534..231bd88d 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -108,7 +108,6 @@ static SpecialFunctionHandler::HandlerInfo handlerInfo[] = { add("klee_stack_trace", handleStackTrace, false), add("klee_warning", handleWarning, false), add("klee_warning_once", handleWarningOnce, false), - add("klee_alias_function", handleAliasFunction, false), add("malloc", handleMalloc, true), add("memalign", handleMemalign, true), add("realloc", handleRealloc, true), @@ -299,20 +298,6 @@ void SpecialFunctionHandler::handleSilentExit(ExecutionState &state, executor.terminateState(state); } -void SpecialFunctionHandler::handleAliasFunction(ExecutionState &state, - KInstruction *target, - std::vector<ref<Expr> > &arguments) { - assert(arguments.size()==2 && - "invalid number of arguments to klee_alias_function"); - std::string old_fn = readStringAtAddress(state, arguments[0]); - std::string new_fn = readStringAtAddress(state, arguments[1]); - KLEE_DEBUG_WITH_TYPE("alias_handling", llvm::errs() << "Replacing " << old_fn - << "() with " << new_fn << "()\n"); - if (old_fn == new_fn) - state.removeFnAlias(old_fn); - else state.addFnAlias(old_fn, new_fn); -} - void SpecialFunctionHandler::handleAssert(ExecutionState &state, KInstruction *target, std::vector<ref<Expr> > &arguments) { |