From c27f225e79b82d3de4f70578cb80d0603fbff6f1 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Wed, 22 Feb 2017 15:57:55 +0100 Subject: llvm: make KLEE compile against LLVM 3.9 Signed-off-by: Jiri Slaby --- tools/kleaver/main.cpp | 4 ++++ tools/klee/main.cpp | 4 ++++ 2 files changed, 8 insertions(+) (limited to 'tools') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index b8b32e31..800cece9 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -400,7 +400,11 @@ static bool printInputAsSMTLIBv2(const char *Filename, int main(int argc, char **argv) { bool success = true; +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) + llvm::sys::PrintStackTraceOnErrorSignal(argv[0]); +#else llvm::sys::PrintStackTraceOnErrorSignal(); +#endif llvm::cl::SetVersionPrinter(klee::printVersion); llvm::cl::ParseCommandLineOptions(argc, argv); diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 77b1fe7c..2c653251 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1071,7 +1071,11 @@ int main(int argc, char **argv, char **envp) { llvm::InitializeNativeTarget(); parseArguments(argc, argv); +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) + sys::PrintStackTraceOnErrorSignal(argv[0]); +#else sys::PrintStackTraceOnErrorSignal(); +#endif if (Watchdog) { if (MaxTime==0) { -- cgit 1.4.1