File: thread_sanitizer.supp

package info (click to toggle)
simgrid 4.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 39,192 kB
  • sloc: cpp: 124,913; ansic: 66,744; python: 8,560; java: 6,773; fortran: 6,079; f90: 5,123; xml: 4,587; sh: 2,194; perl: 1,436; makefile: 111; lisp: 49; javascript: 7; sed: 6
file content (11 lines) | stat: -rw-r--r-- 579 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
 
# Thread sanitizer suppressions for stuff that we cannot control

# Race reported around std::__cxx11::stod / __gnu_cxx::__stoa when the value of
# errno is saved and restored
race:ext/string_conversions.h

# False positive seen when simultaneously destroying a CommPtr in s4u-app-masterworkers-parallel
# For more information, see
# https://stackoverflow.com/questions/24446561/threadsanitizer-reports-data-race-on-operator-deletevoid-when-using-embedde
# and more precisely the answer: https://stackoverflow.com/a/49173574
race:simgrid::kernel::activity::CommImpl::~CommImpl()