From d5ce6b3b2c62badebc7534550f09f1b5592a7aa3 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Tue, 7 Aug 2018 17:03:22 +0100 Subject: Refactor InstructionInfoTable Better debug information --- lib/Core/Executor.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'lib/Core/Executor.cpp') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 70561216..cd0f6078 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1587,11 +1587,6 @@ Function* Executor::getTargetFunction(Value *calledVal, ExecutionState &state) { } } -/// TODO remove? -static bool isDebugIntrinsic(const Function *f, KModule *KM) { - return false; -} - static inline const llvm::fltSemantics * fpWidthToSemantics(unsigned width) { switch(width) { #if LLVM_VERSION_CODE >= LLVM_VERSION(4, 0) @@ -1921,7 +1916,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { Function *f = getTargetFunction(fp, state); // Skip debug intrinsics, we can't evaluate their metadata arguments. - if (f && isDebugIntrinsic(f, kmodule.get())) + if (isa(i)) break; if (isa(fp)) { -- cgit 1.4.1