Ideally, ASAN_OPTIONS should be set by ctest but I didn't find how.
${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)
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
--- /dev/null
+# Address sanitizer suppressions for stuff that we cannot control
+
+# ignore libunwind cruft
+interceptor_via_lib:libunwind.so