From ae5ed000ba0f0f232c210ada9e3ab2594f18c7c7 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 6 Nov 2020 14:13:48 +0000
Subject: Since the runtime now contains fortified libc functions, it is
 important to compile it with -D_FORTIFY_SOURCE=0 to avoid infinite recursion.

---
 runtime/CMakeLists.txt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'runtime')

diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt
index 52f4e766..9bd1442b 100644
--- a/runtime/CMakeLists.txt
+++ b/runtime/CMakeLists.txt
@@ -64,12 +64,15 @@ set(LIB_BC_FLAGS_32
         )
 
 # Common for all library configurations
-# Setup all compilation flags
+# Since the runtime now contains fortified libc functions, it is
+# important to compile it with -D_FORTIFY_SOURCE=0 to avoid infinite
+# recursion
 set(COMMON_CC_FLAGS
         "-I${CMAKE_SOURCE_DIR}/include"
         "-I${CMAKE_BINARY_DIR}/include"
         -g
         -D_DEBUG
+        -D_FORTIFY_SOURCE=0
         -D_GNU_SOURCE
         -D__STDC_LIMIT_MACROS
         -D__STDC_CONSTANT_MACROS
@@ -111,4 +114,4 @@ add_custom_target(BuildKLEERuntimes
 
 install(DIRECTORY "${KLEE_RUNTIME_DIRECTORY}/"
         DESTINATION "${KLEE_INSTALL_RUNTIME_DIR}"
-        )
\ No newline at end of file
+        )
-- 
cgit 1.4.1