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" 52e8d8bef9SDimitry Andric // clang-format on 53e8d8bef9SDimitry Andric #undef DIAG 54e8d8bef9SDimitry Andric }; 55e8d8bef9SDimitry Andric 56e8d8bef9SDimitry Andric const StaticDiagInfoDescriptionStringTable StaticDiagInfoDescriptions = { 57e8d8bef9SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR, \ 5804eeddc0SDimitry Andric SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY) \ 59e8d8bef9SDimitry Andric DESC, 60e8d8bef9SDimitry Andric // clang-format off 61e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc" 62e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc" 63e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc" 64e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc" 65e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc" 66e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc" 67e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc" 68e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc" 69e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc" 70e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc" 71e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc" 72e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc" 73e8d8bef9SDimitry Andric // clang-format on 74e8d8bef9SDimitry Andric #undef DIAG 75e8d8bef9SDimitry Andric }; 76e8d8bef9SDimitry Andric 77e8d8bef9SDimitry Andric extern const StaticDiagInfoRec StaticDiagInfo[]; 78e8d8bef9SDimitry Andric 79e8d8bef9SDimitry Andric // Stored separately from StaticDiagInfoRec to pack better. Otherwise, 80e8d8bef9SDimitry Andric // StaticDiagInfoRec would have extra padding on 64-bit platforms. 81e8d8bef9SDimitry Andric const uint32_t StaticDiagInfoDescriptionOffsets[] = { 82e8d8bef9SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR, \ 8304eeddc0SDimitry Andric SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY) \ 84e8d8bef9SDimitry Andric offsetof(StaticDiagInfoDescriptionStringTable, ENUM##_desc), 85e8d8bef9SDimitry Andric // clang-format off 86e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc" 87e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc" 88e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc" 89e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc" 90e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc" 91e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc" 92e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc" 93e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc" 94e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc" 95e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc" 96e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc" 97e8d8bef9SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc" 98e8d8bef9SDimitry Andric // clang-format on 99e8d8bef9SDimitry Andric #undef DIAG 100e8d8bef9SDimitry Andric }; 101e8d8bef9SDimitry Andric 1020b57cec5SDimitry Andric // Diagnostic classes. 1030b57cec5SDimitry Andric enum { 1040b57cec5SDimitry Andric CLASS_NOTE = 0x01, 1050b57cec5SDimitry Andric CLASS_REMARK = 0x02, 1060b57cec5SDimitry Andric CLASS_WARNING = 0x03, 1070b57cec5SDimitry Andric CLASS_EXTENSION = 0x04, 1080b57cec5SDimitry Andric CLASS_ERROR = 0x05 1090b57cec5SDimitry Andric }; 1100b57cec5SDimitry Andric 1110b57cec5SDimitry Andric struct StaticDiagInfoRec { 1120b57cec5SDimitry Andric uint16_t DiagID; 113fe6060f1SDimitry Andric uint8_t DefaultSeverity : 3; 114fe6060f1SDimitry Andric uint8_t Class : 3; 115fe6060f1SDimitry Andric uint8_t SFINAE : 2; 116fe6060f1SDimitry Andric uint8_t Category : 6; 117fe6060f1SDimitry Andric uint8_t WarnNoWerror : 1; 118fe6060f1SDimitry Andric uint8_t WarnShowInSystemHeader : 1; 11904eeddc0SDimitry Andric uint8_t WarnShowInSystemMacro : 1; 1200b57cec5SDimitry Andric 121fe6060f1SDimitry Andric uint16_t OptionGroupIndex : 15; 122fe6060f1SDimitry Andric uint16_t Deferrable : 1; 1230b57cec5SDimitry Andric 1240b57cec5SDimitry Andric uint16_t DescriptionLen; 1250b57cec5SDimitry Andric 1260b57cec5SDimitry Andric unsigned getOptionGroupIndex() const { 1270b57cec5SDimitry Andric return OptionGroupIndex; 1280b57cec5SDimitry Andric } 1290b57cec5SDimitry Andric 1300b57cec5SDimitry Andric StringRef getDescription() const { 131e8d8bef9SDimitry Andric size_t MyIndex = this - &StaticDiagInfo[0]; 132e8d8bef9SDimitry Andric uint32_t StringOffset = StaticDiagInfoDescriptionOffsets[MyIndex]; 133e8d8bef9SDimitry Andric const char* Table = reinterpret_cast<const char*>(&StaticDiagInfoDescriptions); 134e8d8bef9SDimitry Andric return StringRef(&Table[StringOffset], DescriptionLen); 1350b57cec5SDimitry Andric } 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric diag::Flavor getFlavor() const { 1380b57cec5SDimitry Andric return Class == CLASS_REMARK ? diag::Flavor::Remark 1390b57cec5SDimitry Andric : diag::Flavor::WarningOrError; 1400b57cec5SDimitry Andric } 1410b57cec5SDimitry Andric 1420b57cec5SDimitry Andric bool operator<(const StaticDiagInfoRec &RHS) const { 1430b57cec5SDimitry Andric return DiagID < RHS.DiagID; 1440b57cec5SDimitry Andric } 1450b57cec5SDimitry Andric }; 1460b57cec5SDimitry Andric 1470b57cec5SDimitry Andric #define STRINGIFY_NAME(NAME) #NAME 1480b57cec5SDimitry Andric #define VALIDATE_DIAG_SIZE(NAME) \ 1490b57cec5SDimitry Andric static_assert( \ 1500b57cec5SDimitry Andric static_cast<unsigned>(diag::NUM_BUILTIN_##NAME##_DIAGNOSTICS) < \ 1510b57cec5SDimitry Andric static_cast<unsigned>(diag::DIAG_START_##NAME) + \ 1520b57cec5SDimitry Andric static_cast<unsigned>(diag::DIAG_SIZE_##NAME), \ 1530b57cec5SDimitry Andric STRINGIFY_NAME( \ 1540b57cec5SDimitry Andric DIAG_SIZE_##NAME) " is insufficient to contain all " \ 1550b57cec5SDimitry Andric "diagnostics, it may need to be made larger in " \ 1560b57cec5SDimitry Andric "DiagnosticIDs.h."); 1570b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(COMMON) 1580b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(DRIVER) 1590b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(FRONTEND) 1600b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(SERIALIZATION) 1610b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(LEX) 1620b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(PARSE) 1630b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(AST) 1640b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(COMMENT) 1655ffd83dbSDimitry Andric VALIDATE_DIAG_SIZE(CROSSTU) 1660b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(SEMA) 1670b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(ANALYSIS) 1680b57cec5SDimitry Andric VALIDATE_DIAG_SIZE(REFACTORING) 1690b57cec5SDimitry Andric #undef VALIDATE_DIAG_SIZE 1700b57cec5SDimitry Andric #undef STRINGIFY_NAME 1710b57cec5SDimitry Andric 172e8d8bef9SDimitry Andric const StaticDiagInfoRec StaticDiagInfo[] = { 173fe6060f1SDimitry Andric // clang-format off 1740b57cec5SDimitry Andric #define DIAG(ENUM, CLASS, DEFAULT_SEVERITY, DESC, GROUP, SFINAE, NOWERROR, \ 17504eeddc0SDimitry Andric SHOWINSYSHEADER, SHOWINSYSMACRO, DEFERRABLE, CATEGORY) \ 1760b57cec5SDimitry Andric { \ 177e8d8bef9SDimitry Andric diag::ENUM, \ 178e8d8bef9SDimitry Andric DEFAULT_SEVERITY, \ 179e8d8bef9SDimitry Andric CLASS, \ 180e8d8bef9SDimitry Andric DiagnosticIDs::SFINAE, \ 181fe6060f1SDimitry Andric CATEGORY, \ 182e8d8bef9SDimitry Andric NOWERROR, \ 183e8d8bef9SDimitry Andric SHOWINSYSHEADER, \ 18404eeddc0SDimitry Andric SHOWINSYSMACRO, \ 185e8d8bef9SDimitry Andric GROUP, \ 186fe6060f1SDimitry Andric DEFERRABLE, \ 187e8d8bef9SDimitry Andric STR_SIZE(DESC, uint16_t)}, 1880b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCommonKinds.inc" 1890b57cec5SDimitry Andric #include "clang/Basic/DiagnosticDriverKinds.inc" 1900b57cec5SDimitry Andric #include "clang/Basic/DiagnosticFrontendKinds.inc" 1910b57cec5SDimitry Andric #include "clang/Basic/DiagnosticSerializationKinds.inc" 1920b57cec5SDimitry Andric #include "clang/Basic/DiagnosticLexKinds.inc" 1930b57cec5SDimitry Andric #include "clang/Basic/DiagnosticParseKinds.inc" 1940b57cec5SDimitry Andric #include "clang/Basic/DiagnosticASTKinds.inc" 1950b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCommentKinds.inc" 1960b57cec5SDimitry Andric #include "clang/Basic/DiagnosticCrossTUKinds.inc" 1970b57cec5SDimitry Andric #include "clang/Basic/DiagnosticSemaKinds.inc" 1980b57cec5SDimitry Andric #include "clang/Basic/DiagnosticAnalysisKinds.inc" 1990b57cec5SDimitry Andric #include "clang/Basic/DiagnosticRefactoringKinds.inc" 200e8d8bef9SDimitry Andric // clang-format on 2010b57cec5SDimitry Andric #undef DIAG 2020b57cec5SDimitry Andric }; 2030b57cec5SDimitry Andric 204e8d8bef9SDimitry Andric } // namespace 205e8d8bef9SDimitry Andric 206bdd1243dSDimitry Andric static const unsigned StaticDiagInfoSize = std::size(StaticDiagInfo); 2070b57cec5SDimitry Andric 2080b57cec5SDimitry Andric /// GetDiagInfo - Return the StaticDiagInfoRec entry for the specified DiagID, 2090b57cec5SDimitry Andric /// or null if the ID is invalid. 2100b57cec5SDimitry Andric static const StaticDiagInfoRec *GetDiagInfo(unsigned DiagID) { 2110b57cec5SDimitry Andric // Out of bounds diag. Can't be in the table. 2120b57cec5SDimitry Andric using namespace diag; 2130b57cec5SDimitry Andric if (DiagID >= DIAG_UPPER_LIMIT || DiagID <= DIAG_START_COMMON) 2140b57cec5SDimitry Andric return nullptr; 2150b57cec5SDimitry Andric 2160b57cec5SDimitry Andric // Compute the index of the requested diagnostic in the static table. 2170b57cec5SDimitry Andric // 1. Add the number of diagnostics in each category preceding the 2180b57cec5SDimitry Andric // diagnostic and of the category the diagnostic is in. This gives us 2190b57cec5SDimitry Andric // the offset of the category in the table. 2200b57cec5SDimitry Andric // 2. Subtract the number of IDs in each category from our ID. This gives us 2210b57cec5SDimitry Andric // the offset of the diagnostic in the category. 2220b57cec5SDimitry Andric // This is cheaper than a binary search on the table as it doesn't touch 2230b57cec5SDimitry Andric // memory at all. 2240b57cec5SDimitry Andric unsigned Offset = 0; 2250b57cec5SDimitry Andric unsigned ID = DiagID - DIAG_START_COMMON - 1; 2260b57cec5SDimitry Andric #define CATEGORY(NAME, PREV) \ 2270b57cec5SDimitry Andric if (DiagID > DIAG_START_##NAME) { \ 2280b57cec5SDimitry Andric Offset += NUM_BUILTIN_##PREV##_DIAGNOSTICS - DIAG_START_##PREV - 1; \ 2290b57cec5SDimitry Andric ID -= DIAG_START_##NAME - DIAG_START_##PREV; \ 2300b57cec5SDimitry Andric } 2310b57cec5SDimitry Andric CATEGORY(DRIVER, COMMON) 2320b57cec5SDimitry Andric CATEGORY(FRONTEND, DRIVER) 2330b57cec5SDimitry Andric CATEGORY(SERIALIZATION, FRONTEND) 2340b57cec5SDimitry Andric CATEGORY(LEX, SERIALIZATION) 2350b57cec5SDimitry Andric CATEGORY(PARSE, LEX) 2360b57cec5SDimitry Andric CATEGORY(AST, PARSE) 2370b57cec5SDimitry Andric CATEGORY(COMMENT, AST) 2380b57cec5SDimitry Andric CATEGORY(CROSSTU, COMMENT) 2390b57cec5SDimitry Andric CATEGORY(SEMA, CROSSTU) 2400b57cec5SDimitry Andric CATEGORY(ANALYSIS, SEMA) 2410b57cec5SDimitry Andric CATEGORY(REFACTORING, ANALYSIS) 2420b57cec5SDimitry Andric #undef CATEGORY 2430b57cec5SDimitry Andric 2440b57cec5SDimitry Andric // Avoid out of bounds reads. 2450b57cec5SDimitry Andric if (ID + Offset >= StaticDiagInfoSize) 2460b57cec5SDimitry Andric return nullptr; 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric assert(ID < StaticDiagInfoSize && Offset < StaticDiagInfoSize); 2490b57cec5SDimitry Andric 2500b57cec5SDimitry Andric const StaticDiagInfoRec *Found = &StaticDiagInfo[ID + Offset]; 2510b57cec5SDimitry Andric // If the diag id doesn't match we found a different diag, abort. This can 2520b57cec5SDimitry Andric // happen when this function is called with an ID that points into a hole in 2530b57cec5SDimitry Andric // the diagID space. 2540b57cec5SDimitry Andric if (Found->DiagID != DiagID) 2550b57cec5SDimitry Andric return nullptr; 2560b57cec5SDimitry Andric return Found; 2570b57cec5SDimitry Andric } 2580b57cec5SDimitry Andric 25906c3fb27SDimitry Andric DiagnosticMapping DiagnosticIDs::getDefaultMapping(unsigned DiagID) { 2600b57cec5SDimitry Andric DiagnosticMapping Info = DiagnosticMapping::Make( 2610b57cec5SDimitry Andric diag::Severity::Fatal, /*IsUser=*/false, /*IsPragma=*/false); 2620b57cec5SDimitry Andric 2630b57cec5SDimitry Andric if (const StaticDiagInfoRec *StaticInfo = GetDiagInfo(DiagID)) { 2640b57cec5SDimitry Andric Info.setSeverity((diag::Severity)StaticInfo->DefaultSeverity); 2650b57cec5SDimitry Andric 2660b57cec5SDimitry Andric if (StaticInfo->WarnNoWerror) { 2670b57cec5SDimitry Andric assert(Info.getSeverity() == diag::Severity::Warning && 2680b57cec5SDimitry Andric "Unexpected mapping with no-Werror bit!"); 2690b57cec5SDimitry Andric Info.setNoWarningAsError(true); 2700b57cec5SDimitry Andric } 2710b57cec5SDimitry Andric } 2720b57cec5SDimitry Andric 2730b57cec5SDimitry Andric return Info; 2740b57cec5SDimitry Andric } 2750b57cec5SDimitry Andric 2760b57cec5SDimitry Andric /// getCategoryNumberForDiag - Return the category number that a specified 2770b57cec5SDimitry Andric /// DiagID belongs to, or 0 if no category. 2780b57cec5SDimitry Andric unsigned DiagnosticIDs::getCategoryNumberForDiag(unsigned DiagID) { 2790b57cec5SDimitry Andric if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) 2800b57cec5SDimitry Andric return Info->Category; 2810b57cec5SDimitry Andric return 0; 2820b57cec5SDimitry Andric } 2830b57cec5SDimitry Andric 2840b57cec5SDimitry Andric namespace { 2850b57cec5SDimitry Andric // The diagnostic category names. 2860b57cec5SDimitry Andric struct StaticDiagCategoryRec { 2870b57cec5SDimitry Andric const char *NameStr; 2880b57cec5SDimitry Andric uint8_t NameLen; 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric StringRef getName() const { 2910b57cec5SDimitry Andric return StringRef(NameStr, NameLen); 2920b57cec5SDimitry Andric } 2930b57cec5SDimitry Andric }; 2940b57cec5SDimitry Andric } 2950b57cec5SDimitry Andric 2960b57cec5SDimitry Andric static const StaticDiagCategoryRec CategoryNameTable[] = { 2970b57cec5SDimitry Andric #define GET_CATEGORY_TABLE 2980b57cec5SDimitry Andric #define CATEGORY(X, ENUM) { X, STR_SIZE(X, uint8_t) }, 2990b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc" 3000b57cec5SDimitry Andric #undef GET_CATEGORY_TABLE 3010b57cec5SDimitry Andric { nullptr, 0 } 3020b57cec5SDimitry Andric }; 3030b57cec5SDimitry Andric 3040b57cec5SDimitry Andric /// getNumberOfCategories - Return the number of categories 3050b57cec5SDimitry Andric unsigned DiagnosticIDs::getNumberOfCategories() { 306bdd1243dSDimitry Andric return std::size(CategoryNameTable) - 1; 3070b57cec5SDimitry Andric } 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric /// getCategoryNameFromID - Given a category ID, return the name of the 3100b57cec5SDimitry Andric /// category, an empty string if CategoryID is zero, or null if CategoryID is 3110b57cec5SDimitry Andric /// invalid. 3120b57cec5SDimitry Andric StringRef DiagnosticIDs::getCategoryNameFromID(unsigned CategoryID) { 3130b57cec5SDimitry Andric if (CategoryID >= getNumberOfCategories()) 3140b57cec5SDimitry Andric return StringRef(); 3150b57cec5SDimitry Andric return CategoryNameTable[CategoryID].getName(); 3160b57cec5SDimitry Andric } 3170b57cec5SDimitry Andric 3180b57cec5SDimitry Andric 3190b57cec5SDimitry Andric 3200b57cec5SDimitry Andric DiagnosticIDs::SFINAEResponse 3210b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticSFINAEResponse(unsigned DiagID) { 3220b57cec5SDimitry Andric if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) 3230b57cec5SDimitry Andric return static_cast<DiagnosticIDs::SFINAEResponse>(Info->SFINAE); 3240b57cec5SDimitry Andric return SFINAE_Report; 3250b57cec5SDimitry Andric } 3260b57cec5SDimitry Andric 327e8d8bef9SDimitry Andric bool DiagnosticIDs::isDeferrable(unsigned DiagID) { 328e8d8bef9SDimitry Andric if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) 329e8d8bef9SDimitry Andric return Info->Deferrable; 330e8d8bef9SDimitry Andric return false; 331e8d8bef9SDimitry Andric } 332e8d8bef9SDimitry Andric 3330b57cec5SDimitry Andric /// getBuiltinDiagClass - Return the class field of the diagnostic. 3340b57cec5SDimitry Andric /// 3350b57cec5SDimitry Andric static unsigned getBuiltinDiagClass(unsigned DiagID) { 3360b57cec5SDimitry Andric if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) 3370b57cec5SDimitry Andric return Info->Class; 3380b57cec5SDimitry Andric return ~0U; 3390b57cec5SDimitry Andric } 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3420b57cec5SDimitry Andric // Custom Diagnostic information 3430b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3440b57cec5SDimitry Andric 3450b57cec5SDimitry Andric namespace clang { 3460b57cec5SDimitry Andric namespace diag { 3470b57cec5SDimitry Andric class CustomDiagInfo { 3480b57cec5SDimitry Andric typedef std::pair<DiagnosticIDs::Level, std::string> DiagDesc; 3490b57cec5SDimitry Andric std::vector<DiagDesc> DiagInfo; 3500b57cec5SDimitry Andric std::map<DiagDesc, unsigned> DiagIDs; 3510b57cec5SDimitry Andric public: 3520b57cec5SDimitry Andric 3530b57cec5SDimitry Andric /// getDescription - Return the description of the specified custom 3540b57cec5SDimitry Andric /// diagnostic. 3550b57cec5SDimitry Andric StringRef getDescription(unsigned DiagID) const { 3560b57cec5SDimitry Andric assert(DiagID - DIAG_UPPER_LIMIT < DiagInfo.size() && 3570b57cec5SDimitry Andric "Invalid diagnostic ID"); 3580b57cec5SDimitry Andric return DiagInfo[DiagID-DIAG_UPPER_LIMIT].second; 3590b57cec5SDimitry Andric } 3600b57cec5SDimitry Andric 3610b57cec5SDimitry Andric /// getLevel - Return the level of the specified custom diagnostic. 3620b57cec5SDimitry Andric DiagnosticIDs::Level getLevel(unsigned DiagID) const { 3630b57cec5SDimitry Andric assert(DiagID - DIAG_UPPER_LIMIT < DiagInfo.size() && 3640b57cec5SDimitry Andric "Invalid diagnostic ID"); 3650b57cec5SDimitry Andric return DiagInfo[DiagID-DIAG_UPPER_LIMIT].first; 3660b57cec5SDimitry Andric } 3670b57cec5SDimitry Andric 3680b57cec5SDimitry Andric unsigned getOrCreateDiagID(DiagnosticIDs::Level L, StringRef Message, 3690b57cec5SDimitry Andric DiagnosticIDs &Diags) { 3705ffd83dbSDimitry Andric DiagDesc D(L, std::string(Message)); 3710b57cec5SDimitry Andric // Check to see if it already exists. 3720b57cec5SDimitry Andric std::map<DiagDesc, unsigned>::iterator I = DiagIDs.lower_bound(D); 3730b57cec5SDimitry Andric if (I != DiagIDs.end() && I->first == D) 3740b57cec5SDimitry Andric return I->second; 3750b57cec5SDimitry Andric 3760b57cec5SDimitry Andric // If not, assign a new ID. 3770b57cec5SDimitry Andric unsigned ID = DiagInfo.size()+DIAG_UPPER_LIMIT; 3780b57cec5SDimitry Andric DiagIDs.insert(std::make_pair(D, ID)); 3790b57cec5SDimitry Andric DiagInfo.push_back(D); 3800b57cec5SDimitry Andric return ID; 3810b57cec5SDimitry Andric } 3820b57cec5SDimitry Andric }; 3830b57cec5SDimitry Andric 3840b57cec5SDimitry Andric } // end diag namespace 3850b57cec5SDimitry Andric } // end clang namespace 3860b57cec5SDimitry Andric 3870b57cec5SDimitry Andric 3880b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3890b57cec5SDimitry Andric // Common Diagnostic implementation 3900b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3910b57cec5SDimitry Andric 3920b57cec5SDimitry Andric DiagnosticIDs::DiagnosticIDs() {} 3930b57cec5SDimitry Andric 3940b57cec5SDimitry Andric DiagnosticIDs::~DiagnosticIDs() {} 3950b57cec5SDimitry Andric 3960b57cec5SDimitry Andric /// getCustomDiagID - Return an ID for a diagnostic with the specified message 3970b57cec5SDimitry Andric /// and level. If this is the first request for this diagnostic, it is 3980b57cec5SDimitry Andric /// registered and created, otherwise the existing ID is returned. 3990b57cec5SDimitry Andric /// 4000b57cec5SDimitry Andric /// \param FormatString A fixed diagnostic format string that will be hashed and 4010b57cec5SDimitry Andric /// mapped to a unique DiagID. 4020b57cec5SDimitry Andric unsigned DiagnosticIDs::getCustomDiagID(Level L, StringRef FormatString) { 4030b57cec5SDimitry Andric if (!CustomDiagInfo) 4040b57cec5SDimitry Andric CustomDiagInfo.reset(new diag::CustomDiagInfo()); 4050b57cec5SDimitry Andric return CustomDiagInfo->getOrCreateDiagID(L, FormatString, *this); 4060b57cec5SDimitry Andric } 4070b57cec5SDimitry Andric 4080b57cec5SDimitry Andric 4090b57cec5SDimitry Andric /// isBuiltinWarningOrExtension - Return true if the unmapped diagnostic 4100b57cec5SDimitry Andric /// level of the specified diagnostic ID is a Warning or Extension. 4110b57cec5SDimitry Andric /// This only works on builtin diagnostics, not custom ones, and is not legal to 4120b57cec5SDimitry Andric /// call on NOTEs. 4130b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinWarningOrExtension(unsigned DiagID) { 4140b57cec5SDimitry Andric return DiagID < diag::DIAG_UPPER_LIMIT && 4150b57cec5SDimitry Andric getBuiltinDiagClass(DiagID) != CLASS_ERROR; 4160b57cec5SDimitry Andric } 4170b57cec5SDimitry Andric 4180b57cec5SDimitry Andric /// Determine whether the given built-in diagnostic ID is a 4190b57cec5SDimitry Andric /// Note. 4200b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinNote(unsigned DiagID) { 4210b57cec5SDimitry Andric return DiagID < diag::DIAG_UPPER_LIMIT && 4220b57cec5SDimitry Andric getBuiltinDiagClass(DiagID) == CLASS_NOTE; 4230b57cec5SDimitry Andric } 4240b57cec5SDimitry Andric 4250b57cec5SDimitry Andric /// isBuiltinExtensionDiag - Determine whether the given built-in diagnostic 4260b57cec5SDimitry Andric /// ID is for an extension of some sort. This also returns EnabledByDefault, 4270b57cec5SDimitry Andric /// which is set to indicate whether the diagnostic is ignored by default (in 4280b57cec5SDimitry Andric /// which case -pedantic enables it) or treated as a warning/error by default. 4290b57cec5SDimitry Andric /// 4300b57cec5SDimitry Andric bool DiagnosticIDs::isBuiltinExtensionDiag(unsigned DiagID, 4310b57cec5SDimitry Andric bool &EnabledByDefault) { 4320b57cec5SDimitry Andric if (DiagID >= diag::DIAG_UPPER_LIMIT || 4330b57cec5SDimitry Andric getBuiltinDiagClass(DiagID) != CLASS_EXTENSION) 4340b57cec5SDimitry Andric return false; 4350b57cec5SDimitry Andric 4360b57cec5SDimitry Andric EnabledByDefault = 43706c3fb27SDimitry Andric getDefaultMapping(DiagID).getSeverity() != diag::Severity::Ignored; 4380b57cec5SDimitry Andric return true; 4390b57cec5SDimitry Andric } 4400b57cec5SDimitry Andric 4410b57cec5SDimitry Andric bool DiagnosticIDs::isDefaultMappingAsError(unsigned DiagID) { 4420b57cec5SDimitry Andric if (DiagID >= diag::DIAG_UPPER_LIMIT) 4430b57cec5SDimitry Andric return false; 4440b57cec5SDimitry Andric 44506c3fb27SDimitry Andric return getDefaultMapping(DiagID).getSeverity() >= diag::Severity::Error; 4460b57cec5SDimitry Andric } 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric /// getDescription - Given a diagnostic ID, return a description of the 4490b57cec5SDimitry Andric /// issue. 4500b57cec5SDimitry Andric StringRef DiagnosticIDs::getDescription(unsigned DiagID) const { 4510b57cec5SDimitry Andric if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) 4520b57cec5SDimitry Andric return Info->getDescription(); 4530b57cec5SDimitry Andric assert(CustomDiagInfo && "Invalid CustomDiagInfo"); 4540b57cec5SDimitry Andric return CustomDiagInfo->getDescription(DiagID); 4550b57cec5SDimitry Andric } 4560b57cec5SDimitry Andric 4570b57cec5SDimitry Andric static DiagnosticIDs::Level toLevel(diag::Severity SV) { 4580b57cec5SDimitry Andric switch (SV) { 4590b57cec5SDimitry Andric case diag::Severity::Ignored: 4600b57cec5SDimitry Andric return DiagnosticIDs::Ignored; 4610b57cec5SDimitry Andric case diag::Severity::Remark: 4620b57cec5SDimitry Andric return DiagnosticIDs::Remark; 4630b57cec5SDimitry Andric case diag::Severity::Warning: 4640b57cec5SDimitry Andric return DiagnosticIDs::Warning; 4650b57cec5SDimitry Andric case diag::Severity::Error: 4660b57cec5SDimitry Andric return DiagnosticIDs::Error; 4670b57cec5SDimitry Andric case diag::Severity::Fatal: 4680b57cec5SDimitry Andric return DiagnosticIDs::Fatal; 4690b57cec5SDimitry Andric } 4700b57cec5SDimitry Andric llvm_unreachable("unexpected severity"); 4710b57cec5SDimitry Andric } 4720b57cec5SDimitry Andric 4730b57cec5SDimitry Andric /// getDiagnosticLevel - Based on the way the client configured the 4740b57cec5SDimitry Andric /// DiagnosticsEngine object, classify the specified diagnostic ID into a Level, 4750b57cec5SDimitry Andric /// by consumable the DiagnosticClient. 4760b57cec5SDimitry Andric DiagnosticIDs::Level 4770b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticLevel(unsigned DiagID, SourceLocation Loc, 4780b57cec5SDimitry Andric const DiagnosticsEngine &Diag) const { 4790b57cec5SDimitry Andric // Handle custom diagnostics, which cannot be mapped. 4800b57cec5SDimitry Andric if (DiagID >= diag::DIAG_UPPER_LIMIT) { 4810b57cec5SDimitry Andric assert(CustomDiagInfo && "Invalid CustomDiagInfo"); 4820b57cec5SDimitry Andric return CustomDiagInfo->getLevel(DiagID); 4830b57cec5SDimitry Andric } 4840b57cec5SDimitry Andric 4850b57cec5SDimitry Andric unsigned DiagClass = getBuiltinDiagClass(DiagID); 4860b57cec5SDimitry Andric if (DiagClass == CLASS_NOTE) return DiagnosticIDs::Note; 4870b57cec5SDimitry Andric return toLevel(getDiagnosticSeverity(DiagID, Loc, Diag)); 4880b57cec5SDimitry Andric } 4890b57cec5SDimitry Andric 4900b57cec5SDimitry Andric /// Based on the way the client configured the Diagnostic 4910b57cec5SDimitry Andric /// object, classify the specified diagnostic ID into a Level, consumable by 4920b57cec5SDimitry Andric /// the DiagnosticClient. 4930b57cec5SDimitry Andric /// 4940b57cec5SDimitry Andric /// \param Loc The source location we are interested in finding out the 4950b57cec5SDimitry Andric /// diagnostic state. Can be null in order to query the latest state. 4960b57cec5SDimitry Andric diag::Severity 4970b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticSeverity(unsigned DiagID, SourceLocation Loc, 4980b57cec5SDimitry Andric const DiagnosticsEngine &Diag) const { 4990b57cec5SDimitry Andric assert(getBuiltinDiagClass(DiagID) != CLASS_NOTE); 5000b57cec5SDimitry Andric 5010b57cec5SDimitry Andric // Specific non-error diagnostics may be mapped to various levels from ignored 5020b57cec5SDimitry Andric // to error. Errors can only be mapped to fatal. 5030b57cec5SDimitry Andric diag::Severity Result = diag::Severity::Fatal; 5040b57cec5SDimitry Andric 5050b57cec5SDimitry Andric // Get the mapping information, or compute it lazily. 5060b57cec5SDimitry Andric DiagnosticsEngine::DiagState *State = Diag.GetDiagStateForLoc(Loc); 5070b57cec5SDimitry Andric DiagnosticMapping &Mapping = State->getOrAddMapping((diag::kind)DiagID); 5080b57cec5SDimitry Andric 5090b57cec5SDimitry Andric // TODO: Can a null severity really get here? 5100b57cec5SDimitry Andric if (Mapping.getSeverity() != diag::Severity()) 5110b57cec5SDimitry Andric Result = Mapping.getSeverity(); 5120b57cec5SDimitry Andric 5130b57cec5SDimitry Andric // Upgrade ignored diagnostics if -Weverything is enabled. 5140b57cec5SDimitry Andric if (State->EnableAllWarnings && Result == diag::Severity::Ignored && 5150b57cec5SDimitry Andric !Mapping.isUser() && getBuiltinDiagClass(DiagID) != CLASS_REMARK) 5160b57cec5SDimitry Andric Result = diag::Severity::Warning; 5170b57cec5SDimitry Andric 5180b57cec5SDimitry Andric // Ignore -pedantic diagnostics inside __extension__ blocks. 5190b57cec5SDimitry Andric // (The diagnostics controlled by -pedantic are the extension diagnostics 5200b57cec5SDimitry Andric // that are not enabled by default.) 5210b57cec5SDimitry Andric bool EnabledByDefault = false; 5220b57cec5SDimitry Andric bool IsExtensionDiag = isBuiltinExtensionDiag(DiagID, EnabledByDefault); 5230b57cec5SDimitry Andric if (Diag.AllExtensionsSilenced && IsExtensionDiag && !EnabledByDefault) 5240b57cec5SDimitry Andric return diag::Severity::Ignored; 5250b57cec5SDimitry Andric 5260b57cec5SDimitry Andric // For extension diagnostics that haven't been explicitly mapped, check if we 5270b57cec5SDimitry Andric // should upgrade the diagnostic. 5280b57cec5SDimitry Andric if (IsExtensionDiag && !Mapping.isUser()) 5290b57cec5SDimitry Andric Result = std::max(Result, State->ExtBehavior); 5300b57cec5SDimitry Andric 5310b57cec5SDimitry Andric // At this point, ignored errors can no longer be upgraded. 5320b57cec5SDimitry Andric if (Result == diag::Severity::Ignored) 5330b57cec5SDimitry Andric return Result; 5340b57cec5SDimitry Andric 535bdd1243dSDimitry Andric // Honor -w: this disables all messages which are not Error/Fatal by 5360b57cec5SDimitry Andric // default (disregarding attempts to upgrade severity from Warning to Error), 5370b57cec5SDimitry Andric // as well as disabling all messages which are currently mapped to Warning 5380b57cec5SDimitry Andric // (whether by default or downgraded from Error via e.g. -Wno-error or #pragma 5390b57cec5SDimitry Andric // diagnostic.) 5400b57cec5SDimitry Andric if (State->IgnoreAllWarnings) { 5410b57cec5SDimitry Andric if (Result == diag::Severity::Warning || 5420b57cec5SDimitry Andric (Result >= diag::Severity::Error && 5430b57cec5SDimitry Andric !isDefaultMappingAsError((diag::kind)DiagID))) 5440b57cec5SDimitry Andric return diag::Severity::Ignored; 5450b57cec5SDimitry Andric } 5460b57cec5SDimitry Andric 5470b57cec5SDimitry Andric // If -Werror is enabled, map warnings to errors unless explicitly disabled. 5480b57cec5SDimitry Andric if (Result == diag::Severity::Warning) { 5490b57cec5SDimitry Andric if (State->WarningsAsErrors && !Mapping.hasNoWarningAsError()) 5500b57cec5SDimitry Andric Result = diag::Severity::Error; 5510b57cec5SDimitry Andric } 5520b57cec5SDimitry Andric 5530b57cec5SDimitry Andric // If -Wfatal-errors is enabled, map errors to fatal unless explicitly 5540b57cec5SDimitry Andric // disabled. 5550b57cec5SDimitry Andric if (Result == diag::Severity::Error) { 5560b57cec5SDimitry Andric if (State->ErrorsAsFatal && !Mapping.hasNoErrorAsFatal()) 5570b57cec5SDimitry Andric Result = diag::Severity::Fatal; 5580b57cec5SDimitry Andric } 5590b57cec5SDimitry Andric 5600b57cec5SDimitry Andric // If explicitly requested, map fatal errors to errors. 5610b57cec5SDimitry Andric if (Result == diag::Severity::Fatal && 5620b57cec5SDimitry Andric Diag.CurDiagID != diag::fatal_too_many_errors && Diag.FatalsAsError) 5630b57cec5SDimitry Andric Result = diag::Severity::Error; 5640b57cec5SDimitry Andric 5650b57cec5SDimitry Andric // Custom diagnostics always are emitted in system headers. 5660b57cec5SDimitry Andric bool ShowInSystemHeader = 5670b57cec5SDimitry Andric !GetDiagInfo(DiagID) || GetDiagInfo(DiagID)->WarnShowInSystemHeader; 5680b57cec5SDimitry Andric 5690b57cec5SDimitry Andric // If we are in a system header, we ignore it. We look at the diagnostic class 5700b57cec5SDimitry Andric // because we also want to ignore extensions and warnings in -Werror and 5710b57cec5SDimitry Andric // -pedantic-errors modes, which *map* warnings/extensions to errors. 5720b57cec5SDimitry Andric if (State->SuppressSystemWarnings && !ShowInSystemHeader && Loc.isValid() && 5730b57cec5SDimitry Andric Diag.getSourceManager().isInSystemHeader( 5740b57cec5SDimitry Andric Diag.getSourceManager().getExpansionLoc(Loc))) 5750b57cec5SDimitry Andric return diag::Severity::Ignored; 5760b57cec5SDimitry Andric 57704eeddc0SDimitry Andric // We also ignore warnings due to system macros 57804eeddc0SDimitry Andric bool ShowInSystemMacro = 57904eeddc0SDimitry Andric !GetDiagInfo(DiagID) || GetDiagInfo(DiagID)->WarnShowInSystemMacro; 58004eeddc0SDimitry Andric if (State->SuppressSystemWarnings && !ShowInSystemMacro && Loc.isValid() && 58104eeddc0SDimitry Andric Diag.getSourceManager().isInSystemMacro(Loc)) 58204eeddc0SDimitry Andric return diag::Severity::Ignored; 58304eeddc0SDimitry Andric 5840b57cec5SDimitry Andric return Result; 5850b57cec5SDimitry Andric } 5860b57cec5SDimitry Andric 5870b57cec5SDimitry Andric #define GET_DIAG_ARRAYS 5880b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc" 5890b57cec5SDimitry Andric #undef GET_DIAG_ARRAYS 5900b57cec5SDimitry Andric 5910b57cec5SDimitry Andric namespace { 5920b57cec5SDimitry Andric struct WarningOption { 5930b57cec5SDimitry Andric uint16_t NameOffset; 5940b57cec5SDimitry Andric uint16_t Members; 5950b57cec5SDimitry Andric uint16_t SubGroups; 59681ad6265SDimitry Andric StringRef Documentation; 5970b57cec5SDimitry Andric 5980b57cec5SDimitry Andric // String is stored with a pascal-style length byte. 5990b57cec5SDimitry Andric StringRef getName() const { 6000b57cec5SDimitry Andric return StringRef(DiagGroupNames + NameOffset + 1, 6010b57cec5SDimitry Andric DiagGroupNames[NameOffset]); 6020b57cec5SDimitry Andric } 6030b57cec5SDimitry Andric }; 6040b57cec5SDimitry Andric } 6050b57cec5SDimitry Andric 6060b57cec5SDimitry Andric // Second the table of options, sorted by name for fast binary lookup. 6070b57cec5SDimitry Andric static const WarningOption OptionTable[] = { 60881ad6265SDimitry Andric #define DIAG_ENTRY(GroupName, FlagNameOffset, Members, SubGroups, Docs) \ 60981ad6265SDimitry Andric {FlagNameOffset, Members, SubGroups, Docs}, 6100b57cec5SDimitry Andric #include "clang/Basic/DiagnosticGroups.inc" 611349cc55cSDimitry Andric #undef DIAG_ENTRY 6120b57cec5SDimitry Andric }; 6130b57cec5SDimitry Andric 61481ad6265SDimitry Andric /// Given a diagnostic group ID, return its documentation. 61581ad6265SDimitry Andric StringRef DiagnosticIDs::getWarningOptionDocumentation(diag::Group Group) { 61681ad6265SDimitry Andric return OptionTable[static_cast<int>(Group)].Documentation; 61781ad6265SDimitry Andric } 61881ad6265SDimitry Andric 619349cc55cSDimitry Andric StringRef DiagnosticIDs::getWarningOptionForGroup(diag::Group Group) { 620349cc55cSDimitry Andric return OptionTable[static_cast<int>(Group)].getName(); 621349cc55cSDimitry Andric } 622349cc55cSDimitry Andric 623bdd1243dSDimitry Andric std::optional<diag::Group> 62481ad6265SDimitry Andric DiagnosticIDs::getGroupForWarningOption(StringRef Name) { 62581ad6265SDimitry Andric const auto *Found = llvm::partition_point( 62681ad6265SDimitry Andric OptionTable, [=](const WarningOption &O) { return O.getName() < Name; }); 62781ad6265SDimitry Andric if (Found == std::end(OptionTable) || Found->getName() != Name) 628bdd1243dSDimitry Andric return std::nullopt; 62981ad6265SDimitry Andric return static_cast<diag::Group>(Found - OptionTable); 63081ad6265SDimitry Andric } 63181ad6265SDimitry Andric 632bdd1243dSDimitry Andric std::optional<diag::Group> DiagnosticIDs::getGroupForDiag(unsigned DiagID) { 63381ad6265SDimitry Andric if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) 63481ad6265SDimitry Andric return static_cast<diag::Group>(Info->getOptionGroupIndex()); 635bdd1243dSDimitry Andric return std::nullopt; 63681ad6265SDimitry Andric } 63781ad6265SDimitry Andric 6380b57cec5SDimitry Andric /// getWarningOptionForDiag - Return the lowest-level warning option that 6390b57cec5SDimitry Andric /// enables the specified diagnostic. If there is no -Wfoo flag that controls 6400b57cec5SDimitry Andric /// the diagnostic, this returns null. 6410b57cec5SDimitry Andric StringRef DiagnosticIDs::getWarningOptionForDiag(unsigned DiagID) { 64281ad6265SDimitry Andric if (auto G = getGroupForDiag(DiagID)) 64381ad6265SDimitry Andric return getWarningOptionForGroup(*G); 6440b57cec5SDimitry Andric return StringRef(); 6450b57cec5SDimitry Andric } 6460b57cec5SDimitry Andric 6470b57cec5SDimitry Andric std::vector<std::string> DiagnosticIDs::getDiagnosticFlags() { 64881ad6265SDimitry Andric std::vector<std::string> Res{"-W", "-Wno-"}; 6490b57cec5SDimitry Andric for (size_t I = 1; DiagGroupNames[I] != '\0';) { 6500b57cec5SDimitry Andric std::string Diag(DiagGroupNames + I + 1, DiagGroupNames[I]); 6510b57cec5SDimitry Andric I += DiagGroupNames[I] + 1; 6520b57cec5SDimitry Andric Res.push_back("-W" + Diag); 6530b57cec5SDimitry Andric Res.push_back("-Wno-" + Diag); 6540b57cec5SDimitry Andric } 6550b57cec5SDimitry Andric 6560b57cec5SDimitry Andric return Res; 6570b57cec5SDimitry Andric } 6580b57cec5SDimitry Andric 6590b57cec5SDimitry Andric /// Return \c true if any diagnostics were found in this group, even if they 6600b57cec5SDimitry Andric /// were filtered out due to having the wrong flavor. 6610b57cec5SDimitry Andric static bool getDiagnosticsInGroup(diag::Flavor Flavor, 6620b57cec5SDimitry Andric const WarningOption *Group, 6630b57cec5SDimitry Andric SmallVectorImpl<diag::kind> &Diags) { 6640b57cec5SDimitry Andric // An empty group is considered to be a warning group: we have empty groups 6650b57cec5SDimitry Andric // for GCC compatibility, and GCC does not have remarks. 6660b57cec5SDimitry Andric if (!Group->Members && !Group->SubGroups) 6670b57cec5SDimitry Andric return Flavor == diag::Flavor::Remark; 6680b57cec5SDimitry Andric 6690b57cec5SDimitry Andric bool NotFound = true; 6700b57cec5SDimitry Andric 6710b57cec5SDimitry Andric // Add the members of the option diagnostic set. 6720b57cec5SDimitry Andric const int16_t *Member = DiagArrays + Group->Members; 6730b57cec5SDimitry Andric for (; *Member != -1; ++Member) { 6740b57cec5SDimitry Andric if (GetDiagInfo(*Member)->getFlavor() == Flavor) { 6750b57cec5SDimitry Andric NotFound = false; 6760b57cec5SDimitry Andric Diags.push_back(*Member); 6770b57cec5SDimitry Andric } 6780b57cec5SDimitry Andric } 6790b57cec5SDimitry Andric 6800b57cec5SDimitry Andric // Add the members of the subgroups. 6810b57cec5SDimitry Andric const int16_t *SubGroups = DiagSubGroups + Group->SubGroups; 6820b57cec5SDimitry Andric for (; *SubGroups != (int16_t)-1; ++SubGroups) 6830b57cec5SDimitry Andric NotFound &= getDiagnosticsInGroup(Flavor, &OptionTable[(short)*SubGroups], 6840b57cec5SDimitry Andric Diags); 6850b57cec5SDimitry Andric 6860b57cec5SDimitry Andric return NotFound; 6870b57cec5SDimitry Andric } 6880b57cec5SDimitry Andric 6890b57cec5SDimitry Andric bool 6900b57cec5SDimitry Andric DiagnosticIDs::getDiagnosticsInGroup(diag::Flavor Flavor, StringRef Group, 6910b57cec5SDimitry Andric SmallVectorImpl<diag::kind> &Diags) const { 692bdd1243dSDimitry Andric if (std::optional<diag::Group> G = getGroupForWarningOption(Group)) 69381ad6265SDimitry Andric return ::getDiagnosticsInGroup( 69481ad6265SDimitry Andric Flavor, &OptionTable[static_cast<unsigned>(*G)], Diags); 69581ad6265SDimitry Andric return true; 6960b57cec5SDimitry Andric } 6970b57cec5SDimitry Andric 6980b57cec5SDimitry Andric void DiagnosticIDs::getAllDiagnostics(diag::Flavor Flavor, 6990b57cec5SDimitry Andric std::vector<diag::kind> &Diags) { 7000b57cec5SDimitry Andric for (unsigned i = 0; i != StaticDiagInfoSize; ++i) 7010b57cec5SDimitry Andric if (StaticDiagInfo[i].getFlavor() == Flavor) 7020b57cec5SDimitry Andric Diags.push_back(StaticDiagInfo[i].DiagID); 7030b57cec5SDimitry Andric } 7040b57cec5SDimitry Andric 7050b57cec5SDimitry Andric StringRef DiagnosticIDs::getNearestOption(diag::Flavor Flavor, 7060b57cec5SDimitry Andric StringRef Group) { 7070b57cec5SDimitry Andric StringRef Best; 7085e801ac6SDimitry Andric unsigned BestDistance = Group.size() + 1; // Maximum threshold. 7090b57cec5SDimitry Andric for (const WarningOption &O : OptionTable) { 7100b57cec5SDimitry Andric // Don't suggest ignored warning flags. 7110b57cec5SDimitry Andric if (!O.Members && !O.SubGroups) 7120b57cec5SDimitry Andric continue; 7130b57cec5SDimitry Andric 7140b57cec5SDimitry Andric unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); 7150b57cec5SDimitry Andric if (Distance > BestDistance) 7160b57cec5SDimitry Andric continue; 7170b57cec5SDimitry Andric 7180b57cec5SDimitry Andric // Don't suggest groups that are not of this kind. 7190b57cec5SDimitry Andric llvm::SmallVector<diag::kind, 8> Diags; 7200b57cec5SDimitry Andric if (::getDiagnosticsInGroup(Flavor, &O, Diags) || Diags.empty()) 7210b57cec5SDimitry Andric continue; 7220b57cec5SDimitry Andric 7230b57cec5SDimitry Andric if (Distance == BestDistance) { 7240b57cec5SDimitry Andric // Two matches with the same distance, don't prefer one over the other. 7250b57cec5SDimitry Andric Best = ""; 7260b57cec5SDimitry Andric } else if (Distance < BestDistance) { 7270b57cec5SDimitry Andric // This is a better match. 7280b57cec5SDimitry Andric Best = O.getName(); 7290b57cec5SDimitry Andric BestDistance = Distance; 7300b57cec5SDimitry Andric } 7310b57cec5SDimitry Andric } 7320b57cec5SDimitry Andric 7330b57cec5SDimitry Andric return Best; 7340b57cec5SDimitry Andric } 7350b57cec5SDimitry Andric 7360b57cec5SDimitry Andric /// ProcessDiag - This is the method used to report a diagnostic that is 7370b57cec5SDimitry Andric /// finally fully formed. 7380b57cec5SDimitry Andric bool DiagnosticIDs::ProcessDiag(DiagnosticsEngine &Diag) const { 7390b57cec5SDimitry Andric Diagnostic Info(&Diag); 7400b57cec5SDimitry Andric 7410b57cec5SDimitry Andric assert(Diag.getClient() && "DiagnosticClient not set!"); 7420b57cec5SDimitry Andric 7430b57cec5SDimitry Andric // Figure out the diagnostic level of this message. 7440b57cec5SDimitry Andric unsigned DiagID = Info.getID(); 7450b57cec5SDimitry Andric DiagnosticIDs::Level DiagLevel 7460b57cec5SDimitry Andric = getDiagnosticLevel(DiagID, Info.getLocation(), Diag); 7470b57cec5SDimitry Andric 7480b57cec5SDimitry Andric // Update counts for DiagnosticErrorTrap even if a fatal error occurred 7490b57cec5SDimitry Andric // or diagnostics are suppressed. 7500b57cec5SDimitry Andric if (DiagLevel >= DiagnosticIDs::Error) { 7510b57cec5SDimitry Andric ++Diag.TrapNumErrorsOccurred; 7520b57cec5SDimitry Andric if (isUnrecoverable(DiagID)) 7530b57cec5SDimitry Andric ++Diag.TrapNumUnrecoverableErrorsOccurred; 7540b57cec5SDimitry Andric } 7550b57cec5SDimitry Andric 7560b57cec5SDimitry Andric if (Diag.SuppressAllDiagnostics) 7570b57cec5SDimitry Andric return false; 7580b57cec5SDimitry Andric 7590b57cec5SDimitry Andric if (DiagLevel != DiagnosticIDs::Note) { 7600b57cec5SDimitry Andric // Record that a fatal error occurred only when we see a second 7610b57cec5SDimitry Andric // non-note diagnostic. This allows notes to be attached to the 7620b57cec5SDimitry Andric // fatal error, but suppresses any diagnostics that follow those 7630b57cec5SDimitry Andric // notes. 7640b57cec5SDimitry Andric if (Diag.LastDiagLevel == DiagnosticIDs::Fatal) 7650b57cec5SDimitry Andric Diag.FatalErrorOccurred = true; 7660b57cec5SDimitry Andric 7670b57cec5SDimitry Andric Diag.LastDiagLevel = DiagLevel; 7680b57cec5SDimitry Andric } 7690b57cec5SDimitry Andric 7700b57cec5SDimitry Andric // If a fatal error has already been emitted, silence all subsequent 7710b57cec5SDimitry Andric // diagnostics. 7720b57cec5SDimitry Andric if (Diag.FatalErrorOccurred) { 7730b57cec5SDimitry Andric if (DiagLevel >= DiagnosticIDs::Error && 7740b57cec5SDimitry Andric Diag.Client->IncludeInDiagnosticCounts()) { 7750b57cec5SDimitry Andric ++Diag.NumErrors; 7760b57cec5SDimitry Andric } 7770b57cec5SDimitry Andric 7780b57cec5SDimitry Andric return false; 7790b57cec5SDimitry Andric } 7800b57cec5SDimitry Andric 7810b57cec5SDimitry Andric // If the client doesn't care about this message, don't issue it. If this is 7820b57cec5SDimitry Andric // a note and the last real diagnostic was ignored, ignore it too. 7830b57cec5SDimitry Andric if (DiagLevel == DiagnosticIDs::Ignored || 7840b57cec5SDimitry Andric (DiagLevel == DiagnosticIDs::Note && 7850b57cec5SDimitry Andric Diag.LastDiagLevel == DiagnosticIDs::Ignored)) 7860b57cec5SDimitry Andric return false; 7870b57cec5SDimitry Andric 7880b57cec5SDimitry Andric if (DiagLevel >= DiagnosticIDs::Error) { 7890b57cec5SDimitry Andric if (isUnrecoverable(DiagID)) 7900b57cec5SDimitry Andric Diag.UnrecoverableErrorOccurred = true; 7910b57cec5SDimitry Andric 7920b57cec5SDimitry Andric // Warnings which have been upgraded to errors do not prevent compilation. 7930b57cec5SDimitry Andric if (isDefaultMappingAsError(DiagID)) 7940b57cec5SDimitry Andric Diag.UncompilableErrorOccurred = true; 7950b57cec5SDimitry Andric 7960b57cec5SDimitry Andric Diag.ErrorOccurred = true; 7970b57cec5SDimitry Andric if (Diag.Client->IncludeInDiagnosticCounts()) { 7980b57cec5SDimitry Andric ++Diag.NumErrors; 7990b57cec5SDimitry Andric } 8000b57cec5SDimitry Andric 8010b57cec5SDimitry Andric // If we've emitted a lot of errors, emit a fatal error instead of it to 8020b57cec5SDimitry Andric // stop a flood of bogus errors. 8030b57cec5SDimitry Andric if (Diag.ErrorLimit && Diag.NumErrors > Diag.ErrorLimit && 8040b57cec5SDimitry Andric DiagLevel == DiagnosticIDs::Error) { 8050b57cec5SDimitry Andric Diag.SetDelayedDiagnostic(diag::fatal_too_many_errors); 8060b57cec5SDimitry Andric return false; 8070b57cec5SDimitry Andric } 8080b57cec5SDimitry Andric } 8090b57cec5SDimitry Andric 8100b57cec5SDimitry Andric // Make sure we set FatalErrorOccurred to ensure that the notes from the 8110b57cec5SDimitry Andric // diagnostic that caused `fatal_too_many_errors` won't be emitted. 8120b57cec5SDimitry Andric if (Diag.CurDiagID == diag::fatal_too_many_errors) 8130b57cec5SDimitry Andric Diag.FatalErrorOccurred = true; 8140b57cec5SDimitry Andric // Finally, report it. 8150b57cec5SDimitry Andric EmitDiag(Diag, DiagLevel); 8160b57cec5SDimitry Andric return true; 8170b57cec5SDimitry Andric } 8180b57cec5SDimitry Andric 8190b57cec5SDimitry Andric void DiagnosticIDs::EmitDiag(DiagnosticsEngine &Diag, Level DiagLevel) const { 8200b57cec5SDimitry Andric Diagnostic Info(&Diag); 8210b57cec5SDimitry Andric assert(DiagLevel != DiagnosticIDs::Ignored && "Cannot emit ignored diagnostics!"); 8220b57cec5SDimitry Andric 8230b57cec5SDimitry Andric Diag.Client->HandleDiagnostic((DiagnosticsEngine::Level)DiagLevel, Info); 8240b57cec5SDimitry Andric if (Diag.Client->IncludeInDiagnosticCounts()) { 8250b57cec5SDimitry Andric if (DiagLevel == DiagnosticIDs::Warning) 8260b57cec5SDimitry Andric ++Diag.NumWarnings; 8270b57cec5SDimitry Andric } 8280b57cec5SDimitry Andric 8290b57cec5SDimitry Andric Diag.CurDiagID = ~0U; 8300b57cec5SDimitry Andric } 8310b57cec5SDimitry Andric 8320b57cec5SDimitry Andric bool DiagnosticIDs::isUnrecoverable(unsigned DiagID) const { 8330b57cec5SDimitry Andric if (DiagID >= diag::DIAG_UPPER_LIMIT) { 8340b57cec5SDimitry Andric assert(CustomDiagInfo && "Invalid CustomDiagInfo"); 8350b57cec5SDimitry Andric // Custom diagnostics. 8360b57cec5SDimitry Andric return CustomDiagInfo->getLevel(DiagID) >= DiagnosticIDs::Error; 8370b57cec5SDimitry Andric } 8380b57cec5SDimitry Andric 8390b57cec5SDimitry Andric // Only errors may be unrecoverable. 8400b57cec5SDimitry Andric if (getBuiltinDiagClass(DiagID) < CLASS_ERROR) 8410b57cec5SDimitry Andric return false; 8420b57cec5SDimitry Andric 8430b57cec5SDimitry Andric if (DiagID == diag::err_unavailable || 8440b57cec5SDimitry Andric DiagID == diag::err_unavailable_message) 8450b57cec5SDimitry Andric return false; 8460b57cec5SDimitry Andric 8470b57cec5SDimitry Andric // Currently we consider all ARC errors as recoverable. 8480b57cec5SDimitry Andric if (isARCDiagnostic(DiagID)) 8490b57cec5SDimitry Andric return false; 8500b57cec5SDimitry Andric 8510b57cec5SDimitry Andric return true; 8520b57cec5SDimitry Andric } 8530b57cec5SDimitry Andric 8540b57cec5SDimitry Andric bool DiagnosticIDs::isARCDiagnostic(unsigned DiagID) { 8550b57cec5SDimitry Andric unsigned cat = getCategoryNumberForDiag(DiagID); 856*5f757f3fSDimitry Andric return DiagnosticIDs::getCategoryNameFromID(cat).starts_with("ARC "); 8570b57cec5SDimitry Andric } 858