From 8ef67061861bedbf967960c89f7172e340b53fe4 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Sun, 26 Jun 2016 01:29:58 +0200
Subject: [PATCH] ignore all sanitizers

---
 src/mc/Process.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp
index 42a6bd0565..d84e04aa4c 100644
--- a/src/mc/Process.cpp
+++ b/src/mc/Process.cpp
@@ -58,7 +58,9 @@ namespace mc {
 // List of library which memory segments are not considered:
 static const char *const filtered_libraries[] = {
   "ld",
-  "libasan", /* gcc sanitizer */
+  "libasan", /* gcc sanitizers */
+  "libtsan",
+  "libubsan",
   "libbz2",
   "libboost_chrono",
   "libboost_context",
-- 
2.20.1