Home | History | Annotate | Line # | Download | only in ubsan
      1  1.1  kamil //===-- ubsan_diag.cc -----------------------------------------------------===//
      2  1.1  kamil //
      3  1.1  kamil //                     The LLVM Compiler Infrastructure
      4  1.1  kamil //
      5  1.1  kamil // This file is distributed under the University of Illinois Open Source
      6  1.1  kamil // License. See LICENSE.TXT for details.
      7  1.1  kamil //
      8  1.1  kamil //===----------------------------------------------------------------------===//
      9  1.1  kamil //
     10  1.1  kamil // Diagnostic reporting for the UBSan runtime.
     11  1.1  kamil //
     12  1.1  kamil //===----------------------------------------------------------------------===//
     13  1.1  kamil 
     14  1.1  kamil #include "ubsan_platform.h"
     15  1.1  kamil #if CAN_SANITIZE_UB
     16  1.1  kamil #include "ubsan_diag.h"
     17  1.1  kamil #include "ubsan_init.h"
     18  1.1  kamil #include "ubsan_flags.h"
     19  1.1  kamil #include "ubsan_monitor.h"
     20  1.1  kamil #include "sanitizer_common/sanitizer_placement_new.h"
     21  1.1  kamil #include "sanitizer_common/sanitizer_report_decorator.h"
     22  1.1  kamil #include "sanitizer_common/sanitizer_stacktrace.h"
     23  1.1  kamil #include "sanitizer_common/sanitizer_stacktrace_printer.h"
     24  1.1  kamil #include "sanitizer_common/sanitizer_suppressions.h"
     25  1.1  kamil #include "sanitizer_common/sanitizer_symbolizer.h"
     26  1.1  kamil #include <stdio.h>
     27  1.1  kamil 
     28  1.1  kamil using namespace __ubsan;
     29  1.1  kamil 
     30  1.1  kamil void __ubsan::GetStackTrace(BufferedStackTrace *stack, uptr max_depth, uptr pc,
     31  1.1  kamil                             uptr bp, void *context, bool fast) {
     32  1.1  kamil   uptr top = 0;
     33  1.1  kamil   uptr bottom = 0;
     34  1.1  kamil   if (fast)
     35  1.1  kamil     GetThreadStackTopAndBottom(false, &top, &bottom);
     36  1.1  kamil   stack->Unwind(max_depth, pc, bp, context, top, bottom, fast);
     37  1.1  kamil }
     38  1.1  kamil 
     39  1.1  kamil static void MaybePrintStackTrace(uptr pc, uptr bp) {
     40  1.1  kamil   // We assume that flags are already parsed, as UBSan runtime
     41  1.1  kamil   // will definitely be called when we print the first diagnostics message.
     42  1.1  kamil   if (!flags()->print_stacktrace)
     43  1.1  kamil     return;
     44  1.1  kamil 
     45  1.1  kamil   BufferedStackTrace stack;
     46  1.1  kamil   GetStackTrace(&stack, kStackTraceMax, pc, bp, nullptr,
     47  1.1  kamil                 common_flags()->fast_unwind_on_fatal);
     48  1.1  kamil   stack.Print();
     49  1.1  kamil }
     50  1.1  kamil 
     51  1.1  kamil static const char *ConvertTypeToString(ErrorType Type) {
     52  1.1  kamil   switch (Type) {
     53  1.1  kamil #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName)                      \
     54  1.1  kamil   case ErrorType::Name:                                                        \
     55  1.1  kamil     return SummaryKind;
     56  1.1  kamil #include "ubsan_checks.inc"
     57  1.1  kamil #undef UBSAN_CHECK
     58  1.1  kamil   }
     59  1.1  kamil   UNREACHABLE("unknown ErrorType!");
     60  1.1  kamil }
     61  1.1  kamil 
     62  1.1  kamil static const char *ConvertTypeToFlagName(ErrorType Type) {
     63  1.1  kamil   switch (Type) {
     64  1.1  kamil #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName)                      \
     65  1.1  kamil   case ErrorType::Name:                                                        \
     66  1.1  kamil     return FSanitizeFlagName;
     67  1.1  kamil #include "ubsan_checks.inc"
     68  1.1  kamil #undef UBSAN_CHECK
     69  1.1  kamil   }
     70  1.1  kamil   UNREACHABLE("unknown ErrorType!");
     71  1.1  kamil }
     72  1.1  kamil 
     73  1.1  kamil static void MaybeReportErrorSummary(Location Loc, ErrorType Type) {
     74  1.1  kamil   if (!common_flags()->print_summary)
     75  1.1  kamil     return;
     76  1.1  kamil   if (!flags()->report_error_type)
     77  1.1  kamil     Type = ErrorType::GenericUB;
     78  1.1  kamil   const char *ErrorKind = ConvertTypeToString(Type);
     79  1.1  kamil   if (Loc.isSourceLocation()) {
     80  1.1  kamil     SourceLocation SLoc = Loc.getSourceLocation();
     81  1.1  kamil     if (!SLoc.isInvalid()) {
     82  1.1  kamil       AddressInfo AI;
     83  1.1  kamil       AI.file = internal_strdup(SLoc.getFilename());
     84  1.1  kamil       AI.line = SLoc.getLine();
     85  1.1  kamil       AI.column = SLoc.getColumn();
     86  1.1  kamil       AI.function = internal_strdup("");  // Avoid printing ?? as function name.
     87  1.1  kamil       ReportErrorSummary(ErrorKind, AI, GetSanititizerToolName());
     88  1.1  kamil       AI.Clear();
     89  1.1  kamil       return;
     90  1.1  kamil     }
     91  1.1  kamil   } else if (Loc.isSymbolizedStack()) {
     92  1.1  kamil     const AddressInfo &AI = Loc.getSymbolizedStack()->info;
     93  1.1  kamil     ReportErrorSummary(ErrorKind, AI, GetSanititizerToolName());
     94  1.1  kamil     return;
     95  1.1  kamil   }
     96  1.1  kamil   ReportErrorSummary(ErrorKind, GetSanititizerToolName());
     97  1.1  kamil }
     98  1.1  kamil 
     99  1.1  kamil namespace {
    100  1.1  kamil class Decorator : public SanitizerCommonDecorator {
    101  1.1  kamil  public:
    102  1.1  kamil   Decorator() : SanitizerCommonDecorator() {}
    103  1.1  kamil   const char *Highlight() const { return Green(); }
    104  1.1  kamil   const char *Note() const { return Black(); }
    105  1.1  kamil };
    106  1.1  kamil }
    107  1.1  kamil 
    108  1.1  kamil SymbolizedStack *__ubsan::getSymbolizedLocation(uptr PC) {
    109  1.1  kamil   InitAsStandaloneIfNecessary();
    110  1.1  kamil   return Symbolizer::GetOrInit()->SymbolizePC(PC);
    111  1.1  kamil }
    112  1.1  kamil 
    113  1.1  kamil Diag &Diag::operator<<(const TypeDescriptor &V) {
    114  1.1  kamil   return AddArg(V.getTypeName());
    115  1.1  kamil }
    116  1.1  kamil 
    117  1.1  kamil Diag &Diag::operator<<(const Value &V) {
    118  1.1  kamil   if (V.getType().isSignedIntegerTy())
    119  1.1  kamil     AddArg(V.getSIntValue());
    120  1.1  kamil   else if (V.getType().isUnsignedIntegerTy())
    121  1.1  kamil     AddArg(V.getUIntValue());
    122  1.1  kamil   else if (V.getType().isFloatTy())
    123  1.1  kamil     AddArg(V.getFloatValue());
    124  1.1  kamil   else
    125  1.1  kamil     AddArg("<unknown>");
    126  1.1  kamil   return *this;
    127  1.1  kamil }
    128  1.1  kamil 
    129  1.1  kamil /// Hexadecimal printing for numbers too large for Printf to handle directly.
    130  1.1  kamil static void RenderHex(InternalScopedString *Buffer, UIntMax Val) {
    131  1.1  kamil #if HAVE_INT128_T
    132  1.1  kamil   Buffer->append("0x%08x%08x%08x%08x", (unsigned int)(Val >> 96),
    133  1.1  kamil                  (unsigned int)(Val >> 64), (unsigned int)(Val >> 32),
    134  1.1  kamil                  (unsigned int)(Val));
    135  1.1  kamil #else
    136  1.1  kamil   UNREACHABLE("long long smaller than 64 bits?");
    137  1.1  kamil #endif
    138  1.1  kamil }
    139  1.1  kamil 
    140  1.1  kamil static void RenderLocation(InternalScopedString *Buffer, Location Loc) {
    141  1.1  kamil   switch (Loc.getKind()) {
    142  1.1  kamil   case Location::LK_Source: {
    143  1.1  kamil     SourceLocation SLoc = Loc.getSourceLocation();
    144  1.1  kamil     if (SLoc.isInvalid())
    145  1.1  kamil       Buffer->append("<unknown>");
    146  1.1  kamil     else
    147  1.1  kamil       RenderSourceLocation(Buffer, SLoc.getFilename(), SLoc.getLine(),
    148  1.1  kamil                            SLoc.getColumn(), common_flags()->symbolize_vs_style,
    149  1.1  kamil                            common_flags()->strip_path_prefix);
    150  1.1  kamil     return;
    151  1.1  kamil   }
    152  1.1  kamil   case Location::LK_Memory:
    153  1.1  kamil     Buffer->append("%p", Loc.getMemoryLocation());
    154  1.1  kamil     return;
    155  1.1  kamil   case Location::LK_Symbolized: {
    156  1.1  kamil     const AddressInfo &Info = Loc.getSymbolizedStack()->info;
    157  1.1  kamil     if (Info.file)
    158  1.1  kamil       RenderSourceLocation(Buffer, Info.file, Info.line, Info.column,
    159  1.1  kamil                            common_flags()->symbolize_vs_style,
    160  1.1  kamil                            common_flags()->strip_path_prefix);
    161  1.1  kamil     else if (Info.module)
    162  1.1  kamil       RenderModuleLocation(Buffer, Info.module, Info.module_offset,
    163  1.1  kamil                            Info.module_arch, common_flags()->strip_path_prefix);
    164  1.1  kamil     else
    165  1.1  kamil       Buffer->append("%p", Info.address);
    166  1.1  kamil     return;
    167  1.1  kamil   }
    168  1.1  kamil   case Location::LK_Null:
    169  1.1  kamil     Buffer->append("<unknown>");
    170  1.1  kamil     return;
    171  1.1  kamil   }
    172  1.1  kamil }
    173  1.1  kamil 
    174  1.1  kamil static void RenderText(InternalScopedString *Buffer, const char *Message,
    175  1.1  kamil                        const Diag::Arg *Args) {
    176  1.1  kamil   for (const char *Msg = Message; *Msg; ++Msg) {
    177  1.1  kamil     if (*Msg != '%') {
    178  1.1  kamil       Buffer->append("%c", *Msg);
    179  1.1  kamil       continue;
    180  1.1  kamil     }
    181  1.1  kamil     const Diag::Arg &A = Args[*++Msg - '0'];
    182  1.1  kamil     switch (A.Kind) {
    183  1.1  kamil     case Diag::AK_String:
    184  1.1  kamil       Buffer->append("%s", A.String);
    185  1.1  kamil       break;
    186  1.1  kamil     case Diag::AK_TypeName: {
    187  1.1  kamil       if (SANITIZER_WINDOWS)
    188  1.1  kamil         // The Windows implementation demangles names early.
    189  1.1  kamil         Buffer->append("'%s'", A.String);
    190  1.1  kamil       else
    191  1.1  kamil         Buffer->append("'%s'", Symbolizer::GetOrInit()->Demangle(A.String));
    192  1.1  kamil       break;
    193  1.1  kamil     }
    194  1.1  kamil     case Diag::AK_SInt:
    195  1.1  kamil       // 'long long' is guaranteed to be at least 64 bits wide.
    196  1.1  kamil       if (A.SInt >= INT64_MIN && A.SInt <= INT64_MAX)
    197  1.1  kamil         Buffer->append("%lld", (long long)A.SInt);
    198  1.1  kamil       else
    199  1.1  kamil         RenderHex(Buffer, A.SInt);
    200  1.1  kamil       break;
    201  1.1  kamil     case Diag::AK_UInt:
    202  1.1  kamil       if (A.UInt <= UINT64_MAX)
    203  1.1  kamil         Buffer->append("%llu", (unsigned long long)A.UInt);
    204  1.1  kamil       else
    205  1.1  kamil         RenderHex(Buffer, A.UInt);
    206  1.1  kamil       break;
    207  1.1  kamil     case Diag::AK_Float: {
    208  1.1  kamil       // FIXME: Support floating-point formatting in sanitizer_common's
    209  1.1  kamil       //        printf, and stop using snprintf here.
    210  1.1  kamil       char FloatBuffer[32];
    211  1.1  kamil #if SANITIZER_WINDOWS
    212  1.1  kamil       sprintf_s(FloatBuffer, sizeof(FloatBuffer), "%Lg", (long double)A.Float);
    213  1.1  kamil #else
    214  1.1  kamil       snprintf(FloatBuffer, sizeof(FloatBuffer), "%Lg", (long double)A.Float);
    215  1.1  kamil #endif
    216  1.1  kamil       Buffer->append("%s", FloatBuffer);
    217  1.1  kamil       break;
    218  1.1  kamil     }
    219  1.1  kamil     case Diag::AK_Pointer:
    220  1.1  kamil       Buffer->append("%p", A.Pointer);
    221  1.1  kamil       break;
    222  1.1  kamil     }
    223  1.1  kamil   }
    224  1.1  kamil }
    225  1.1  kamil 
    226  1.1  kamil /// Find the earliest-starting range in Ranges which ends after Loc.
    227  1.1  kamil static Range *upperBound(MemoryLocation Loc, Range *Ranges,
    228  1.1  kamil                          unsigned NumRanges) {
    229  1.1  kamil   Range *Best = 0;
    230  1.1  kamil   for (unsigned I = 0; I != NumRanges; ++I)
    231  1.1  kamil     if (Ranges[I].getEnd().getMemoryLocation() > Loc &&
    232  1.1  kamil         (!Best ||
    233  1.1  kamil          Best->getStart().getMemoryLocation() >
    234  1.1  kamil          Ranges[I].getStart().getMemoryLocation()))
    235  1.1  kamil       Best = &Ranges[I];
    236  1.1  kamil   return Best;
    237  1.1  kamil }
    238  1.1  kamil 
    239  1.1  kamil static inline uptr subtractNoOverflow(uptr LHS, uptr RHS) {
    240  1.1  kamil   return (LHS < RHS) ? 0 : LHS - RHS;
    241  1.1  kamil }
    242  1.1  kamil 
    243  1.1  kamil static inline uptr addNoOverflow(uptr LHS, uptr RHS) {
    244  1.1  kamil   const uptr Limit = (uptr)-1;
    245  1.1  kamil   return (LHS > Limit - RHS) ? Limit : LHS + RHS;
    246  1.1  kamil }
    247  1.1  kamil 
    248  1.1  kamil /// Render a snippet of the address space near a location.
    249  1.1  kamil static void PrintMemorySnippet(const Decorator &Decor, MemoryLocation Loc,
    250  1.1  kamil                                Range *Ranges, unsigned NumRanges,
    251  1.1  kamil                                const Diag::Arg *Args) {
    252  1.1  kamil   // Show at least the 8 bytes surrounding Loc.
    253  1.1  kamil   const unsigned MinBytesNearLoc = 4;
    254  1.1  kamil   MemoryLocation Min = subtractNoOverflow(Loc, MinBytesNearLoc);
    255  1.1  kamil   MemoryLocation Max = addNoOverflow(Loc, MinBytesNearLoc);
    256  1.1  kamil   MemoryLocation OrigMin = Min;
    257  1.1  kamil   for (unsigned I = 0; I < NumRanges; ++I) {
    258  1.1  kamil     Min = __sanitizer::Min(Ranges[I].getStart().getMemoryLocation(), Min);
    259  1.1  kamil     Max = __sanitizer::Max(Ranges[I].getEnd().getMemoryLocation(), Max);
    260  1.1  kamil   }
    261  1.1  kamil 
    262  1.1  kamil   // If we have too many interesting bytes, prefer to show bytes after Loc.
    263  1.1  kamil   const unsigned BytesToShow = 32;
    264  1.1  kamil   if (Max - Min > BytesToShow)
    265  1.1  kamil     Min = __sanitizer::Min(Max - BytesToShow, OrigMin);
    266  1.1  kamil   Max = addNoOverflow(Min, BytesToShow);
    267  1.1  kamil 
    268  1.1  kamil   if (!IsAccessibleMemoryRange(Min, Max - Min)) {
    269  1.1  kamil     Printf("<memory cannot be printed>\n");
    270  1.1  kamil     return;
    271  1.1  kamil   }
    272  1.1  kamil 
    273  1.1  kamil   // Emit data.
    274  1.1  kamil   InternalScopedString Buffer(1024);
    275  1.1  kamil   for (uptr P = Min; P != Max; ++P) {
    276  1.1  kamil     unsigned char C = *reinterpret_cast<const unsigned char*>(P);
    277  1.1  kamil     Buffer.append("%s%02x", (P % 8 == 0) ? "  " : " ", C);
    278  1.1  kamil   }
    279  1.1  kamil   Buffer.append("\n");
    280  1.1  kamil 
    281  1.1  kamil   // Emit highlights.
    282  1.1  kamil   Buffer.append(Decor.Highlight());
    283  1.1  kamil   Range *InRange = upperBound(Min, Ranges, NumRanges);
    284  1.1  kamil   for (uptr P = Min; P != Max; ++P) {
    285  1.1  kamil     char Pad = ' ', Byte = ' ';
    286  1.1  kamil     if (InRange && InRange->getEnd().getMemoryLocation() == P)
    287  1.1  kamil       InRange = upperBound(P, Ranges, NumRanges);
    288  1.1  kamil     if (!InRange && P > Loc)
    289  1.1  kamil       break;
    290  1.1  kamil     if (InRange && InRange->getStart().getMemoryLocation() < P)
    291  1.1  kamil       Pad = '~';
    292  1.1  kamil     if (InRange && InRange->getStart().getMemoryLocation() <= P)
    293  1.1  kamil       Byte = '~';
    294  1.1  kamil     if (P % 8 == 0)
    295  1.1  kamil       Buffer.append("%c", Pad);
    296  1.1  kamil     Buffer.append("%c", Pad);
    297  1.1  kamil     Buffer.append("%c", P == Loc ? '^' : Byte);
    298  1.1  kamil     Buffer.append("%c", Byte);
    299  1.1  kamil   }
    300  1.1  kamil   Buffer.append("%s\n", Decor.Default());
    301  1.1  kamil 
    302  1.1  kamil   // Go over the line again, and print names for the ranges.
    303  1.1  kamil   InRange = 0;
    304  1.1  kamil   unsigned Spaces = 0;
    305  1.1  kamil   for (uptr P = Min; P != Max; ++P) {
    306  1.1  kamil     if (!InRange || InRange->getEnd().getMemoryLocation() == P)
    307  1.1  kamil       InRange = upperBound(P, Ranges, NumRanges);
    308  1.1  kamil     if (!InRange)
    309  1.1  kamil       break;
    310  1.1  kamil 
    311  1.1  kamil     Spaces += (P % 8) == 0 ? 2 : 1;
    312  1.1  kamil 
    313  1.1  kamil     if (InRange && InRange->getStart().getMemoryLocation() == P) {
    314  1.1  kamil       while (Spaces--)
    315  1.1  kamil         Buffer.append(" ");
    316  1.1  kamil       RenderText(&Buffer, InRange->getText(), Args);
    317  1.1  kamil       Buffer.append("\n");
    318  1.1  kamil       // FIXME: We only support naming one range for now!
    319  1.1  kamil       break;
    320  1.1  kamil     }
    321  1.1  kamil 
    322  1.1  kamil     Spaces += 2;
    323  1.1  kamil   }
    324  1.1  kamil 
    325  1.1  kamil   Printf("%s", Buffer.data());
    326  1.1  kamil   // FIXME: Print names for anything we can identify within the line:
    327  1.1  kamil   //
    328  1.1  kamil   //  * If we can identify the memory itself as belonging to a particular
    329  1.1  kamil   //    global, stack variable, or dynamic allocation, then do so.
    330  1.1  kamil   //
    331  1.1  kamil   //  * If we have a pointer-size, pointer-aligned range highlighted,
    332  1.1  kamil   //    determine whether the value of that range is a pointer to an
    333  1.1  kamil   //    entity which we can name, and if so, print that name.
    334  1.1  kamil   //
    335  1.1  kamil   // This needs an external symbolizer, or (preferably) ASan instrumentation.
    336  1.1  kamil }
    337  1.1  kamil 
    338  1.1  kamil Diag::~Diag() {
    339  1.1  kamil   // All diagnostics should be printed under report mutex.
    340  1.1  kamil   ScopedReport::CheckLocked();
    341  1.1  kamil   Decorator Decor;
    342  1.1  kamil   InternalScopedString Buffer(1024);
    343  1.1  kamil 
    344  1.1  kamil   // Prepare a report that a monitor process can inspect.
    345  1.1  kamil   if (Level == DL_Error) {
    346  1.1  kamil     RenderText(&Buffer, Message, Args);
    347  1.1  kamil     UndefinedBehaviorReport UBR{ConvertTypeToString(ET), Loc, Buffer};
    348  1.1  kamil     Buffer.clear();
    349  1.1  kamil   }
    350  1.1  kamil 
    351  1.1  kamil   Buffer.append(Decor.Bold());
    352  1.1  kamil   RenderLocation(&Buffer, Loc);
    353  1.1  kamil   Buffer.append(":");
    354  1.1  kamil 
    355  1.1  kamil   switch (Level) {
    356  1.1  kamil   case DL_Error:
    357  1.1  kamil     Buffer.append("%s runtime error: %s%s", Decor.Warning(), Decor.Default(),
    358  1.1  kamil                   Decor.Bold());
    359  1.1  kamil     break;
    360  1.1  kamil 
    361  1.1  kamil   case DL_Note:
    362  1.1  kamil     Buffer.append("%s note: %s", Decor.Note(), Decor.Default());
    363  1.1  kamil     break;
    364  1.1  kamil   }
    365  1.1  kamil 
    366  1.1  kamil   RenderText(&Buffer, Message, Args);
    367  1.1  kamil 
    368  1.1  kamil   Buffer.append("%s\n", Decor.Default());
    369  1.1  kamil   Printf("%s", Buffer.data());
    370  1.1  kamil 
    371  1.1  kamil   if (Loc.isMemoryLocation())
    372  1.1  kamil     PrintMemorySnippet(Decor, Loc.getMemoryLocation(), Ranges, NumRanges, Args);
    373  1.1  kamil }
    374  1.1  kamil 
    375  1.1  kamil ScopedReport::Initializer::Initializer() { InitAsStandaloneIfNecessary(); }
    376  1.1  kamil 
    377  1.1  kamil ScopedReport::ScopedReport(ReportOptions Opts, Location SummaryLoc,
    378  1.1  kamil                            ErrorType Type)
    379  1.1  kamil     : Opts(Opts), SummaryLoc(SummaryLoc), Type(Type) {}
    380  1.1  kamil 
    381  1.1  kamil ScopedReport::~ScopedReport() {
    382  1.1  kamil   MaybePrintStackTrace(Opts.pc, Opts.bp);
    383  1.1  kamil   MaybeReportErrorSummary(SummaryLoc, Type);
    384  1.1  kamil   if (flags()->halt_on_error)
    385  1.1  kamil     Die();
    386  1.1  kamil }
    387  1.1  kamil 
    388  1.1  kamil ALIGNED(64) static char suppression_placeholder[sizeof(SuppressionContext)];
    389  1.1  kamil static SuppressionContext *suppression_ctx = nullptr;
    390  1.1  kamil static const char kVptrCheck[] = "vptr_check";
    391  1.1  kamil static const char *kSuppressionTypes[] = {
    392  1.1  kamil #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) FSanitizeFlagName,
    393  1.1  kamil #include "ubsan_checks.inc"
    394  1.1  kamil #undef UBSAN_CHECK
    395  1.1  kamil     kVptrCheck,
    396  1.1  kamil };
    397  1.1  kamil 
    398  1.1  kamil void __ubsan::InitializeSuppressions() {
    399  1.1  kamil   CHECK_EQ(nullptr, suppression_ctx);
    400  1.1  kamil   suppression_ctx = new (suppression_placeholder) // NOLINT
    401  1.1  kamil       SuppressionContext(kSuppressionTypes, ARRAY_SIZE(kSuppressionTypes));
    402  1.1  kamil   suppression_ctx->ParseFromFile(flags()->suppressions);
    403  1.1  kamil }
    404  1.1  kamil 
    405  1.1  kamil bool __ubsan::IsVptrCheckSuppressed(const char *TypeName) {
    406  1.1  kamil   InitAsStandaloneIfNecessary();
    407  1.1  kamil   CHECK(suppression_ctx);
    408  1.1  kamil   Suppression *s;
    409  1.1  kamil   return suppression_ctx->Match(TypeName, kVptrCheck, &s);
    410  1.1  kamil }
    411  1.1  kamil 
    412  1.1  kamil bool __ubsan::IsPCSuppressed(ErrorType ET, uptr PC, const char *Filename) {
    413  1.1  kamil   InitAsStandaloneIfNecessary();
    414  1.1  kamil   CHECK(suppression_ctx);
    415  1.1  kamil   const char *SuppType = ConvertTypeToFlagName(ET);
    416  1.1  kamil   // Fast path: don't symbolize PC if there is no suppressions for given UB
    417  1.1  kamil   // type.
    418  1.1  kamil   if (!suppression_ctx->HasSuppressionType(SuppType))
    419  1.1  kamil     return false;
    420  1.1  kamil   Suppression *s = nullptr;
    421  1.1  kamil   // Suppress by file name known to runtime.
    422  1.1  kamil   if (Filename != nullptr && suppression_ctx->Match(Filename, SuppType, &s))
    423  1.1  kamil     return true;
    424  1.1  kamil   // Suppress by module name.
    425  1.1  kamil   if (const char *Module = Symbolizer::GetOrInit()->GetModuleNameForPc(PC)) {
    426  1.1  kamil     if (suppression_ctx->Match(Module, SuppType, &s))
    427  1.1  kamil       return true;
    428  1.1  kamil   }
    429  1.1  kamil   // Suppress by function or source file name from debug info.
    430  1.1  kamil   SymbolizedStackHolder Stack(Symbolizer::GetOrInit()->SymbolizePC(PC));
    431  1.1  kamil   const AddressInfo &AI = Stack.get()->info;
    432  1.1  kamil   return suppression_ctx->Match(AI.function, SuppType, &s) ||
    433  1.1  kamil          suppression_ctx->Match(AI.file, SuppType, &s);
    434  1.1  kamil }
    435  1.1  kamil 
    436  1.1  kamil #endif  // CAN_SANITIZE_UB
    437