From b7d36ee5fb17045ab7d07cd192f170957db46c26 Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Tue, 20 Aug 2024 11:51:46 +0200
Subject: [PATCH] fix:

---
 .github/workflows/build.yaml | 1 +
 DEBT                         | 2 +-
 build.sh                     | 6 +++---
 lib/Module/KModule.cpp       | 6 ------
 4 files changed, 5 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index ca9bd0411e..b5e3869c1e 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -57,6 +57,7 @@ jobs:
           "Latest klee-uclibc",
           "Asserts disabled",
           "No TCMalloc, optimised runtime",
+          "Warnings as errors",
         ]
         include:
           - name: "LLVM 16"
diff --git a/DEBT b/DEBT
index 26456addab..1504244a1b 100644
--- a/DEBT
+++ b/DEBT
@@ -10,4 +10,4 @@ KLEE 3.1, 29 February 2024
 KLEE 3.0, 7 June 2023
 =====================
 
-- Added support for the KDAlloc memory allocator, which enables KLEE to more robustly detect use-after-free errors, improves the detection of buffer overflows, and provides deterministic memory allocation (@danielschemmel, based on https://srg.doc.ic.ac.uk/publications/22-kdalloc-ecoop.html)
\ No newline at end of file
+- Added support for the KDAlloc memory allocator, which enables KLEE to more robustly detect use-after-free errors, improves the detection of buffer overflows, and provides deterministic memory allocation (@danielschemmel, based on https://srg.doc.ic.ac.uk/publications/22-kdalloc-ecoop.html)
diff --git a/build.sh b/build.sh
index 7902b2aaf6..e716cd7b63 100755
--- a/build.sh
+++ b/build.sh
@@ -5,7 +5,7 @@
 
 # Base folder where dependencies and KLEE itself are installed
 BASE=$HOME/klee_build
-BUILD_SUFFIX="Debug"
+BUILD_SUFFIX="Release"
 
 ## KLEE Required options
 # Build type for KLEE. The options are:
@@ -15,7 +15,7 @@ BUILD_SUFFIX="Debug"
 # Release+Debug+Asserts
 # Debug
 # Debug+Asserts
-KLEE_RUNTIME_BUILD="Debug"
+KLEE_RUNTIME_BUILD="Release"
 
 COVERAGE=0
 ENABLE_DOXYGEN=0
@@ -65,7 +65,7 @@ if [ "$1" = "--debug" ] || [ "$1" = "-g" ]; then
     ENABLE_OPTIMIZED=0
     ENABLE_DEBUG=1
     KLEE_RUNTIME_BUILD="Debug+Asserts"
-    ENABLE_WARNINGS_AS_ERRORS=1
+    ENABLE_WARNINGS_AS_ERRORS=0
     shift 1
 else
     KEEP_PARSE="false"
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 76f2e3bc70..d498d1cd65 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -346,12 +346,6 @@ void KModule::manifest(InterpreterHandler *ih,
     }
   }
 
-  for (auto &Function : functions) {
-    if (Function->getName() == "_klee_eh_cxx_personality") {
-      llvm::errs();
-    }
-  }
-
   if (DebugPrintEscapingFunctions && !escapingFunctions.empty()) {
     llvm::errs() << "KLEE: escaping functions: [";
     std::string delimiter = "";