diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-08-07 17:03:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-19 15:37:46 +0000 |
| commit | d5ce6b3b2c62badebc7534550f09f1b5592a7aa3 (patch) | |
| tree | b8733065d645291db4ee0728b834c8dfc48fd42e /lib/Core/Executor.cpp | |
| parent | 488e65f76e49e28e3db1a845276bf3dac49a2dc1 (diff) | |
| download | klee-d5ce6b3b2c62badebc7534550f09f1b5592a7aa3.tar.gz | |
Refactor InstructionInfoTable
Better debug information
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
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<DbgInfoIntrinsic>(i)) break; if (isa<InlineAsm>(fp)) { |