DiagnosticIDs.cpp revision a70cb9db9dd79ca9fc1febbb2f331004297664e0
133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===--- DiagnosticIDs.cpp - Diagnostic IDs Handling ----------------------===//
233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//
333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//                     The LLVM Compiler Infrastructure
433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//
533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// This file is distributed under the University of Illinois Open Source
633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// License. See LICENSE.TXT for details.
733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//
833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//
1033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//  This file implements the Diagnostic IDs-related interfaces.
1133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//
1233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
1333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
1433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/AST/ASTDiagnostic.h"
1533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Analysis/AnalysisDiagnostic.h"
1633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticIDs.h"
17923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall#include "clang/Basic/DiagnosticCategories.h"
1833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/SourceManager.h"
1933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Driver/DriverDiagnostic.h"
2033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Frontend/FrontendDiagnostic.h"
2133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Lex/LexDiagnostic.h"
2233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Parse/ParseDiagnostic.h"
2333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Sema/SemaDiagnostic.h"
243f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar#include "llvm/ADT/SmallVector.h"
259fe8c74a93ac8e92512615c5f83e7a328b3b0544David Blaikie#include "llvm/Support/ErrorHandling.h"
2633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
2733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include <map>
2833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisusing namespace clang;
2933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
3033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
3133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// Builtin Diagnostic information
3233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
3333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
3433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisnamespace {
3533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
3633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// Diagnostic classes.
3733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisenum {
3833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  CLASS_NOTE       = 0x01,
3933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  CLASS_WARNING    = 0x02,
4033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  CLASS_EXTENSION  = 0x03,
4133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  CLASS_ERROR      = 0x04
4233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis};
4333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
4433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstruct StaticDiagInfoRec {
4533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  unsigned short DiagID;
4633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  unsigned Mapping : 3;
4733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  unsigned Class : 3;
48418df343bb50802586d20aae3b83e2eb44c6c828Douglas Gregor  unsigned SFINAE : 1;
49418df343bb50802586d20aae3b83e2eb44c6c828Douglas Gregor  unsigned AccessControl : 1;
504213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar  unsigned WarnNoWerror : 1;
514213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar  unsigned WarnShowInSystemHeader : 1;
5233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  unsigned Category : 5;
5333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
54477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  uint8_t  NameLen;
55477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  uint8_t  OptionGroupLen;
56477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
57477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  uint16_t DescriptionLen;
58477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  uint16_t BriefExplanationLen;
59477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  uint16_t FullExplanationLen;
60477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
61477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  const char *NameStr;
62477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  const char *OptionGroupStr;
63477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
64477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  const char *DescriptionStr;
65477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  const char *BriefExplanationStr;
66477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  const char *FullExplanationStr;
67477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
685f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  StringRef getName() const {
695f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    return StringRef(NameStr, NameLen);
70477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  }
715f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  StringRef getOptionGroup() const {
725f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    return StringRef(OptionGroupStr, OptionGroupLen);
73477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  }
74477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
755f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  StringRef getDescription() const {
765f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    return StringRef(DescriptionStr, DescriptionLen);
77477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  }
785f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  StringRef getBriefExplanation() const {
795f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    return StringRef(BriefExplanationStr, BriefExplanationLen);
80477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  }
815f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  StringRef getFullExplanation() const {
825f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    return StringRef(FullExplanationStr, FullExplanationLen);
83477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  }
847d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
8533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  bool operator<(const StaticDiagInfoRec &RHS) const {
8633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return DiagID < RHS.DiagID;
8733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
8833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis};
8933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
907d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregorstruct StaticDiagNameIndexRec {
91477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  const char *NameStr;
927d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  unsigned short DiagID;
93477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  uint8_t NameLen;
94477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
955f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  StringRef getName() const {
965f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    return StringRef(NameStr, NameLen);
97477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  }
98477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
997d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  bool operator<(const StaticDiagNameIndexRec &RHS) const {
100477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return getName() < RHS.getName();
1017d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  }
1027d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
1037d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  bool operator==(const StaticDiagNameIndexRec &RHS) const {
104477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return getName() == RHS.getName();
1057d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  }
1067d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor};
1077d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
108477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidistemplate <size_t SizeOfStr, typename FieldType>
109477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidisclass StringSizerHelper {
110477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  char FIELD_TOO_SMALL[SizeOfStr <= FieldType(~0U) ? 1 : -1];
111477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidispublic:
112477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  enum { Size = SizeOfStr };
113477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis};
114477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
115477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis} // namespace anonymous
116477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
117477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis#define STR_SIZE(str, fieldTy) StringSizerHelper<sizeof(str)-1, fieldTy>::Size
11833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
11933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstatic const StaticDiagInfoRec StaticDiagInfo[] = {
120477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis#define DIAG(ENUM,CLASS,DEFAULT_MAPPING,DESC,GROUP,               \
1214213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar             SFINAE,ACCESS,NOWERROR,SHOWINSYSHEADER,              \
1224213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar             CATEGORY,BRIEF,FULL)                                 \
1234213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar  { diag::ENUM, DEFAULT_MAPPING, CLASS, SFINAE, ACCESS,           \
1244213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar    NOWERROR, SHOWINSYSHEADER, CATEGORY,                          \
125477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    STR_SIZE(#ENUM, uint8_t), STR_SIZE(GROUP, uint8_t),           \
126477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    STR_SIZE(DESC, uint16_t), STR_SIZE(BRIEF, uint16_t),          \
127477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    STR_SIZE(FULL, uint16_t),                                     \
128477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    #ENUM, GROUP, DESC, BRIEF, FULL },
12933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticCommonKinds.inc"
13033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticDriverKinds.inc"
13133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticFrontendKinds.inc"
13233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticLexKinds.inc"
13333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticParseKinds.inc"
13433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticASTKinds.inc"
13533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticSemaKinds.inc"
13633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticAnalysisKinds.inc"
13733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#undef DIAG
1384213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar  { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
1397d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor};
1407d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
1417d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregorstatic const unsigned StaticDiagInfoSize =
1427d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  sizeof(StaticDiagInfo)/sizeof(StaticDiagInfo[0])-1;
1437d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
1447d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// To be sorted before first use (since it's splitted among multiple files)
14581f9d14f0b987923b37e8e3e256cdfa71e95d4aeBenjamin Kramerstatic const StaticDiagNameIndexRec StaticDiagNameIndex[] = {
146477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis#define DIAG_NAME_INDEX(ENUM) { #ENUM, diag::ENUM, STR_SIZE(#ENUM, uint8_t) },
1477d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor#include "clang/Basic/DiagnosticIndexName.inc"
1487d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor#undef DIAG_NAME_INDEX
149477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  { 0, 0, 0 }
1507d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor};
1517d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
1527d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregorstatic const unsigned StaticDiagNameIndexSize =
1537d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  sizeof(StaticDiagNameIndex)/sizeof(StaticDiagNameIndex[0])-1;
15433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
15533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// GetDiagInfo - Return the StaticDiagInfoRec entry for the specified DiagID,
15633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// or null if the ID is invalid.
15733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstatic const StaticDiagInfoRec *GetDiagInfo(unsigned DiagID) {
15833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // If assertions are enabled, verify that the StaticDiagInfo array is sorted.
15933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#ifndef NDEBUG
16033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  static bool IsFirst = true;
16133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (IsFirst) {
1627d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor    for (unsigned i = 1; i != StaticDiagInfoSize; ++i) {
16333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      assert(StaticDiagInfo[i-1].DiagID != StaticDiagInfo[i].DiagID &&
16433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis             "Diag ID conflict, the enums at the start of clang::diag (in "
165f84109ee6aeffb09366bd70c8593ce1b7818b1adFariborz Jahanian             "DiagnosticIDs.h) probably need to be increased");
16633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
16733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      assert(StaticDiagInfo[i-1] < StaticDiagInfo[i] &&
16833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis             "Improperly sorted diag info");
16933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    }
17033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    IsFirst = false;
17133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
17233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#endif
17333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
17433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // Search the diagnostic table with a binary search.
1757c5109b0322058c1fb80222b71b380b2c7b10d4eJeffrey Yasskin  StaticDiagInfoRec Find = { static_cast<unsigned short>(DiagID),
1764213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar                             0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
17733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
17833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  const StaticDiagInfoRec *Found =
1797d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor    std::lower_bound(StaticDiagInfo, StaticDiagInfo + StaticDiagInfoSize, Find);
1807d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  if (Found == StaticDiagInfo + StaticDiagInfoSize ||
18133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      Found->DiagID != DiagID)
18233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return 0;
18333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
18433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return Found;
18533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
18633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
187a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbarstatic DiagnosticMappingInfo GetDefaultDiagMappingInfo(unsigned DiagID) {
188aeacae523a1c6e5bb99d12754415bbbc3ccb86c9Daniel Dunbar  DiagnosticMappingInfo Info = DiagnosticMappingInfo::Make(
189a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar    diag::MAP_FATAL, /*IsUser=*/false, /*IsPragma=*/false);
190a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar
191a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar  if (const StaticDiagInfoRec *StaticInfo = GetDiagInfo(DiagID)) {
192a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar    Info.setMapping((diag::Mapping) StaticInfo->Mapping);
1934213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar
194a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar    if (StaticInfo->WarnNoWerror) {
195a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar      assert(Info.getMapping() == diag::MAP_WARNING &&
1964213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar             "Unexpected mapping with no-Werror bit!");
197a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar      Info.setNoWarningAsError(true);
1984213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar    }
1994213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar
200a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar    if (StaticInfo->WarnShowInSystemHeader) {
201a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar      assert(Info.getMapping() == diag::MAP_WARNING &&
2024213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar             "Unexpected mapping with show-in-system-header bit!");
203a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar      Info.setShowInSystemHeader(true);
2044213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar    }
2054213df3b5da21ce25a4541ca5c447eeb28b515a3Daniel Dunbar  }
206a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar
207a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar  return Info;
20833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
20933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
21033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// getWarningOptionForDiag - Return the lowest-level warning option that
21133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// enables the specified diagnostic.  If there is no -Wfoo flag that controls
21233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// the diagnostic, this returns null.
2135f9e272e632e951b1efe824cd16acb4d96077930Chris LattnerStringRef DiagnosticIDs::getWarningOptionForDiag(unsigned DiagID) {
21433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
215477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return Info->getOptionGroup();
2165f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  return StringRef();
21733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
21833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
2197d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// getCategoryNumberForDiag - Return the category number that a specified
22033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// DiagID belongs to, or 0 if no category.
22133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisunsigned DiagnosticIDs::getCategoryNumberForDiag(unsigned DiagID) {
22233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
22333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return Info->Category;
22433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return 0;
22533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
22633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
227dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramernamespace {
228dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer  // The diagnostic category names.
229dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer  struct StaticDiagCategoryRec {
230dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer    const char *NameStr;
231dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer    uint8_t NameLen;
232477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
2335f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner    StringRef getName() const {
2345f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner      return StringRef(NameStr, NameLen);
235dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer    }
236dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer  };
237dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer}
238477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
239ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar// Unfortunately, the split between DiagnosticIDs and Diagnostic is not
240ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar// particularly clean, but for now we just implement this method here so we can
241ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar// access GetDefaultDiagMapping.
242ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel DunbarDiagnosticMappingInfo &DiagnosticsEngine::DiagState::getOrAddMappingInfo(
243ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar  diag::kind Diag)
244ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar{
245ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar  std::pair<iterator, bool> Result = DiagMap.insert(
246aeacae523a1c6e5bb99d12754415bbbc3ccb86c9Daniel Dunbar    std::make_pair(Diag, DiagnosticMappingInfo()));
247ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar
248ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar  // Initialize the entry if we added it.
249aeacae523a1c6e5bb99d12754415bbbc3ccb86c9Daniel Dunbar  if (Result.second)
250a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar    Result.first->second = GetDefaultDiagMappingInfo(Diag);
251ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar
252ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar  return Result.first->second;
253ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar}
254ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar
255dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramerstatic const StaticDiagCategoryRec CategoryNameTable[] = {
25633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#define GET_CATEGORY_TABLE
257923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall#define CATEGORY(X, ENUM) { X, STR_SIZE(X, uint8_t) },
25833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticGroups.inc"
25933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#undef GET_CATEGORY_TABLE
260477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  { 0, 0 }
261477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis};
262477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
263477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis/// getNumberOfCategories - Return the number of categories
264477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidisunsigned DiagnosticIDs::getNumberOfCategories() {
265477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  return sizeof(CategoryNameTable) / sizeof(CategoryNameTable[0])-1;
266477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis}
267477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis
268477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis/// getCategoryNameFromID - Given a category ID, return the name of the
269477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis/// category, an empty string if CategoryID is zero, or null if CategoryID is
270477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis/// invalid.
2715f9e272e632e951b1efe824cd16acb4d96077930Chris LattnerStringRef DiagnosticIDs::getCategoryNameFromID(unsigned CategoryID) {
272477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  if (CategoryID >= getNumberOfCategories())
2735f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner   return StringRef();
274477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  return CategoryNameTable[CategoryID].getName();
27533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
27633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
27733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
27833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
27933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios KyrtzidisDiagnosticIDs::SFINAEResponse
28033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios KyrtzidisDiagnosticIDs::getDiagnosticSFINAEResponse(unsigned DiagID) {
28133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID)) {
282418df343bb50802586d20aae3b83e2eb44c6c828Douglas Gregor    if (Info->AccessControl)
283418df343bb50802586d20aae3b83e2eb44c6c828Douglas Gregor      return SFINAE_AccessControl;
284418df343bb50802586d20aae3b83e2eb44c6c828Douglas Gregor
28533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (!Info->SFINAE)
28633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      return SFINAE_Report;
28733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
28833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (Info->Class == CLASS_ERROR)
28933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      return SFINAE_SubstitutionFailure;
29033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
29133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // Suppress notes, warnings, and extensions;
29233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return SFINAE_Suppress;
29333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
29433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
29533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return SFINAE_Report;
29633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
29733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
2987d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// getName - Given a diagnostic ID, return its name
2995f9e272e632e951b1efe824cd16acb4d96077930Chris LattnerStringRef DiagnosticIDs::getName(unsigned DiagID) {
3007d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
301477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return Info->getName();
3025f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  return StringRef();
3037d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor}
3047d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3057d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// getIdFromName - Given a diagnostic name, return its ID, or 0
3065f9e272e632e951b1efe824cd16acb4d96077930Chris Lattnerunsigned DiagnosticIDs::getIdFromName(StringRef Name) {
30781f9d14f0b987923b37e8e3e256cdfa71e95d4aeBenjamin Kramer  const StaticDiagNameIndexRec *StaticDiagNameIndexEnd =
3087d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor    StaticDiagNameIndex + StaticDiagNameIndexSize;
3097d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
310477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  if (Name.empty()) { return diag::DIAG_UPPER_LIMIT; }
3117d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3127c5109b0322058c1fb80222b71b380b2c7b10d4eJeffrey Yasskin  assert(Name.size() == static_cast<uint8_t>(Name.size()) &&
3137c5109b0322058c1fb80222b71b380b2c7b10d4eJeffrey Yasskin         "Name is too long");
3147c5109b0322058c1fb80222b71b380b2c7b10d4eJeffrey Yasskin  StaticDiagNameIndexRec Find = { Name.data(), 0,
3157c5109b0322058c1fb80222b71b380b2c7b10d4eJeffrey Yasskin                                  static_cast<uint8_t>(Name.size()) };
3167d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3177d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  const StaticDiagNameIndexRec *Found =
3187d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor    std::lower_bound( StaticDiagNameIndex, StaticDiagNameIndexEnd, Find);
3197d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  if (Found == StaticDiagNameIndexEnd ||
320477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis      Found->getName() != Name)
3217d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor    return diag::DIAG_UPPER_LIMIT;
3227d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3237d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  return Found->DiagID;
3247d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor}
3257d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3267d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// getBriefExplanation - Given a diagnostic ID, return a brief explanation
3277d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// of the issue
3285f9e272e632e951b1efe824cd16acb4d96077930Chris LattnerStringRef DiagnosticIDs::getBriefExplanation(unsigned DiagID) {
3297d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
330477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return Info->getBriefExplanation();
3315f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  return StringRef();
3327d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor}
3337d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3347d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// getFullExplanation - Given a diagnostic ID, return a full explanation
3357d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// of the issue
3365f9e272e632e951b1efe824cd16acb4d96077930Chris LattnerStringRef DiagnosticIDs::getFullExplanation(unsigned DiagID) {
3377d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
338477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return Info->getFullExplanation();
3395f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner  return StringRef();
3407d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor}
3417d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor
3427d2b8c1fcc2b707be78b09930a7767477822462fDouglas Gregor/// getBuiltinDiagClass - Return the class field of the diagnostic.
34333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis///
34433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstatic unsigned getBuiltinDiagClass(unsigned DiagID) {
34533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
34633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return Info->Class;
34733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return ~0U;
34833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
34933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
35033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
3516948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek// diag_iterator
3526948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek//===----------------------------------------------------------------------===//
3536948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek
3546948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenekllvm::StringRef DiagnosticIDs::diag_iterator::getDiagName() const {
3556948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  return static_cast<const StaticDiagNameIndexRec*>(impl)->getName();
3566948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek}
3576948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek
3586948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenekunsigned DiagnosticIDs::diag_iterator::getDiagID() const {
3596948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  return static_cast<const StaticDiagNameIndexRec*>(impl)->DiagID;
3606948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek}
3616948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek
3626948bc4bcbd92502d90b877780a3b746275efa5bTed KremenekDiagnosticIDs::diag_iterator &DiagnosticIDs::diag_iterator::operator++() {
3636948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  const StaticDiagNameIndexRec* ptr =
3646948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek    static_cast<const StaticDiagNameIndexRec*>(impl);;
3656948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  ++ptr;
3666948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  impl = ptr;
3676948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  return *this;
3686948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek}
3696948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek
3706948bc4bcbd92502d90b877780a3b746275efa5bTed KremenekDiagnosticIDs::diag_iterator DiagnosticIDs::diags_begin() {
3716948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  return DiagnosticIDs::diag_iterator(StaticDiagNameIndex);
3726948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek}
3736948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek
3746948bc4bcbd92502d90b877780a3b746275efa5bTed KremenekDiagnosticIDs::diag_iterator DiagnosticIDs::diags_end() {
3756948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek  return DiagnosticIDs::diag_iterator(StaticDiagNameIndex +
3766948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek                                      StaticDiagNameIndexSize);
3776948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek}
3786948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek
3796948bc4bcbd92502d90b877780a3b746275efa5bTed Kremenek//===----------------------------------------------------------------------===//
38033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// Custom Diagnostic information
38133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
38233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
38333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisnamespace clang {
38433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  namespace diag {
38533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    class CustomDiagInfo {
38633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      typedef std::pair<DiagnosticIDs::Level, std::string> DiagDesc;
38733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      std::vector<DiagDesc> DiagInfo;
38833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      std::map<DiagDesc, unsigned> DiagIDs;
38933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    public:
39033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
39133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      /// getDescription - Return the description of the specified custom
39233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      /// diagnostic.
3935f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner      StringRef getDescription(unsigned DiagID) const {
39433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        assert(this && DiagID-DIAG_UPPER_LIMIT < DiagInfo.size() &&
39533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis               "Invalid diagnosic ID");
396477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis        return DiagInfo[DiagID-DIAG_UPPER_LIMIT].second;
39733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      }
39833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
39933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      /// getLevel - Return the level of the specified custom diagnostic.
40033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      DiagnosticIDs::Level getLevel(unsigned DiagID) const {
40133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        assert(this && DiagID-DIAG_UPPER_LIMIT < DiagInfo.size() &&
40233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis               "Invalid diagnosic ID");
40333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        return DiagInfo[DiagID-DIAG_UPPER_LIMIT].first;
40433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      }
40533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
4065f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner      unsigned getOrCreateDiagID(DiagnosticIDs::Level L, StringRef Message,
40733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis                                 DiagnosticIDs &Diags) {
40833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        DiagDesc D(L, Message);
40933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        // Check to see if it already exists.
41033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        std::map<DiagDesc, unsigned>::iterator I = DiagIDs.lower_bound(D);
41133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        if (I != DiagIDs.end() && I->first == D)
41233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis          return I->second;
41333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
41433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        // If not, assign a new ID.
41533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        unsigned ID = DiagInfo.size()+DIAG_UPPER_LIMIT;
41633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        DiagIDs.insert(std::make_pair(D, ID));
41733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        DiagInfo.push_back(D);
41833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        return ID;
41933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      }
42033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    };
42133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
42233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  } // end diag namespace
42333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis} // end clang namespace
42433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
42533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
42633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
42733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// Common Diagnostic implementation
42833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis//===----------------------------------------------------------------------===//
42933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
43033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios KyrtzidisDiagnosticIDs::DiagnosticIDs() {
43133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  CustomDiagInfo = 0;
43233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
43333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
43433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios KyrtzidisDiagnosticIDs::~DiagnosticIDs() {
43533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  delete CustomDiagInfo;
43633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
43733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
43833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// getCustomDiagID - Return an ID for a diagnostic with the specified message
43933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// and level.  If this is the first request for this diagnosic, it is
44033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// registered and created, otherwise the existing ID is returned.
4415f9e272e632e951b1efe824cd16acb4d96077930Chris Lattnerunsigned DiagnosticIDs::getCustomDiagID(Level L, StringRef Message) {
44233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (CustomDiagInfo == 0)
44333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    CustomDiagInfo = new diag::CustomDiagInfo();
44433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return CustomDiagInfo->getOrCreateDiagID(L, Message, *this);
44533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
44633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
44733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
44833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// isBuiltinWarningOrExtension - Return true if the unmapped diagnostic
44933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// level of the specified diagnostic ID is a Warning or Extension.
45033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// This only works on builtin diagnostics, not custom ones, and is not legal to
45133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// call on NOTEs.
45233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisbool DiagnosticIDs::isBuiltinWarningOrExtension(unsigned DiagID) {
45333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return DiagID < diag::DIAG_UPPER_LIMIT &&
45433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis         getBuiltinDiagClass(DiagID) != CLASS_ERROR;
45533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
45633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
45733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// \brief Determine whether the given built-in diagnostic ID is a
45833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// Note.
45933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisbool DiagnosticIDs::isBuiltinNote(unsigned DiagID) {
46033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return DiagID < diag::DIAG_UPPER_LIMIT &&
46133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    getBuiltinDiagClass(DiagID) == CLASS_NOTE;
46233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
46333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
46433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// isBuiltinExtensionDiag - Determine whether the given built-in diagnostic
46533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// ID is for an extension of some sort.  This also returns EnabledByDefault,
46633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// which is set to indicate whether the diagnostic is ignored by default (in
46733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// which case -pedantic enables it) or treated as a warning/error by default.
46833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis///
46933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisbool DiagnosticIDs::isBuiltinExtensionDiag(unsigned DiagID,
47033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis                                        bool &EnabledByDefault) {
47133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (DiagID >= diag::DIAG_UPPER_LIMIT ||
47233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      getBuiltinDiagClass(DiagID) != CLASS_EXTENSION)
47333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return false;
47433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
475a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar  EnabledByDefault =
476a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar    GetDefaultDiagMappingInfo(DiagID).getMapping() != diag::MAP_IGNORE;
47733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return true;
47833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
47933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
48076101cfe52d1b56974bf0e316247b3201f87c463Daniel Dunbarbool DiagnosticIDs::isDefaultMappingAsError(unsigned DiagID) {
48176101cfe52d1b56974bf0e316247b3201f87c463Daniel Dunbar  if (DiagID >= diag::DIAG_UPPER_LIMIT)
48276101cfe52d1b56974bf0e316247b3201f87c463Daniel Dunbar    return false;
48376101cfe52d1b56974bf0e316247b3201f87c463Daniel Dunbar
484a5e41333b06fdf036d58495490eb14d6a0a3fcf7Daniel Dunbar  return GetDefaultDiagMappingInfo(DiagID).getMapping() == diag::MAP_ERROR;
48576101cfe52d1b56974bf0e316247b3201f87c463Daniel Dunbar}
48676101cfe52d1b56974bf0e316247b3201f87c463Daniel Dunbar
48733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// getDescription - Given a diagnostic ID, return a description of the
48833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// issue.
4895f9e272e632e951b1efe824cd16acb4d96077930Chris LattnerStringRef DiagnosticIDs::getDescription(unsigned DiagID) const {
49033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const StaticDiagInfoRec *Info = GetDiagInfo(DiagID))
491477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis    return Info->getDescription();
49233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return CustomDiagInfo->getDescription(DiagID);
49333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
49433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
495d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie/// getDiagnosticLevel - Based on the way the client configured the
496d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie/// DiagnosticsEngine object, classify the specified diagnostic ID into a Level,
497d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie/// by consumable the DiagnosticClient.
4980827408865e32789e0ec4b8113a302ccdc531423Argyrios KyrtzidisDiagnosticIDs::Level
4990827408865e32789e0ec4b8113a302ccdc531423Argyrios KyrtzidisDiagnosticIDs::getDiagnosticLevel(unsigned DiagID, SourceLocation Loc,
5001656aaec223949245fdbebf306b719cba0b687caDaniel Dunbar                                  const DiagnosticsEngine &Diag) const {
50133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // Handle custom diagnostics, which cannot be mapped.
50233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (DiagID >= diag::DIAG_UPPER_LIMIT)
50333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return CustomDiagInfo->getLevel(DiagID);
50433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
50533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  unsigned DiagClass = getBuiltinDiagClass(DiagID);
50633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  assert(DiagClass != CLASS_NOTE && "Cannot get diagnostic level of a note!");
5071656aaec223949245fdbebf306b719cba0b687caDaniel Dunbar  return getDiagnosticLevel(DiagID, DiagClass, Loc, Diag);
50833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
50933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
5100827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis/// \brief Based on the way the client configured the Diagnostic
51133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// object, classify the specified diagnostic ID into a Level, consumable by
51233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// the DiagnosticClient.
5130827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis///
5140827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis/// \param Loc The source location we are interested in finding out the
5150827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis/// diagnostic state. Can be null in order to query the latest state.
51633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios KyrtzidisDiagnosticIDs::Level
51733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios KyrtzidisDiagnosticIDs::getDiagnosticLevel(unsigned DiagID, unsigned DiagClass,
5180827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis                                  SourceLocation Loc,
5191656aaec223949245fdbebf306b719cba0b687caDaniel Dunbar                                  const DiagnosticsEngine &Diag) const {
52033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // Specific non-error diagnostics may be mapped to various levels from ignored
52133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // to error.  Errors can only be mapped to fatal.
52233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  DiagnosticIDs::Level Result = DiagnosticIDs::Fatal;
52333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
524d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie  DiagnosticsEngine::DiagStatePointsTy::iterator
5250827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis    Pos = Diag.GetDiagStatePointForLoc(Loc);
526d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie  DiagnosticsEngine::DiagState *State = Pos->State;
5270827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis
528ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar  // Get the mapping information, or compute it lazily.
529ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar  DiagnosticMappingInfo &MappingInfo = State->getOrAddMappingInfo(
530ba494c64365d78b1cdb6baea4d1e79263389fda9Daniel Dunbar    (diag::kind)DiagID);
53133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
532b1c99c679adb53be8f478d08be83af6c9c22ae4bDaniel Dunbar  switch (MappingInfo.getMapping()) {
533b219cfc4d75f0a03630b7c4509ef791b7e97b2c8David Blaikie  default: llvm_unreachable("Unknown mapping!");
53433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  case diag::MAP_IGNORE:
535be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    Result = DiagnosticIDs::Ignored;
536be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    break;
537be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  case diag::MAP_WARNING:
538be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    Result = DiagnosticIDs::Warning;
53933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    break;
54033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  case diag::MAP_ERROR:
54133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    Result = DiagnosticIDs::Error;
54233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    break;
54333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  case diag::MAP_FATAL:
54433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    Result = DiagnosticIDs::Fatal;
54533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    break;
546be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  }
54733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
548be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // Upgrade ignored diagnostics if -Weverything is enabled.
549be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  if (Diag.EnableAllWarnings && Result == DiagnosticIDs::Ignored &&
550be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      !MappingInfo.isUser())
55133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    Result = DiagnosticIDs::Warning;
55233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
55318c407fcb25ea88a52ad48fcc4397c3616dd185dBob Wilson  // Ignore -pedantic diagnostics inside __extension__ blocks.
55418c407fcb25ea88a52ad48fcc4397c3616dd185dBob Wilson  // (The diagnostics controlled by -pedantic are the extension diagnostics
55518c407fcb25ea88a52ad48fcc4397c3616dd185dBob Wilson  // that are not enabled by default.)
55618c407fcb25ea88a52ad48fcc4397c3616dd185dBob Wilson  bool EnabledByDefault;
55718c407fcb25ea88a52ad48fcc4397c3616dd185dBob Wilson  bool IsExtensionDiag = isBuiltinExtensionDiag(DiagID, EnabledByDefault);
55818c407fcb25ea88a52ad48fcc4397c3616dd185dBob Wilson  if (Diag.AllExtensionsSilenced && IsExtensionDiag && !EnabledByDefault)
559be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    return DiagnosticIDs::Ignored;
56033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
561be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // For extension diagnostics that haven't been explicitly mapped, check if we
562be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // should upgrade the diagnostic.
563be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  if (IsExtensionDiag && !MappingInfo.isUser()) {
564be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    switch (Diag.ExtBehavior) {
565be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    case DiagnosticsEngine::Ext_Ignore:
566be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      break;
567be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    case DiagnosticsEngine::Ext_Warn:
568be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      // Upgrade ignored diagnostics to warnings.
569be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      if (Result == DiagnosticIDs::Ignored)
570be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar        Result = DiagnosticIDs::Warning;
571be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      break;
572be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    case DiagnosticsEngine::Ext_Error:
573be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      // Upgrade ignored or warning diagnostics to errors.
574be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      if (Result == DiagnosticIDs::Ignored || Result == DiagnosticIDs::Warning)
575be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar        Result = DiagnosticIDs::Error;
576be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      break;
577be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    }
578be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  }
57933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
580be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // At this point, ignored errors can no longer be upgraded.
581be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  if (Result == DiagnosticIDs::Ignored)
582be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    return Result;
58333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
584be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // Honor -w, which is lower in priority than pedantic-errors, but higher than
585be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // -Werror.
586be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  if (Result == DiagnosticIDs::Warning && Diag.IgnoreAllWarnings)
587be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    return DiagnosticIDs::Ignored;
58833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
589be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // If -Werror is enabled, map warnings to errors unless explicitly disabled.
590be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  if (Result == DiagnosticIDs::Warning) {
591be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    if (Diag.WarningsAsErrors && !MappingInfo.hasNoWarningAsError())
592be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      Result = DiagnosticIDs::Error;
59333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
59433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
595be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // If -Wfatal-errors is enabled, map errors to fatal unless explicity
596be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  // disabled.
597be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  if (Result == DiagnosticIDs::Error) {
598be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar    if (Diag.ErrorsAsFatal && !MappingInfo.hasNoErrorAsFatal())
599be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      Result = DiagnosticIDs::Fatal;
600be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar  }
60133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
602aeacae523a1c6e5bb99d12754415bbbc3ccb86c9Daniel Dunbar  // If we are in a system header, we ignore it. We look at the diagnostic class
603aeacae523a1c6e5bb99d12754415bbbc3ccb86c9Daniel Dunbar  // because we also want to ignore extensions and warnings in -Werror and
604cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis  // -pedantic-errors modes, which *map* warnings/extensions to errors.
605cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis  if (Result >= DiagnosticIDs::Warning &&
606cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis      DiagClass != CLASS_ERROR &&
607cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis      // Custom diagnostics always are emitted in system headers.
608cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis      DiagID < diag::DIAG_UPPER_LIMIT &&
609be1aa410274b28fc143c47c814f07c989f4534d6Daniel Dunbar      !MappingInfo.hasShowInSystemHeader() &&
610cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis      Diag.SuppressSystemWarnings &&
611cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis      Loc.isValid() &&
612cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis      Diag.getSourceManager().isInSystemHeader(
613402785357ab053dd53f4fdd858b9630a5e0f8badChandler Carruth          Diag.getSourceManager().getExpansionLoc(Loc)))
614cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis    return DiagnosticIDs::Ignored;
615cfdadfe547015b916bd59aec892caa972ff76cf0Argyrios Kyrtzidis
61633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return Result;
61733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
61833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
6193f8394669673451061f57ced81f0a2cae087f119Daniel Dunbarstruct clang::WarningOption {
6203f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  // Be safe with the size of 'NameLen' because we don't statically check if
6213f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  // the size will fit in the field; the struct size won't decrease with a
6223f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  // shorter type anyway.
6233f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  size_t NameLen;
6243f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  const char *NameStr;
6253f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  const short *Members;
6263f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  const short *SubGroups;
627dbda513550aaea9f4106455a3fc6b584bacc77f2Benjamin Kramer
6283f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  StringRef getName() const {
6293f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar    return StringRef(NameStr, NameLen);
6303f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  }
6313f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar};
63233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
63333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#define GET_DIAG_ARRAYS
63433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticGroups.inc"
63533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#undef GET_DIAG_ARRAYS
63633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
63733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis// Second the table of options, sorted by name for fast binary lookup.
63833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstatic const WarningOption OptionTable[] = {
63933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#define GET_DIAG_TABLE
64033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#include "clang/Basic/DiagnosticGroups.inc"
64133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis#undef GET_DIAG_TABLE
64233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis};
64333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstatic const size_t OptionTableSize =
64433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidissizeof(OptionTable) / sizeof(OptionTable[0]);
64533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
64633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidisstatic bool WarningOptionCompare(const WarningOption &LHS,
64733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis                                 const WarningOption &RHS) {
648477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  return LHS.getName() < RHS.getName();
64933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
65033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
6513f8394669673451061f57ced81f0a2cae087f119Daniel Dunbarvoid DiagnosticIDs::getDiagnosticsInGroup(
6523f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  const WarningOption *Group,
6533f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  llvm::SmallVectorImpl<diag::kind> &Diags) const
6543f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar{
6553f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  // Add the members of the option diagnostic set.
65633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const short *Member = Group->Members) {
65733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    for (; *Member != -1; ++Member)
6583f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar      Diags.push_back(*Member);
65933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
66033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
6613f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  // Add the members of the subgroups.
66233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (const short *SubGroups = Group->SubGroups) {
66333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    for (; *SubGroups != (short)-1; ++SubGroups)
6643f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar      getDiagnosticsInGroup(&OptionTable[(short)*SubGroups], Diags);
66533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
66633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
66733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
6683f8394669673451061f57ced81f0a2cae087f119Daniel Dunbarbool DiagnosticIDs::getDiagnosticsInGroup(
6693f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  StringRef Group,
6703f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  llvm::SmallVectorImpl<diag::kind> &Diags) const
6713f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar{
672477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis  WarningOption Key = { Group.size(), Group.data(), 0, 0 };
67333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  const WarningOption *Found =
67433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  std::lower_bound(OptionTable, OptionTable + OptionTableSize, Key,
67533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis                   WarningOptionCompare);
67633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (Found == OptionTable + OptionTableSize ||
677477aab6782795e7472055a54108d2df270ce1a89Argyrios Kyrtzidis      Found->getName() != Group)
6783f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar    return true; // Option not found.
67933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
6803f8394669673451061f57ced81f0a2cae087f119Daniel Dunbar  getDiagnosticsInGroup(Found, Diags);
68133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return false;
68233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
68333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
684a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin KramerStringRef DiagnosticIDs::getNearestWarningOption(StringRef Group) {
685a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer  StringRef Best;
686a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer  unsigned BestDistance = 0;
687a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer  for (const WarningOption *i = OptionTable, *e = OptionTable + OptionTableSize;
688a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer       i != e; ++i) {
689a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer    // Don't suggest ignored warning flags.
690a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer    if (!i->Members && !i->SubGroups)
691a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer      continue;
692a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer
693a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer    unsigned Distance = i->getName().edit_distance(Group, true, BestDistance);
694a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer
695a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer    // Check if this is a better match.
696a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer    if (Best.empty() || Distance < BestDistance) {
697a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer      Best = i->getName();
698a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer      BestDistance = Distance;
699a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer    }
700a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer  }
701a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer
702a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer  return Best;
703a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer}
704a70cb9db9dd79ca9fc1febbb2f331004297664e0Benjamin Kramer
70533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// ProcessDiag - This is the method used to report a diagnostic that is
70633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis/// finally fully formed.
707d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikiebool DiagnosticIDs::ProcessDiag(DiagnosticsEngine &Diag) const {
70840847cfb58acc3cac7d68727df9455ac45f2e118David Blaikie  Diagnostic Info(&Diag);
70933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
71033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (Diag.SuppressAllDiagnostics)
71133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return false;
71233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
71333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  assert(Diag.getClient() && "DiagnosticClient not set!");
71433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
71533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // Figure out the diagnostic level of this message.
71633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  DiagnosticIDs::Level DiagLevel;
71733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  unsigned DiagID = Info.getID();
71833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
71933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (DiagID >= diag::DIAG_UPPER_LIMIT) {
72033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // Handle custom diagnostics, which cannot be mapped.
72133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    DiagLevel = CustomDiagInfo->getLevel(DiagID);
72233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  } else {
72333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // Get the class of the diagnostic.  If this is a NOTE, map it onto whatever
72433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // the diagnostic level was for the previous diagnostic so that it is
72533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // filtered the same as the previous diagnostic.
72633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    unsigned DiagClass = getBuiltinDiagClass(DiagID);
72733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (DiagClass == CLASS_NOTE) {
72833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      DiagLevel = DiagnosticIDs::Note;
72933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    } else {
7300827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis      DiagLevel = getDiagnosticLevel(DiagID, DiagClass, Info.getLocation(),
7310827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis                                     Diag);
73233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    }
73333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
73433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
73533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (DiagLevel != DiagnosticIDs::Note) {
73633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // Record that a fatal error occurred only when we see a second
73733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // non-note diagnostic. This allows notes to be attached to the
73833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // fatal error, but suppresses any diagnostics that follow those
73933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    // notes.
74033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (Diag.LastDiagLevel == DiagnosticIDs::Fatal)
74133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      Diag.FatalErrorOccurred = true;
74233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
74333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    Diag.LastDiagLevel = DiagLevel;
74433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
74533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
746c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis  // Update counts for DiagnosticErrorTrap even if a fatal error occurred.
747c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis  if (DiagLevel >= DiagnosticIDs::Error) {
748c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis    ++Diag.TrapNumErrorsOccurred;
749c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis    if (isUnrecoverable(DiagID))
750c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis      ++Diag.TrapNumUnrecoverableErrorsOccurred;
751c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis  }
752c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis
75333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // If a fatal error has already been emitted, silence all subsequent
75433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // diagnostics.
75533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (Diag.FatalErrorOccurred) {
75633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (DiagLevel >= DiagnosticIDs::Error &&
75733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis        Diag.Client->IncludeInDiagnosticCounts()) {
75833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      ++Diag.NumErrors;
75933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      ++Diag.NumErrorsSuppressed;
76033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    }
76133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
76233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return false;
76333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
76433e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
76533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // If the client doesn't care about this message, don't issue it.  If this is
76633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // a note and the last real diagnostic was ignored, ignore it too.
76733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (DiagLevel == DiagnosticIDs::Ignored ||
76833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      (DiagLevel == DiagnosticIDs::Note &&
76933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis       Diag.LastDiagLevel == DiagnosticIDs::Ignored))
77033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    return false;
77133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
77233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (DiagLevel >= DiagnosticIDs::Error) {
773c0a575f9b791a25c94b1c3c832dd73ec564646bbArgyrios Kyrtzidis    if (isUnrecoverable(DiagID))
77485bea9777d444ccbcc086d98f075fe666c2e865dDouglas Gregor      Diag.UnrecoverableErrorOccurred = true;
77585bea9777d444ccbcc086d98f075fe666c2e865dDouglas Gregor
77633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (Diag.Client->IncludeInDiagnosticCounts()) {
77733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      Diag.ErrorOccurred = true;
77833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      ++Diag.NumErrors;
77933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    }
78033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
781f1d594864b4aefc1fe21535cb43e8a81038f3f15Douglas Gregor    // If we've emitted a lot of errors, emit a fatal error instead of it to
782f1d594864b4aefc1fe21535cb43e8a81038f3f15Douglas Gregor    // stop a flood of bogus errors.
783f1d594864b4aefc1fe21535cb43e8a81038f3f15Douglas Gregor    if (Diag.ErrorLimit && Diag.NumErrors > Diag.ErrorLimit &&
784f1d594864b4aefc1fe21535cb43e8a81038f3f15Douglas Gregor        DiagLevel == DiagnosticIDs::Error) {
78533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      Diag.SetDelayedDiagnostic(diag::fatal_too_many_errors);
786f1d594864b4aefc1fe21535cb43e8a81038f3f15Douglas Gregor      return false;
787f1d594864b4aefc1fe21535cb43e8a81038f3f15Douglas Gregor    }
78833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
78933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
7904814fb560322daf009fda6226cffccb10bd44620Douglas Gregor  // If we have any Fix-Its, make sure that all of the Fix-Its point into
7913201f382956ed9beee9fb31229c2835c1208889cChandler Carruth  // source locations that aren't macro expansions. If any point into macro
7923201f382956ed9beee9fb31229c2835c1208889cChandler Carruth  // expansions, remove all of the Fix-Its.
7934814fb560322daf009fda6226cffccb10bd44620Douglas Gregor  for (unsigned I = 0, N = Diag.NumFixItHints; I != N; ++I) {
7944814fb560322daf009fda6226cffccb10bd44620Douglas Gregor    const FixItHint &FixIt = Diag.FixItHints[I];
7954814fb560322daf009fda6226cffccb10bd44620Douglas Gregor    if (FixIt.RemoveRange.isInvalid() ||
7964814fb560322daf009fda6226cffccb10bd44620Douglas Gregor        FixIt.RemoveRange.getBegin().isMacroID() ||
7974814fb560322daf009fda6226cffccb10bd44620Douglas Gregor        FixIt.RemoveRange.getEnd().isMacroID()) {
7984814fb560322daf009fda6226cffccb10bd44620Douglas Gregor      Diag.NumFixItHints = 0;
7994814fb560322daf009fda6226cffccb10bd44620Douglas Gregor      break;
8004814fb560322daf009fda6226cffccb10bd44620Douglas Gregor    }
8014814fb560322daf009fda6226cffccb10bd44620Douglas Gregor  }
8024814fb560322daf009fda6226cffccb10bd44620Douglas Gregor
80333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  // Finally, report it.
804d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie  Diag.Client->HandleDiagnostic((DiagnosticsEngine::Level)DiagLevel, Info);
80533e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  if (Diag.Client->IncludeInDiagnosticCounts()) {
80633e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis    if (DiagLevel == DiagnosticIDs::Warning)
80733e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis      ++Diag.NumWarnings;
80833e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  }
80933e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
81033e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  Diag.CurDiagID = ~0U;
81133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis
81233e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return true;
81333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis}
814923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall
815923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCallbool DiagnosticIDs::isUnrecoverable(unsigned DiagID) const {
816923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall  if (DiagID >= diag::DIAG_UPPER_LIMIT) {
817923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall    // Custom diagnostics.
818923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall    return CustomDiagInfo->getLevel(DiagID) >= DiagnosticIDs::Error;
819923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall  }
820923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall
821923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall  // Only errors may be unrecoverable.
82285bea9777d444ccbcc086d98f075fe666c2e865dDouglas Gregor  if (getBuiltinDiagClass(DiagID) < CLASS_ERROR)
823923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall    return false;
824923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall
825923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall  if (DiagID == diag::err_unavailable ||
826923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall      DiagID == diag::err_unavailable_message)
827923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall    return false;
828923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall
829f85e193739c953358c865005855253af4f68a497John McCall  // Currently we consider all ARC errors as recoverable.
830afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenek  if (isARCDiagnostic(DiagID))
831f85e193739c953358c865005855253af4f68a497John McCall    return false;
832f85e193739c953358c865005855253af4f68a497John McCall
833923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall  return true;
834923cd5744a724d9302ea12baa5476ad1c37f474dJohn McCall}
835afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenek
836afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenekbool DiagnosticIDs::isARCDiagnostic(unsigned DiagID) {
837afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenek  unsigned cat = getCategoryNumberForDiag(DiagID);
838afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenek  return DiagnosticIDs::getCategoryNameFromID(cat).startswith("ARC ");
839afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenek}
840afdc21ad774eff6ed6c464e3f2dff9e26ed3d0b0Ted Kremenek
841