blob: 9f076073eda7dc7a6f3f2b4260621a67d9417371 [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 Kremenek8b9d0272009-03-18 21:16:16 +000018#include "llvm/ADT/DenseSet.h"
Chris Lattner457cde42009-04-15 20:13:18 +000019#include "llvm/ADT/StringExtras.h"
Chris Lattneraf1465b2010-05-04 20:44:23 +000020#include "llvm/ADT/StringMap.h"
Chris Lattner457cde42009-04-15 20:13:18 +000021#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//===----------------------------------------------------------------------===//
Chris Lattneraf1465b2010-05-04 20:44:23 +000027// Diagnostic category computation code.
28//===----------------------------------------------------------------------===//
29
30namespace {
31class DiagGroupParentMap {
Chris Lattner67db8832010-12-13 00:23:57 +000032 RecordKeeper &Records;
Chris Lattneraf1465b2010-05-04 20:44:23 +000033 std::map<const Record*, std::vector<Record*> > Mapping;
34public:
Chris Lattner67db8832010-12-13 00:23:57 +000035 DiagGroupParentMap(RecordKeeper &records) : Records(records) {
Chris Lattneraf1465b2010-05-04 20:44:23 +000036 std::vector<Record*> DiagGroups
37 = Records.getAllDerivedDefinitions("DiagGroup");
38 for (unsigned i = 0, e = DiagGroups.size(); i != e; ++i) {
39 std::vector<Record*> SubGroups =
40 DiagGroups[i]->getValueAsListOfDefs("SubGroups");
41 for (unsigned j = 0, e = SubGroups.size(); j != e; ++j)
42 Mapping[SubGroups[j]].push_back(DiagGroups[i]);
43 }
44 }
45
46 const std::vector<Record*> &getParents(const Record *Group) {
47 return Mapping[Group];
48 }
49};
50} // end anonymous namespace.
51
52
53static std::string
54getCategoryFromDiagGroup(const Record *Group,
55 DiagGroupParentMap &DiagGroupParents) {
56 // If the DiagGroup has a category, return it.
57 std::string CatName = Group->getValueAsString("CategoryName");
58 if (!CatName.empty()) return CatName;
59
60 // The diag group may the subgroup of one or more other diagnostic groups,
61 // check these for a category as well.
62 const std::vector<Record*> &Parents = DiagGroupParents.getParents(Group);
63 for (unsigned i = 0, e = Parents.size(); i != e; ++i) {
64 CatName = getCategoryFromDiagGroup(Parents[i], DiagGroupParents);
65 if (!CatName.empty()) return CatName;
66 }
67 return "";
68}
69
70/// getDiagnosticCategory - Return the category that the specified diagnostic
71/// lives in.
72static std::string getDiagnosticCategory(const Record *R,
73 DiagGroupParentMap &DiagGroupParents) {
Chris Lattnerec5a0b32010-05-24 21:55:47 +000074 // If the diagnostic is in a group, and that group has a category, use it.
75 if (DefInit *Group = dynamic_cast<DefInit*>(R->getValueInit("Group"))) {
76 // Check the diagnostic's diag group for a category.
77 std::string CatName = getCategoryFromDiagGroup(Group->getDef(),
78 DiagGroupParents);
79 if (!CatName.empty()) return CatName;
80 }
81
Chris Lattneraf1465b2010-05-04 20:44:23 +000082 // If the diagnostic itself has a category, get it.
Chris Lattnerec5a0b32010-05-24 21:55:47 +000083 return R->getValueAsString("CategoryName");
Chris Lattneraf1465b2010-05-04 20:44:23 +000084}
85
86namespace {
87 class DiagCategoryIDMap {
Chris Lattner67db8832010-12-13 00:23:57 +000088 RecordKeeper &Records;
Chris Lattneraf1465b2010-05-04 20:44:23 +000089 StringMap<unsigned> CategoryIDs;
90 std::vector<std::string> CategoryStrings;
91 public:
Chris Lattner67db8832010-12-13 00:23:57 +000092 DiagCategoryIDMap(RecordKeeper &records) : Records(records) {
93 DiagGroupParentMap ParentInfo(Records);
Chris Lattneraf1465b2010-05-04 20:44:23 +000094
95 // The zero'th category is "".
96 CategoryStrings.push_back("");
97 CategoryIDs[""] = 0;
98
99 std::vector<Record*> Diags =
100 Records.getAllDerivedDefinitions("Diagnostic");
101 for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
102 std::string Category = getDiagnosticCategory(Diags[i], ParentInfo);
103 if (Category.empty()) continue; // Skip diags with no category.
104
105 unsigned &ID = CategoryIDs[Category];
106 if (ID != 0) continue; // Already seen.
107
108 ID = CategoryStrings.size();
109 CategoryStrings.push_back(Category);
110 }
111 }
112
113 unsigned getID(StringRef CategoryString) {
114 return CategoryIDs[CategoryString];
115 }
116
117 typedef std::vector<std::string>::iterator iterator;
118 iterator begin() { return CategoryStrings.begin(); }
119 iterator end() { return CategoryStrings.end(); }
120 };
121} // end anonymous namespace.
122
123
124
125//===----------------------------------------------------------------------===//
Ted Kremenek8b9d0272009-03-18 21:16:16 +0000126// Warning Tables (.inc file) generation.
127//===----------------------------------------------------------------------===//
128
Daniel Dunbar1a551802009-07-03 00:10:29 +0000129void ClangDiagsDefsEmitter::run(raw_ostream &OS) {
Ted Kremenek557f7f82009-03-13 22:53:41 +0000130 // Write the #if guard
131 if (!Component.empty()) {
Chris Lattner9371c332009-04-15 20:16:12 +0000132 std::string ComponentName = UppercaseString(Component);
133 OS << "#ifdef " << ComponentName << "START\n";
134 OS << "__" << ComponentName << "START = DIAG_START_" << ComponentName
135 << ",\n";
136 OS << "#undef " << ComponentName << "START\n";
Kovarththanan Rajaratname7e891f2010-03-18 13:16:38 +0000137 OS << "#endif\n\n";
Ted Kremenek557f7f82009-03-13 22:53:41 +0000138 }
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000139
140 const std::vector<Record*> &Diags =
141 Records.getAllDerivedDefinitions("Diagnostic");
Ted Kremenek557f7f82009-03-13 22:53:41 +0000142
Chris Lattner67db8832010-12-13 00:23:57 +0000143 DiagCategoryIDMap CategoryIDs(Records);
144 DiagGroupParentMap DGParentMap(Records);
Chris Lattneraf1465b2010-05-04 20:44:23 +0000145
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000146 for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
147 const Record &R = *Diags[i];
Chris Lattnerf1624aa2009-04-15 06:26:49 +0000148 // Filter by component.
149 if (!Component.empty() && Component != R.getValueAsString("Component"))
150 continue;
Ted Kremenek557f7f82009-03-13 22:53:41 +0000151
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000152 OS << "DIAG(" << R.getName() << ", ";
153 OS << R.getValueAsDef("Class")->getName();
154 OS << ", diag::" << R.getValueAsDef("DefaultMapping")->getName();
Chris Lattnerbfc01042009-04-16 05:52:18 +0000155
156 // Description string.
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000157 OS << ", \"";
Daniel Dunbar3446cf12009-10-17 20:43:19 +0000158 OS.write_escaped(R.getValueAsString("Text")) << '"';
Chris Lattnerbfc01042009-04-16 05:52:18 +0000159
160 // Warning associated with the diagnostic.
161 if (DefInit *DI = dynamic_cast<DefInit*>(R.getValueInit("Group"))) {
Daniel Dunbar3446cf12009-10-17 20:43:19 +0000162 OS << ", \"";
163 OS.write_escaped(DI->getDef()->getValueAsString("GroupName")) << '"';
Chris Lattnerbfc01042009-04-16 05:52:18 +0000164 } else {
165 OS << ", 0";
166 }
Douglas Gregor956244b2009-06-14 07:24:49 +0000167
168 // SFINAE bit
169 if (R.getValueAsBit("SFINAE"))
170 OS << ", true";
171 else
172 OS << ", false";
Douglas Gregor75f6e892011-01-27 21:06:17 +0000173
174 // Access control bit
175 if (R.getValueAsBit("AccessControl"))
176 OS << ", true";
177 else
178 OS << ", false";
179
Chris Lattneraf1465b2010-05-04 20:44:23 +0000180 // Category number.
181 OS << ", " << CategoryIDs.getID(getDiagnosticCategory(&R, DGParentMap));
Chris Lattnerbfc01042009-04-16 05:52:18 +0000182 OS << ")\n";
Ted Kremenek04a847e2009-03-13 22:21:17 +0000183 }
Ted Kremenek557f7f82009-03-13 22:53:41 +0000184}
Ted Kremenek8b9d0272009-03-18 21:16:16 +0000185
186//===----------------------------------------------------------------------===//
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000187// Warning Group Tables generation
Ted Kremenek8b9d0272009-03-18 21:16:16 +0000188//===----------------------------------------------------------------------===//
189
Chris Lattnerd0d34942009-04-16 00:53:25 +0000190struct GroupInfo {
191 std::vector<const Record*> DiagsInGroup;
192 std::vector<std::string> SubGroups;
Chris Lattner9efac562009-04-16 03:16:12 +0000193 unsigned IDNo;
Chris Lattnerd0d34942009-04-16 00:53:25 +0000194};
195
Daniel Dunbar1a551802009-07-03 00:10:29 +0000196void ClangDiagGroupsEmitter::run(raw_ostream &OS) {
Chris Lattneraf1465b2010-05-04 20:44:23 +0000197 // Compute a mapping from a DiagGroup to all of its parents.
Chris Lattner67db8832010-12-13 00:23:57 +0000198 DiagGroupParentMap DGParentMap(Records);
Chris Lattneraf1465b2010-05-04 20:44:23 +0000199
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000200 // Invert the 1-[0/1] mapping of diags to group into a one to many mapping of
201 // groups to diags in the group.
Chris Lattnerd0d34942009-04-16 00:53:25 +0000202 std::map<std::string, GroupInfo> DiagsInGroup;
Chris Lattner457cde42009-04-15 20:13:18 +0000203
Chris Lattnera0ed8ca2009-04-15 22:33:02 +0000204 std::vector<Record*> Diags =
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000205 Records.getAllDerivedDefinitions("Diagnostic");
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000206 for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
207 const Record *R = Diags[i];
208 DefInit *DI = dynamic_cast<DefInit*>(R->getValueInit("Group"));
209 if (DI == 0) continue;
Chris Lattnerd0d34942009-04-16 00:53:25 +0000210 std::string GroupName = DI->getDef()->getValueAsString("GroupName");
211 DiagsInGroup[GroupName].DiagsInGroup.push_back(R);
Ted Kremenek8b9d0272009-03-18 21:16:16 +0000212 }
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000213
Chris Lattnera0ed8ca2009-04-15 22:33:02 +0000214 // Add all DiagGroup's to the DiagsInGroup list to make sure we pick up empty
215 // groups (these are warnings that GCC supports that clang never produces).
Chris Lattneraf1465b2010-05-04 20:44:23 +0000216 std::vector<Record*> DiagGroups
217 = Records.getAllDerivedDefinitions("DiagGroup");
218 for (unsigned i = 0, e = DiagGroups.size(); i != e; ++i) {
219 Record *Group = DiagGroups[i];
Chris Lattnerd0d34942009-04-16 00:53:25 +0000220 GroupInfo &GI = DiagsInGroup[Group->getValueAsString("GroupName")];
221
222 std::vector<Record*> SubGroups = Group->getValueAsListOfDefs("SubGroups");
223 for (unsigned j = 0, e = SubGroups.size(); j != e; ++j)
224 GI.SubGroups.push_back(SubGroups[j]->getValueAsString("GroupName"));
Chris Lattnera0ed8ca2009-04-15 22:33:02 +0000225 }
226
Chris Lattner9efac562009-04-16 03:16:12 +0000227 // Assign unique ID numbers to the groups.
228 unsigned IDNo = 0;
229 for (std::map<std::string, GroupInfo>::iterator
230 I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I, ++IDNo)
231 I->second.IDNo = IDNo;
232
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000233 // Walk through the groups emitting an array for each diagnostic of the diags
234 // that are mapped to.
235 OS << "\n#ifdef GET_DIAG_ARRAYS\n";
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000236 unsigned MaxLen = 0;
Chris Lattnerd0d34942009-04-16 00:53:25 +0000237 for (std::map<std::string, GroupInfo>::iterator
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000238 I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) {
239 MaxLen = std::max(MaxLen, (unsigned)I->first.size());
Ted Kremenek3ac82fe2009-03-18 21:28:47 +0000240
Chris Lattnerd0d34942009-04-16 00:53:25 +0000241 std::vector<const Record*> &V = I->second.DiagsInGroup;
Chris Lattner9efac562009-04-16 03:16:12 +0000242 if (!V.empty()) {
243 OS << "static const short DiagArray" << I->second.IDNo << "[] = { ";
244 for (unsigned i = 0, e = V.size(); i != e; ++i)
245 OS << "diag::" << V[i]->getName() << ", ";
246 OS << "-1 };\n";
247 }
Chris Lattnerd0d34942009-04-16 00:53:25 +0000248
Chris Lattner9efac562009-04-16 03:16:12 +0000249 const std::vector<std::string> &SubGroups = I->second.SubGroups;
250 if (!SubGroups.empty()) {
Chandler Carruth93ca7b62010-05-13 07:43:47 +0000251 OS << "static const short DiagSubGroup" << I->second.IDNo << "[] = { ";
Chris Lattner9efac562009-04-16 03:16:12 +0000252 for (unsigned i = 0, e = SubGroups.size(); i != e; ++i) {
253 std::map<std::string, GroupInfo>::iterator RI =
254 DiagsInGroup.find(SubGroups[i]);
255 assert(RI != DiagsInGroup.end() && "Referenced without existing?");
256 OS << RI->second.IDNo << ", ";
257 }
258 OS << "-1 };\n";
259 }
Ted Kremenek3ac82fe2009-03-18 21:28:47 +0000260 }
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000261 OS << "#endif // GET_DIAG_ARRAYS\n\n";
262
263 // Emit the table now.
264 OS << "\n#ifdef GET_DIAG_TABLE\n";
Chris Lattnerd0d34942009-04-16 00:53:25 +0000265 for (std::map<std::string, GroupInfo>::iterator
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000266 I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) {
Chris Lattnerd0d34942009-04-16 00:53:25 +0000267 // Group option string.
Daniel Dunbar3446cf12009-10-17 20:43:19 +0000268 OS << " { \"";
269 OS.write_escaped(I->first) << "\","
270 << std::string(MaxLen-I->first.size()+1, ' ');
Chris Lattnerd0d34942009-04-16 00:53:25 +0000271
272 // Diagnostics in the group.
273 if (I->second.DiagsInGroup.empty())
274 OS << "0, ";
275 else
Chris Lattner9efac562009-04-16 03:16:12 +0000276 OS << "DiagArray" << I->second.IDNo << ", ";
Chris Lattnerd0d34942009-04-16 00:53:25 +0000277
Chris Lattner9efac562009-04-16 03:16:12 +0000278 // Subgroups.
279 if (I->second.SubGroups.empty())
280 OS << 0;
281 else
282 OS << "DiagSubGroup" << I->second.IDNo;
Chris Lattnerd0d34942009-04-16 00:53:25 +0000283 OS << " },\n";
Chris Lattner2f8c1d52009-04-15 20:55:08 +0000284 }
285 OS << "#endif // GET_DIAG_TABLE\n\n";
Chris Lattneraf1465b2010-05-04 20:44:23 +0000286
287 // Emit the category table next.
Chris Lattner67db8832010-12-13 00:23:57 +0000288 DiagCategoryIDMap CategoriesByID(Records);
Chris Lattneraf1465b2010-05-04 20:44:23 +0000289 OS << "\n#ifdef GET_CATEGORY_TABLE\n";
290 for (DiagCategoryIDMap::iterator I = CategoriesByID.begin(),
291 E = CategoriesByID.end(); I != E; ++I)
292 OS << "CATEGORY(\"" << *I << "\")\n";
293 OS << "#endif // GET_CATEGORY_TABLE\n\n";
Ted Kremenek8b9d0272009-03-18 21:16:16 +0000294}