blob: 219273d51921d82666f9b7d958684cb63a300aba [file] [log] [blame]
Alexey Samsonov6eb53d62014-07-25 22:24:34 +00001//===-- ubsan_init.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// Initialization of UBSan runtime.
11//
12//===----------------------------------------------------------------------===//
13
Alexey Samsonovd1c31862015-02-20 17:41:59 +000014#include "ubsan_diag.h"
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000015#include "ubsan_init.h"
16#include "ubsan_flags.h"
17#include "sanitizer_common/sanitizer_common.h"
18#include "sanitizer_common/sanitizer_libc.h"
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000019#include "sanitizer_common/sanitizer_mutex.h"
Alexey Samsonove87e5ce2014-07-26 01:41:45 +000020#include "sanitizer_common/sanitizer_symbolizer.h"
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000021
22using namespace __ubsan;
23
24static bool ubsan_inited;
25
26void __ubsan::InitIfNecessary() {
27#if !SANITIZER_CAN_USE_PREINIT_ARRAY
28 // No need to lock mutex if we're initializing from preinit array.
29 static StaticSpinMutex init_mu;
30 SpinMutexLock l(&init_mu);
31#endif
32 if (LIKELY(ubsan_inited))
33 return;
Evgeniy Stepanovf294d5b2015-01-15 15:13:43 +000034 bool standalone = false;
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000035 if (0 == internal_strcmp(SanitizerToolName, "SanitizerTool")) {
Alexey Samsonov74f07ed2014-09-12 01:26:57 +000036 // WARNING: If this condition holds, then either UBSan runs in a standalone
37 // mode, or initializer for another sanitizer hasn't run yet. In a latter
38 // case, another sanitizer will overwrite "SanitizerToolName" and reparse
39 // common flags. It means, that we are not allowed to *use* common flags
40 // in this function.
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000041 SanitizerToolName = "UndefinedBehaviorSanitizer";
Evgeniy Stepanovf294d5b2015-01-15 15:13:43 +000042 standalone = true;
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000043 }
Alexey Samsonov74f07ed2014-09-12 01:26:57 +000044 // Initialize UBSan-specific flags.
Evgeniy Stepanovf294d5b2015-01-15 15:13:43 +000045 InitializeFlags(standalone);
Alexey Samsonovd1c31862015-02-20 17:41:59 +000046 InitializeSuppressions();
Kostya Serebryanyfb42a5a2015-01-06 01:31:23 +000047 InitializeCoverage(common_flags()->coverage, common_flags()->coverage_dir);
Alexey Samsonov6eb53d62014-07-25 22:24:34 +000048 ubsan_inited = true;
49}
50
51#if SANITIZER_CAN_USE_PREINIT_ARRAY
52__attribute__((section(".preinit_array"), used))
53void (*__local_ubsan_preinit)(void) = __ubsan::InitIfNecessary;
54#else
55// Use a dynamic initializer.
56class UbsanInitializer {
57 public:
58 UbsanInitializer() {
59 InitIfNecessary();
60 }
61};
62static UbsanInitializer ubsan_initializer;
63#endif // SANITIZER_CAN_USE_PREINIT_ARRAY