diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-05 22:43:23 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-17 22:59:26 +0000 |
| commit | 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 (patch) | |
| tree | af3dbec1ca297e4eacc736ba6bb6b012c2a2a8c3 /lib/Module/IntrinsicCleaner.cpp | |
| parent | fcb5641d29b2e22bbd4034e51a1fe675b69bbf81 (diff) | |
| download | klee-1b51cf5ecde7ca9e6646d481b0d757dd31b06da8.tar.gz | |
remove obsolete KLEE_LLVM legacy defines
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 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 |