xref: /freebsd/contrib/llvm-project/clang/lib/Basic/DiagnosticIDs.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
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>
210b57cec5SDimitry Andric using namespace clang;
220b57cec5SDimitry Andric 
230b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
240b57cec5SDimitry Andric // Builtin Diagnostic information
250b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
260b57cec5SDimitry Andric 
270b57cec5SDimitry Andric namespace {
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric // Diagnostic classes.
300b57cec5SDimitry Andric enum {
310b57cec5SDimitry Andric   CLASS_NOTE       = 0x01,
320b57cec5SDimitry Andric   CLASS_REMARK     = 0x02,
330b57cec5SDimitry Andric   CLASS_WARNING    = 0x03,
340b57cec5SDimitry Andric   CLASS_EXTENSION  = 0x04,
350b57cec5SDimitry Andric   CLASS_ERROR      = 0x05
360b57cec5SDimitry Andric };
370b57cec5SDimitry Andric 
380b57cec5SDimitry Andric struct StaticDiagInfoRec {
390b57cec5SDimitry Andric   uint16_t DiagID;
400b57cec5SDimitry Andric   unsigned DefaultSeverity : 3;
410b57cec5SDimitry Andric   unsigned Class : 3;
420b57cec5SDimitry Andric   unsigned SFINAE : 2;
430b57cec5SDimitry Andric   unsigned WarnNoWerror : 1;
440b57cec5SDimitry Andric   unsigned WarnShowInSystemHeader : 1;
450b57cec5SDimitry Andric   unsigned Category : 6;
460b57cec5SDimitry Andric 
470b57cec5SDimitry Andric   uint16_t OptionGroupIndex;
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric   uint16_t DescriptionLen;
500b57cec5SDimitry Andric   const char *DescriptionStr;
510b57cec5SDimitry Andric 
520b57cec5SDimitry Andric   unsigned getOptionGroupIndex() const {
530b57cec5SDimitry Andric     return OptionGroupIndex;
540b57cec5SDimitry Andric   }
550b57cec5SDimitry Andric 
560b57cec5SDimitry Andric   StringRef getDescription() const {
570b57cec5SDimitry Andric     return StringRef(DescriptionStr, DescriptionLen);
580b57cec5SDimitry Andric   }
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric   diag::Flavor getFlavor() const {
610b57cec5SDimitry Andric     return Class == CLASS_REMARK ? diag::Flavor::Remark
620b57cec5SDimitry Andric                                  : diag::Flavor::WarningOrError;
630b57cec5SDimitry Andric   }
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric   bool operator<(const StaticDiagInfoRec &RHS) const {
660b57cec5SDimitry Andric     return DiagID < RHS.DiagID;
670b57cec5SDimitry Andric   }
680b57cec5SDimitry Andric };
690b57cec5SDimitry Andric 
700b57cec5SDimitry Andric #define STRINGIFY_NAME(NAME) #NAME
710b57cec5SDimitry Andric #define VALIDATE_DIAG_SIZE(NAME)                                               \
720b57cec5SDimitry Andric   static_assert(                                                               \
730b57cec5SDimitry Andric       static_cast<unsigned>(diag::NUM_BUILTIN_##NAME##_DIAGNOSTICS) <          \
740b57cec5SDimitry Andric           static_cast<unsigned>(diag::DIAG_START_##NAME) +                     \
750b57cec5SDimitry Andric               static_cast<unsigned>(diag::DIAG_SIZE_##NAME),                   \
760b57cec5SDimitry Andric       STRINGIFY_NAME(                                                          \
770b57cec5SDimitry Andric           DIAG_SIZE_##NAME) " is insufficient to contain all "                 \
780b57cec5SDimitry Andric                             "diagnostics, it may need to be made larger in "   \
790b57cec5SDimitry Andric                             "DiagnosticIDs.h.");
800b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(COMMON)
810b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(DRIVER)
820b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(FRONTEND)
830b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(SERIALIZATION)
840b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(LEX)
850b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(PARSE)
860b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(AST)
870b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(COMMENT)
88*5ffd83dbSDimitry Andric VALIDATE_DIAG_SIZE(CROSSTU)
890b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(SEMA)
900b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(ANALYSIS)
910b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(REFACTORING)
920b57cec5SDimitry Andric #undef VALIDATE_DIAG_SIZE
930b57cec5SDimitry Andric #undef STRINGIFY_NAME
940b57cec5SDimitry Andric 
950b57cec5SDimitry Andric } // namespace anonymous
960b57cec5SDimitry Andric 
970b57cec5SDimitry Andric static const StaticDiagInfoRec StaticDiagInfo[] = {
980b57cec5SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR,     \
990b57cec5SDimitry Andric              SHOWINSYSHEADER, CATEGORY)                                        \
1000b57cec5SDimitry Andric   {                                                                            \
1010b57cec5SDimitry Andric     diag::ENUM, DEFAULT_SEVERITY, CLASS, DiagnosticIDs::SFINAE, NOWERROR,      \
1020b57cec5SDimitry Andric         SHOWINSYSHEADER, CATEGORY, GROUP, STR_SIZE(DESC, uint16_t), DESC       \
1030b57cec5SDimitry Andric   }                                                                            \
1040b57cec5SDimitry Andric   ,
1050b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc"
1060b57cec5SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc"
1070b57cec5SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc"
1080b57cec5SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc"
1090b57cec5SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc"
1100b57cec5SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc"
1110b57cec5SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc"
1120b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc"
1130b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc"
1140b57cec5SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc"
1150b57cec5SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc"
1160b57cec5SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc"
1170b57cec5SDimitry Andric #undef DIAG
1180b57cec5SDimitry Andric };
1190b57cec5SDimitry Andric 
1200b57cec5SDimitry Andric static const unsigned StaticDiagInfoSize = llvm::array_lengthof(StaticDiagInfo);
1210b57cec5SDimitry Andric 
1220b57cec5SDimitry Andric /// GetDiagInfo - Return the StaticDiagInfoRec entry for the specified DiagID,
1230b57cec5SDimitry Andric /// or null if the ID is invalid.
1240b57cec5SDimitry Andric static const StaticDiagInfoRec *GetDiagInfo(unsigned DiagID) {
1250b57cec5SDimitry Andric   // Out of bounds diag. Can't be in the table.
1260b57cec5SDimitry Andric   using namespace diag;
1270b57cec5SDimitry Andric   if (DiagID >= DIAG_UPPER_LIMIT || DiagID <= DIAG_START_COMMON)
1280b57cec5SDimitry Andric     return nullptr;
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric   // Compute the index of the requested diagnostic in the static table.
1310b57cec5SDimitry Andric   // 1. Add the number of diagnostics in each category preceding the
1320b57cec5SDimitry Andric   //    diagnostic and of the category the diagnostic is in. This gives us
1330b57cec5SDimitry Andric   //    the offset of the category in the table.
1340b57cec5SDimitry Andric   // 2. Subtract the number of IDs in each category from our ID. This gives us
1350b57cec5SDimitry Andric   //    the offset of the diagnostic in the category.
1360b57cec5SDimitry Andric   // This is cheaper than a binary search on the table as it doesn't touch
1370b57cec5SDimitry Andric   // memory at all.
1380b57cec5SDimitry Andric   unsigned Offset = 0;
1390b57cec5SDimitry Andric   unsigned ID = DiagID - DIAG_START_COMMON - 1;
1400b57cec5SDimitry Andric #define CATEGORY(NAME, PREV) \
1410b57cec5SDimitry Andric   if (DiagID > DIAG_START_##NAME) { \
1420b57cec5SDimitry Andric     Offset += NUM_BUILTIN_##PREV##_DIAGNOSTICS - DIAG_START_##PREV - 1; \
1430b57cec5SDimitry Andric     ID -= DIAG_START_##NAME - DIAG_START_##PREV; \
1440b57cec5SDimitry Andric   }
1450b57cec5SDimitry Andric CATEGORY(DRIVER, COMMON)
1460b57cec5SDimitry Andric CATEGORY(FRONTEND, DRIVER)
1470b57cec5SDimitry Andric CATEGORY(SERIALIZATION, FRONTEND)
1480b57cec5SDimitry Andric CATEGORY(LEX, SERIALIZATION)
1490b57cec5SDimitry Andric CATEGORY(PARSE, LEX)
1500b57cec5SDimitry Andric CATEGORY(AST, PARSE)
1510b57cec5SDimitry Andric CATEGORY(COMMENT, AST)
1520b57cec5SDimitry Andric CATEGORY(CROSSTU, COMMENT)
1530b57cec5SDimitry Andric CATEGORY(SEMA, CROSSTU)
1540b57cec5SDimitry Andric CATEGORY(ANALYSIS, SEMA)
1550b57cec5SDimitry Andric CATEGORY(REFACTORING, ANALYSIS)
1560b57cec5SDimitry Andric #undef CATEGORY
1570b57cec5SDimitry Andric 
1580b57cec5SDimitry Andric   // Avoid out of bounds reads.
1590b57cec5SDimitry Andric   if (ID + Offset >= StaticDiagInfoSize)
1600b57cec5SDimitry Andric     return nullptr;
1610b57cec5SDimitry Andric 
1620b57cec5SDimitry Andric   assert(ID < StaticDiagInfoSize && Offset < StaticDiagInfoSize);
1630b57cec5SDimitry Andric 
1640b57cec5SDimitry Andric   const StaticDiagInfoRec *Found = &StaticDiagInfo[ID + Offset];
1650b57cec5SDimitry Andric   // If the diag id doesn't match we found a different diag, abort. This can
1660b57cec5SDimitry Andric   // happen when this function is called with an ID that points into a hole in
1670b57cec5SDimitry Andric   // the diagID space.
1680b57cec5SDimitry Andric   if (Found->DiagID != DiagID)
1690b57cec5SDimitry Andric     return nullptr;
1700b57cec5SDimitry Andric   return Found;
1710b57cec5SDimitry Andric }
1720b57cec5SDimitry Andric 
1730b57cec5SDimitry Andric static DiagnosticMapping GetDefaultDiagMapping(unsigned DiagID) {
1740b57cec5SDimitry Andric   DiagnosticMapping Info = DiagnosticMapping::Make(
1750b57cec5SDimitry Andric       diag::Severity::Fatal, /*IsUser=*/false, /*IsPragma=*/false);
1760b57cec5SDimitry Andric 
1770b57cec5SDimitry Andric   if (const StaticDiagInfoRec *StaticInfo = GetDiagInfo(DiagID)) {
1780b57cec5SDimitry Andric     Info.setSeverity((diag::Severity)StaticInfo->DefaultSeverity);
1790b57cec5SDimitry Andric 
1800b57cec5SDimitry Andric     if (StaticInfo->WarnNoWerror) {
1810b57cec5SDimitry Andric       assert(Info.getSeverity() == diag::Severity::Warning &&
1820b57cec5SDimitry Andric              "Unexpected mapping with no-Werror bit!");
1830b57cec5SDimitry Andric       Info.setNoWarningAsError(true);
1840b57cec5SDimitry Andric     }
1850b57cec5SDimitry Andric   }
1860b57cec5SDimitry Andric 
1870b57cec5SDimitry Andric   return Info;
1880b57cec5SDimitry Andric }
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric /// getCategoryNumberForDiag - Return the category number that a specified
1910b57cec5SDimitry Andric /// DiagID belongs to, or 0 if no category.
1920b57cec5SDimitry Andric unsigned DiagnosticIDs::getCategoryNumberForDiag(unsigned DiagID) {
1930b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
1940b57cec5SDimitry Andric     return Info->Category;
1950b57cec5SDimitry Andric   return 0;
1960b57cec5SDimitry Andric }
1970b57cec5SDimitry Andric 
1980b57cec5SDimitry Andric namespace {
1990b57cec5SDimitry Andric   // The diagnostic category names.
2000b57cec5SDimitry Andric   struct StaticDiagCategoryRec {
2010b57cec5SDimitry Andric     const char *NameStr;
2020b57cec5SDimitry Andric     uint8_t NameLen;
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric     StringRef getName() const {
2050b57cec5SDimitry Andric       return StringRef(NameStr, NameLen);
2060b57cec5SDimitry Andric     }
2070b57cec5SDimitry Andric   };
2080b57cec5SDimitry Andric }
2090b57cec5SDimitry Andric 
2100b57cec5SDimitry Andric // Unfortunately, the split between DiagnosticIDs and Diagnostic is not
2110b57cec5SDimitry Andric // particularly clean, but for now we just implement this method here so we can
2120b57cec5SDimitry Andric // access GetDefaultDiagMapping.
2130b57cec5SDimitry Andric DiagnosticMapping &
2140b57cec5SDimitry Andric DiagnosticsEngine::DiagState::getOrAddMapping(diag::kind Diag) {
2150b57cec5SDimitry Andric   std::pair<iterator, bool> Result =
2160b57cec5SDimitry Andric       DiagMap.insert(std::make_pair(Diag, DiagnosticMapping()));
2170b57cec5SDimitry Andric 
2180b57cec5SDimitry Andric   // Initialize the entry if we added it.
2190b57cec5SDimitry Andric   if (Result.second)
2200b57cec5SDimitry Andric     Result.first->second = GetDefaultDiagMapping(Diag);
2210b57cec5SDimitry Andric 
2220b57cec5SDimitry Andric   return Result.first->second;
2230b57cec5SDimitry Andric }
2240b57cec5SDimitry Andric 
2250b57cec5SDimitry Andric static const StaticDiagCategoryRec CategoryNameTable[] = {
2260b57cec5SDimitry Andric #define GET_CATEGORY_TABLE
2270b57cec5SDimitry Andric #define CATEGORY(X, ENUM) { X, STR_SIZE(X, uint8_t) },
2280b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc"
2290b57cec5SDimitry Andric #undef GET_CATEGORY_TABLE
2300b57cec5SDimitry Andric   { nullptr, 0 }
2310b57cec5SDimitry Andric };
2320b57cec5SDimitry Andric 
2330b57cec5SDimitry Andric /// getNumberOfCategories - Return the number of categories
2340b57cec5SDimitry Andric unsigned DiagnosticIDs::getNumberOfCategories() {
2350b57cec5SDimitry Andric   return llvm::array_lengthof(CategoryNameTable) - 1;
2360b57cec5SDimitry Andric }
2370b57cec5SDimitry Andric 
2380b57cec5SDimitry Andric /// getCategoryNameFromID - Given a category ID, return the name of the
2390b57cec5SDimitry Andric /// category, an empty string if CategoryID is zero, or null if CategoryID is
2400b57cec5SDimitry Andric /// invalid.
2410b57cec5SDimitry Andric StringRef DiagnosticIDs::getCategoryNameFromID(unsigned CategoryID) {
2420b57cec5SDimitry Andric   if (CategoryID >= getNumberOfCategories())
2430b57cec5SDimitry Andric    return StringRef();
2440b57cec5SDimitry Andric   return CategoryNameTable[CategoryID].getName();
2450b57cec5SDimitry Andric }
2460b57cec5SDimitry Andric 
2470b57cec5SDimitry Andric 
2480b57cec5SDimitry Andric 
2490b57cec5SDimitry Andric DiagnosticIDs::SFINAEResponse
2500b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticSFINAEResponse(unsigned DiagID) {
2510b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
2520b57cec5SDimitry Andric     return static_cast<DiagnosticIDs::SFINAEResponse>(Info->SFINAE);
2530b57cec5SDimitry Andric   return SFINAE_Report;
2540b57cec5SDimitry Andric }
2550b57cec5SDimitry Andric 
2560b57cec5SDimitry Andric /// getBuiltinDiagClass - Return the class field of the diagnostic.
2570b57cec5SDimitry Andric ///
2580b57cec5SDimitry Andric static unsigned getBuiltinDiagClass(unsigned DiagID) {
2590b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
2600b57cec5SDimitry Andric     return Info->Class;
2610b57cec5SDimitry Andric   return ~0U;
2620b57cec5SDimitry Andric }
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
2650b57cec5SDimitry Andric // Custom Diagnostic information
2660b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
2670b57cec5SDimitry Andric 
2680b57cec5SDimitry Andric namespace clang {
2690b57cec5SDimitry Andric   namespace diag {
2700b57cec5SDimitry Andric     class CustomDiagInfo {
2710b57cec5SDimitry Andric       typedef std::pair<DiagnosticIDs::Level, std::string> DiagDesc;
2720b57cec5SDimitry Andric       std::vector<DiagDesc> DiagInfo;
2730b57cec5SDimitry Andric       std::map<DiagDesc, unsigned> DiagIDs;
2740b57cec5SDimitry Andric     public:
2750b57cec5SDimitry Andric 
2760b57cec5SDimitry Andric       /// getDescription - Return the description of the specified custom
2770b57cec5SDimitry Andric       /// diagnostic.
2780b57cec5SDimitry Andric       StringRef getDescription(unsigned DiagID) const {
2790b57cec5SDimitry Andric         assert(DiagID - DIAG_UPPER_LIMIT < DiagInfo.size() &&
2800b57cec5SDimitry Andric                "Invalid diagnostic ID");
2810b57cec5SDimitry Andric         return DiagInfo[DiagID-DIAG_UPPER_LIMIT].second;
2820b57cec5SDimitry Andric       }
2830b57cec5SDimitry Andric 
2840b57cec5SDimitry Andric       /// getLevel - Return the level of the specified custom diagnostic.
2850b57cec5SDimitry Andric       DiagnosticIDs::Level getLevel(unsigned DiagID) const {
2860b57cec5SDimitry Andric         assert(DiagID - DIAG_UPPER_LIMIT < DiagInfo.size() &&
2870b57cec5SDimitry Andric                "Invalid diagnostic ID");
2880b57cec5SDimitry Andric         return DiagInfo[DiagID-DIAG_UPPER_LIMIT].first;
2890b57cec5SDimitry Andric       }
2900b57cec5SDimitry Andric 
2910b57cec5SDimitry Andric       unsigned getOrCreateDiagID(DiagnosticIDs::Level L, StringRef Message,
2920b57cec5SDimitry Andric                                  DiagnosticIDs &Diags) {
293*5ffd83dbSDimitry Andric         DiagDesc D(L, std::string(Message));
2940b57cec5SDimitry Andric         // Check to see if it already exists.
2950b57cec5SDimitry Andric         std::map<DiagDesc, unsigned>::iterator I = DiagIDs.lower_bound(D);
2960b57cec5SDimitry Andric         if (I != DiagIDs.end() && I->first == D)
2970b57cec5SDimitry Andric           return I->second;
2980b57cec5SDimitry Andric 
2990b57cec5SDimitry Andric         // If not, assign a new ID.
3000b57cec5SDimitry Andric         unsigned ID = DiagInfo.size()+DIAG_UPPER_LIMIT;
3010b57cec5SDimitry Andric         DiagIDs.insert(std::make_pair(D, ID));
3020b57cec5SDimitry Andric         DiagInfo.push_back(D);
3030b57cec5SDimitry Andric         return ID;
3040b57cec5SDimitry Andric       }
3050b57cec5SDimitry Andric     };
3060b57cec5SDimitry Andric 
3070b57cec5SDimitry Andric   } // end diag namespace
3080b57cec5SDimitry Andric } // end clang namespace
3090b57cec5SDimitry Andric 
3100b57cec5SDimitry Andric 
3110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
3120b57cec5SDimitry Andric // Common Diagnostic implementation
3130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
3140b57cec5SDimitry Andric 
3150b57cec5SDimitry Andric DiagnosticIDs::DiagnosticIDs() {}
3160b57cec5SDimitry Andric 
3170b57cec5SDimitry Andric DiagnosticIDs::~DiagnosticIDs() {}
3180b57cec5SDimitry Andric 
3190b57cec5SDimitry Andric /// getCustomDiagID - Return an ID for a diagnostic with the specified message
3200b57cec5SDimitry Andric /// and level.  If this is the first request for this diagnostic, it is
3210b57cec5SDimitry Andric /// registered and created, otherwise the existing ID is returned.
3220b57cec5SDimitry Andric ///
3230b57cec5SDimitry Andric /// \param FormatString A fixed diagnostic format string that will be hashed and
3240b57cec5SDimitry Andric /// mapped to a unique DiagID.
3250b57cec5SDimitry Andric unsigned DiagnosticIDs::getCustomDiagID(Level L, StringRef FormatString) {
3260b57cec5SDimitry Andric   if (!CustomDiagInfo)
3270b57cec5SDimitry Andric     CustomDiagInfo.reset(new diag::CustomDiagInfo());
3280b57cec5SDimitry Andric   return CustomDiagInfo->getOrCreateDiagID(L, FormatString, *this);
3290b57cec5SDimitry Andric }
3300b57cec5SDimitry Andric 
3310b57cec5SDimitry Andric 
3320b57cec5SDimitry Andric /// isBuiltinWarningOrExtension - Return true if the unmapped diagnostic
3330b57cec5SDimitry Andric /// level of the specified diagnostic ID is a Warning or Extension.
3340b57cec5SDimitry Andric /// This only works on builtin diagnostics, not custom ones, and is not legal to
3350b57cec5SDimitry Andric /// call on NOTEs.
3360b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinWarningOrExtension(unsigned DiagID) {
3370b57cec5SDimitry Andric   return DiagID < diag::DIAG_UPPER_LIMIT &&
3380b57cec5SDimitry Andric          getBuiltinDiagClass(DiagID) != CLASS_ERROR;
3390b57cec5SDimitry Andric }
3400b57cec5SDimitry Andric 
3410b57cec5SDimitry Andric /// Determine whether the given built-in diagnostic ID is a
3420b57cec5SDimitry Andric /// Note.
3430b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinNote(unsigned DiagID) {
3440b57cec5SDimitry Andric   return DiagID < diag::DIAG_UPPER_LIMIT &&
3450b57cec5SDimitry Andric     getBuiltinDiagClass(DiagID) == CLASS_NOTE;
3460b57cec5SDimitry Andric }
3470b57cec5SDimitry Andric 
3480b57cec5SDimitry Andric /// isBuiltinExtensionDiag - Determine whether the given built-in diagnostic
3490b57cec5SDimitry Andric /// ID is for an extension of some sort.  This also returns EnabledByDefault,
3500b57cec5SDimitry Andric /// which is set to indicate whether the diagnostic is ignored by default (in
3510b57cec5SDimitry Andric /// which case -pedantic enables it) or treated as a warning/error by default.
3520b57cec5SDimitry Andric ///
3530b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinExtensionDiag(unsigned DiagID,
3540b57cec5SDimitry Andric                                         bool &EnabledByDefault) {
3550b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT ||
3560b57cec5SDimitry Andric       getBuiltinDiagClass(DiagID) != CLASS_EXTENSION)
3570b57cec5SDimitry Andric     return false;
3580b57cec5SDimitry Andric 
3590b57cec5SDimitry Andric   EnabledByDefault =
3600b57cec5SDimitry Andric       GetDefaultDiagMapping(DiagID).getSeverity() != diag::Severity::Ignored;
3610b57cec5SDimitry Andric   return true;
3620b57cec5SDimitry Andric }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric bool DiagnosticIDs::isDefaultMappingAsError(unsigned DiagID) {
3650b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT)
3660b57cec5SDimitry Andric     return false;
3670b57cec5SDimitry Andric 
3680b57cec5SDimitry Andric   return GetDefaultDiagMapping(DiagID).getSeverity() >= diag::Severity::Error;
3690b57cec5SDimitry Andric }
3700b57cec5SDimitry Andric 
3710b57cec5SDimitry Andric /// getDescription - Given a diagnostic ID, return a description of the
3720b57cec5SDimitry Andric /// issue.
3730b57cec5SDimitry Andric StringRef DiagnosticIDs::getDescription(unsigned DiagID) const {
3740b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
3750b57cec5SDimitry Andric     return Info->getDescription();
3760b57cec5SDimitry Andric   assert(CustomDiagInfo && "Invalid CustomDiagInfo");
3770b57cec5SDimitry Andric   return CustomDiagInfo->getDescription(DiagID);
3780b57cec5SDimitry Andric }
3790b57cec5SDimitry Andric 
3800b57cec5SDimitry Andric static DiagnosticIDs::Level toLevel(diag::Severity SV) {
3810b57cec5SDimitry Andric   switch (SV) {
3820b57cec5SDimitry Andric   case diag::Severity::Ignored:
3830b57cec5SDimitry Andric     return DiagnosticIDs::Ignored;
3840b57cec5SDimitry Andric   case diag::Severity::Remark:
3850b57cec5SDimitry Andric     return DiagnosticIDs::Remark;
3860b57cec5SDimitry Andric   case diag::Severity::Warning:
3870b57cec5SDimitry Andric     return DiagnosticIDs::Warning;
3880b57cec5SDimitry Andric   case diag::Severity::Error:
3890b57cec5SDimitry Andric     return DiagnosticIDs::Error;
3900b57cec5SDimitry Andric   case diag::Severity::Fatal:
3910b57cec5SDimitry Andric     return DiagnosticIDs::Fatal;
3920b57cec5SDimitry Andric   }
3930b57cec5SDimitry Andric   llvm_unreachable("unexpected severity");
3940b57cec5SDimitry Andric }
3950b57cec5SDimitry Andric 
3960b57cec5SDimitry Andric /// getDiagnosticLevel - Based on the way the client configured the
3970b57cec5SDimitry Andric /// DiagnosticsEngine object, classify the specified diagnostic ID into a Level,
3980b57cec5SDimitry Andric /// by consumable the DiagnosticClient.
3990b57cec5SDimitry Andric DiagnosticIDs::Level
4000b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticLevel(unsigned DiagID, SourceLocation Loc,
4010b57cec5SDimitry Andric                                   const DiagnosticsEngine &Diag) const {
4020b57cec5SDimitry Andric   // Handle custom diagnostics, which cannot be mapped.
4030b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT) {
4040b57cec5SDimitry Andric     assert(CustomDiagInfo && "Invalid CustomDiagInfo");
4050b57cec5SDimitry Andric     return CustomDiagInfo->getLevel(DiagID);
4060b57cec5SDimitry Andric   }
4070b57cec5SDimitry Andric 
4080b57cec5SDimitry Andric   unsigned DiagClass = getBuiltinDiagClass(DiagID);
4090b57cec5SDimitry Andric   if (DiagClass == CLASS_NOTE) return DiagnosticIDs::Note;
4100b57cec5SDimitry Andric   return toLevel(getDiagnosticSeverity(DiagID, Loc, Diag));
4110b57cec5SDimitry Andric }
4120b57cec5SDimitry Andric 
4130b57cec5SDimitry Andric /// Based on the way the client configured the Diagnostic
4140b57cec5SDimitry Andric /// object, classify the specified diagnostic ID into a Level, consumable by
4150b57cec5SDimitry Andric /// the DiagnosticClient.
4160b57cec5SDimitry Andric ///
4170b57cec5SDimitry Andric /// \param Loc The source location we are interested in finding out the
4180b57cec5SDimitry Andric /// diagnostic state. Can be null in order to query the latest state.
4190b57cec5SDimitry Andric diag::Severity
4200b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticSeverity(unsigned DiagID, SourceLocation Loc,
4210b57cec5SDimitry Andric                                      const DiagnosticsEngine &Diag) const {
4220b57cec5SDimitry Andric   assert(getBuiltinDiagClass(DiagID) != CLASS_NOTE);
4230b57cec5SDimitry Andric 
4240b57cec5SDimitry Andric   // Specific non-error diagnostics may be mapped to various levels from ignored
4250b57cec5SDimitry Andric   // to error.  Errors can only be mapped to fatal.
4260b57cec5SDimitry Andric   diag::Severity Result = diag::Severity::Fatal;
4270b57cec5SDimitry Andric 
4280b57cec5SDimitry Andric   // Get the mapping information, or compute it lazily.
4290b57cec5SDimitry Andric   DiagnosticsEngine::DiagState *State = Diag.GetDiagStateForLoc(Loc);
4300b57cec5SDimitry Andric   DiagnosticMapping &Mapping = State->getOrAddMapping((diag::kind)DiagID);
4310b57cec5SDimitry Andric 
4320b57cec5SDimitry Andric   // TODO: Can a null severity really get here?
4330b57cec5SDimitry Andric   if (Mapping.getSeverity() != diag::Severity())
4340b57cec5SDimitry Andric     Result = Mapping.getSeverity();
4350b57cec5SDimitry Andric 
4360b57cec5SDimitry Andric   // Upgrade ignored diagnostics if -Weverything is enabled.
4370b57cec5SDimitry Andric   if (State->EnableAllWarnings && Result == diag::Severity::Ignored &&
4380b57cec5SDimitry Andric       !Mapping.isUser() && getBuiltinDiagClass(DiagID) != CLASS_REMARK)
4390b57cec5SDimitry Andric     Result = diag::Severity::Warning;
4400b57cec5SDimitry Andric 
4410b57cec5SDimitry Andric   // Ignore -pedantic diagnostics inside __extension__ blocks.
4420b57cec5SDimitry Andric   // (The diagnostics controlled by -pedantic are the extension diagnostics
4430b57cec5SDimitry Andric   // that are not enabled by default.)
4440b57cec5SDimitry Andric   bool EnabledByDefault = false;
4450b57cec5SDimitry Andric   bool IsExtensionDiag = isBuiltinExtensionDiag(DiagID, EnabledByDefault);
4460b57cec5SDimitry Andric   if (Diag.AllExtensionsSilenced && IsExtensionDiag && !EnabledByDefault)
4470b57cec5SDimitry Andric     return diag::Severity::Ignored;
4480b57cec5SDimitry Andric 
4490b57cec5SDimitry Andric   // For extension diagnostics that haven't been explicitly mapped, check if we
4500b57cec5SDimitry Andric   // should upgrade the diagnostic.
4510b57cec5SDimitry Andric   if (IsExtensionDiag && !Mapping.isUser())
4520b57cec5SDimitry Andric     Result = std::max(Result, State->ExtBehavior);
4530b57cec5SDimitry Andric 
4540b57cec5SDimitry Andric   // At this point, ignored errors can no longer be upgraded.
4550b57cec5SDimitry Andric   if (Result == diag::Severity::Ignored)
4560b57cec5SDimitry Andric     return Result;
4570b57cec5SDimitry Andric 
4580b57cec5SDimitry Andric   // Honor -w: this disables all messages which which are not Error/Fatal by
4590b57cec5SDimitry Andric   // default (disregarding attempts to upgrade severity from Warning to Error),
4600b57cec5SDimitry Andric   // as well as disabling all messages which are currently mapped to Warning
4610b57cec5SDimitry Andric   // (whether by default or downgraded from Error via e.g. -Wno-error or #pragma
4620b57cec5SDimitry Andric   // diagnostic.)
4630b57cec5SDimitry Andric   if (State->IgnoreAllWarnings) {
4640b57cec5SDimitry Andric     if (Result == diag::Severity::Warning ||
4650b57cec5SDimitry Andric         (Result >= diag::Severity::Error &&
4660b57cec5SDimitry Andric          !isDefaultMappingAsError((diag::kind)DiagID)))
4670b57cec5SDimitry Andric       return diag::Severity::Ignored;
4680b57cec5SDimitry Andric   }
4690b57cec5SDimitry Andric 
4700b57cec5SDimitry Andric   // If -Werror is enabled, map warnings to errors unless explicitly disabled.
4710b57cec5SDimitry Andric   if (Result == diag::Severity::Warning) {
4720b57cec5SDimitry Andric     if (State->WarningsAsErrors && !Mapping.hasNoWarningAsError())
4730b57cec5SDimitry Andric       Result = diag::Severity::Error;
4740b57cec5SDimitry Andric   }
4750b57cec5SDimitry Andric 
4760b57cec5SDimitry Andric   // If -Wfatal-errors is enabled, map errors to fatal unless explicitly
4770b57cec5SDimitry Andric   // disabled.
4780b57cec5SDimitry Andric   if (Result == diag::Severity::Error) {
4790b57cec5SDimitry Andric     if (State->ErrorsAsFatal && !Mapping.hasNoErrorAsFatal())
4800b57cec5SDimitry Andric       Result = diag::Severity::Fatal;
4810b57cec5SDimitry Andric   }
4820b57cec5SDimitry Andric 
4830b57cec5SDimitry Andric   // If explicitly requested, map fatal errors to errors.
4840b57cec5SDimitry Andric   if (Result == diag::Severity::Fatal &&
4850b57cec5SDimitry Andric       Diag.CurDiagID != diag::fatal_too_many_errors && Diag.FatalsAsError)
4860b57cec5SDimitry Andric     Result = diag::Severity::Error;
4870b57cec5SDimitry Andric 
4880b57cec5SDimitry Andric   // Custom diagnostics always are emitted in system headers.
4890b57cec5SDimitry Andric   bool ShowInSystemHeader =
4900b57cec5SDimitry Andric       !GetDiagInfo(DiagID) || GetDiagInfo(DiagID)->WarnShowInSystemHeader;
4910b57cec5SDimitry Andric 
4920b57cec5SDimitry Andric   // If we are in a system header, we ignore it. We look at the diagnostic class
4930b57cec5SDimitry Andric   // because we also want to ignore extensions and warnings in -Werror and
4940b57cec5SDimitry Andric   // -pedantic-errors modes, which *map* warnings/extensions to errors.
4950b57cec5SDimitry Andric   if (State->SuppressSystemWarnings && !ShowInSystemHeader && Loc.isValid() &&
4960b57cec5SDimitry Andric       Diag.getSourceManager().isInSystemHeader(
4970b57cec5SDimitry Andric           Diag.getSourceManager().getExpansionLoc(Loc)))
4980b57cec5SDimitry Andric     return diag::Severity::Ignored;
4990b57cec5SDimitry Andric 
5000b57cec5SDimitry Andric   return Result;
5010b57cec5SDimitry Andric }
5020b57cec5SDimitry Andric 
5030b57cec5SDimitry Andric #define GET_DIAG_ARRAYS
5040b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc"
5050b57cec5SDimitry Andric #undef GET_DIAG_ARRAYS
5060b57cec5SDimitry Andric 
5070b57cec5SDimitry Andric namespace {
5080b57cec5SDimitry Andric   struct WarningOption {
5090b57cec5SDimitry Andric     uint16_t NameOffset;
5100b57cec5SDimitry Andric     uint16_t Members;
5110b57cec5SDimitry Andric     uint16_t SubGroups;
5120b57cec5SDimitry Andric 
5130b57cec5SDimitry Andric     // String is stored with a pascal-style length byte.
5140b57cec5SDimitry Andric     StringRef getName() const {
5150b57cec5SDimitry Andric       return StringRef(DiagGroupNames + NameOffset + 1,
5160b57cec5SDimitry Andric                        DiagGroupNames[NameOffset]);
5170b57cec5SDimitry Andric     }
5180b57cec5SDimitry Andric   };
5190b57cec5SDimitry Andric }
5200b57cec5SDimitry Andric 
5210b57cec5SDimitry Andric // Second the table of options, sorted by name for fast binary lookup.
5220b57cec5SDimitry Andric static const WarningOption OptionTable[] = {
5230b57cec5SDimitry Andric #define GET_DIAG_TABLE
5240b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc"
5250b57cec5SDimitry Andric #undef GET_DIAG_TABLE
5260b57cec5SDimitry Andric };
5270b57cec5SDimitry Andric 
5280b57cec5SDimitry Andric /// getWarningOptionForDiag - Return the lowest-level warning option that
5290b57cec5SDimitry Andric /// enables the specified diagnostic.  If there is no -Wfoo flag that controls
5300b57cec5SDimitry Andric /// the diagnostic, this returns null.
5310b57cec5SDimitry Andric StringRef DiagnosticIDs::getWarningOptionForDiag(unsigned DiagID) {
5320b57cec5SDimitry Andric   if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
5330b57cec5SDimitry Andric     return OptionTable[Info->getOptionGroupIndex()].getName();
5340b57cec5SDimitry Andric   return StringRef();
5350b57cec5SDimitry Andric }
5360b57cec5SDimitry Andric 
5370b57cec5SDimitry Andric std::vector<std::string> DiagnosticIDs::getDiagnosticFlags() {
5380b57cec5SDimitry Andric   std::vector<std::string> Res;
5390b57cec5SDimitry Andric   for (size_t I = 1; DiagGroupNames[I] != '\0';) {
5400b57cec5SDimitry Andric     std::string Diag(DiagGroupNames + I + 1, DiagGroupNames[I]);
5410b57cec5SDimitry Andric     I += DiagGroupNames[I] + 1;
5420b57cec5SDimitry Andric     Res.push_back("-W" + Diag);
5430b57cec5SDimitry Andric     Res.push_back("-Wno-" + Diag);
5440b57cec5SDimitry Andric   }
5450b57cec5SDimitry Andric 
5460b57cec5SDimitry Andric   return Res;
5470b57cec5SDimitry Andric }
5480b57cec5SDimitry Andric 
5490b57cec5SDimitry Andric /// Return \c true if any diagnostics were found in this group, even if they
5500b57cec5SDimitry Andric /// were filtered out due to having the wrong flavor.
5510b57cec5SDimitry Andric static bool getDiagnosticsInGroup(diag::Flavor Flavor,
5520b57cec5SDimitry Andric                                   const WarningOption *Group,
5530b57cec5SDimitry Andric                                   SmallVectorImpl<diag::kind> &Diags) {
5540b57cec5SDimitry Andric   // An empty group is considered to be a warning group: we have empty groups
5550b57cec5SDimitry Andric   // for GCC compatibility, and GCC does not have remarks.
5560b57cec5SDimitry Andric   if (!Group->Members && !Group->SubGroups)
5570b57cec5SDimitry Andric     return Flavor == diag::Flavor::Remark;
5580b57cec5SDimitry Andric 
5590b57cec5SDimitry Andric   bool NotFound = true;
5600b57cec5SDimitry Andric 
5610b57cec5SDimitry Andric   // Add the members of the option diagnostic set.
5620b57cec5SDimitry Andric   const int16_t *Member = DiagArrays + Group->Members;
5630b57cec5SDimitry Andric   for (; *Member != -1; ++Member) {
5640b57cec5SDimitry Andric     if (GetDiagInfo(*Member)->getFlavor() == Flavor) {
5650b57cec5SDimitry Andric       NotFound = false;
5660b57cec5SDimitry Andric       Diags.push_back(*Member);
5670b57cec5SDimitry Andric     }
5680b57cec5SDimitry Andric   }
5690b57cec5SDimitry Andric 
5700b57cec5SDimitry Andric   // Add the members of the subgroups.
5710b57cec5SDimitry Andric   const int16_t *SubGroups = DiagSubGroups + Group->SubGroups;
5720b57cec5SDimitry Andric   for (; *SubGroups != (int16_t)-1; ++SubGroups)
5730b57cec5SDimitry Andric     NotFound &= getDiagnosticsInGroup(Flavor, &OptionTable[(short)*SubGroups],
5740b57cec5SDimitry Andric                                       Diags);
5750b57cec5SDimitry Andric 
5760b57cec5SDimitry Andric   return NotFound;
5770b57cec5SDimitry Andric }
5780b57cec5SDimitry Andric 
5790b57cec5SDimitry Andric bool
5800b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticsInGroup(diag::Flavor Flavor, StringRef Group,
5810b57cec5SDimitry Andric                                      SmallVectorImpl<diag::kind> &Diags) const {
5820b57cec5SDimitry Andric   auto Found = llvm::partition_point(
5830b57cec5SDimitry Andric       OptionTable, [=](const WarningOption &O) { return O.getName() < Group; });
5840b57cec5SDimitry Andric   if (Found == std::end(OptionTable) || Found->getName() != Group)
5850b57cec5SDimitry Andric     return true; // Option not found.
5860b57cec5SDimitry Andric 
5870b57cec5SDimitry Andric   return ::getDiagnosticsInGroup(Flavor, Found, Diags);
5880b57cec5SDimitry Andric }
5890b57cec5SDimitry Andric 
5900b57cec5SDimitry Andric void DiagnosticIDs::getAllDiagnostics(diag::Flavor Flavor,
5910b57cec5SDimitry Andric                                       std::vector<diag::kind> &Diags) {
5920b57cec5SDimitry Andric   for (unsigned i = 0; i != StaticDiagInfoSize; ++i)
5930b57cec5SDimitry Andric     if (StaticDiagInfo[i].getFlavor() == Flavor)
5940b57cec5SDimitry Andric       Diags.push_back(StaticDiagInfo[i].DiagID);
5950b57cec5SDimitry Andric }
5960b57cec5SDimitry Andric 
5970b57cec5SDimitry Andric StringRef DiagnosticIDs::getNearestOption(diag::Flavor Flavor,
5980b57cec5SDimitry Andric                                           StringRef Group) {
5990b57cec5SDimitry Andric   StringRef Best;
6000b57cec5SDimitry Andric   unsigned BestDistance = Group.size() + 1; // Sanity threshold.
6010b57cec5SDimitry Andric   for (const WarningOption &O : OptionTable) {
6020b57cec5SDimitry Andric     // Don't suggest ignored warning flags.
6030b57cec5SDimitry Andric     if (!O.Members && !O.SubGroups)
6040b57cec5SDimitry Andric       continue;
6050b57cec5SDimitry Andric 
6060b57cec5SDimitry Andric     unsigned Distance = O.getName().edit_distance(Group, true, BestDistance);
6070b57cec5SDimitry Andric     if (Distance > BestDistance)
6080b57cec5SDimitry Andric       continue;
6090b57cec5SDimitry Andric 
6100b57cec5SDimitry Andric     // Don't suggest groups that are not of this kind.
6110b57cec5SDimitry Andric     llvm::SmallVector<diag::kind, 8> Diags;
6120b57cec5SDimitry Andric     if (::getDiagnosticsInGroup(Flavor, &O, Diags) || Diags.empty())
6130b57cec5SDimitry Andric       continue;
6140b57cec5SDimitry Andric 
6150b57cec5SDimitry Andric     if (Distance == BestDistance) {
6160b57cec5SDimitry Andric       // Two matches with the same distance, don't prefer one over the other.
6170b57cec5SDimitry Andric       Best = "";
6180b57cec5SDimitry Andric     } else if (Distance < BestDistance) {
6190b57cec5SDimitry Andric       // This is a better match.
6200b57cec5SDimitry Andric       Best = O.getName();
6210b57cec5SDimitry Andric       BestDistance = Distance;
6220b57cec5SDimitry Andric     }
6230b57cec5SDimitry Andric   }
6240b57cec5SDimitry Andric 
6250b57cec5SDimitry Andric   return Best;
6260b57cec5SDimitry Andric }
6270b57cec5SDimitry Andric 
6280b57cec5SDimitry Andric /// ProcessDiag - This is the method used to report a diagnostic that is
6290b57cec5SDimitry Andric /// finally fully formed.
6300b57cec5SDimitry Andric bool DiagnosticIDs::ProcessDiag(DiagnosticsEngine &Diag) const {
6310b57cec5SDimitry Andric   Diagnostic Info(&Diag);
6320b57cec5SDimitry Andric 
6330b57cec5SDimitry Andric   assert(Diag.getClient() && "DiagnosticClient not set!");
6340b57cec5SDimitry Andric 
6350b57cec5SDimitry Andric   // Figure out the diagnostic level of this message.
6360b57cec5SDimitry Andric   unsigned DiagID = Info.getID();
6370b57cec5SDimitry Andric   DiagnosticIDs::Level DiagLevel
6380b57cec5SDimitry Andric     = getDiagnosticLevel(DiagID, Info.getLocation(), Diag);
6390b57cec5SDimitry Andric 
6400b57cec5SDimitry Andric   // Update counts for DiagnosticErrorTrap even if a fatal error occurred
6410b57cec5SDimitry Andric   // or diagnostics are suppressed.
6420b57cec5SDimitry Andric   if (DiagLevel >= DiagnosticIDs::Error) {
6430b57cec5SDimitry Andric     ++Diag.TrapNumErrorsOccurred;
6440b57cec5SDimitry Andric     if (isUnrecoverable(DiagID))
6450b57cec5SDimitry Andric       ++Diag.TrapNumUnrecoverableErrorsOccurred;
6460b57cec5SDimitry Andric   }
6470b57cec5SDimitry Andric 
6480b57cec5SDimitry Andric   if (Diag.SuppressAllDiagnostics)
6490b57cec5SDimitry Andric     return false;
6500b57cec5SDimitry Andric 
6510b57cec5SDimitry Andric   if (DiagLevel != DiagnosticIDs::Note) {
6520b57cec5SDimitry Andric     // Record that a fatal error occurred only when we see a second
6530b57cec5SDimitry Andric     // non-note diagnostic. This allows notes to be attached to the
6540b57cec5SDimitry Andric     // fatal error, but suppresses any diagnostics that follow those
6550b57cec5SDimitry Andric     // notes.
6560b57cec5SDimitry Andric     if (Diag.LastDiagLevel == DiagnosticIDs::Fatal)
6570b57cec5SDimitry Andric       Diag.FatalErrorOccurred = true;
6580b57cec5SDimitry Andric 
6590b57cec5SDimitry Andric     Diag.LastDiagLevel = DiagLevel;
6600b57cec5SDimitry Andric   }
6610b57cec5SDimitry Andric 
6620b57cec5SDimitry Andric   // If a fatal error has already been emitted, silence all subsequent
6630b57cec5SDimitry Andric   // diagnostics.
6640b57cec5SDimitry Andric   if (Diag.FatalErrorOccurred) {
6650b57cec5SDimitry Andric     if (DiagLevel >= DiagnosticIDs::Error &&
6660b57cec5SDimitry Andric         Diag.Client->IncludeInDiagnosticCounts()) {
6670b57cec5SDimitry Andric       ++Diag.NumErrors;
6680b57cec5SDimitry Andric     }
6690b57cec5SDimitry Andric 
6700b57cec5SDimitry Andric     return false;
6710b57cec5SDimitry Andric   }
6720b57cec5SDimitry Andric 
6730b57cec5SDimitry Andric   // If the client doesn't care about this message, don't issue it.  If this is
6740b57cec5SDimitry Andric   // a note and the last real diagnostic was ignored, ignore it too.
6750b57cec5SDimitry Andric   if (DiagLevel == DiagnosticIDs::Ignored ||
6760b57cec5SDimitry Andric       (DiagLevel == DiagnosticIDs::Note &&
6770b57cec5SDimitry Andric        Diag.LastDiagLevel == DiagnosticIDs::Ignored))
6780b57cec5SDimitry Andric     return false;
6790b57cec5SDimitry Andric 
6800b57cec5SDimitry Andric   if (DiagLevel >= DiagnosticIDs::Error) {
6810b57cec5SDimitry Andric     if (isUnrecoverable(DiagID))
6820b57cec5SDimitry Andric       Diag.UnrecoverableErrorOccurred = true;
6830b57cec5SDimitry Andric 
6840b57cec5SDimitry Andric     // Warnings which have been upgraded to errors do not prevent compilation.
6850b57cec5SDimitry Andric     if (isDefaultMappingAsError(DiagID))
6860b57cec5SDimitry Andric       Diag.UncompilableErrorOccurred = true;
6870b57cec5SDimitry Andric 
6880b57cec5SDimitry Andric     Diag.ErrorOccurred = true;
6890b57cec5SDimitry Andric     if (Diag.Client->IncludeInDiagnosticCounts()) {
6900b57cec5SDimitry Andric       ++Diag.NumErrors;
6910b57cec5SDimitry Andric     }
6920b57cec5SDimitry Andric 
6930b57cec5SDimitry Andric     // If we've emitted a lot of errors, emit a fatal error instead of it to
6940b57cec5SDimitry Andric     // stop a flood of bogus errors.
6950b57cec5SDimitry Andric     if (Diag.ErrorLimit && Diag.NumErrors > Diag.ErrorLimit &&
6960b57cec5SDimitry Andric         DiagLevel == DiagnosticIDs::Error) {
6970b57cec5SDimitry Andric       Diag.SetDelayedDiagnostic(diag::fatal_too_many_errors);
6980b57cec5SDimitry Andric       return false;
6990b57cec5SDimitry Andric     }
7000b57cec5SDimitry Andric   }
7010b57cec5SDimitry Andric 
7020b57cec5SDimitry Andric   // Make sure we set FatalErrorOccurred to ensure that the notes from the
7030b57cec5SDimitry Andric   // diagnostic that caused `fatal_too_many_errors` won't be emitted.
7040b57cec5SDimitry Andric   if (Diag.CurDiagID == diag::fatal_too_many_errors)
7050b57cec5SDimitry Andric     Diag.FatalErrorOccurred = true;
7060b57cec5SDimitry Andric   // Finally, report it.
7070b57cec5SDimitry Andric   EmitDiag(Diag, DiagLevel);
7080b57cec5SDimitry Andric   return true;
7090b57cec5SDimitry Andric }
7100b57cec5SDimitry Andric 
7110b57cec5SDimitry Andric void DiagnosticIDs::EmitDiag(DiagnosticsEngine &Diag, Level DiagLevel) const {
7120b57cec5SDimitry Andric   Diagnostic Info(&Diag);
7130b57cec5SDimitry Andric   assert(DiagLevel != DiagnosticIDs::Ignored && "Cannot emit ignored diagnostics!");
7140b57cec5SDimitry Andric 
7150b57cec5SDimitry Andric   Diag.Client->HandleDiagnostic((DiagnosticsEngine::Level)DiagLevel, Info);
7160b57cec5SDimitry Andric   if (Diag.Client->IncludeInDiagnosticCounts()) {
7170b57cec5SDimitry Andric     if (DiagLevel == DiagnosticIDs::Warning)
7180b57cec5SDimitry Andric       ++Diag.NumWarnings;
7190b57cec5SDimitry Andric   }
7200b57cec5SDimitry Andric 
7210b57cec5SDimitry Andric   Diag.CurDiagID = ~0U;
7220b57cec5SDimitry Andric }
7230b57cec5SDimitry Andric 
7240b57cec5SDimitry Andric bool DiagnosticIDs::isUnrecoverable(unsigned DiagID) const {
7250b57cec5SDimitry Andric   if (DiagID >= diag::DIAG_UPPER_LIMIT) {
7260b57cec5SDimitry Andric     assert(CustomDiagInfo && "Invalid CustomDiagInfo");
7270b57cec5SDimitry Andric     // Custom diagnostics.
7280b57cec5SDimitry Andric     return CustomDiagInfo->getLevel(DiagID) >= DiagnosticIDs::Error;
7290b57cec5SDimitry Andric   }
7300b57cec5SDimitry Andric 
7310b57cec5SDimitry Andric   // Only errors may be unrecoverable.
7320b57cec5SDimitry Andric   if (getBuiltinDiagClass(DiagID) < CLASS_ERROR)
7330b57cec5SDimitry Andric     return false;
7340b57cec5SDimitry Andric 
7350b57cec5SDimitry Andric   if (DiagID == diag::err_unavailable ||
7360b57cec5SDimitry Andric       DiagID == diag::err_unavailable_message)
7370b57cec5SDimitry Andric     return false;
7380b57cec5SDimitry Andric 
7390b57cec5SDimitry Andric   // Currently we consider all ARC errors as recoverable.
7400b57cec5SDimitry Andric   if (isARCDiagnostic(DiagID))
7410b57cec5SDimitry Andric     return false;
7420b57cec5SDimitry Andric 
7430b57cec5SDimitry Andric   return true;
7440b57cec5SDimitry Andric }
7450b57cec5SDimitry Andric 
7460b57cec5SDimitry Andric bool DiagnosticIDs::isARCDiagnostic(unsigned DiagID) {
7470b57cec5SDimitry Andric   unsigned cat = getCategoryNumberForDiag(DiagID);
7480b57cec5SDimitry Andric   return DiagnosticIDs::getCategoryNameFromID(cat).startswith("ARC ");
7490b57cec5SDimitry Andric }
750