diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
| tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /lib/Module/IntrinsicCleaner.cpp | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 4c0920b3..dde97036 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -109,11 +109,7 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::uadd_with_overflow: case Intrinsic::usub_with_overflow: case Intrinsic::umul_with_overflow: { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 8) IRBuilder<> builder(ii->getParent(), ii->getIterator()); -#else - IRBuilder<> builder(ii->getParent(), ii); -#endif Value *op1 = ii->getArgOperand(0); Value *op2 = ii->getArgOperand(1); |