diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
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<DbgInfoIntrinsic>(i)) - break; - if (isa<InlineAsm>(fp)) { terminateStateOnExecError(state, "inline assembly is unsupported"); break; |