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/Module/IntrinsicCleaner.cpp | |
| parent | 488e65f76e49e28e3db1a845276bf3dac49a2dc1 (diff) | |
| download | klee-d5ce6b3b2c62badebc7534550f09f1b5592a7aa3.tar.gz | |
Refactor InstructionInfoTable
Better debug information
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index ee65be69..ba8ebcc0 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -198,11 +198,11 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::dbg_value: case Intrinsic::dbg_declare: { - // Remove these regardless of lower intrinsics flag. This can - // be removed once IntrinsicLowering is fixed to not have bad - // caches. - ii->eraseFromParent(); - dirty = true; + // // Remove these regardless of lower intrinsics flag. This can + // // be removed once IntrinsicLowering is fixed to not have bad + // // caches. + // ii->eraseFromParent(); + // dirty = true; break; } |