From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 24 Sep 2018 07:04:37 +0000 (+0200)
Subject: Define HAVE_SANITIZER_THREAD.
X-Git-Tag: v3_21~52
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/387cc8f7a4355856c3d0ef1590e1e6f28ab72fc1

Define HAVE_SANITIZER_THREAD.
---

diff --git a/tools/cmake/GCCFlags.cmake b/tools/cmake/GCCFlags.cmake
index 2b51c858f6..e15cbdb37a 100644
--- a/tools/cmake/GCCFlags.cmake
+++ b/tools/cmake/GCCFlags.cmake
@@ -229,6 +229,9 @@ if(enable_thread_sanitizer)
     set(CMAKE_C_FLAGS   "${CMAKE_C_FLAGS} -fsanitize=thread -fno-omit-frame-pointer -no-pie")
     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=thread -fno-omit-frame-pointer -no-pie")
     set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=thread -no-pie")
+    set(HAVE_SANITIZER_THREAD TRUE CACHE INTERNAL "")
+else()
+    set(HAVE_SANITIZER_THREAD FALSE CACHE INTERNAL "")
 endif()
 
 if(enable_undefined_sanitizer)
diff --git a/tools/cmake/src/internal_config.h.in b/tools/cmake/src/internal_config.h.in
index ae696840ff..3b9e9f461b 100644
--- a/tools/cmake/src/internal_config.h.in
+++ b/tools/cmake/src/internal_config.h.in
@@ -25,6 +25,7 @@
 #cmakedefine01 HAVE_VALGRIND_H
 
 /* Address Sanitizer */
+#cmakedefine01 HAVE_SANITIZER_THREAD
 #cmakedefine01 HAVE_SANITIZER_ADDRESS
 #cmakedefine01 HAVE_SANITIZER_ADDRESS_FIBER_SUPPORT