diff options
Diffstat (limited to 'lib/Module')
| -rw-r--r-- | lib/Module/Checks.cpp | 4 | ||||
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 3 | ||||
| -rw-r--r-- | lib/Module/KModule.cpp | 3 |
3 files changed, 4 insertions, 6 deletions
diff --git a/lib/Module/Checks.cpp b/lib/Module/Checks.cpp index 7bb8ec50..1107c2ca 100644 --- a/lib/Module/Checks.cpp +++ b/lib/Module/Checks.cpp @@ -73,7 +73,7 @@ bool DivCheckPass::runOnModule(Module &M) { KleeIRMetaData md(ctx); auto divZeroCheckFunction = M.getOrInsertFunction("klee_div_zero_check", Type::getVoidTy(ctx), - Type::getInt64Ty(ctx) KLEE_LLVM_GOIF_TERMINATOR); + Type::getInt64Ty(ctx)); for (auto &divInst : divInstruction) { llvm::IRBuilder<> Builder(divInst /* Inserts before divInst*/); @@ -132,7 +132,7 @@ bool OvershiftCheckPass::runOnModule(Module &M) { KleeIRMetaData md(ctx); auto overshiftCheckFunction = M.getOrInsertFunction( "klee_overshift_check", Type::getVoidTy(ctx), Type::getInt64Ty(ctx), - Type::getInt64Ty(ctx) KLEE_LLVM_GOIF_TERMINATOR); + Type::getInt64Ty(ctx)); for (auto &shiftInst : shiftInstructions) { llvm::IRBuilder<> Builder(shiftInst); diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index d15db10a..7836c202 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -287,8 +287,7 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::trap: { // Intrinsic instruction "llvm.trap" found. Directly lower it to // a call of the abort() function. - auto C = M.getOrInsertFunction("abort", Type::getVoidTy(ctx) - KLEE_LLVM_GOIF_TERMINATOR); + auto C = M.getOrInsertFunction("abort", Type::getVoidTy(ctx)); #if LLVM_VERSION_CODE >= LLVM_VERSION(9, 0) if (auto *F = dyn_cast<Function>(C.getCallee())) { #else diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 2f78ce14..06b6e2f9 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -85,8 +85,7 @@ namespace { clEnumValN(eSwitchTypeLLVM, "llvm", "lower using LLVM"), clEnumValN(eSwitchTypeInternal, "internal", - "execute switch internally") - KLEE_LLVM_CL_VAL_END), + "execute switch internally")), cl::init(eSwitchTypeInternal), cl::cat(ModuleCat)); |