Ted Kremenek | 04a847e | 2009-03-13 22:21:17 +0000 | [diff] [blame] | 1 | //=- 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 Kremenek | 0f9d510 | 2009-03-18 21:36:46 +0000 | [diff] [blame] | 17 | #include "llvm/Support/Compiler.h" |
Ted Kremenek | 04a847e | 2009-03-13 22:21:17 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Streams.h" |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/DenseSet.h" |
Chris Lattner | 457cde4 | 2009-04-15 20:13:18 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/StringExtras.h" |
| 21 | #include "llvm/ADT/VectorExtras.h" |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 22 | #include <set> |
| 23 | #include <map> |
Ted Kremenek | 04a847e | 2009-03-13 22:21:17 +0000 | [diff] [blame] | 24 | using namespace llvm; |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 25 | |
| 26 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 27 | // Warning Tables (.inc file) generation. |
| 28 | //===----------------------------------------------------------------------===// |
| 29 | |
Ted Kremenek | 04a847e | 2009-03-13 22:21:17 +0000 | [diff] [blame] | 30 | void ClangDiagsDefsEmitter::run(std::ostream &OS) { |
Ted Kremenek | 557f7f8 | 2009-03-13 22:53:41 +0000 | [diff] [blame] | 31 | // Write the #if guard |
| 32 | if (!Component.empty()) { |
Chris Lattner | 9371c33 | 2009-04-15 20:16:12 +0000 | [diff] [blame] | 33 | 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 Kremenek | 557f7f8 | 2009-03-13 22:53:41 +0000 | [diff] [blame] | 39 | } |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 40 | |
| 41 | const std::vector<Record*> &Diags = |
| 42 | Records.getAllDerivedDefinitions("Diagnostic"); |
Ted Kremenek | 557f7f8 | 2009-03-13 22:53:41 +0000 | [diff] [blame] | 43 | |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 44 | for (unsigned i = 0, e = Diags.size(); i != e; ++i) { |
| 45 | const Record &R = *Diags[i]; |
Chris Lattner | f1624aa | 2009-04-15 06:26:49 +0000 | [diff] [blame] | 46 | // Filter by component. |
| 47 | if (!Component.empty() && Component != R.getValueAsString("Component")) |
| 48 | continue; |
Ted Kremenek | 557f7f8 | 2009-03-13 22:53:41 +0000 | [diff] [blame] | 49 | |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 50 | OS << "DIAG(" << R.getName() << ", "; |
| 51 | OS << R.getValueAsDef("Class")->getName(); |
| 52 | OS << ", diag::" << R.getValueAsDef("DefaultMapping")->getName(); |
Chris Lattner | bfc0104 | 2009-04-16 05:52:18 +0000 | [diff] [blame] | 53 | |
| 54 | // Description string. |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 55 | OS << ", \""; |
| 56 | std::string S = R.getValueAsString("Text"); |
| 57 | EscapeString(S); |
Chris Lattner | bfc0104 | 2009-04-16 05:52:18 +0000 | [diff] [blame] | 58 | 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 | } |
Douglas Gregor | 956244b | 2009-06-14 07:24:49 +0000 | [diff] [blame] | 68 | |
| 69 | // SFINAE bit |
| 70 | if (R.getValueAsBit("SFINAE")) |
| 71 | OS << ", true"; |
| 72 | else |
| 73 | OS << ", false"; |
Chris Lattner | bfc0104 | 2009-04-16 05:52:18 +0000 | [diff] [blame] | 74 | OS << ")\n"; |
Ted Kremenek | 04a847e | 2009-03-13 22:21:17 +0000 | [diff] [blame] | 75 | } |
Ted Kremenek | 557f7f8 | 2009-03-13 22:53:41 +0000 | [diff] [blame] | 76 | } |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 77 | |
| 78 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 79 | // Warning Group Tables generation |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 80 | //===----------------------------------------------------------------------===// |
| 81 | |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 82 | struct GroupInfo { |
| 83 | std::vector<const Record*> DiagsInGroup; |
| 84 | std::vector<std::string> SubGroups; |
Chris Lattner | 9efac56 | 2009-04-16 03:16:12 +0000 | [diff] [blame] | 85 | unsigned IDNo; |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 86 | }; |
| 87 | |
Chris Lattner | ac9e7da | 2009-04-15 20:02:32 +0000 | [diff] [blame] | 88 | void ClangDiagGroupsEmitter::run(std::ostream &OS) { |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 89 | // Invert the 1-[0/1] mapping of diags to group into a one to many mapping of |
| 90 | // groups to diags in the group. |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 91 | std::map<std::string, GroupInfo> DiagsInGroup; |
Chris Lattner | 457cde4 | 2009-04-15 20:13:18 +0000 | [diff] [blame] | 92 | |
Chris Lattner | a0ed8ca | 2009-04-15 22:33:02 +0000 | [diff] [blame] | 93 | std::vector<Record*> Diags = |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 94 | Records.getAllDerivedDefinitions("Diagnostic"); |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 95 | for (unsigned i = 0, e = Diags.size(); i != e; ++i) { |
| 96 | const Record *R = Diags[i]; |
| 97 | DefInit *DI = dynamic_cast<DefInit*>(R->getValueInit("Group")); |
| 98 | if (DI == 0) continue; |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 99 | std::string GroupName = DI->getDef()->getValueAsString("GroupName"); |
| 100 | DiagsInGroup[GroupName].DiagsInGroup.push_back(R); |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 101 | } |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 102 | |
Chris Lattner | a0ed8ca | 2009-04-15 22:33:02 +0000 | [diff] [blame] | 103 | // Add all DiagGroup's to the DiagsInGroup list to make sure we pick up empty |
| 104 | // groups (these are warnings that GCC supports that clang never produces). |
| 105 | Diags = Records.getAllDerivedDefinitions("DiagGroup"); |
| 106 | for (unsigned i = 0, e = Diags.size(); i != e; ++i) { |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 107 | Record *Group = Diags[i]; |
| 108 | GroupInfo &GI = DiagsInGroup[Group->getValueAsString("GroupName")]; |
| 109 | |
| 110 | std::vector<Record*> SubGroups = Group->getValueAsListOfDefs("SubGroups"); |
| 111 | for (unsigned j = 0, e = SubGroups.size(); j != e; ++j) |
| 112 | GI.SubGroups.push_back(SubGroups[j]->getValueAsString("GroupName")); |
Chris Lattner | a0ed8ca | 2009-04-15 22:33:02 +0000 | [diff] [blame] | 113 | } |
| 114 | |
Chris Lattner | 9efac56 | 2009-04-16 03:16:12 +0000 | [diff] [blame] | 115 | // Assign unique ID numbers to the groups. |
| 116 | unsigned IDNo = 0; |
| 117 | for (std::map<std::string, GroupInfo>::iterator |
| 118 | I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I, ++IDNo) |
| 119 | I->second.IDNo = IDNo; |
| 120 | |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 121 | // Walk through the groups emitting an array for each diagnostic of the diags |
| 122 | // that are mapped to. |
| 123 | OS << "\n#ifdef GET_DIAG_ARRAYS\n"; |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 124 | unsigned MaxLen = 0; |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 125 | for (std::map<std::string, GroupInfo>::iterator |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 126 | I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) { |
| 127 | MaxLen = std::max(MaxLen, (unsigned)I->first.size()); |
Ted Kremenek | 3ac82fe | 2009-03-18 21:28:47 +0000 | [diff] [blame] | 128 | |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 129 | std::vector<const Record*> &V = I->second.DiagsInGroup; |
Chris Lattner | 9efac56 | 2009-04-16 03:16:12 +0000 | [diff] [blame] | 130 | if (!V.empty()) { |
| 131 | OS << "static const short DiagArray" << I->second.IDNo << "[] = { "; |
| 132 | for (unsigned i = 0, e = V.size(); i != e; ++i) |
| 133 | OS << "diag::" << V[i]->getName() << ", "; |
| 134 | OS << "-1 };\n"; |
| 135 | } |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 136 | |
Chris Lattner | 9efac56 | 2009-04-16 03:16:12 +0000 | [diff] [blame] | 137 | const std::vector<std::string> &SubGroups = I->second.SubGroups; |
| 138 | if (!SubGroups.empty()) { |
| 139 | OS << "static const char DiagSubGroup" << I->second.IDNo << "[] = { "; |
| 140 | for (unsigned i = 0, e = SubGroups.size(); i != e; ++i) { |
| 141 | std::map<std::string, GroupInfo>::iterator RI = |
| 142 | DiagsInGroup.find(SubGroups[i]); |
| 143 | assert(RI != DiagsInGroup.end() && "Referenced without existing?"); |
| 144 | OS << RI->second.IDNo << ", "; |
| 145 | } |
| 146 | OS << "-1 };\n"; |
| 147 | } |
Ted Kremenek | 3ac82fe | 2009-03-18 21:28:47 +0000 | [diff] [blame] | 148 | } |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 149 | OS << "#endif // GET_DIAG_ARRAYS\n\n"; |
| 150 | |
| 151 | // Emit the table now. |
| 152 | OS << "\n#ifdef GET_DIAG_TABLE\n"; |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 153 | for (std::map<std::string, GroupInfo>::iterator |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 154 | I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) { |
| 155 | std::string S = I->first; |
| 156 | EscapeString(S); |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 157 | // Group option string. |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 158 | OS << " { \"" << S << "\"," |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 159 | << std::string(MaxLen-I->first.size()+1, ' '); |
| 160 | |
| 161 | // Diagnostics in the group. |
| 162 | if (I->second.DiagsInGroup.empty()) |
| 163 | OS << "0, "; |
| 164 | else |
Chris Lattner | 9efac56 | 2009-04-16 03:16:12 +0000 | [diff] [blame] | 165 | OS << "DiagArray" << I->second.IDNo << ", "; |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 166 | |
Chris Lattner | 9efac56 | 2009-04-16 03:16:12 +0000 | [diff] [blame] | 167 | // Subgroups. |
| 168 | if (I->second.SubGroups.empty()) |
| 169 | OS << 0; |
| 170 | else |
| 171 | OS << "DiagSubGroup" << I->second.IDNo; |
Chris Lattner | d0d3494 | 2009-04-16 00:53:25 +0000 | [diff] [blame] | 172 | OS << " },\n"; |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 173 | } |
| 174 | OS << "#endif // GET_DIAG_TABLE\n\n"; |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 175 | } |