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