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 --- tools/kleaver/main.cpp | 6 ++---- tools/klee/main.cpp | 2 +- 2 files changed, 3 insertions(+), 5 deletions(-) (limited to 'tools') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 558e7daf..22c23422 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -56,8 +56,7 @@ static llvm::cl::opt ToolAction( clEnumValN(PrintAST, "print-ast", "Print parsed AST nodes from the input file."), clEnumValN(Evaluate, "evaluate", - "Evaluate parsed AST nodes from the input file.") - KLEE_LLVM_CL_VAL_END), + "Evaluate parsed AST nodes from the input file.")), llvm::cl::cat(klee::SolvingCat)); enum BuilderKinds { @@ -74,8 +73,7 @@ static llvm::cl::opt BuilderKind( clEnumValN(ConstantFoldingBuilder, "constant-folding", "Fold constant expressions."), clEnumValN(SimplifyingBuilder, "simplify", - "Fold constants and simplify expressions.") - KLEE_LLVM_CL_VAL_END), + "Fold constants and simplify expressions.")), llvm::cl::cat(klee::ExprCat)); llvm::cl::opt DirectoryToWriteQueryLogs( diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 740b33d7..5984c2f9 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -172,7 +172,7 @@ namespace { "Don't link in a libc (only provide freestanding environment)"), clEnumValN(LibcType::KleeLibc, "klee", "Link in KLEE's libc"), clEnumValN(LibcType::UcLibc, "uclibc", - "Link in uclibc (adapted for KLEE)") KLEE_LLVM_CL_VAL_END), + "Link in uclibc (adapted for KLEE)")), cl::init(LibcType::FreestandingLibc), cl::cat(LinkCat)); cl::list -- cgit 1.4.1