blob: 919ae9befed32b53d749cc01291fe5d323123b4c [file] [log] [blame]
Ted Kremenek04a847e2009-03-13 22:21:17 +00001//=- ClangDiagnosticsEmitter.cpp - Generate Clang diagnostics tables -*- C++ -*-
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// These tablegen backends emit Clang diagnostics tables.
11//
12//===----------------------------------------------------------------------===//
13
14#include "ClangDiagnosticsEmitter.h"
15#include "Record.h"
16#include "llvm/Support/Debug.h"
Ted Kremenek0f9d5102009-03-18 21:36:46 +000017#include "llvm/Support/Compiler.h"
Ted Kremenek04a847e2009-03-13 22:21:17 +000018#include "llvm/Support/Streams.h"
Ted Kremenek8b9d0272009-03-18 21:16:16 +000019#include "llvm/ADT/DenseSet.h"
Chris Lattner457cde42009-04-15 20:13:18 +000020#include "llvm/ADT/StringExtras.h"
21#include "llvm/ADT/VectorExtras.h"
Ted Kremenek8b9d0272009-03-18 21:16:16 +000022#include <set>
23#include <map>
Ted Kremenek04a847e2009-03-13 22:21:17 +000024using namespace llvm;
Ted Kremenek8b9d0272009-03-18 21:16:16 +000025
26//===----------------------------------------------------------------------===//
Ted Kremenek8b9d0272009-03-18 21:16:16 +000027// Warning Tables (.inc file) generation.
28//===----------------------------------------------------------------------===//
29
Ted Kremenek04a847e2009-03-13 22:21:17 +000030void ClangDiagsDefsEmitter::run(std::ostream &OS) {
Ted Kremenek557f7f82009-03-13 22:53:41 +000031 // Write the #if guard
32 if (!Component.empty()) {
Chris Lattner9371c332009-04-15 20:16:12 +000033 std::string ComponentName = UppercaseString(Component);
34 OS << "#ifdef " << ComponentName << "START\n";
35 OS << "__" << ComponentName << "START = DIAG_START_" << ComponentName
36 << ",\n";
37 OS << "#undef " << ComponentName << "START\n";
38 OS << "#endif\n";
Ted Kremenek557f7f82009-03-13 22:53:41 +000039 }
Chris Lattner2f8c1d52009-04-15 20:55:08 +000040
41 const std::vector<Record*> &Diags =
42 Records.getAllDerivedDefinitions("Diagnostic");
Ted Kremenek557f7f82009-03-13 22:53:41 +000043
Chris Lattner2f8c1d52009-04-15 20:55:08 +000044 for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
45 const Record &R = *Diags[i];
Chris Lattnerf1624aa2009-04-15 06:26:49 +000046 // Filter by component.
47 if (!Component.empty() && Component != R.getValueAsString("Component"))
48 continue;
Ted Kremenek557f7f82009-03-13 22:53:41 +000049
Chris Lattner2f8c1d52009-04-15 20:55:08 +000050 OS << "DIAG(" << R.getName() << ", ";
51 OS << R.getValueAsDef("Class")->getName();
52 OS << ", diag::" << R.getValueAsDef("DefaultMapping")->getName();
Chris Lattnerbfc01042009-04-16 05:52:18 +000053
54 // Description string.
Chris Lattner2f8c1d52009-04-15 20:55:08 +000055 OS << ", \"";
56 std::string S = R.getValueAsString("Text");
57 EscapeString(S);
Chris Lattnerbfc01042009-04-16 05:52:18 +000058 OS << S << "\"";
59
60 // Warning associated with the diagnostic.
61 if (DefInit *DI = dynamic_cast<DefInit*>(R.getValueInit("Group"))) {
62 S = DI->getDef()->getValueAsString("GroupName");
63 EscapeString(S);
64 OS << ", \"" << S << "\"";
65 } else {
66 OS << ", 0";
67 }
68 OS << ")\n";
Ted Kremenek04a847e2009-03-13 22:21:17 +000069 }
Ted Kremenek557f7f82009-03-13 22:53:41 +000070}
Ted Kremenek8b9d0272009-03-18 21:16:16 +000071
72//===----------------------------------------------------------------------===//
Chris Lattner2f8c1d52009-04-15 20:55:08 +000073// Warning Group Tables generation
Ted Kremenek8b9d0272009-03-18 21:16:16 +000074//===----------------------------------------------------------------------===//
75
Chris Lattnerd0d34942009-04-16 00:53:25 +000076struct GroupInfo {
77 std::vector<const Record*> DiagsInGroup;
78 std::vector<std::string> SubGroups;
Chris Lattner9efac562009-04-16 03:16:12 +000079 unsigned IDNo;
Chris Lattnerd0d34942009-04-16 00:53:25 +000080};
81
Chris Lattnerac9e7da2009-04-15 20:02:32 +000082void ClangDiagGroupsEmitter::run(std::ostream &OS) {
Chris Lattner2f8c1d52009-04-15 20:55:08 +000083 // Invert the 1-[0/1] mapping of diags to group into a one to many mapping of
84 // groups to diags in the group.
Chris Lattnerd0d34942009-04-16 00:53:25 +000085 std::map<std::string, GroupInfo> DiagsInGroup;
Chris Lattner457cde42009-04-15 20:13:18 +000086
Chris Lattnera0ed8ca2009-04-15 22:33:02 +000087 std::vector<Record*> Diags =
Chris Lattner2f8c1d52009-04-15 20:55:08 +000088 Records.getAllDerivedDefinitions("Diagnostic");
Chris Lattner2f8c1d52009-04-15 20:55:08 +000089 for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
90 const Record *R = Diags[i];
91 DefInit *DI = dynamic_cast<DefInit*>(R->getValueInit("Group"));
92 if (DI == 0) continue;
Chris Lattnerd0d34942009-04-16 00:53:25 +000093 std::string GroupName = DI->getDef()->getValueAsString("GroupName");
94 DiagsInGroup[GroupName].DiagsInGroup.push_back(R);
Ted Kremenek8b9d0272009-03-18 21:16:16 +000095 }
Chris Lattner2f8c1d52009-04-15 20:55:08 +000096
Chris Lattnera0ed8ca2009-04-15 22:33:02 +000097 // Add all DiagGroup's to the DiagsInGroup list to make sure we pick up empty
98 // groups (these are warnings that GCC supports that clang never produces).
99 Diags = Records.getAllDerivedDefinitions("DiagGroup");
100 for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
Chris Lattnerd0d34942009-04-16 00:53:25 +0000101 Record *Group = Diags[i];
102 GroupInfo &GI = DiagsInGroup[Group->getValueAsString("GroupName")];
103
104 std::vector<Record*> SubGroups = Group->getValueAsListOfDefs("SubGroups");
105 for (unsigned j = 0, e = SubGroups.size(); j != e; ++j)
106 GI.SubGroups.push_back(SubGroups[j]->getValueAsString("GroupName"));
Chris Lattnera0ed8ca2009-04-15 22:33:02 +0000107 }
108
Chris Lattner9efac562009-04-16 03:16:12 +0000109 // Assign unique ID numbers to the groups.
110 unsigned IDNo = 0;
111 for (std::map<std::string, GroupInfo>::iterator
112 I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I, ++IDNo)
113 I->second.IDNo = IDNo;
114
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000115 // Walk through the groups emitting an array for each diagnostic of the diags
116 // that are mapped to.
117 OS << "\n#ifdef GET_DIAG_ARRAYS\n";
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000118 unsigned MaxLen = 0;
Chris Lattnerd0d34942009-04-16 00:53:25 +0000119 for (std::map<std::string, GroupInfo>::iterator
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000120 I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) {
121 MaxLen = std::max(MaxLen, (unsigned)I->first.size());
Ted Kremenek3ac82fe2009-03-18 21:28:47 +0000122
Chris Lattnerd0d34942009-04-16 00:53:25 +0000123 std::vector<const Record*> &V = I->second.DiagsInGroup;
Chris Lattner9efac562009-04-16 03:16:12 +0000124 if (!V.empty()) {
125 OS << "static const short DiagArray" << I->second.IDNo << "[] = { ";
126 for (unsigned i = 0, e = V.size(); i != e; ++i)
127 OS << "diag::" << V[i]->getName() << ", ";
128 OS << "-1 };\n";
129 }
Chris Lattnerd0d34942009-04-16 00:53:25 +0000130
Chris Lattner9efac562009-04-16 03:16:12 +0000131 const std::vector<std::string> &SubGroups = I->second.SubGroups;
132 if (!SubGroups.empty()) {
133 OS << "static const char DiagSubGroup" << I->second.IDNo << "[] = { ";
134 for (unsigned i = 0, e = SubGroups.size(); i != e; ++i) {
135 std::map<std::string, GroupInfo>::iterator RI =
136 DiagsInGroup.find(SubGroups[i]);
137 assert(RI != DiagsInGroup.end() && "Referenced without existing?");
138 OS << RI->second.IDNo << ", ";
139 }
140 OS << "-1 };\n";
141 }
Ted Kremenek3ac82fe2009-03-18 21:28:47 +0000142 }
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000143 OS << "#endif // GET_DIAG_ARRAYS\n\n";
144
145 // Emit the table now.
146 OS << "\n#ifdef GET_DIAG_TABLE\n";
Chris Lattnerd0d34942009-04-16 00:53:25 +0000147 for (std::map<std::string, GroupInfo>::iterator
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000148 I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) {
149 std::string S = I->first;
150 EscapeString(S);
Chris Lattnerd0d34942009-04-16 00:53:25 +0000151 // Group option string.
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000152 OS << " { \"" << S << "\","
Chris Lattnerd0d34942009-04-16 00:53:25 +0000153 << std::string(MaxLen-I->first.size()+1, ' ');
154
155 // Diagnostics in the group.
156 if (I->second.DiagsInGroup.empty())
157 OS << "0, ";
158 else
Chris Lattner9efac562009-04-16 03:16:12 +0000159 OS << "DiagArray" << I->second.IDNo << ", ";
Chris Lattnerd0d34942009-04-16 00:53:25 +0000160
Chris Lattner9efac562009-04-16 03:16:12 +0000161 // Subgroups.
162 if (I->second.SubGroups.empty())
163 OS << 0;
164 else
165 OS << "DiagSubGroup" << I->second.IDNo;
Chris Lattnerd0d34942009-04-16 00:53:25 +0000166 OS << " },\n";
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000167 }
168 OS << "#endif // GET_DIAG_TABLE\n\n";
Ted Kremenek8b9d0272009-03-18 21:16:16 +0000169}