Alexey Samsonov | 603c4be | 2012-06-04 13:55:19 +0000 | [diff] [blame] | 1 | //===-- tsan_suppressions.cc ----------------------------------------------===// |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 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 | |
Alexey Samsonov | 0969bcf | 2012-06-18 08:44:30 +0000 | [diff] [blame] | 14 | #include "sanitizer_common/sanitizer_common.h" |
Alexey Samsonov | 7f9c5a2 | 2012-06-05 07:46:31 +0000 | [diff] [blame] | 15 | #include "sanitizer_common/sanitizer_libc.h" |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 16 | #include "sanitizer_common/sanitizer_placement_new.h" |
| 17 | #include "sanitizer_common/sanitizer_suppressions.h" |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 18 | #include "tsan_suppressions.h" |
| 19 | #include "tsan_rtl.h" |
| 20 | #include "tsan_flags.h" |
| 21 | #include "tsan_mman.h" |
| 22 | #include "tsan_platform.h" |
| 23 | |
Dmitry Vyukov | a117492 | 2013-09-03 11:43:04 +0000 | [diff] [blame] | 24 | // Suppressions for true/false positives in standard libraries. |
| 25 | static const char *const std_suppressions = |
| 26 | // Libstdc++ 4.4 has data races in std::string. |
| 27 | // See http://crbug.com/181502 for an example. |
| 28 | "race:^_M_rep$\n" |
| 29 | "race:^_M_is_leaked$\n" |
Dmitry Vyukov | a117492 | 2013-09-03 11:43:04 +0000 | [diff] [blame] | 30 | // False positive when using std <thread>. |
| 31 | // Happens because we miss atomic synchronization in libstdc++. |
| 32 | // See http://llvm.org/bugs/show_bug.cgi?id=17066 for details. |
Alexey Samsonov | da506a9 | 2013-09-03 11:50:48 +0000 | [diff] [blame] | 33 | "race:std::_Sp_counted_ptr_inplace<std::thread::_Impl\n"; |
Dmitry Vyukov | a117492 | 2013-09-03 11:43:04 +0000 | [diff] [blame] | 34 | |
Dmitry Vyukov | c2b9f1c | 2013-01-24 13:50:10 +0000 | [diff] [blame] | 35 | // Can be overriden in frontend. |
| 36 | #ifndef TSAN_GO |
| 37 | extern "C" const char *WEAK __tsan_default_suppressions() { |
| 38 | return 0; |
| 39 | } |
| 40 | #endif |
| 41 | |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 42 | namespace __tsan { |
| 43 | |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 44 | static SuppressionContext* g_ctx; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 45 | |
| 46 | static char *ReadFile(const char *filename) { |
| 47 | if (filename == 0 || filename[0] == 0) |
| 48 | return 0; |
Alexey Samsonov | 14c8bd7 | 2012-08-22 07:25:52 +0000 | [diff] [blame] | 49 | InternalScopedBuffer<char> tmp(4*1024); |
Dmitry Vyukov | 6422c32 | 2012-12-04 07:27:32 +0000 | [diff] [blame] | 50 | if (filename[0] == '/' || GetPwd() == 0) |
Alexey Samsonov | 1dc4cf7 | 2012-09-05 07:23:44 +0000 | [diff] [blame] | 51 | internal_snprintf(tmp.data(), tmp.size(), "%s", filename); |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 52 | else |
Alexey Samsonov | 1dc4cf7 | 2012-09-05 07:23:44 +0000 | [diff] [blame] | 53 | internal_snprintf(tmp.data(), tmp.size(), "%s/%s", GetPwd(), filename); |
Peter Collingbourne | 9578a3e | 2013-05-08 14:43:49 +0000 | [diff] [blame] | 54 | uptr openrv = OpenFile(tmp.data(), false); |
| 55 | if (internal_iserror(openrv)) { |
Alexey Samsonov | b1fe302 | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 56 | Printf("ThreadSanitizer: failed to open suppressions file '%s'\n", |
Alexey Samsonov | 14c8bd7 | 2012-08-22 07:25:52 +0000 | [diff] [blame] | 57 | tmp.data()); |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 58 | Die(); |
| 59 | } |
Peter Collingbourne | 9578a3e | 2013-05-08 14:43:49 +0000 | [diff] [blame] | 60 | fd_t fd = openrv; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 61 | const uptr fsize = internal_filesize(fd); |
| 62 | if (fsize == (uptr)-1) { |
Alexey Samsonov | b1fe302 | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 63 | Printf("ThreadSanitizer: failed to stat suppressions file '%s'\n", |
Alexey Samsonov | 14c8bd7 | 2012-08-22 07:25:52 +0000 | [diff] [blame] | 64 | tmp.data()); |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 65 | Die(); |
| 66 | } |
| 67 | char *buf = (char*)internal_alloc(MBlockSuppression, fsize + 1); |
| 68 | if (fsize != internal_read(fd, buf, fsize)) { |
Alexey Samsonov | b1fe302 | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 69 | Printf("ThreadSanitizer: failed to read suppressions file '%s'\n", |
Alexey Samsonov | 14c8bd7 | 2012-08-22 07:25:52 +0000 | [diff] [blame] | 70 | tmp.data()); |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 71 | Die(); |
| 72 | } |
| 73 | internal_close(fd); |
| 74 | buf[fsize] = 0; |
| 75 | return buf; |
| 76 | } |
| 77 | |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 78 | void InitializeSuppressions() { |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 79 | ALIGNED(64) static char placeholder_[sizeof(SuppressionContext)]; |
| 80 | g_ctx = new(placeholder_) SuppressionContext; |
Dmitry Vyukov | c2b9f1c | 2013-01-24 13:50:10 +0000 | [diff] [blame] | 81 | const char *supp = ReadFile(flags()->suppressions); |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 82 | g_ctx->Parse(supp); |
Dmitry Vyukov | c2b9f1c | 2013-01-24 13:50:10 +0000 | [diff] [blame] | 83 | #ifndef TSAN_GO |
| 84 | supp = __tsan_default_suppressions(); |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 85 | g_ctx->Parse(supp); |
Dmitry Vyukov | a117492 | 2013-09-03 11:43:04 +0000 | [diff] [blame] | 86 | g_ctx->Parse(std_suppressions); |
Dmitry Vyukov | c2b9f1c | 2013-01-24 13:50:10 +0000 | [diff] [blame] | 87 | #endif |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 88 | } |
| 89 | |
Dmitry Vyukov | 4af0f21 | 2013-10-03 13:37:17 +0000 | [diff] [blame] | 90 | SuppressionContext *GetSuppressionContext() { |
| 91 | CHECK_NE(g_ctx, 0); |
| 92 | return g_ctx; |
| 93 | } |
| 94 | |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 95 | SuppressionType conv(ReportType typ) { |
| 96 | if (typ == ReportTypeRace) |
| 97 | return SuppressionRace; |
| 98 | else if (typ == ReportTypeVptrRace) |
| 99 | return SuppressionRace; |
| 100 | else if (typ == ReportTypeUseAfterFree) |
Alexander Potapenko | 45c652e | 2013-08-07 12:39:00 +0000 | [diff] [blame] | 101 | return SuppressionRace; |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 102 | else if (typ == ReportTypeThreadLeak) |
| 103 | return SuppressionThread; |
| 104 | else if (typ == ReportTypeMutexDestroyLocked) |
| 105 | return SuppressionMutex; |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame^] | 106 | else if (typ == ReportTypeMutexDoubleLock) |
| 107 | return SuppressionMutex; |
| 108 | else if (typ == ReportTypeMutexBadUnlock) |
| 109 | return SuppressionMutex; |
| 110 | else if (typ == ReportTypeMutexBadReadLock) |
| 111 | return SuppressionMutex; |
| 112 | else if (typ == ReportTypeMutexBadReadUnlock) |
| 113 | return SuppressionMutex; |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 114 | else if (typ == ReportTypeSignalUnsafe) |
| 115 | return SuppressionSignal; |
| 116 | else if (typ == ReportTypeErrnoInSignal) |
| 117 | return SuppressionNone; |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame^] | 118 | else if (typ == ReportTypeDeadlock) |
| 119 | return SuppressionDeadlock; |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 120 | Printf("ThreadSanitizer: unknown report type %d\n", typ), |
| 121 | Die(); |
| 122 | } |
| 123 | |
Dmitry Vyukov | f754eb5 | 2013-03-27 17:59:57 +0000 | [diff] [blame] | 124 | uptr IsSuppressed(ReportType typ, const ReportStack *stack, Suppression **sp) { |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 125 | CHECK(g_ctx); |
| 126 | if (!g_ctx->SuppressionCount() || stack == 0) return 0; |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 127 | SuppressionType stype = conv(typ); |
| 128 | if (stype == SuppressionNone) |
Dmitry Vyukov | 24cdfee | 2013-05-29 11:23:54 +0000 | [diff] [blame] | 129 | return 0; |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 130 | Suppression *s; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 131 | for (const ReportStack *frame = stack; frame; frame = frame->next) { |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 132 | if (g_ctx->Match(frame->func, stype, &s) || |
| 133 | g_ctx->Match(frame->file, stype, &s) || |
| 134 | g_ctx->Match(frame->module, stype, &s)) { |
| 135 | DPrintf("ThreadSanitizer: matched suppression '%s'\n", s->templ); |
| 136 | s->hit_count++; |
| 137 | *sp = s; |
| 138 | return frame->pc; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 139 | } |
| 140 | } |
Dmitry Vyukov | 158c6ac | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 141 | return 0; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 142 | } |
Dmitry Vyukov | f754eb5 | 2013-03-27 17:59:57 +0000 | [diff] [blame] | 143 | |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 144 | uptr IsSuppressed(ReportType typ, const ReportLocation *loc, Suppression **sp) { |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 145 | CHECK(g_ctx); |
| 146 | if (!g_ctx->SuppressionCount() || loc == 0 || |
| 147 | loc->type != ReportLocationGlobal) |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 148 | return 0; |
| 149 | SuppressionType stype = conv(typ); |
| 150 | if (stype == SuppressionNone) |
| 151 | return 0; |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 152 | Suppression *s; |
| 153 | if (g_ctx->Match(loc->name, stype, &s) || |
| 154 | g_ctx->Match(loc->file, stype, &s) || |
| 155 | g_ctx->Match(loc->module, stype, &s)) { |
Sergey Matveev | f2c8445 | 2013-06-26 16:49:34 +0000 | [diff] [blame] | 156 | DPrintf("ThreadSanitizer: matched suppression '%s'\n", s->templ); |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 157 | s->hit_count++; |
| 158 | *sp = s; |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 159 | return loc->addr; |
Dmitry Vyukov | 3996833 | 2013-06-10 15:38:44 +0000 | [diff] [blame] | 160 | } |
| 161 | return 0; |
| 162 | } |
| 163 | |
Dmitry Vyukov | f754eb5 | 2013-03-27 17:59:57 +0000 | [diff] [blame] | 164 | void PrintMatchedSuppressions() { |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 165 | CHECK(g_ctx); |
| 166 | InternalMmapVector<Suppression *> matched(1); |
| 167 | g_ctx->GetMatched(&matched); |
| 168 | if (!matched.size()) |
Dmitry Vyukov | f754eb5 | 2013-03-27 17:59:57 +0000 | [diff] [blame] | 169 | return; |
Sergey Matveev | a52e5c6 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 170 | int hit_count = 0; |
| 171 | for (uptr i = 0; i < matched.size(); i++) |
| 172 | hit_count += matched[i]->hit_count; |
| 173 | Printf("ThreadSanitizer: Matched %d suppressions (pid=%d):\n", hit_count, |
| 174 | (int)internal_getpid()); |
| 175 | for (uptr i = 0; i < matched.size(); i++) { |
| 176 | Printf("%d %s:%s\n", matched[i]->hit_count, |
| 177 | SuppressionTypeString(matched[i]->type), matched[i]->templ); |
Dmitry Vyukov | f754eb5 | 2013-03-27 17:59:57 +0000 | [diff] [blame] | 178 | } |
| 179 | } |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 180 | } // namespace __tsan |