mirror of https://github.com/pvnis/srsRAN_4G.git
tsan: add TSAN options file to set some default flags and exclude some libs from checks
parent
28399dd876
commit
bb6a5ebe80
@ -0,0 +1,49 @@
|
||||
/**
|
||||
*
|
||||
* \section COPYRIGHT
|
||||
*
|
||||
* Copyright 2013-2021 Software Radio Systems Limited
|
||||
*
|
||||
* By using this file, you agree to the terms and conditions set
|
||||
* forth in the LICENSE file which can be found at the top level of
|
||||
* the distribution.
|
||||
*
|
||||
*/
|
||||
|
||||
#ifndef SRSRAN_TSAN_OPTIONS_H
|
||||
#define SRSRAN_TSAN_OPTIONS_H
|
||||
|
||||
// Options taken from Mozilla project
|
||||
// abort_on_error=1 - Causes TSan to abort instead of using exit().
|
||||
// halt_on_error=1 - Causes TSan to stop on the first race detected.
|
||||
//
|
||||
// report_signal_unsafe=0 - Required to avoid TSan deadlocks when
|
||||
// receiving external signals (e.g. SIGINT manually on console).
|
||||
//
|
||||
// allocator_may_return_null=1 - Tell TSan to return NULL when an allocation
|
||||
// fails instead of aborting the program. This allows us to handle failing
|
||||
// allocations the same way we would handle them with a regular allocator and
|
||||
// also uncovers potential bugs that might occur in these situations.
|
||||
|
||||
#ifdef __cplusplus
|
||||
extern "C" {
|
||||
#endif
|
||||
|
||||
const char* __tsan_default_options()
|
||||
{
|
||||
return "halt_on_error=1:abort_on_error=1:report_signal_unsafe=0"
|
||||
":allocator_may_return_null=1";
|
||||
}
|
||||
|
||||
const char* __tsan_default_suppressions()
|
||||
{
|
||||
// External uninstrumented libraries
|
||||
return "called_from_lib:libzmq.so\n"
|
||||
"called_from_lib:libpgm-5.2.so\n";
|
||||
}
|
||||
|
||||
#ifdef __cplusplus
|
||||
}
|
||||
#endif
|
||||
|
||||
#endif // SRSRAN_TSAN_OPTIONS_H
|
Loading…
Reference in New Issue