From 5f08b024bef12c3312d1e75f2c2ec5e5f5e0361f Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@comsys.rwth-aachen.de>
Date: Thu, 17 Dec 2020 14:17:29 +0100
Subject: add ifdefs for C++ exception handling

restoring old behavior without EH support
---
 tools/klee/main.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 7690d3c7..1bcdedbb 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -782,8 +782,10 @@ static const char *modelledExternals[] = {
   "klee_warning",
   "klee_warning_once",
   "klee_stack_trace",
+#ifdef SUPPORT_KLEE_EH_CXX
   "_klee_eh_Unwind_RaiseException_impl",
   "klee_eh_typeid_for",
+#endif
   "llvm.dbg.declare",
   "llvm.dbg.value",
   "llvm.va_start",
-- 
cgit 1.4.1