xref: /freebsd-src/contrib/llvm-project/clang/lib/Basic/DiagnosticIDs.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
10b57cec5SDimitry Andric //===--- DiagnosticIDs.cpp - Diagnostic IDs Handling ----------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric //  This file implements the Diagnostic IDs-related interfaces.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "clang/Basic/DiagnosticIDs.h"
140b57cec5SDimitry Andric #include "clang/Basic/AllDiagnostics.h"
150b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCategories.h"
160b57cec5SDimitry Andric #include "clang/Basic/SourceManager.h"
170b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
180b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
190b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
200b57cec5SDimitry Andric #include <map>
21bdd1243dSDimitry Andric #include <optional>
220b57cec5SDimitry Andric using namespace clang;
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
250b57cec5SDimitry Andric // Builtin Diagnostic information
260b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
270b57cec5SDimitry Andric 
280b57cec5SDimitry Andric namespace {
290b57cec5SDimitry Andric 
30e8d8bef9SDimitry Andric struct StaticDiagInfoRec;
31e8d8bef9SDimitry Andric 
32e8d8bef9SDimitry Andric // Store the descriptions in a separate table to avoid pointers that need to
33e8d8bef9SDimitry Andric // be relocated, and also decrease the amount of data needed on 64-bit
34e8d8bef9SDimitry Andric // platforms. See "How To Write Shared Libraries" by Ulrich Drepper.
35e8d8bef9SDimitry Andric struct StaticDiagInfoDescriptionStringTable {
36e8d8bef9SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR,     \
3704eeddc0SDimitry Andric              SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY)            \
38e8d8bef9SDimitry Andric   char ENUM##_desc[sizeof(DESC)];
39e8d8bef9SDimitry Andric   // clang-format off
40e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc"
41e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc"
42e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc"
43e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc"
44e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc"
45e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc"
46e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc"
47e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc"
48e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc"
49e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc"
50e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc"
51e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc"
52*0fca6ea1SDimitry Andric #include "clang/Basic/DiagnosticInstallAPIKinds.inc"
53e8d8bef9SDimitry Andric   // clang-format on
54e8d8bef9SDimitry Andric #undef DIAG
55e8d8bef9SDimitry Andric };
56e8d8bef9SDimitry Andric 
57e8d8bef9SDimitry Andric const StaticDiagInfoDescriptionStringTable StaticDiagInfoDescriptions = {
58e8d8bef9SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR,     \
5904eeddc0SDimitry Andric              SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY)            \
60e8d8bef9SDimitry Andric   DESC,
61e8d8bef9SDimitry Andric // clang-format off
62e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc"
63e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc"
64e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc"
65e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc"
66e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc"
67e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc"
68e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc"
69e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc"
70e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc"
71e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc"
72e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc"
73e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc"
74*0fca6ea1SDimitry Andric #include "clang/Basic/DiagnosticInstallAPIKinds.inc"
75e8d8bef9SDimitry Andric // clang-format on
76e8d8bef9SDimitry Andric #undef DIAG
77e8d8bef9SDimitry Andric };
78e8d8bef9SDimitry Andric 
79e8d8bef9SDimitry Andric extern const StaticDiagInfoRec StaticDiagInfo[];
80e8d8bef9SDimitry Andric 
81e8d8bef9SDimitry Andric // Stored separately from StaticDiagInfoRec to pack better.  Otherwise,
82e8d8bef9SDimitry Andric // StaticDiagInfoRec would have extra padding on 64-bit platforms.
83e8d8bef9SDimitry Andric const uint32_t StaticDiagInfoDescriptionOffsets[] = {
84e8d8bef9SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR,     \
8504eeddc0SDimitry Andric              SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY)            \
86e8d8bef9SDimitry Andric   offsetof(StaticDiagInfoDescriptionStringTable, ENUM##_desc),
87e8d8bef9SDimitry Andric // clang-format off
88e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc"
89e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc"
90e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc"
91e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc"
92e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc"
93e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc"
94e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc"
95e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc"
96e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc"
97e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc"
98e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc"
99e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc"
100*0fca6ea1SDimitry Andric #include "clang/Basic/DiagnosticInstallAPIKinds.inc"
101e8d8bef9SDimitry Andric // clang-format on
102e8d8bef9SDimitry Andric #undef DIAG
103e8d8bef9SDimitry Andric };
104e8d8bef9SDimitry Andric 
1050b57cec5SDimitry Andric // Diagnostic classes.
106*0fca6ea1SDimitry Andric enum DiagnosticClass {
1070b57cec5SDimitry Andric   CLASS_NOTE       = 0x01,
1080b57cec5SDimitry Andric   CLASS_REMARK     = 0x02,
1090b57cec5SDimitry Andric   CLASS_WARNING    = 0x03,
1100b57cec5SDimitry Andric   CLASS_EXTENSION  = 0x04,
1110b57cec5SDimitry Andric   CLASS_ERROR      = 0x05
1120b57cec5SDimitry Andric };
1130b57cec5SDimitry Andric 
1140b57cec5SDimitry Andric struct StaticDiagInfoRec {
1150b57cec5SDimitry Andric   uint16_t DiagID;
116*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(diag::Severity)
117fe6060f1SDimitry Andric   uint8_t DefaultSeverity : 3;
118*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(DiagnosticClass)
119fe6060f1SDimitry Andric   uint8_t Class : 3;
120*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(DiagnosticIDs::SFINAEResponse)
121fe6060f1SDimitry Andric   uint8_t SFINAE : 2;
122fe6060f1SDimitry Andric   uint8_t Category : 6;
123*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(bool)
124fe6060f1SDimitry Andric   uint8_t WarnNoWerror : 1;
125*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(bool)
126fe6060f1SDimitry Andric   uint8_t WarnShowInSystemHeader : 1;
127*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(bool)
12804eeddc0SDimitry Andric   uint8_t WarnShowInSystemMacro : 1;
1290b57cec5SDimitry Andric 
130fe6060f1SDimitry Andric   uint16_t OptionGroupIndex : 15;
131*0fca6ea1SDimitry Andric   LLVM_PREFERRED_TYPE(bool)
132fe6060f1SDimitry Andric   uint16_t Deferrable : 1;
1330b57cec5SDimitry Andric 
1340b57cec5SDimitry Andric   uint16_t DescriptionLen;
1350b57cec5SDimitry Andric 
1360b57cec5SDimitry Andric   unsigned getOptionGroupIndex() const {
1370b57cec5SDimitry Andric     return OptionGroupIndex;
1380b57cec5SDimitry Andric   }
1390b57cec5SDimitry Andric 
1400b57cec5SDimitry Andric   StringRef getDescription() const {
141e8d8bef9SDimitry Andric     size_t MyIndex = this - &StaticDiagInfo[0];
142e8d8bef9SDimitry Andric     uint32_t StringOffset = StaticDiagInfoDescriptionOffsets[MyIndex];
143e8d8bef9SDimitry Andric     const char* Table = reinterpret_cast<const char*>(&StaticDiagInfoDescriptions);
144e8d8bef9SDimitry Andric     return StringRef(&Table[StringOffset], DescriptionLen);
1450b57cec5SDimitry Andric   }
1460b57cec5SDimitry Andric 
1470b57cec5SDimitry Andric   diag::Flavor getFlavor() const {
1480b57cec5SDimitry Andric     return Class == CLASS_REMARK ? diag::Flavor::Remark
1490b57cec5SDimitry Andric                                  : diag::Flavor::WarningOrError;
1500b57cec5SDimitry Andric   }
1510b57cec5SDimitry Andric 
1520b57cec5SDimitry Andric   bool operator<(const StaticDiagInfoRec &RHS) const {
1530b57cec5SDimitry Andric     return DiagID < RHS.DiagID;
1540b57cec5SDimitry Andric   }
1550b57cec5SDimitry Andric };
1560b57cec5SDimitry Andric 
1570b57cec5SDimitry Andric #define STRINGIFY_NAME(NAME) #NAME
1580b57cec5SDimitry Andric #define VALIDATE_DIAG_SIZE(NAME)                                               \
1590b57cec5SDimitry Andric   static_assert(                                                               \
1600b57cec5SDimitry Andric       static_cast<unsigned>(diag::NUM_BUILTIN_##NAME##_DIAGNOSTICS) <          \
1610b57cec5SDimitry Andric           static_cast<unsigned>(diag::DIAG_START_##NAME) +                     \
1620b57cec5SDimitry Andric               static_cast<unsigned>(diag::DIAG_SIZE_##NAME),                   \
1630b57cec5SDimitry Andric       STRINGIFY_NAME(                                                          \
1640b57cec5SDimitry Andric           DIAG_SIZE_##NAME) " is insufficient to contain all "                 \
1650b57cec5SDimitry Andric                             "diagnostics, it may need to be made larger in "   \
1660b57cec5SDimitry Andric                             "DiagnosticIDs.h.");
1670b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(COMMON)
1680b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(DRIVER)
1690b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(FRONTEND)
1700b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(SERIALIZATION)
1710b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(LEX)
1720b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(PARSE)
1730b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(AST)
1740b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(COMMENT)
1755ffd83dbSDimitry Andric VALIDATE_DIAG_SIZE(CROSSTU)
1760b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(SEMA)
1770b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(ANALYSIS)
1780b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(REFACTORING)
179*0fca6ea1SDimitry Andric VALIDATE_DIAG_SIZE(INSTALLAPI)
1800b57cec5SDimitry Andric #undef VALIDATE_DIAG_SIZE
1810b57cec5SDimitry Andric #undef STRINGIFY_NAME
1820b57cec5SDimitry Andric 
183e8d8bef9SDimitry Andric const StaticDiagInfoRec StaticDiagInfo[] = {
184fe6060f1SDimitry Andric // clang-format off
1850b57cec5SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR,     \
18604eeddc0SDimitry Andric              SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY)            \
1870b57cec5SDimitry Andric   {                                                                            \
188e8d8bef9SDimitry Andric       diag::ENUM,                                                              \
189e8d8bef9SDimitry Andric       DEFAULT_SEVERITY,                                                        \
190e8d8bef9SDimitry Andric       CLASS,                                                                   \
191e8d8bef9SDimitry Andric       DiagnosticIDs::SFINAE,                                                   \
192fe6060f1SDimitry Andric       CATEGORY,                                                                \
193e8d8bef9SDimitry Andric       NOWERROR,                                                                \
194e8d8bef9SDimitry Andric       SHOWINSYSHEADER,                                                         \
19504eeddc0SDimitry Andric       SHOWINSYSMACRO,                                                          \
196e8d8bef9SDimitry Andric       GROUP,                                                                   \
197fe6060f1SDimitry Andric 	    DEFERRABLE,                                                              \
198e8d8bef9SDimitry Andric       STR_SIZE(DESC, uint16_t)},
1990b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc"
2000b57cec5SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc"
2010b57cec5SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc"
2020b57cec5SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc"
2030b57cec5SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc"
2040b57cec5SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc"
2050b57cec5SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc"
2060b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc"
2070b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc"
2080b57cec5SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc"
2090b57cec5SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc"
2100b57cec5SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc"
211*0fca6ea1SDimitry Andric #include "clang/Basic/DiagnosticInstallAPIKinds.inc"
212e8d8bef9SDimitry Andric // clang-format on
2130b57cec5SDimitry Andric #undef DIAG
2140b57cec5SDimitry Andric };
2150b57cec5SDimitry Andric 
216e8d8bef9SDimitry Andric } // namespace
217e8d8bef9SDimitry Andric 
218bdd1243dSDimitry Andric static const unsigned StaticDiagInfoSize = std::size(StaticDiagInfo);
2190b57cec5SDimitry Andric 
2200b57cec5SDimitry Andric /// GetDiagInfo - Return the StaticDiagInfoRec entry for the specified DiagID,
2210b57cec5SDimitry Andric /// or null if the ID is invalid.
2220b57cec5SDimitry Andric static const StaticDiagInfoRec *GetDiagInfo(unsigned DiagID) {
2230b57cec5SDimitry Andric   // Out of bounds diag. Can't be in the table.
2240b57cec5SDimitry Andric   using namespace diag;
2250b57cec5SDimitry Andric   if (DiagID >= DIAG_UPPER_LIMIT || DiagID <= DIAG_START_COMMON)
2260b57cec5SDimitry Andric     return nullptr;
2270b57cec5SDimitry Andric 
2280b57cec5SDimitry Andric   // Compute the index of the requested diagnostic in the static table.
2290b57cec5SDimitry Andric   // 1. Add the number of diagnostics in each category preceding the
2300b57cec5SDimitry Andric   //    diagnostic and of the category the diagnostic is in. This gives us
2310b57cec5SDimitry Andric   //    the offset of the category in the table.
2320b57cec5SDimitry Andric   // 2. Subtract the number of IDs in each category from our ID. This gives us
2330b57cec5SDimitry Andric   //    the offset of the diagnostic in the category.
2340b57cec5SDimitry Andric   // This is cheaper than a binary search on the table as it doesn't touch
2350b57cec5SDimitry Andric   // memory at all.
2360b57cec5SDimitry Andric   unsigned Offset = 0;
2370b57cec5SDimitry Andric   unsigned ID = DiagID - DIAG_START_COMMON - 1;
2380b57cec5SDimitry Andric #define CATEGORY(NAME, PREV) \
2390b57cec5SDimitry Andric   if (DiagID > DIAG_START_##NAME) { \
2400b57cec5SDimitry Andric     Offset += NUM_BUILTIN_##PREV##_DIAGNOSTICS - DIAG_START_##PREV - 1; \
2410b57cec5SDimitry Andric     ID -= DIAG_START_##NAME - DIAG_START_##PREV; \
2420b57cec5SDimitry Andric   }
2430b57cec5SDimitry Andric CATEGORY(DRIVER, COMMON)
2440b57cec5SDimitry Andric CATEGORY(FRONTEND, DRIVER)
2450b57cec5SDimitry Andric CATEGORY(SERIALIZATION, FRONTEND)
2460b57cec5SDimitry Andric CATEGORY(LEX, SERIALIZATION)
2470b57cec5SDimitry Andric CATEGORY(PARSE, LEX)
2480b57cec5SDimitry Andric CATEGORY(AST, PARSE)
2490b57cec5SDimitry Andric CATEGORY(COMMENT, AST)
2500b57cec5SDimitry Andric CATEGORY(CROSSTU, COMMENT)
2510b57cec5SDimitry Andric CATEGORY(SEMA, CROSSTU)
2520b57cec5SDimitry Andric CATEGORY(ANALYSIS, SEMA)
2530b57cec5SDimitry Andric CATEGORY(REFACTORING, ANALYSIS)
254*0fca6ea1SDimitry Andric CATEGORY(INSTALLAPI, REFACTORING)
2550b57cec5SDimitry Andric #undef CATEGORY
2560b57cec5SDimitry Andric 
2570b57cec5SDimitry Andric   // Avoid out of bounds reads.
2580b57cec5SDimitry Andric   if (ID + Offset >= StaticDiagInfoSize)
2590b57cec5SDimitry Andric     return nullptr;
2600b57cec5SDimitry Andric 
2610b57cec5SDimitry Andric   assert(ID < StaticDiagInfoSize && Offset < StaticDiagInfoSize);
2620b57cec5SDimitry Andric 
2630b57cec5SDimitry Andric   const StaticDiagInfoRec *Found = &StaticDiagInfo[ID + Offset];
2640b57cec5SDimitry Andric   // If the diag id doesn't match we found a different diag, abort. This can
2650b57cec5SDimitry Andric   // happen when this function is called with an ID that points into a hole in
2660b57cec5SDimitry Andric   // the diagID space.
2670b57cec5SDimitry Andric   if (Found->DiagID != DiagID)
2680b57cec5SDimitry Andric     return nullptr;
2690b57cec5SDimitry Andric   return Found;
2700b57cec5SDimitry Andric }
2710b57cec5SDimitry Andric 
27206c3fb27SDimitry Andric DiagnosticMapping DiagnosticIDs::getDefaultMapping(unsigned DiagID) {
2730b57cec5SDimitry Andric   DiagnosticMapping Info = DiagnosticMapping::Make(
2740b57cec5SDimitry Andric       diag::Severity::Fatal, /*IsUser=*/false, /*IsPragma=*/false);
2750b57cec5SDimitry Andric 
2760b57cec5SDimitry Andric   if (const StaticDiagInfoRec *StaticInfo = GetDiagInfo(DiagID)) {
2770b57cec5SDimitry Andric     Info.setSeverity((diag::Severity)StaticInfo->DefaultSeverity);
2780b57cec5SDimitry Andric 
2790b57cec5SDimitry Andric     if (StaticInfo->WarnNoWerror) {
2800b57cec5SDimitry Andric       assert(Info.getSeverity() == diag::Severity::Warning &&
2810b57cec5SDimitry Andric              "Unexpected mapping with no-Werror bit!");
2820b57cec5SDimitry Andric       Info.setNoWarningAsError(true);
2830b57cec5SDimitry Andric     }
2840b57cec5SDimitry Andric   }
2850b57cec5SDimitry Andric 
2860b57cec5SDimitry Andric   return Info;
2870b57cec5SDimitry Andric }
2880b57cec5SDimitry Andric 
2890b57cec5SDimitry Andric /// getCategoryNumberForDiag - Return the category number that a specified
2900b57cec5SDimitry Andric /// DiagID belongs to, or 0 if no category.
2910b57cec5SDimitry Andric unsigned DiagnosticIDs::getCategoryNumberForDiag(unsigned DiagID) {
2920b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
2930b57cec5SDimitry Andric     return Info->Category;
2940b57cec5SDimitry Andric   return 0;
2950b57cec5SDimitry Andric }
2960b57cec5SDimitry Andric 
2970b57cec5SDimitry Andric namespace {
2980b57cec5SDimitry Andric   // The diagnostic category names.
2990b57cec5SDimitry Andric   struct StaticDiagCategoryRec {
3000b57cec5SDimitry Andric     const char *NameStr;
3010b57cec5SDimitry Andric     uint8_t NameLen;
3020b57cec5SDimitry Andric 
3030b57cec5SDimitry Andric     StringRef getName() const {
3040b57cec5SDimitry Andric       return StringRef(NameStr, NameLen);
3050b57cec5SDimitry Andric     }
3060b57cec5SDimitry Andric   };
3070b57cec5SDimitry Andric }
3080b57cec5SDimitry Andric 
3090b57cec5SDimitry Andric static const StaticDiagCategoryRec CategoryNameTable[] = {
3100b57cec5SDimitry Andric #define GET_CATEGORY_TABLE
3110b57cec5SDimitry Andric #define CATEGORY(X, ENUM) { X, STR_SIZE(X, uint8_t) },
3120b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc"
3130b57cec5SDimitry Andric #undef GET_CATEGORY_TABLE
3140b57cec5SDimitry Andric   { nullptr, 0 }
3150b57cec5SDimitry Andric };
3160b57cec5SDimitry Andric 
3170b57cec5SDimitry Andric /// getNumberOfCategories - Return the number of categories
3180b57cec5SDimitry Andric unsigned DiagnosticIDs::getNumberOfCategories() {
319bdd1243dSDimitry Andric   return std::size(CategoryNameTable) - 1;
3200b57cec5SDimitry Andric }
3210b57cec5SDimitry Andric 
3220b57cec5SDimitry Andric /// getCategoryNameFromID - Given a category ID, return the name of the
3230b57cec5SDimitry Andric /// category, an empty string if CategoryID is zero, or null if CategoryID is
3240b57cec5SDimitry Andric /// invalid.
3250b57cec5SDimitry Andric StringRef DiagnosticIDs::getCategoryNameFromID(unsigned CategoryID) {
3260b57cec5SDimitry Andric   if (CategoryID >= getNumberOfCategories())
3270b57cec5SDimitry Andric    return StringRef();
3280b57cec5SDimitry Andric   return CategoryNameTable[CategoryID].getName();
3290b57cec5SDimitry Andric }
3300b57cec5SDimitry Andric 
3310b57cec5SDimitry Andric 
3320b57cec5SDimitry Andric 
3330b57cec5SDimitry Andric DiagnosticIDs::SFINAEResponse
3340b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticSFINAEResponse(unsigned DiagID) {
3350b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
3360b57cec5SDimitry Andric     return static_cast<DiagnosticIDs::SFINAEResponse>(Info->SFINAE);
3370b57cec5SDimitry Andric   return SFINAE_Report;
3380b57cec5SDimitry Andric }
3390b57cec5SDimitry Andric 
340e8d8bef9SDimitry Andric bool DiagnosticIDs::isDeferrable(unsigned DiagID) {
341e8d8bef9SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
342e8d8bef9SDimitry Andric     return Info->Deferrable;
343e8d8bef9SDimitry Andric   return false;
344e8d8bef9SDimitry Andric }
345e8d8bef9SDimitry Andric 
3460b57cec5SDimitry Andric /// getBuiltinDiagClass - Return the class field of the diagnostic.
3470b57cec5SDimitry Andric ///
3480b57cec5SDimitry Andric static unsigned getBuiltinDiagClass(unsigned DiagID) {
3490b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
3500b57cec5SDimitry Andric     return Info->Class;
3510b57cec5SDimitry Andric   return ~0U;
3520b57cec5SDimitry Andric }
3530b57cec5SDimitry Andric 
3540b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
3550b57cec5SDimitry Andric // Custom Diagnostic information
3560b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
3570b57cec5SDimitry Andric 
3580b57cec5SDimitry Andric namespace clang {
3590b57cec5SDimitry Andric   namespace diag {
3600b57cec5SDimitry Andric     class CustomDiagInfo {
3610b57cec5SDimitry Andric       typedef std::pair<DiagnosticIDs::Level, std::string> DiagDesc;
3620b57cec5SDimitry Andric       std::vector<DiagDesc> DiagInfo;
3630b57cec5SDimitry Andric       std::map<DiagDesc, unsigned> DiagIDs;
3640b57cec5SDimitry Andric     public:
3650b57cec5SDimitry Andric 
3660b57cec5SDimitry Andric       /// getDescription - Return the description of the specified custom
3670b57cec5SDimitry Andric       /// diagnostic.
3680b57cec5SDimitry Andric       StringRef getDescription(unsigned DiagID) const {
3690b57cec5SDimitry Andric         assert(DiagID - DIAG_UPPER_LIMIT < DiagInfo.size() &&
3700b57cec5SDimitry Andric                "Invalid diagnostic ID");
3710b57cec5SDimitry Andric         return DiagInfo[DiagID-DIAG_UPPER_LIMIT].second;
3720b57cec5SDimitry Andric       }
3730b57cec5SDimitry Andric 
3740b57cec5SDimitry Andric       /// getLevel - Return the level of the specified custom diagnostic.
3750b57cec5SDimitry Andric       DiagnosticIDs::Level getLevel(unsigned DiagID) const {
3760b57cec5SDimitry Andric         assert(DiagID - DIAG_UPPER_LIMIT < DiagInfo.size() &&
3770b57cec5SDimitry Andric                "Invalid diagnostic ID");
3780b57cec5SDimitry Andric         return DiagInfo[DiagID-DIAG_UPPER_LIMIT].first;
3790b57cec5SDimitry Andric       }
3800b57cec5SDimitry Andric 
3810b57cec5SDimitry Andric       unsigned getOrCreateDiagID(DiagnosticIDs::Level L, StringRef Message,
3820b57cec5SDimitry Andric                                  DiagnosticIDs &Diags) {
3835ffd83dbSDimitry Andric         DiagDesc D(L, std::string(Message));
3840b57cec5SDimitry Andric         // Check to see if it already exists.
3850b57cec5SDimitry Andric         std::map<DiagDesc, unsigned>::iterator I = DiagIDs.lower_bound(D);
3860b57cec5SDimitry Andric         if (I != DiagIDs.end() && I->first == D)
3870b57cec5SDimitry Andric           return I->second;
3880b57cec5SDimitry Andric 
3890b57cec5SDimitry Andric         // If not, assign a new ID.
3900b57cec5SDimitry Andric         unsigned ID = DiagInfo.size()+DIAG_UPPER_LIMIT;
3910b57cec5SDimitry Andric         DiagIDs.insert(std::make_pair(D, ID));
3920b57cec5SDimitry Andric         DiagInfo.push_back(D);
3930b57cec5SDimitry Andric         return ID;
3940b57cec5SDimitry Andric       }
3950b57cec5SDimitry Andric     };
3960b57cec5SDimitry Andric 
3970b57cec5SDimitry Andric   } // end diag namespace
3980b57cec5SDimitry Andric } // end clang namespace
3990b57cec5SDimitry Andric 
4000b57cec5SDimitry Andric 
4010b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4020b57cec5SDimitry Andric // Common Diagnostic implementation
4030b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4040b57cec5SDimitry Andric 
4050b57cec5SDimitry Andric DiagnosticIDs::DiagnosticIDs() {}
4060b57cec5SDimitry Andric 
4070b57cec5SDimitry Andric DiagnosticIDs::~DiagnosticIDs() {}
4080b57cec5SDimitry Andric 
4090b57cec5SDimitry Andric /// getCustomDiagID - Return an ID for a diagnostic with the specified message
4100b57cec5SDimitry Andric /// and level.  If this is the first request for this diagnostic, it is
4110b57cec5SDimitry Andric /// registered and created, otherwise the existing ID is returned.
4120b57cec5SDimitry Andric ///
4130b57cec5SDimitry Andric /// \param FormatString A fixed diagnostic format string that will be hashed and
4140b57cec5SDimitry Andric /// mapped to a unique DiagID.
4150b57cec5SDimitry Andric unsigned DiagnosticIDs::getCustomDiagID(Level L, StringRef FormatString) {
4160b57cec5SDimitry Andric   if (!CustomDiagInfo)
4170b57cec5SDimitry Andric     CustomDiagInfo.reset(new diag::CustomDiagInfo());
4180b57cec5SDimitry Andric   return CustomDiagInfo->getOrCreateDiagID(L, FormatString, *this);
4190b57cec5SDimitry Andric }
4200b57cec5SDimitry Andric 
4210b57cec5SDimitry Andric 
4220b57cec5SDimitry Andric /// isBuiltinWarningOrExtension - Return true if the unmapped diagnostic
4230b57cec5SDimitry Andric /// level of the specified diagnostic ID is a Warning or Extension.
4240b57cec5SDimitry Andric /// This only works on builtin diagnostics, not custom ones, and is not legal to
4250b57cec5SDimitry Andric /// call on NOTEs.
4260b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinWarningOrExtension(unsigned DiagID) {
4270b57cec5SDimitry Andric   return DiagID < diag::DIAG_UPPER_LIMIT &&
4280b57cec5SDimitry Andric          getBuiltinDiagClass(DiagID) != CLASS_ERROR;
4290b57cec5SDimitry Andric }
4300b57cec5SDimitry Andric 
4310b57cec5SDimitry Andric /// Determine whether the given built-in diagnostic ID is a
4320b57cec5SDimitry Andric /// Note.
4330b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinNote(unsigned DiagID) {
4340b57cec5SDimitry Andric   return DiagID < diag::DIAG_UPPER_LIMIT &&
4350b57cec5SDimitry Andric     getBuiltinDiagClass(DiagID) == CLASS_NOTE;
4360b57cec5SDimitry Andric }
4370b57cec5SDimitry Andric 
4380b57cec5SDimitry Andric /// isBuiltinExtensionDiag - Determine whether the given built-in diagnostic
4390b57cec5SDimitry Andric /// ID is for an extension of some sort.  This also returns EnabledByDefault,
4400b57cec5SDimitry Andric /// which is set to indicate whether the diagnostic is ignored by default (in
4410b57cec5SDimitry Andric /// which case -pedantic enables it) or treated as a warning/error by default.
4420b57cec5SDimitry Andric ///
4430b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinExtensionDiag(unsigned DiagID,
4440b57cec5SDimitry Andric                                         bool &EnabledByDefault) {
4450b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT ||
4460b57cec5SDimitry Andric       getBuiltinDiagClass(DiagID) != CLASS_EXTENSION)
4470b57cec5SDimitry Andric     return false;
4480b57cec5SDimitry Andric 
4490b57cec5SDimitry Andric   EnabledByDefault =
45006c3fb27SDimitry Andric       getDefaultMapping(DiagID).getSeverity() != diag::Severity::Ignored;
4510b57cec5SDimitry Andric   return true;
4520b57cec5SDimitry Andric }
4530b57cec5SDimitry Andric 
4540b57cec5SDimitry Andric bool DiagnosticIDs::isDefaultMappingAsError(unsigned DiagID) {
4550b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT)
4560b57cec5SDimitry Andric     return false;
4570b57cec5SDimitry Andric 
45806c3fb27SDimitry Andric   return getDefaultMapping(DiagID).getSeverity() >= diag::Severity::Error;
4590b57cec5SDimitry Andric }
4600b57cec5SDimitry Andric 
4610b57cec5SDimitry Andric /// getDescription - Given a diagnostic ID, return a description of the
4620b57cec5SDimitry Andric /// issue.
4630b57cec5SDimitry Andric StringRef DiagnosticIDs::getDescription(unsigned DiagID) const {
4640b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
4650b57cec5SDimitry Andric     return Info->getDescription();
4660b57cec5SDimitry Andric   assert(CustomDiagInfo && "Invalid CustomDiagInfo");
4670b57cec5SDimitry Andric   return CustomDiagInfo->getDescription(DiagID);
4680b57cec5SDimitry Andric }
4690b57cec5SDimitry Andric 
4700b57cec5SDimitry Andric static DiagnosticIDs::Level toLevel(diag::Severity SV) {
4710b57cec5SDimitry Andric   switch (SV) {
4720b57cec5SDimitry Andric   case diag::Severity::Ignored:
4730b57cec5SDimitry Andric     return DiagnosticIDs::Ignored;
4740b57cec5SDimitry Andric   case diag::Severity::Remark:
4750b57cec5SDimitry Andric     return DiagnosticIDs::Remark;
4760b57cec5SDimitry Andric   case diag::Severity::Warning:
4770b57cec5SDimitry Andric     return DiagnosticIDs::Warning;
4780b57cec5SDimitry Andric   case diag::Severity::Error:
4790b57cec5SDimitry Andric     return DiagnosticIDs::Error;
4800b57cec5SDimitry Andric   case diag::Severity::Fatal:
4810b57cec5SDimitry Andric     return DiagnosticIDs::Fatal;
4820b57cec5SDimitry Andric   }
4830b57cec5SDimitry Andric   llvm_unreachable("unexpected severity");
4840b57cec5SDimitry Andric }
4850b57cec5SDimitry Andric 
4860b57cec5SDimitry Andric /// getDiagnosticLevel - Based on the way the client configured the
4870b57cec5SDimitry Andric /// DiagnosticsEngine object, classify the specified diagnostic ID into a Level,
4880b57cec5SDimitry Andric /// by consumable the DiagnosticClient.
4890b57cec5SDimitry Andric DiagnosticIDs::Level
4900b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticLevel(unsigned DiagID, SourceLocation Loc,
4910b57cec5SDimitry Andric                                   const DiagnosticsEngine &Diag) const {
4920b57cec5SDimitry Andric   // Handle custom diagnostics, which cannot be mapped.
4930b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT) {
4940b57cec5SDimitry Andric     assert(CustomDiagInfo && "Invalid CustomDiagInfo");
4950b57cec5SDimitry Andric     return CustomDiagInfo->getLevel(DiagID);
4960b57cec5SDimitry Andric   }
4970b57cec5SDimitry Andric 
4980b57cec5SDimitry Andric   unsigned DiagClass = getBuiltinDiagClass(DiagID);
4990b57cec5SDimitry Andric   if (DiagClass == CLASS_NOTE) return DiagnosticIDs::Note;
5000b57cec5SDimitry Andric   return toLevel(getDiagnosticSeverity(DiagID, Loc, Diag));
5010b57cec5SDimitry Andric }
5020b57cec5SDimitry Andric 
5030b57cec5SDimitry Andric /// Based on the way the client configured the Diagnostic
5040b57cec5SDimitry Andric /// object, classify the specified diagnostic ID into a Level, consumable by
5050b57cec5SDimitry Andric /// the DiagnosticClient.
5060b57cec5SDimitry Andric ///
5070b57cec5SDimitry Andric /// \param Loc The source location we are interested in finding out the
5080b57cec5SDimitry Andric /// diagnostic state. Can be null in order to query the latest state.
5090b57cec5SDimitry Andric diag::Severity
5100b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticSeverity(unsigned DiagID, SourceLocation Loc,
5110b57cec5SDimitry Andric                                      const DiagnosticsEngine &Diag) const {
5120b57cec5SDimitry Andric   assert(getBuiltinDiagClass(DiagID) != CLASS_NOTE);
5130b57cec5SDimitry Andric 
5140b57cec5SDimitry Andric   // Specific non-error diagnostics may be mapped to various levels from ignored
5150b57cec5SDimitry Andric   // to error.  Errors can only be mapped to fatal.
5160b57cec5SDimitry Andric   diag::Severity Result = diag::Severity::Fatal;
5170b57cec5SDimitry Andric 
5180b57cec5SDimitry Andric   // Get the mapping information, or compute it lazily.
5190b57cec5SDimitry Andric   DiagnosticsEngine::DiagState *State = Diag.GetDiagStateForLoc(Loc);
5200b57cec5SDimitry Andric   DiagnosticMapping &Mapping = State->getOrAddMapping((diag::kind)DiagID);
5210b57cec5SDimitry Andric 
5220b57cec5SDimitry Andric   // TODO: Can a null severity really get here?
5230b57cec5SDimitry Andric   if (Mapping.getSeverity() != diag::Severity())
5240b57cec5SDimitry Andric     Result = Mapping.getSeverity();
5250b57cec5SDimitry Andric 
5260b57cec5SDimitry Andric   // Upgrade ignored diagnostics if -Weverything is enabled.
5270b57cec5SDimitry Andric   if (State->EnableAllWarnings && Result == diag::Severity::Ignored &&
5280b57cec5SDimitry Andric       !Mapping.isUser() && getBuiltinDiagClass(DiagID) != CLASS_REMARK)
5290b57cec5SDimitry Andric     Result = diag::Severity::Warning;
5300b57cec5SDimitry Andric 
5310b57cec5SDimitry Andric   // Ignore -pedantic diagnostics inside __extension__ blocks.
5320b57cec5SDimitry Andric   // (The diagnostics controlled by -pedantic are the extension diagnostics
5330b57cec5SDimitry Andric   // that are not enabled by default.)
5340b57cec5SDimitry Andric   bool EnabledByDefault = false;
5350b57cec5SDimitry Andric   bool IsExtensionDiag = isBuiltinExtensionDiag(DiagID, EnabledByDefault);
5360b57cec5SDimitry Andric   if (Diag.AllExtensionsSilenced && IsExtensionDiag && !EnabledByDefault)
5370b57cec5SDimitry Andric     return diag::Severity::Ignored;
5380b57cec5SDimitry Andric 
5390b57cec5SDimitry Andric   // For extension diagnostics that haven't been explicitly mapped, check if we
5400b57cec5SDimitry Andric   // should upgrade the diagnostic.
5410b57cec5SDimitry Andric   if (IsExtensionDiag && !Mapping.isUser())
5420b57cec5SDimitry Andric     Result = std::max(Result, State->ExtBehavior);
5430b57cec5SDimitry Andric 
5440b57cec5SDimitry Andric   // At this point, ignored errors can no longer be upgraded.
5450b57cec5SDimitry Andric   if (Result == diag::Severity::Ignored)
5460b57cec5SDimitry Andric     return Result;
5470b57cec5SDimitry Andric 
548bdd1243dSDimitry Andric   // Honor -w: this disables all messages which are not Error/Fatal by
5490b57cec5SDimitry Andric   // default (disregarding attempts to upgrade severity from Warning to Error),
5500b57cec5SDimitry Andric   // as well as disabling all messages which are currently mapped to Warning
5510b57cec5SDimitry Andric   // (whether by default or downgraded from Error via e.g. -Wno-error or #pragma
5520b57cec5SDimitry Andric   // diagnostic.)
5530b57cec5SDimitry Andric   if (State->IgnoreAllWarnings) {
5540b57cec5SDimitry Andric     if (Result == diag::Severity::Warning ||
5550b57cec5SDimitry Andric         (Result >= diag::Severity::Error &&
5560b57cec5SDimitry Andric          !isDefaultMappingAsError((diag::kind)DiagID)))
5570b57cec5SDimitry Andric       return diag::Severity::Ignored;
5580b57cec5SDimitry Andric   }
5590b57cec5SDimitry Andric 
5600b57cec5SDimitry Andric   // If -Werror is enabled, map warnings to errors unless explicitly disabled.
5610b57cec5SDimitry Andric   if (Result == diag::Severity::Warning) {
5620b57cec5SDimitry Andric     if (State->WarningsAsErrors && !Mapping.hasNoWarningAsError())
5630b57cec5SDimitry Andric       Result = diag::Severity::Error;
5640b57cec5SDimitry Andric   }
5650b57cec5SDimitry Andric 
5660b57cec5SDimitry Andric   // If -Wfatal-errors is enabled, map errors to fatal unless explicitly
5670b57cec5SDimitry Andric   // disabled.
5680b57cec5SDimitry Andric   if (Result == diag::Severity::Error) {
5690b57cec5SDimitry Andric     if (State->ErrorsAsFatal && !Mapping.hasNoErrorAsFatal())
5700b57cec5SDimitry Andric       Result = diag::Severity::Fatal;
5710b57cec5SDimitry Andric   }
5720b57cec5SDimitry Andric 
5730b57cec5SDimitry Andric   // If explicitly requested, map fatal errors to errors.
5740b57cec5SDimitry Andric   if (Result == diag::Severity::Fatal &&
5750b57cec5SDimitry Andric       Diag.CurDiagID != diag::fatal_too_many_errors && Diag.FatalsAsError)
5760b57cec5SDimitry Andric     Result = diag::Severity::Error;
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric   // Custom diagnostics always are emitted in system headers.
5790b57cec5SDimitry Andric   bool ShowInSystemHeader =
5800b57cec5SDimitry Andric       !GetDiagInfo(DiagID) || GetDiagInfo(DiagID)->WarnShowInSystemHeader;
5810b57cec5SDimitry Andric 
5820b57cec5SDimitry Andric   // If we are in a system header, we ignore it. We look at the diagnostic class
5830b57cec5SDimitry Andric   // because we also want to ignore extensions and warnings in -Werror and
5840b57cec5SDimitry Andric   // -pedantic-errors modes, which *map* warnings/extensions to errors.
5850b57cec5SDimitry Andric   if (State->SuppressSystemWarnings && !ShowInSystemHeader && Loc.isValid() &&
5860b57cec5SDimitry Andric       Diag.getSourceManager().isInSystemHeader(
5870b57cec5SDimitry Andric           Diag.getSourceManager().getExpansionLoc(Loc)))
5880b57cec5SDimitry Andric     return diag::Severity::Ignored;
5890b57cec5SDimitry Andric 
59004eeddc0SDimitry Andric   // We also ignore warnings due to system macros
59104eeddc0SDimitry Andric   bool ShowInSystemMacro =
59204eeddc0SDimitry Andric       !GetDiagInfo(DiagID) || GetDiagInfo(DiagID)->WarnShowInSystemMacro;
59304eeddc0SDimitry Andric   if (State->SuppressSystemWarnings && !ShowInSystemMacro && Loc.isValid() &&
59404eeddc0SDimitry Andric       Diag.getSourceManager().isInSystemMacro(Loc))
59504eeddc0SDimitry Andric     return diag::Severity::Ignored;
59604eeddc0SDimitry Andric 
5970b57cec5SDimitry Andric   return Result;
5980b57cec5SDimitry Andric }
5990b57cec5SDimitry Andric 
6000b57cec5SDimitry Andric #define GET_DIAG_ARRAYS
6010b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc"
6020b57cec5SDimitry Andric #undef GET_DIAG_ARRAYS
6030b57cec5SDimitry Andric 
6040b57cec5SDimitry Andric namespace {
6050b57cec5SDimitry Andric   struct WarningOption {
6060b57cec5SDimitry Andric     uint16_t NameOffset;
6070b57cec5SDimitry Andric     uint16_t Members;
6080b57cec5SDimitry Andric     uint16_t SubGroups;
60981ad6265SDimitry Andric     StringRef Documentation;
6100b57cec5SDimitry Andric 
6110b57cec5SDimitry Andric     // String is stored with a pascal-style length byte.
6120b57cec5SDimitry Andric     StringRef getName() const {
6130b57cec5SDimitry Andric       return StringRef(DiagGroupNames + NameOffset + 1,
6140b57cec5SDimitry Andric                        DiagGroupNames[NameOffset]);
6150b57cec5SDimitry Andric     }
6160b57cec5SDimitry Andric   };
6170b57cec5SDimitry Andric }
6180b57cec5SDimitry Andric 
6190b57cec5SDimitry Andric // Second the table of options, sorted by name for fast binary lookup.
6200b57cec5SDimitry Andric static const WarningOption OptionTable[] = {
62181ad6265SDimitry Andric #define DIAG_ENTRY(GroupName, FlagNameOffset, Members, SubGroups, Docs)        \
62281ad6265SDimitry Andric   {FlagNameOffset, Members, SubGroups, Docs},
6230b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc"
624349cc55cSDimitry Andric #undef DIAG_ENTRY
6250b57cec5SDimitry Andric };
6260b57cec5SDimitry Andric 
62781ad6265SDimitry Andric /// Given a diagnostic group ID, return its documentation.
62881ad6265SDimitry Andric StringRef DiagnosticIDs::getWarningOptionDocumentation(diag::Group Group) {
62981ad6265SDimitry Andric   return OptionTable[static_cast<int>(Group)].Documentation;
63081ad6265SDimitry Andric }
63181ad6265SDimitry Andric 
632349cc55cSDimitry Andric StringRef DiagnosticIDs::getWarningOptionForGroup(diag::Group Group) {
633349cc55cSDimitry Andric   return OptionTable[static_cast<int>(Group)].getName();
634349cc55cSDimitry Andric }
635349cc55cSDimitry Andric 
636bdd1243dSDimitry Andric std::optional<diag::Group>
63781ad6265SDimitry Andric DiagnosticIDs::getGroupForWarningOption(StringRef Name) {
63881ad6265SDimitry Andric   const auto *Found = llvm::partition_point(
63981ad6265SDimitry Andric       OptionTable, [=](const WarningOption &O) { return O.getName() < Name; });
64081ad6265SDimitry Andric   if (Found == std::end(OptionTable) || Found->getName() != Name)
641bdd1243dSDimitry Andric     return std::nullopt;
64281ad6265SDimitry Andric   return static_cast<diag::Group>(Found - OptionTable);
64381ad6265SDimitry Andric }
64481ad6265SDimitry Andric 
645bdd1243dSDimitry Andric std::optional<diag::Group> DiagnosticIDs::getGroupForDiag(unsigned DiagID) {
64681ad6265SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
64781ad6265SDimitry Andric     return static_cast<diag::Group>(Info->getOptionGroupIndex());
648bdd1243dSDimitry Andric   return std::nullopt;
64981ad6265SDimitry Andric }
65081ad6265SDimitry Andric 
6510b57cec5SDimitry Andric /// getWarningOptionForDiag - Return the lowest-level warning option that
6520b57cec5SDimitry Andric /// enables the specified diagnostic.  If there is no -Wfoo flag that controls
6530b57cec5SDimitry Andric /// the diagnostic, this returns null.
6540b57cec5SDimitry Andric StringRef DiagnosticIDs::getWarningOptionForDiag(unsigned DiagID) {
65581ad6265SDimitry Andric   if (auto G = getGroupForDiag(DiagID))
65681ad6265SDimitry Andric     return getWarningOptionForGroup(*G);
6570b57cec5SDimitry Andric   return StringRef();
6580b57cec5SDimitry Andric }
6590b57cec5SDimitry Andric 
6600b57cec5SDimitry Andric std::vector<std::string> DiagnosticIDs::getDiagnosticFlags() {
66181ad6265SDimitry Andric   std::vector<std::string> Res{"-W", "-Wno-"};
6620b57cec5SDimitry Andric   for (size_t I = 1; DiagGroupNames[I] != '\0';) {
6630b57cec5SDimitry Andric     std::string Diag(DiagGroupNames + I + 1, DiagGroupNames[I]);
6640b57cec5SDimitry Andric     I += DiagGroupNames[I] + 1;
6650b57cec5SDimitry Andric     Res.push_back("-W" + Diag);
6660b57cec5SDimitry Andric     Res.push_back("-Wno-" + Diag);
6670b57cec5SDimitry Andric   }
6680b57cec5SDimitry Andric 
6690b57cec5SDimitry Andric   return Res;
6700b57cec5SDimitry Andric }
6710b57cec5SDimitry Andric 
6720b57cec5SDimitry Andric /// Return \c true if any diagnostics were found in this group, even if they
6730b57cec5SDimitry Andric /// were filtered out due to having the wrong flavor.
6740b57cec5SDimitry Andric static bool getDiagnosticsInGroup(diag::Flavor Flavor,
6750b57cec5SDimitry Andric                                   const WarningOption *Group,
6760b57cec5SDimitry Andric                                   SmallVectorImpl<diag::kind> &Diags) {
6770b57cec5SDimitry Andric   // An empty group is considered to be a warning group: we have empty groups
6780b57cec5SDimitry Andric   // for GCC compatibility, and GCC does not have remarks.
6790b57cec5SDimitry Andric   if (!Group->Members && !Group->SubGroups)
6800b57cec5SDimitry Andric     return Flavor == diag::Flavor::Remark;
6810b57cec5SDimitry Andric 
6820b57cec5SDimitry Andric   bool NotFound = true;
6830b57cec5SDimitry Andric 
6840b57cec5SDimitry Andric   // Add the members of the option diagnostic set.
6850b57cec5SDimitry Andric   const int16_t *Member = DiagArrays + Group->Members;
6860b57cec5SDimitry Andric   for (; *Member != -1; ++Member) {
6870b57cec5SDimitry Andric     if (GetDiagInfo(*Member)->getFlavor() == Flavor) {
6880b57cec5SDimitry Andric       NotFound = false;
6890b57cec5SDimitry Andric       Diags.push_back(*Member);
6900b57cec5SDimitry Andric     }
6910b57cec5SDimitry Andric   }
6920b57cec5SDimitry Andric 
6930b57cec5SDimitry Andric   // Add the members of the subgroups.
6940b57cec5SDimitry Andric   const int16_t *SubGroups = DiagSubGroups + Group->SubGroups;
6950b57cec5SDimitry Andric   for (; *SubGroups != (int16_t)-1; ++SubGroups)
6960b57cec5SDimitry Andric     NotFound &= getDiagnosticsInGroup(Flavor, &OptionTable[(short)*SubGroups],
6970b57cec5SDimitry Andric                                       Diags);
6980b57cec5SDimitry Andric 
6990b57cec5SDimitry Andric   return NotFound;
7000b57cec5SDimitry Andric }
7010b57cec5SDimitry Andric 
7020b57cec5SDimitry Andric bool
7030b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticsInGroup(diag::Flavor Flavor, StringRef Group,
7040b57cec5SDimitry Andric                                      SmallVectorImpl<diag::kind> &Diags) const {
705bdd1243dSDimitry Andric   if (std::optional<diag::Group> G = getGroupForWarningOption(Group))
70681ad6265SDimitry Andric     return ::getDiagnosticsInGroup(
70781ad6265SDimitry Andric         Flavor, &OptionTable[static_cast<unsigned>(*G)], Diags);
70881ad6265SDimitry Andric   return true;
7090b57cec5SDimitry Andric }
7100b57cec5SDimitry Andric 
7110b57cec5SDimitry Andric void DiagnosticIDs::getAllDiagnostics(diag::Flavor Flavor,
7120b57cec5SDimitry Andric                                       std::vector<diag::kind> &Diags) {
7130b57cec5SDimitry Andric   for (unsigned i = 0; i != StaticDiagInfoSize; ++i)
7140b57cec5SDimitry Andric     if (StaticDiagInfo[i].getFlavor() == Flavor)
7150b57cec5SDimitry Andric       Diags.push_back(StaticDiagInfo[i].DiagID);
7160b57cec5SDimitry Andric }
7170b57cec5SDimitry Andric 
7180b57cec5SDimitry Andric StringRef DiagnosticIDs::getNearestOption(diag::Flavor Flavor,
7190b57cec5SDimitry Andric                                           StringRef Group) {
7200b57cec5SDimitry Andric   StringRef Best;
7215e801ac6SDimitry Andric   unsigned BestDistance = Group.size() + 1; // Maximum threshold.
7220b57cec5SDimitry Andric   for (const WarningOption &O : OptionTable) {
7230b57cec5SDimitry Andric     // Don't suggest ignored warning flags.
7240b57cec5SDimitry Andric     if (!O.Members && !O.SubGroups)
7250b57cec5SDimitry Andric       continue;
7260b57cec5SDimitry Andric 
7270b57cec5SDimitry Andric     unsigned Distance = O.getName().edit_distance(Group, true, BestDistance);
7280b57cec5SDimitry Andric     if (Distance > BestDistance)
7290b57cec5SDimitry Andric       continue;
7300b57cec5SDimitry Andric 
7310b57cec5SDimitry Andric     // Don't suggest groups that are not of this kind.
7320b57cec5SDimitry Andric     llvm::SmallVector<diag::kind, 8> Diags;
7330b57cec5SDimitry Andric     if (::getDiagnosticsInGroup(Flavor, &O, Diags) || Diags.empty())
7340b57cec5SDimitry Andric       continue;
7350b57cec5SDimitry Andric 
7360b57cec5SDimitry Andric     if (Distance == BestDistance) {
7370b57cec5SDimitry Andric       // Two matches with the same distance, don't prefer one over the other.
7380b57cec5SDimitry Andric       Best = "";
7390b57cec5SDimitry Andric     } else if (Distance < BestDistance) {
7400b57cec5SDimitry Andric       // This is a better match.
7410b57cec5SDimitry Andric       Best = O.getName();
7420b57cec5SDimitry Andric       BestDistance = Distance;
7430b57cec5SDimitry Andric     }
7440b57cec5SDimitry Andric   }
7450b57cec5SDimitry Andric 
7460b57cec5SDimitry Andric   return Best;
7470b57cec5SDimitry Andric }
7480b57cec5SDimitry Andric 
7490b57cec5SDimitry Andric /// ProcessDiag - This is the method used to report a diagnostic that is
7500b57cec5SDimitry Andric /// finally fully formed.
7510b57cec5SDimitry Andric bool DiagnosticIDs::ProcessDiag(DiagnosticsEngine &Diag) const {
7520b57cec5SDimitry Andric   Diagnostic Info(&Diag);
7530b57cec5SDimitry Andric 
7540b57cec5SDimitry Andric   assert(Diag.getClient() && "DiagnosticClient not set!");
7550b57cec5SDimitry Andric 
7560b57cec5SDimitry Andric   // Figure out the diagnostic level of this message.
7570b57cec5SDimitry Andric   unsigned DiagID = Info.getID();
7580b57cec5SDimitry Andric   DiagnosticIDs::Level DiagLevel
7590b57cec5SDimitry Andric     = getDiagnosticLevel(DiagID, Info.getLocation(), Diag);
7600b57cec5SDimitry Andric 
7610b57cec5SDimitry Andric   // Update counts for DiagnosticErrorTrap even if a fatal error occurred
7620b57cec5SDimitry Andric   // or diagnostics are suppressed.
7630b57cec5SDimitry Andric   if (DiagLevel >= DiagnosticIDs::Error) {
7640b57cec5SDimitry Andric     ++Diag.TrapNumErrorsOccurred;
7650b57cec5SDimitry Andric     if (isUnrecoverable(DiagID))
7660b57cec5SDimitry Andric       ++Diag.TrapNumUnrecoverableErrorsOccurred;
7670b57cec5SDimitry Andric   }
7680b57cec5SDimitry Andric 
7690b57cec5SDimitry Andric   if (Diag.SuppressAllDiagnostics)
7700b57cec5SDimitry Andric     return false;
7710b57cec5SDimitry Andric 
7720b57cec5SDimitry Andric   if (DiagLevel != DiagnosticIDs::Note) {
7730b57cec5SDimitry Andric     // Record that a fatal error occurred only when we see a second
7740b57cec5SDimitry Andric     // non-note diagnostic. This allows notes to be attached to the
7750b57cec5SDimitry Andric     // fatal error, but suppresses any diagnostics that follow those
7760b57cec5SDimitry Andric     // notes.
7770b57cec5SDimitry Andric     if (Diag.LastDiagLevel == DiagnosticIDs::Fatal)
7780b57cec5SDimitry Andric       Diag.FatalErrorOccurred = true;
7790b57cec5SDimitry Andric 
7800b57cec5SDimitry Andric     Diag.LastDiagLevel = DiagLevel;
7810b57cec5SDimitry Andric   }
7820b57cec5SDimitry Andric 
7830b57cec5SDimitry Andric   // If a fatal error has already been emitted, silence all subsequent
7840b57cec5SDimitry Andric   // diagnostics.
7850b57cec5SDimitry Andric   if (Diag.FatalErrorOccurred) {
7860b57cec5SDimitry Andric     if (DiagLevel >= DiagnosticIDs::Error &&
7870b57cec5SDimitry Andric         Diag.Client->IncludeInDiagnosticCounts()) {
7880b57cec5SDimitry Andric       ++Diag.NumErrors;
7890b57cec5SDimitry Andric     }
7900b57cec5SDimitry Andric 
7910b57cec5SDimitry Andric     return false;
7920b57cec5SDimitry Andric   }
7930b57cec5SDimitry Andric 
7940b57cec5SDimitry Andric   // If the client doesn't care about this message, don't issue it.  If this is
7950b57cec5SDimitry Andric   // a note and the last real diagnostic was ignored, ignore it too.
7960b57cec5SDimitry Andric   if (DiagLevel == DiagnosticIDs::Ignored ||
7970b57cec5SDimitry Andric       (DiagLevel == DiagnosticIDs::Note &&
7980b57cec5SDimitry Andric        Diag.LastDiagLevel == DiagnosticIDs::Ignored))
7990b57cec5SDimitry Andric     return false;
8000b57cec5SDimitry Andric 
8010b57cec5SDimitry Andric   if (DiagLevel >= DiagnosticIDs::Error) {
8020b57cec5SDimitry Andric     if (isUnrecoverable(DiagID))
8030b57cec5SDimitry Andric       Diag.UnrecoverableErrorOccurred = true;
8040b57cec5SDimitry Andric 
8050b57cec5SDimitry Andric     // Warnings which have been upgraded to errors do not prevent compilation.
8060b57cec5SDimitry Andric     if (isDefaultMappingAsError(DiagID))
8070b57cec5SDimitry Andric       Diag.UncompilableErrorOccurred = true;
8080b57cec5SDimitry Andric 
8090b57cec5SDimitry Andric     Diag.ErrorOccurred = true;
8100b57cec5SDimitry Andric     if (Diag.Client->IncludeInDiagnosticCounts()) {
8110b57cec5SDimitry Andric       ++Diag.NumErrors;
8120b57cec5SDimitry Andric     }
8130b57cec5SDimitry Andric 
8140b57cec5SDimitry Andric     // If we've emitted a lot of errors, emit a fatal error instead of it to
8150b57cec5SDimitry Andric     // stop a flood of bogus errors.
8160b57cec5SDimitry Andric     if (Diag.ErrorLimit && Diag.NumErrors > Diag.ErrorLimit &&
8170b57cec5SDimitry Andric         DiagLevel == DiagnosticIDs::Error) {
8180b57cec5SDimitry Andric       Diag.SetDelayedDiagnostic(diag::fatal_too_many_errors);
8190b57cec5SDimitry Andric       return false;
8200b57cec5SDimitry Andric     }
8210b57cec5SDimitry Andric   }
8220b57cec5SDimitry Andric 
8230b57cec5SDimitry Andric   // Make sure we set FatalErrorOccurred to ensure that the notes from the
8240b57cec5SDimitry Andric   // diagnostic that caused `fatal_too_many_errors` won't be emitted.
8250b57cec5SDimitry Andric   if (Diag.CurDiagID == diag::fatal_too_many_errors)
8260b57cec5SDimitry Andric     Diag.FatalErrorOccurred = true;
8270b57cec5SDimitry Andric   // Finally, report it.
8280b57cec5SDimitry Andric   EmitDiag(Diag, DiagLevel);
8290b57cec5SDimitry Andric   return true;
8300b57cec5SDimitry Andric }
8310b57cec5SDimitry Andric 
8320b57cec5SDimitry Andric void DiagnosticIDs::EmitDiag(DiagnosticsEngine &Diag, Level DiagLevel) const {
8330b57cec5SDimitry Andric   Diagnostic Info(&Diag);
8340b57cec5SDimitry Andric   assert(DiagLevel != DiagnosticIDs::Ignored && "Cannot emit ignored diagnostics!");
8350b57cec5SDimitry Andric 
8360b57cec5SDimitry Andric   Diag.Client->HandleDiagnostic((DiagnosticsEngine::Level)DiagLevel, Info);
8370b57cec5SDimitry Andric   if (Diag.Client->IncludeInDiagnosticCounts()) {
8380b57cec5SDimitry Andric     if (DiagLevel == DiagnosticIDs::Warning)
8390b57cec5SDimitry Andric       ++Diag.NumWarnings;
8400b57cec5SDimitry Andric   }
8410b57cec5SDimitry Andric 
8420b57cec5SDimitry Andric   Diag.CurDiagID = ~0U;
8430b57cec5SDimitry Andric }
8440b57cec5SDimitry Andric 
8450b57cec5SDimitry Andric bool DiagnosticIDs::isUnrecoverable(unsigned DiagID) const {
8460b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT) {
8470b57cec5SDimitry Andric     assert(CustomDiagInfo && "Invalid CustomDiagInfo");
8480b57cec5SDimitry Andric     // Custom diagnostics.
8490b57cec5SDimitry Andric     return CustomDiagInfo->getLevel(DiagID) >= DiagnosticIDs::Error;
8500b57cec5SDimitry Andric   }
8510b57cec5SDimitry Andric 
8520b57cec5SDimitry Andric   // Only errors may be unrecoverable.
8530b57cec5SDimitry Andric   if (getBuiltinDiagClass(DiagID) < CLASS_ERROR)
8540b57cec5SDimitry Andric     return false;
8550b57cec5SDimitry Andric 
8560b57cec5SDimitry Andric   if (DiagID == diag::err_unavailable ||
8570b57cec5SDimitry Andric       DiagID == diag::err_unavailable_message)
8580b57cec5SDimitry Andric     return false;
8590b57cec5SDimitry Andric 
8600b57cec5SDimitry Andric   // Currently we consider all ARC errors as recoverable.
8610b57cec5SDimitry Andric   if (isARCDiagnostic(DiagID))
8620b57cec5SDimitry Andric     return false;
8630b57cec5SDimitry Andric 
864*0fca6ea1SDimitry Andric   if (isCodegenABICheckDiagnostic(DiagID))
865*0fca6ea1SDimitry Andric     return false;
866*0fca6ea1SDimitry Andric 
8670b57cec5SDimitry Andric   return true;
8680b57cec5SDimitry Andric }
8690b57cec5SDimitry Andric 
8700b57cec5SDimitry Andric bool DiagnosticIDs::isARCDiagnostic(unsigned DiagID) {
8710b57cec5SDimitry Andric   unsigned cat = getCategoryNumberForDiag(DiagID);
8725f757f3fSDimitry Andric   return DiagnosticIDs::getCategoryNameFromID(cat).starts_with("ARC ");
8730b57cec5SDimitry Andric }
874*0fca6ea1SDimitry Andric 
875*0fca6ea1SDimitry Andric bool DiagnosticIDs::isCodegenABICheckDiagnostic(unsigned DiagID) {
876*0fca6ea1SDimitry Andric   unsigned cat = getCategoryNumberForDiag(DiagID);
877*0fca6ea1SDimitry Andric   return DiagnosticIDs::getCategoryNameFromID(cat) == "Codegen ABI Check";
878*0fca6ea1SDimitry Andric }
879