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(); |
| 53 | OS << ", \""; |
| 54 | std::string S = R.getValueAsString("Text"); |
| 55 | EscapeString(S); |
| 56 | OS << S << "\")\n"; |
Ted Kremenek | 04a847e | 2009-03-13 22:21:17 +0000 | [diff] [blame] | 57 | } |
Ted Kremenek | 557f7f8 | 2009-03-13 22:53:41 +0000 | [diff] [blame] | 58 | } |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 59 | |
| 60 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 61 | // Warning Group Tables generation |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 62 | //===----------------------------------------------------------------------===// |
| 63 | |
Chris Lattner | ac9e7da | 2009-04-15 20:02:32 +0000 | [diff] [blame] | 64 | void ClangDiagGroupsEmitter::run(std::ostream &OS) { |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 65 | // Invert the 1-[0/1] mapping of diags to group into a one to many mapping of |
| 66 | // groups to diags in the group. |
| 67 | std::map<std::string, std::vector<const Record*> > DiagsInGroup; |
Chris Lattner | 457cde4 | 2009-04-15 20:13:18 +0000 | [diff] [blame] | 68 | |
Chris Lattner | a0ed8ca | 2009-04-15 22:33:02 +0000 | [diff] [blame] | 69 | std::vector<Record*> Diags = |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 70 | Records.getAllDerivedDefinitions("Diagnostic"); |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 71 | for (unsigned i = 0, e = Diags.size(); i != e; ++i) { |
| 72 | const Record *R = Diags[i]; |
| 73 | DefInit *DI = dynamic_cast<DefInit*>(R->getValueInit("Group")); |
| 74 | if (DI == 0) continue; |
| 75 | DiagsInGroup[DI->getDef()->getValueAsString("GroupName")].push_back(R); |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 76 | } |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 77 | |
Chris Lattner | a0ed8ca | 2009-04-15 22:33:02 +0000 | [diff] [blame] | 78 | // Add all DiagGroup's to the DiagsInGroup list to make sure we pick up empty |
| 79 | // groups (these are warnings that GCC supports that clang never produces). |
| 80 | Diags = Records.getAllDerivedDefinitions("DiagGroup"); |
| 81 | for (unsigned i = 0, e = Diags.size(); i != e; ++i) { |
| 82 | DiagsInGroup[Diags[i]->getValueAsString("GroupName")]; |
| 83 | } |
| 84 | |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 85 | // Walk through the groups emitting an array for each diagnostic of the diags |
| 86 | // that are mapped to. |
| 87 | OS << "\n#ifdef GET_DIAG_ARRAYS\n"; |
| 88 | unsigned IDNo = 0; |
| 89 | unsigned MaxLen = 0; |
| 90 | for (std::map<std::string, std::vector<const Record*> >::iterator |
| 91 | I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) { |
| 92 | MaxLen = std::max(MaxLen, (unsigned)I->first.size()); |
Ted Kremenek | 3ac82fe | 2009-03-18 21:28:47 +0000 | [diff] [blame] | 93 | |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 94 | OS << "static const short DiagArray" << IDNo++ |
| 95 | << "[] = { "; |
| 96 | std::vector<const Record*> &V = I->second; |
| 97 | for (unsigned i = 0, e = V.size(); i != e; ++i) |
| 98 | OS << "diag::" << V[i]->getName() << ", "; |
| 99 | OS << "-1 };\n"; |
Ted Kremenek | 3ac82fe | 2009-03-18 21:28:47 +0000 | [diff] [blame] | 100 | } |
Chris Lattner | 2f8c1d5 | 2009-04-15 20:55:08 +0000 | [diff] [blame] | 101 | OS << "#endif // GET_DIAG_ARRAYS\n\n"; |
| 102 | |
| 103 | // Emit the table now. |
| 104 | OS << "\n#ifdef GET_DIAG_TABLE\n"; |
| 105 | IDNo = 0; |
| 106 | for (std::map<std::string, std::vector<const Record*> >::iterator |
| 107 | I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I) { |
| 108 | std::string S = I->first; |
| 109 | EscapeString(S); |
| 110 | OS << " { \"" << S << "\"," |
| 111 | << std::string(MaxLen-I->first.size()+1, ' ') |
| 112 | << "DiagArray" << IDNo++ << " },\n"; |
| 113 | } |
| 114 | OS << "#endif // GET_DIAG_TABLE\n\n"; |
Ted Kremenek | 8b9d027 | 2009-03-18 21:16:16 +0000 | [diff] [blame] | 115 | } |