From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 11 Feb 2019 22:11:40 +0000 (+0100)
Subject: Add suppressions for Asan when run on jenkins.
X-Git-Tag: v3_22~356^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/89cc59f43ef8c56f5db900472981957d3a782708

Add suppressions for Asan when run on jenkins.

Ideally, ASAN_OPTIONS should be set by ctest but I didn't find how.
---

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 32308f6cd3..821c0f2110 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -10,5 +10,6 @@ set(bin_files ${bin_files}    ${CMAKE_CURRENT_SOURCE_DIR}/fix-paje-trace.sh
                               ${CMAKE_CURRENT_SOURCE_DIR}/MSG_visualization/trace2fig.pl          PARENT_SCOPE)
 
 set(txt_files ${txt_files}    ${CMAKE_CURRENT_SOURCE_DIR}/pkg-config/simgrid.pc.in
+                              ${CMAKE_CURRENT_SOURCE_DIR}/sanitizers.supp
                               ${CMAKE_CURRENT_SOURCE_DIR}/simgrid.supp
                               ${CMAKE_CURRENT_SOURCE_DIR}/simgrid2vite.sed                        PARENT_SCOPE)
diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh
index 99806e2c7a..b41839a00a 100755
--- a/tools/jenkins/Sanitizers.sh
+++ b/tools/jenkins/Sanitizers.sh
@@ -28,6 +28,7 @@ fi
 
 if [ "${SANITIZER}" = "address" ]
 then
+    export ASAN_OPTIONS="suppressions=$WORKSPACE/tools/sanitizers.supp"
     SANITIZER_OPTIONS="-Denable_address_sanitizer=ON -Denable_undefined_sanitizer=OFF -Denable_thread_sanitizer=OFF"
 elif [ "${SANITIZER}" = "thread" ]
 then
diff --git a/tools/sanitizers.supp b/tools/sanitizers.supp
new file mode 100644
index 0000000000..e68e23a9a1
--- /dev/null
+++ b/tools/sanitizers.supp
@@ -0,0 +1,4 @@
+# Address sanitizer suppressions for stuff that we cannot control
+
+# ignore libunwind cruft
+interceptor_via_lib:libunwind.so