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/IntrinsicCleaner.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/Module/IntrinsicCleaner.cpp') 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(C.getCallee())) { #else -- cgit 1.4.1