From 907c2e31b680a5a71a74cfd4b1ad3e9c348d8023 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 28 Mar 2020 10:50:13 +0100
Subject: [PATCH] Hide spurious odr violations warnings.

---
 tools/address_sanitizer.supp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tools/address_sanitizer.supp b/tools/address_sanitizer.supp
index 1995cb1977..7e75e8d839 100644
--- a/tools/address_sanitizer.supp
+++ b/tools/address_sanitizer.supp
@@ -5,3 +5,12 @@
 
 # __gnu_cxx::__to_xstring
 #interceptor_via_fun:__to_xstring
+
+# The following odr violations are reported by gcc-10. Alternatively these
+# warnings may be hidden with "ASAN_OPTIONS=detect_odr_violation=1".
+
+# size=16 '__tag' /usr/include/c++/10/bits/shared_ptr_base.h:510:48
+odr_violation:^__tag$
+
+# size=16 'stored_vtable' /usr/include/boost/function/function_template.hpp:933:32
+odr_violation:^stored_vtable$
-- 
2.20.1