From 9c445a83bc03ca4a0335e98704feee44183831a6 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Fri, 4 Sep 2020 22:04:57 +0200
Subject: Exception handling only for LLVM >= 8.0.0

---
 tools/klee/main.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 61a9f164..44fa4cc5 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1272,14 +1272,14 @@ int main(int argc, char **argv, char **envp) {
       klee_error("error loading libcxx '%s': %s", LibcxxBC.c_str(),
                  errorMsg.c_str());
     klee_message("NOTE: Using libcxx : %s", LibcxxBC.c_str());
-
+#ifdef SUPPORT_KLEE_EH_CXX
     SmallString<128> EhCxxPath(Opts.LibraryDir);
     llvm::sys::path::append(EhCxxPath, "libklee-eh-cxx.bca");
     if (!klee::loadFile(EhCxxPath.c_str(), mainModule->getContext(),
                         loadedModules, errorMsg))
       klee_error("error loading libklee-eh-cxx '%s': %s", EhCxxPath.c_str(),
                  errorMsg.c_str());
-
+#endif
 #endif
   }
 
-- 
cgit 1.4.1