1*7c3d14c8STreehugger Robot //===-- tsan_flags.cc -----------------------------------------------------===//
2*7c3d14c8STreehugger Robot //
3*7c3d14c8STreehugger Robot // The LLVM Compiler Infrastructure
4*7c3d14c8STreehugger Robot //
5*7c3d14c8STreehugger Robot // This file is distributed under the University of Illinois Open Source
6*7c3d14c8STreehugger Robot // License. See LICENSE.TXT for details.
7*7c3d14c8STreehugger Robot //
8*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
9*7c3d14c8STreehugger Robot //
10*7c3d14c8STreehugger Robot // This file is a part of ThreadSanitizer (TSan), a race detector.
11*7c3d14c8STreehugger Robot //
12*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
13*7c3d14c8STreehugger Robot
14*7c3d14c8STreehugger Robot #include "sanitizer_common/sanitizer_flags.h"
15*7c3d14c8STreehugger Robot #include "sanitizer_common/sanitizer_flag_parser.h"
16*7c3d14c8STreehugger Robot #include "sanitizer_common/sanitizer_libc.h"
17*7c3d14c8STreehugger Robot #include "tsan_flags.h"
18*7c3d14c8STreehugger Robot #include "tsan_rtl.h"
19*7c3d14c8STreehugger Robot #include "tsan_mman.h"
20*7c3d14c8STreehugger Robot #include "ubsan/ubsan_flags.h"
21*7c3d14c8STreehugger Robot
22*7c3d14c8STreehugger Robot namespace __tsan {
23*7c3d14c8STreehugger Robot
flags()24*7c3d14c8STreehugger Robot Flags *flags() {
25*7c3d14c8STreehugger Robot return &ctx->flags;
26*7c3d14c8STreehugger Robot }
27*7c3d14c8STreehugger Robot
28*7c3d14c8STreehugger Robot // Can be overriden in frontend.
29*7c3d14c8STreehugger Robot #ifdef TSAN_EXTERNAL_HOOKS
30*7c3d14c8STreehugger Robot extern "C" const char* __tsan_default_options();
31*7c3d14c8STreehugger Robot #else
32*7c3d14c8STreehugger Robot SANITIZER_WEAK_DEFAULT_IMPL
__tsan_default_options()33*7c3d14c8STreehugger Robot const char *__tsan_default_options() {
34*7c3d14c8STreehugger Robot return "";
35*7c3d14c8STreehugger Robot }
36*7c3d14c8STreehugger Robot #endif
37*7c3d14c8STreehugger Robot
SetDefaults()38*7c3d14c8STreehugger Robot void Flags::SetDefaults() {
39*7c3d14c8STreehugger Robot #define TSAN_FLAG(Type, Name, DefaultValue, Description) Name = DefaultValue;
40*7c3d14c8STreehugger Robot #include "tsan_flags.inc"
41*7c3d14c8STreehugger Robot #undef TSAN_FLAG
42*7c3d14c8STreehugger Robot // DDFlags
43*7c3d14c8STreehugger Robot second_deadlock_stack = false;
44*7c3d14c8STreehugger Robot }
45*7c3d14c8STreehugger Robot
RegisterTsanFlags(FlagParser * parser,Flags * f)46*7c3d14c8STreehugger Robot void RegisterTsanFlags(FlagParser *parser, Flags *f) {
47*7c3d14c8STreehugger Robot #define TSAN_FLAG(Type, Name, DefaultValue, Description) \
48*7c3d14c8STreehugger Robot RegisterFlag(parser, #Name, Description, &f->Name);
49*7c3d14c8STreehugger Robot #include "tsan_flags.inc"
50*7c3d14c8STreehugger Robot #undef TSAN_FLAG
51*7c3d14c8STreehugger Robot // DDFlags
52*7c3d14c8STreehugger Robot RegisterFlag(parser, "second_deadlock_stack",
53*7c3d14c8STreehugger Robot "Report where each mutex is locked in deadlock reports",
54*7c3d14c8STreehugger Robot &f->second_deadlock_stack);
55*7c3d14c8STreehugger Robot }
56*7c3d14c8STreehugger Robot
InitializeFlags(Flags * f,const char * env)57*7c3d14c8STreehugger Robot void InitializeFlags(Flags *f, const char *env) {
58*7c3d14c8STreehugger Robot SetCommonFlagsDefaults();
59*7c3d14c8STreehugger Robot {
60*7c3d14c8STreehugger Robot // Override some common flags defaults.
61*7c3d14c8STreehugger Robot CommonFlags cf;
62*7c3d14c8STreehugger Robot cf.CopyFrom(*common_flags());
63*7c3d14c8STreehugger Robot cf.allow_addr2line = true;
64*7c3d14c8STreehugger Robot if (kGoMode) {
65*7c3d14c8STreehugger Robot // Does not work as expected for Go: runtime handles SIGABRT and crashes.
66*7c3d14c8STreehugger Robot cf.abort_on_error = false;
67*7c3d14c8STreehugger Robot // Go does not have mutexes.
68*7c3d14c8STreehugger Robot } else {
69*7c3d14c8STreehugger Robot cf.detect_deadlocks = true;
70*7c3d14c8STreehugger Robot }
71*7c3d14c8STreehugger Robot cf.print_suppressions = false;
72*7c3d14c8STreehugger Robot cf.stack_trace_format = " #%n %f %S %M";
73*7c3d14c8STreehugger Robot cf.exitcode = 66;
74*7c3d14c8STreehugger Robot cf.intercept_tls_get_addr = true;
75*7c3d14c8STreehugger Robot OverrideCommonFlags(cf);
76*7c3d14c8STreehugger Robot }
77*7c3d14c8STreehugger Robot
78*7c3d14c8STreehugger Robot f->SetDefaults();
79*7c3d14c8STreehugger Robot
80*7c3d14c8STreehugger Robot FlagParser parser;
81*7c3d14c8STreehugger Robot RegisterTsanFlags(&parser, f);
82*7c3d14c8STreehugger Robot RegisterCommonFlags(&parser);
83*7c3d14c8STreehugger Robot
84*7c3d14c8STreehugger Robot #if TSAN_CONTAINS_UBSAN
85*7c3d14c8STreehugger Robot __ubsan::Flags *uf = __ubsan::flags();
86*7c3d14c8STreehugger Robot uf->SetDefaults();
87*7c3d14c8STreehugger Robot
88*7c3d14c8STreehugger Robot FlagParser ubsan_parser;
89*7c3d14c8STreehugger Robot __ubsan::RegisterUbsanFlags(&ubsan_parser, uf);
90*7c3d14c8STreehugger Robot RegisterCommonFlags(&ubsan_parser);
91*7c3d14c8STreehugger Robot #endif
92*7c3d14c8STreehugger Robot
93*7c3d14c8STreehugger Robot // Let a frontend override.
94*7c3d14c8STreehugger Robot parser.ParseString(__tsan_default_options());
95*7c3d14c8STreehugger Robot #if TSAN_CONTAINS_UBSAN
96*7c3d14c8STreehugger Robot const char *ubsan_default_options = __ubsan::MaybeCallUbsanDefaultOptions();
97*7c3d14c8STreehugger Robot ubsan_parser.ParseString(ubsan_default_options);
98*7c3d14c8STreehugger Robot #endif
99*7c3d14c8STreehugger Robot // Override from command line.
100*7c3d14c8STreehugger Robot parser.ParseString(env);
101*7c3d14c8STreehugger Robot #if TSAN_CONTAINS_UBSAN
102*7c3d14c8STreehugger Robot ubsan_parser.ParseString(GetEnv("UBSAN_OPTIONS"));
103*7c3d14c8STreehugger Robot #endif
104*7c3d14c8STreehugger Robot
105*7c3d14c8STreehugger Robot // Sanity check.
106*7c3d14c8STreehugger Robot if (!f->report_bugs) {
107*7c3d14c8STreehugger Robot f->report_thread_leaks = false;
108*7c3d14c8STreehugger Robot f->report_destroy_locked = false;
109*7c3d14c8STreehugger Robot f->report_signal_unsafe = false;
110*7c3d14c8STreehugger Robot }
111*7c3d14c8STreehugger Robot
112*7c3d14c8STreehugger Robot InitializeCommonFlags();
113*7c3d14c8STreehugger Robot
114*7c3d14c8STreehugger Robot if (Verbosity()) ReportUnrecognizedFlags();
115*7c3d14c8STreehugger Robot
116*7c3d14c8STreehugger Robot if (common_flags()->help) parser.PrintFlagDescriptions();
117*7c3d14c8STreehugger Robot
118*7c3d14c8STreehugger Robot if (f->history_size < 0 || f->history_size > 7) {
119*7c3d14c8STreehugger Robot Printf("ThreadSanitizer: incorrect value for history_size"
120*7c3d14c8STreehugger Robot " (must be [0..7])\n");
121*7c3d14c8STreehugger Robot Die();
122*7c3d14c8STreehugger Robot }
123*7c3d14c8STreehugger Robot
124*7c3d14c8STreehugger Robot if (f->io_sync < 0 || f->io_sync > 2) {
125*7c3d14c8STreehugger Robot Printf("ThreadSanitizer: incorrect value for io_sync"
126*7c3d14c8STreehugger Robot " (must be [0..2])\n");
127*7c3d14c8STreehugger Robot Die();
128*7c3d14c8STreehugger Robot }
129*7c3d14c8STreehugger Robot }
130*7c3d14c8STreehugger Robot
131*7c3d14c8STreehugger Robot } // namespace __tsan
132