Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add suppressions for Asan when run on jenkins.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 11 Feb 2019 22:11:40 +0000 (23:11 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 11 Feb 2019 22:28:23 +0000 (23:28 +0100)
Ideally, ASAN_OPTIONS should be set by ctest but I didn't find how.

tools/CMakeLists.txt
tools/jenkins/Sanitizers.sh
tools/sanitizers.supp [new file with mode: 0644]

index 32308f6..821c0f2 100644 (file)
@@ -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)
index 99806e2..b41839a 100755 (executable)
@@ -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 (file)
index 0000000..e68e23a
--- /dev/null
@@ -0,0 +1,4 @@
+# Address sanitizer suppressions for stuff that we cannot control
+
+# ignore libunwind cruft
+interceptor_via_lib:libunwind.so