Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
It is now possible to read/write the RNG state in a file.
[simgrid.git] / tools / address_sanitizer.supp
1 # Address sanitizer suppressions for stuff that we cannot control
2
3 # ignore libunwind cruft
4 #interceptor_via_lib:libunwind.so
5
6 # __gnu_cxx::__to_xstring
7 #interceptor_via_fun:__to_xstring
8
9 # The following odr violations are reported by gcc-10. Alternatively these
10 # warnings may be hidden with "ASAN_OPTIONS=detect_odr_violation=1".
11
12 # size=16 '__tag' /usr/include/c++/10/bits/shared_ptr_base.h:510:48
13 odr_violation:^__tag$
14
15 # size=16 'stored_vtable' /usr/include/boost/function/function_template.hpp:933:32
16 odr_violation:^stored_vtable$