From be9b714c1cf617877b8bcb6e1d5e63c3b694075a Mon Sep 17 00:00:00 2001 From: Hui Peng Date: Fri, 1 Nov 2019 18:10:10 -0400 Subject: Remove the duplicated check for DebugInfoIntrinsic --- lib/Core/Executor.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'lib') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 4ff181f5..bc889f25 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1913,10 +1913,6 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { Value *fp = cs.getCalledValue(); Function *f = getTargetFunction(fp, state); - // Skip debug intrinsics, we can't evaluate their metadata arguments. - if (isa(i)) - break; - if (isa(fp)) { terminateStateOnExecError(state, "inline assembly is unsupported"); break; -- cgit 1.4.1