From 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Wed, 5 Jan 2022 22:43:23 +0100 Subject: remove obsolete KLEE_LLVM legacy defines --- lib/Module/Checks.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Module/Checks.cpp') 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); -- cgit 1.4.1