diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-08 11:27:00 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-09 10:44:27 +0100 |
| commit | 8affd4a2dfbb08d820387f8e28f95a3a7276b710 (patch) | |
| tree | 959953ca65b243e033be394e6f5f8285bd32c303 /lib/Module/IntrinsicCleaner.cpp | |
| parent | bf287fa76dc82b4fc6cf2fae2cbe8e6134ee2479 (diff) | |
| download | klee-8affd4a2dfbb08d820387f8e28f95a3a7276b710.tar.gz | |
Remove workaround for bug in older LLVM version (< 3)
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index b0260520..10b5df08 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -233,8 +233,7 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { break; } default: - if (LowerIntrinsics) - IL->LowerIntrinsicCall(ii); + IL->LowerIntrinsicCall(ii); dirty = true; break; } |