xref: /aosp_15_r20/external/clang/utils/TableGen/ClangDiagnosticsEmitter.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li //=- ClangDiagnosticsEmitter.cpp - Generate Clang diagnostics tables -*- C++ -*-
2*67e74705SXin Li //
3*67e74705SXin Li //                     The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li // These tablegen backends emit Clang diagnostics tables.
11*67e74705SXin Li //
12*67e74705SXin Li //===----------------------------------------------------------------------===//
13*67e74705SXin Li 
14*67e74705SXin Li #include "llvm/ADT/DenseSet.h"
15*67e74705SXin Li #include "llvm/ADT/Optional.h"
16*67e74705SXin Li #include "llvm/ADT/PointerUnion.h"
17*67e74705SXin Li #include "llvm/ADT/SetVector.h"
18*67e74705SXin Li #include "llvm/ADT/SmallPtrSet.h"
19*67e74705SXin Li #include "llvm/ADT/SmallString.h"
20*67e74705SXin Li #include "llvm/ADT/SmallVector.h"
21*67e74705SXin Li #include "llvm/ADT/StringMap.h"
22*67e74705SXin Li #include "llvm/ADT/Twine.h"
23*67e74705SXin Li #include "llvm/Support/Compiler.h"
24*67e74705SXin Li #include "llvm/Support/Debug.h"
25*67e74705SXin Li #include "llvm/TableGen/Error.h"
26*67e74705SXin Li #include "llvm/TableGen/Record.h"
27*67e74705SXin Li #include "llvm/TableGen/StringToOffsetTable.h"
28*67e74705SXin Li #include "llvm/TableGen/TableGenBackend.h"
29*67e74705SXin Li #include <algorithm>
30*67e74705SXin Li #include <cctype>
31*67e74705SXin Li #include <functional>
32*67e74705SXin Li #include <map>
33*67e74705SXin Li #include <set>
34*67e74705SXin Li using namespace llvm;
35*67e74705SXin Li 
36*67e74705SXin Li //===----------------------------------------------------------------------===//
37*67e74705SXin Li // Diagnostic category computation code.
38*67e74705SXin Li //===----------------------------------------------------------------------===//
39*67e74705SXin Li 
40*67e74705SXin Li namespace {
41*67e74705SXin Li class DiagGroupParentMap {
42*67e74705SXin Li   RecordKeeper &Records;
43*67e74705SXin Li   std::map<const Record*, std::vector<Record*> > Mapping;
44*67e74705SXin Li public:
DiagGroupParentMap(RecordKeeper & records)45*67e74705SXin Li   DiagGroupParentMap(RecordKeeper &records) : Records(records) {
46*67e74705SXin Li     std::vector<Record*> DiagGroups
47*67e74705SXin Li       = Records.getAllDerivedDefinitions("DiagGroup");
48*67e74705SXin Li     for (unsigned i = 0, e = DiagGroups.size(); i != e; ++i) {
49*67e74705SXin Li       std::vector<Record*> SubGroups =
50*67e74705SXin Li         DiagGroups[i]->getValueAsListOfDefs("SubGroups");
51*67e74705SXin Li       for (unsigned j = 0, e = SubGroups.size(); j != e; ++j)
52*67e74705SXin Li         Mapping[SubGroups[j]].push_back(DiagGroups[i]);
53*67e74705SXin Li     }
54*67e74705SXin Li   }
55*67e74705SXin Li 
getParents(const Record * Group)56*67e74705SXin Li   const std::vector<Record*> &getParents(const Record *Group) {
57*67e74705SXin Li     return Mapping[Group];
58*67e74705SXin Li   }
59*67e74705SXin Li };
60*67e74705SXin Li } // end anonymous namespace.
61*67e74705SXin Li 
62*67e74705SXin Li static std::string
getCategoryFromDiagGroup(const Record * Group,DiagGroupParentMap & DiagGroupParents)63*67e74705SXin Li getCategoryFromDiagGroup(const Record *Group,
64*67e74705SXin Li                          DiagGroupParentMap &DiagGroupParents) {
65*67e74705SXin Li   // If the DiagGroup has a category, return it.
66*67e74705SXin Li   std::string CatName = Group->getValueAsString("CategoryName");
67*67e74705SXin Li   if (!CatName.empty()) return CatName;
68*67e74705SXin Li 
69*67e74705SXin Li   // The diag group may the subgroup of one or more other diagnostic groups,
70*67e74705SXin Li   // check these for a category as well.
71*67e74705SXin Li   const std::vector<Record*> &Parents = DiagGroupParents.getParents(Group);
72*67e74705SXin Li   for (unsigned i = 0, e = Parents.size(); i != e; ++i) {
73*67e74705SXin Li     CatName = getCategoryFromDiagGroup(Parents[i], DiagGroupParents);
74*67e74705SXin Li     if (!CatName.empty()) return CatName;
75*67e74705SXin Li   }
76*67e74705SXin Li   return "";
77*67e74705SXin Li }
78*67e74705SXin Li 
79*67e74705SXin Li /// getDiagnosticCategory - Return the category that the specified diagnostic
80*67e74705SXin Li /// lives in.
getDiagnosticCategory(const Record * R,DiagGroupParentMap & DiagGroupParents)81*67e74705SXin Li static std::string getDiagnosticCategory(const Record *R,
82*67e74705SXin Li                                          DiagGroupParentMap &DiagGroupParents) {
83*67e74705SXin Li   // If the diagnostic is in a group, and that group has a category, use it.
84*67e74705SXin Li   if (DefInit *Group = dyn_cast<DefInit>(R->getValueInit("Group"))) {
85*67e74705SXin Li     // Check the diagnostic's diag group for a category.
86*67e74705SXin Li     std::string CatName = getCategoryFromDiagGroup(Group->getDef(),
87*67e74705SXin Li                                                    DiagGroupParents);
88*67e74705SXin Li     if (!CatName.empty()) return CatName;
89*67e74705SXin Li   }
90*67e74705SXin Li 
91*67e74705SXin Li   // If the diagnostic itself has a category, get it.
92*67e74705SXin Li   return R->getValueAsString("CategoryName");
93*67e74705SXin Li }
94*67e74705SXin Li 
95*67e74705SXin Li namespace {
96*67e74705SXin Li   class DiagCategoryIDMap {
97*67e74705SXin Li     RecordKeeper &Records;
98*67e74705SXin Li     StringMap<unsigned> CategoryIDs;
99*67e74705SXin Li     std::vector<std::string> CategoryStrings;
100*67e74705SXin Li   public:
DiagCategoryIDMap(RecordKeeper & records)101*67e74705SXin Li     DiagCategoryIDMap(RecordKeeper &records) : Records(records) {
102*67e74705SXin Li       DiagGroupParentMap ParentInfo(Records);
103*67e74705SXin Li 
104*67e74705SXin Li       // The zero'th category is "".
105*67e74705SXin Li       CategoryStrings.push_back("");
106*67e74705SXin Li       CategoryIDs[""] = 0;
107*67e74705SXin Li 
108*67e74705SXin Li       std::vector<Record*> Diags =
109*67e74705SXin Li       Records.getAllDerivedDefinitions("Diagnostic");
110*67e74705SXin Li       for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
111*67e74705SXin Li         std::string Category = getDiagnosticCategory(Diags[i], ParentInfo);
112*67e74705SXin Li         if (Category.empty()) continue;  // Skip diags with no category.
113*67e74705SXin Li 
114*67e74705SXin Li         unsigned &ID = CategoryIDs[Category];
115*67e74705SXin Li         if (ID != 0) continue;  // Already seen.
116*67e74705SXin Li 
117*67e74705SXin Li         ID = CategoryStrings.size();
118*67e74705SXin Li         CategoryStrings.push_back(Category);
119*67e74705SXin Li       }
120*67e74705SXin Li     }
121*67e74705SXin Li 
getID(StringRef CategoryString)122*67e74705SXin Li     unsigned getID(StringRef CategoryString) {
123*67e74705SXin Li       return CategoryIDs[CategoryString];
124*67e74705SXin Li     }
125*67e74705SXin Li 
126*67e74705SXin Li     typedef std::vector<std::string>::const_iterator const_iterator;
begin() const127*67e74705SXin Li     const_iterator begin() const { return CategoryStrings.begin(); }
end() const128*67e74705SXin Li     const_iterator end() const { return CategoryStrings.end(); }
129*67e74705SXin Li   };
130*67e74705SXin Li 
131*67e74705SXin Li   struct GroupInfo {
132*67e74705SXin Li     std::vector<const Record*> DiagsInGroup;
133*67e74705SXin Li     std::vector<std::string> SubGroups;
134*67e74705SXin Li     unsigned IDNo;
135*67e74705SXin Li 
136*67e74705SXin Li     const Record *ExplicitDef;
137*67e74705SXin Li 
GroupInfo__anon48e285140211::GroupInfo138*67e74705SXin Li     GroupInfo() : ExplicitDef(nullptr) {}
139*67e74705SXin Li   };
140*67e74705SXin Li } // end anonymous namespace.
141*67e74705SXin Li 
beforeThanCompare(const Record * LHS,const Record * RHS)142*67e74705SXin Li static bool beforeThanCompare(const Record *LHS, const Record *RHS) {
143*67e74705SXin Li   assert(!LHS->getLoc().empty() && !RHS->getLoc().empty());
144*67e74705SXin Li   return
145*67e74705SXin Li     LHS->getLoc().front().getPointer() < RHS->getLoc().front().getPointer();
146*67e74705SXin Li }
147*67e74705SXin Li 
beforeThanCompareGroups(const GroupInfo * LHS,const GroupInfo * RHS)148*67e74705SXin Li static bool beforeThanCompareGroups(const GroupInfo *LHS, const GroupInfo *RHS){
149*67e74705SXin Li   assert(!LHS->DiagsInGroup.empty() && !RHS->DiagsInGroup.empty());
150*67e74705SXin Li   return beforeThanCompare(LHS->DiagsInGroup.front(),
151*67e74705SXin Li                            RHS->DiagsInGroup.front());
152*67e74705SXin Li }
153*67e74705SXin Li 
findSuperClassRange(const Record * R,StringRef SuperName)154*67e74705SXin Li static SMRange findSuperClassRange(const Record *R, StringRef SuperName) {
155*67e74705SXin Li   ArrayRef<std::pair<Record *, SMRange>> Supers = R->getSuperClasses();
156*67e74705SXin Li   auto I = std::find_if(Supers.begin(), Supers.end(),
157*67e74705SXin Li                         [&](const std::pair<Record *, SMRange> &SuperPair) {
158*67e74705SXin Li                           return SuperPair.first->getName() == SuperName;
159*67e74705SXin Li                         });
160*67e74705SXin Li   return (I != Supers.end()) ? I->second : SMRange();
161*67e74705SXin Li }
162*67e74705SXin Li 
163*67e74705SXin Li /// \brief Invert the 1-[0/1] mapping of diags to group into a one to many
164*67e74705SXin Li /// mapping of groups to diags in the group.
groupDiagnostics(const std::vector<Record * > & Diags,const std::vector<Record * > & DiagGroups,std::map<std::string,GroupInfo> & DiagsInGroup)165*67e74705SXin Li static void groupDiagnostics(const std::vector<Record*> &Diags,
166*67e74705SXin Li                              const std::vector<Record*> &DiagGroups,
167*67e74705SXin Li                              std::map<std::string, GroupInfo> &DiagsInGroup) {
168*67e74705SXin Li 
169*67e74705SXin Li   for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
170*67e74705SXin Li     const Record *R = Diags[i];
171*67e74705SXin Li     DefInit *DI = dyn_cast<DefInit>(R->getValueInit("Group"));
172*67e74705SXin Li     if (!DI)
173*67e74705SXin Li       continue;
174*67e74705SXin Li     assert(R->getValueAsDef("Class")->getName() != "CLASS_NOTE" &&
175*67e74705SXin Li            "Note can't be in a DiagGroup");
176*67e74705SXin Li     std::string GroupName = DI->getDef()->getValueAsString("GroupName");
177*67e74705SXin Li     DiagsInGroup[GroupName].DiagsInGroup.push_back(R);
178*67e74705SXin Li   }
179*67e74705SXin Li 
180*67e74705SXin Li   typedef SmallPtrSet<GroupInfo *, 16> GroupSetTy;
181*67e74705SXin Li   GroupSetTy ImplicitGroups;
182*67e74705SXin Li 
183*67e74705SXin Li   // Add all DiagGroup's to the DiagsInGroup list to make sure we pick up empty
184*67e74705SXin Li   // groups (these are warnings that GCC supports that clang never produces).
185*67e74705SXin Li   for (unsigned i = 0, e = DiagGroups.size(); i != e; ++i) {
186*67e74705SXin Li     Record *Group = DiagGroups[i];
187*67e74705SXin Li     GroupInfo &GI = DiagsInGroup[Group->getValueAsString("GroupName")];
188*67e74705SXin Li     if (Group->isAnonymous()) {
189*67e74705SXin Li       if (GI.DiagsInGroup.size() > 1)
190*67e74705SXin Li         ImplicitGroups.insert(&GI);
191*67e74705SXin Li     } else {
192*67e74705SXin Li       if (GI.ExplicitDef)
193*67e74705SXin Li         assert(GI.ExplicitDef == Group);
194*67e74705SXin Li       else
195*67e74705SXin Li         GI.ExplicitDef = Group;
196*67e74705SXin Li     }
197*67e74705SXin Li 
198*67e74705SXin Li     std::vector<Record*> SubGroups = Group->getValueAsListOfDefs("SubGroups");
199*67e74705SXin Li     for (unsigned j = 0, e = SubGroups.size(); j != e; ++j)
200*67e74705SXin Li       GI.SubGroups.push_back(SubGroups[j]->getValueAsString("GroupName"));
201*67e74705SXin Li   }
202*67e74705SXin Li 
203*67e74705SXin Li   // Assign unique ID numbers to the groups.
204*67e74705SXin Li   unsigned IDNo = 0;
205*67e74705SXin Li   for (std::map<std::string, GroupInfo>::iterator
206*67e74705SXin Li        I = DiagsInGroup.begin(), E = DiagsInGroup.end(); I != E; ++I, ++IDNo)
207*67e74705SXin Li     I->second.IDNo = IDNo;
208*67e74705SXin Li 
209*67e74705SXin Li   // Sort the implicit groups, so we can warn about them deterministically.
210*67e74705SXin Li   SmallVector<GroupInfo *, 16> SortedGroups(ImplicitGroups.begin(),
211*67e74705SXin Li                                             ImplicitGroups.end());
212*67e74705SXin Li   for (SmallVectorImpl<GroupInfo *>::iterator I = SortedGroups.begin(),
213*67e74705SXin Li                                               E = SortedGroups.end();
214*67e74705SXin Li        I != E; ++I) {
215*67e74705SXin Li     MutableArrayRef<const Record *> GroupDiags = (*I)->DiagsInGroup;
216*67e74705SXin Li     std::sort(GroupDiags.begin(), GroupDiags.end(), beforeThanCompare);
217*67e74705SXin Li   }
218*67e74705SXin Li   std::sort(SortedGroups.begin(), SortedGroups.end(), beforeThanCompareGroups);
219*67e74705SXin Li 
220*67e74705SXin Li   // Warn about the same group being used anonymously in multiple places.
221*67e74705SXin Li   for (SmallVectorImpl<GroupInfo *>::const_iterator I = SortedGroups.begin(),
222*67e74705SXin Li                                                     E = SortedGroups.end();
223*67e74705SXin Li        I != E; ++I) {
224*67e74705SXin Li     ArrayRef<const Record *> GroupDiags = (*I)->DiagsInGroup;
225*67e74705SXin Li 
226*67e74705SXin Li     if ((*I)->ExplicitDef) {
227*67e74705SXin Li       std::string Name = (*I)->ExplicitDef->getValueAsString("GroupName");
228*67e74705SXin Li       for (ArrayRef<const Record *>::const_iterator DI = GroupDiags.begin(),
229*67e74705SXin Li                                                     DE = GroupDiags.end();
230*67e74705SXin Li            DI != DE; ++DI) {
231*67e74705SXin Li         const DefInit *GroupInit = cast<DefInit>((*DI)->getValueInit("Group"));
232*67e74705SXin Li         const Record *NextDiagGroup = GroupInit->getDef();
233*67e74705SXin Li         if (NextDiagGroup == (*I)->ExplicitDef)
234*67e74705SXin Li           continue;
235*67e74705SXin Li 
236*67e74705SXin Li         SMRange InGroupRange = findSuperClassRange(*DI, "InGroup");
237*67e74705SXin Li         SmallString<64> Replacement;
238*67e74705SXin Li         if (InGroupRange.isValid()) {
239*67e74705SXin Li           Replacement += "InGroup<";
240*67e74705SXin Li           Replacement += (*I)->ExplicitDef->getName();
241*67e74705SXin Li           Replacement += ">";
242*67e74705SXin Li         }
243*67e74705SXin Li         SMFixIt FixIt(InGroupRange, Replacement);
244*67e74705SXin Li 
245*67e74705SXin Li         SrcMgr.PrintMessage(NextDiagGroup->getLoc().front(),
246*67e74705SXin Li                             SourceMgr::DK_Error,
247*67e74705SXin Li                             Twine("group '") + Name +
248*67e74705SXin Li                               "' is referred to anonymously",
249*67e74705SXin Li                             None,
250*67e74705SXin Li                             InGroupRange.isValid() ? FixIt
251*67e74705SXin Li                                                    : ArrayRef<SMFixIt>());
252*67e74705SXin Li         SrcMgr.PrintMessage((*I)->ExplicitDef->getLoc().front(),
253*67e74705SXin Li                             SourceMgr::DK_Note, "group defined here");
254*67e74705SXin Li       }
255*67e74705SXin Li     } else {
256*67e74705SXin Li       // If there's no existing named group, we should just warn once and use
257*67e74705SXin Li       // notes to list all the other cases.
258*67e74705SXin Li       ArrayRef<const Record *>::const_iterator DI = GroupDiags.begin(),
259*67e74705SXin Li                                                DE = GroupDiags.end();
260*67e74705SXin Li       assert(DI != DE && "We only care about groups with multiple uses!");
261*67e74705SXin Li 
262*67e74705SXin Li       const DefInit *GroupInit = cast<DefInit>((*DI)->getValueInit("Group"));
263*67e74705SXin Li       const Record *NextDiagGroup = GroupInit->getDef();
264*67e74705SXin Li       std::string Name = NextDiagGroup->getValueAsString("GroupName");
265*67e74705SXin Li 
266*67e74705SXin Li       SMRange InGroupRange = findSuperClassRange(*DI, "InGroup");
267*67e74705SXin Li       SrcMgr.PrintMessage(NextDiagGroup->getLoc().front(),
268*67e74705SXin Li                           SourceMgr::DK_Error,
269*67e74705SXin Li                           Twine("group '") + Name +
270*67e74705SXin Li                             "' is referred to anonymously",
271*67e74705SXin Li                           InGroupRange);
272*67e74705SXin Li 
273*67e74705SXin Li       for (++DI; DI != DE; ++DI) {
274*67e74705SXin Li         GroupInit = cast<DefInit>((*DI)->getValueInit("Group"));
275*67e74705SXin Li         InGroupRange = findSuperClassRange(*DI, "InGroup");
276*67e74705SXin Li         SrcMgr.PrintMessage(GroupInit->getDef()->getLoc().front(),
277*67e74705SXin Li                             SourceMgr::DK_Note, "also referenced here",
278*67e74705SXin Li                             InGroupRange);
279*67e74705SXin Li       }
280*67e74705SXin Li     }
281*67e74705SXin Li   }
282*67e74705SXin Li }
283*67e74705SXin Li 
284*67e74705SXin Li //===----------------------------------------------------------------------===//
285*67e74705SXin Li // Infer members of -Wpedantic.
286*67e74705SXin Li //===----------------------------------------------------------------------===//
287*67e74705SXin Li 
288*67e74705SXin Li typedef std::vector<const Record *> RecordVec;
289*67e74705SXin Li typedef llvm::DenseSet<const Record *> RecordSet;
290*67e74705SXin Li typedef llvm::PointerUnion<RecordVec*, RecordSet*> VecOrSet;
291*67e74705SXin Li 
292*67e74705SXin Li namespace {
293*67e74705SXin Li class InferPedantic {
294*67e74705SXin Li   typedef llvm::DenseMap<const Record*,
295*67e74705SXin Li                          std::pair<unsigned, Optional<unsigned> > > GMap;
296*67e74705SXin Li 
297*67e74705SXin Li   DiagGroupParentMap &DiagGroupParents;
298*67e74705SXin Li   const std::vector<Record*> &Diags;
299*67e74705SXin Li   const std::vector<Record*> DiagGroups;
300*67e74705SXin Li   std::map<std::string, GroupInfo> &DiagsInGroup;
301*67e74705SXin Li   llvm::DenseSet<const Record*> DiagsSet;
302*67e74705SXin Li   GMap GroupCount;
303*67e74705SXin Li public:
InferPedantic(DiagGroupParentMap & DiagGroupParents,const std::vector<Record * > & Diags,const std::vector<Record * > & DiagGroups,std::map<std::string,GroupInfo> & DiagsInGroup)304*67e74705SXin Li   InferPedantic(DiagGroupParentMap &DiagGroupParents,
305*67e74705SXin Li                 const std::vector<Record*> &Diags,
306*67e74705SXin Li                 const std::vector<Record*> &DiagGroups,
307*67e74705SXin Li                 std::map<std::string, GroupInfo> &DiagsInGroup)
308*67e74705SXin Li   : DiagGroupParents(DiagGroupParents),
309*67e74705SXin Li   Diags(Diags),
310*67e74705SXin Li   DiagGroups(DiagGroups),
311*67e74705SXin Li   DiagsInGroup(DiagsInGroup) {}
312*67e74705SXin Li 
313*67e74705SXin Li   /// Compute the set of diagnostics and groups that are immediately
314*67e74705SXin Li   /// in -Wpedantic.
315*67e74705SXin Li   void compute(VecOrSet DiagsInPedantic,
316*67e74705SXin Li                VecOrSet GroupsInPedantic);
317*67e74705SXin Li 
318*67e74705SXin Li private:
319*67e74705SXin Li   /// Determine whether a group is a subgroup of another group.
320*67e74705SXin Li   bool isSubGroupOfGroup(const Record *Group,
321*67e74705SXin Li                          llvm::StringRef RootGroupName);
322*67e74705SXin Li 
323*67e74705SXin Li   /// Determine if the diagnostic is an extension.
324*67e74705SXin Li   bool isExtension(const Record *Diag);
325*67e74705SXin Li 
326*67e74705SXin Li   /// Determine if the diagnostic is off by default.
327*67e74705SXin Li   bool isOffByDefault(const Record *Diag);
328*67e74705SXin Li 
329*67e74705SXin Li   /// Increment the count for a group, and transitively marked
330*67e74705SXin Li   /// parent groups when appropriate.
331*67e74705SXin Li   void markGroup(const Record *Group);
332*67e74705SXin Li 
333*67e74705SXin Li   /// Return true if the diagnostic is in a pedantic group.
334*67e74705SXin Li   bool groupInPedantic(const Record *Group, bool increment = false);
335*67e74705SXin Li };
336*67e74705SXin Li } // end anonymous namespace
337*67e74705SXin Li 
isSubGroupOfGroup(const Record * Group,llvm::StringRef GName)338*67e74705SXin Li bool InferPedantic::isSubGroupOfGroup(const Record *Group,
339*67e74705SXin Li                                       llvm::StringRef GName) {
340*67e74705SXin Li 
341*67e74705SXin Li   const std::string &GroupName = Group->getValueAsString("GroupName");
342*67e74705SXin Li   if (GName == GroupName)
343*67e74705SXin Li     return true;
344*67e74705SXin Li 
345*67e74705SXin Li   const std::vector<Record*> &Parents = DiagGroupParents.getParents(Group);
346*67e74705SXin Li   for (unsigned i = 0, e = Parents.size(); i != e; ++i)
347*67e74705SXin Li     if (isSubGroupOfGroup(Parents[i], GName))
348*67e74705SXin Li       return true;
349*67e74705SXin Li 
350*67e74705SXin Li   return false;
351*67e74705SXin Li }
352*67e74705SXin Li 
353*67e74705SXin Li /// Determine if the diagnostic is an extension.
isExtension(const Record * Diag)354*67e74705SXin Li bool InferPedantic::isExtension(const Record *Diag) {
355*67e74705SXin Li   const std::string &ClsName = Diag->getValueAsDef("Class")->getName();
356*67e74705SXin Li   return ClsName == "CLASS_EXTENSION";
357*67e74705SXin Li }
358*67e74705SXin Li 
isOffByDefault(const Record * Diag)359*67e74705SXin Li bool InferPedantic::isOffByDefault(const Record *Diag) {
360*67e74705SXin Li   const std::string &DefSeverity =
361*67e74705SXin Li       Diag->getValueAsDef("DefaultSeverity")->getValueAsString("Name");
362*67e74705SXin Li   return DefSeverity == "Ignored";
363*67e74705SXin Li }
364*67e74705SXin Li 
groupInPedantic(const Record * Group,bool increment)365*67e74705SXin Li bool InferPedantic::groupInPedantic(const Record *Group, bool increment) {
366*67e74705SXin Li   GMap::mapped_type &V = GroupCount[Group];
367*67e74705SXin Li   // Lazily compute the threshold value for the group count.
368*67e74705SXin Li   if (!V.second.hasValue()) {
369*67e74705SXin Li     const GroupInfo &GI = DiagsInGroup[Group->getValueAsString("GroupName")];
370*67e74705SXin Li     V.second = GI.SubGroups.size() + GI.DiagsInGroup.size();
371*67e74705SXin Li   }
372*67e74705SXin Li 
373*67e74705SXin Li   if (increment)
374*67e74705SXin Li     ++V.first;
375*67e74705SXin Li 
376*67e74705SXin Li   // Consider a group in -Wpendatic IFF if has at least one diagnostic
377*67e74705SXin Li   // or subgroup AND all of those diagnostics and subgroups are covered
378*67e74705SXin Li   // by -Wpedantic via our computation.
379*67e74705SXin Li   return V.first != 0 && V.first == V.second.getValue();
380*67e74705SXin Li }
381*67e74705SXin Li 
markGroup(const Record * Group)382*67e74705SXin Li void InferPedantic::markGroup(const Record *Group) {
383*67e74705SXin Li   // If all the diagnostics and subgroups have been marked as being
384*67e74705SXin Li   // covered by -Wpedantic, increment the count of parent groups.  Once the
385*67e74705SXin Li   // group's count is equal to the number of subgroups and diagnostics in
386*67e74705SXin Li   // that group, we can safely add this group to -Wpedantic.
387*67e74705SXin Li   if (groupInPedantic(Group, /* increment */ true)) {
388*67e74705SXin Li     const std::vector<Record*> &Parents = DiagGroupParents.getParents(Group);
389*67e74705SXin Li     for (unsigned i = 0, e = Parents.size(); i != e; ++i)
390*67e74705SXin Li       markGroup(Parents[i]);
391*67e74705SXin Li   }
392*67e74705SXin Li }
393*67e74705SXin Li 
compute(VecOrSet DiagsInPedantic,VecOrSet GroupsInPedantic)394*67e74705SXin Li void InferPedantic::compute(VecOrSet DiagsInPedantic,
395*67e74705SXin Li                             VecOrSet GroupsInPedantic) {
396*67e74705SXin Li   // All extensions that are not on by default are implicitly in the
397*67e74705SXin Li   // "pedantic" group.  For those that aren't explicitly included in -Wpedantic,
398*67e74705SXin Li   // mark them for consideration to be included in -Wpedantic directly.
399*67e74705SXin Li   for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
400*67e74705SXin Li     Record *R = Diags[i];
401*67e74705SXin Li     if (isExtension(R) && isOffByDefault(R)) {
402*67e74705SXin Li       DiagsSet.insert(R);
403*67e74705SXin Li       if (DefInit *Group = dyn_cast<DefInit>(R->getValueInit("Group"))) {
404*67e74705SXin Li         const Record *GroupRec = Group->getDef();
405*67e74705SXin Li         if (!isSubGroupOfGroup(GroupRec, "pedantic")) {
406*67e74705SXin Li           markGroup(GroupRec);
407*67e74705SXin Li         }
408*67e74705SXin Li       }
409*67e74705SXin Li     }
410*67e74705SXin Li   }
411*67e74705SXin Li 
412*67e74705SXin Li   // Compute the set of diagnostics that are directly in -Wpedantic.  We
413*67e74705SXin Li   // march through Diags a second time to ensure the results are emitted
414*67e74705SXin Li   // in deterministic order.
415*67e74705SXin Li   for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
416*67e74705SXin Li     Record *R = Diags[i];
417*67e74705SXin Li     if (!DiagsSet.count(R))
418*67e74705SXin Li       continue;
419*67e74705SXin Li     // Check if the group is implicitly in -Wpedantic.  If so,
420*67e74705SXin Li     // the diagnostic should not be directly included in the -Wpedantic
421*67e74705SXin Li     // diagnostic group.
422*67e74705SXin Li     if (DefInit *Group = dyn_cast<DefInit>(R->getValueInit("Group")))
423*67e74705SXin Li       if (groupInPedantic(Group->getDef()))
424*67e74705SXin Li         continue;
425*67e74705SXin Li 
426*67e74705SXin Li     // The diagnostic is not included in a group that is (transitively) in
427*67e74705SXin Li     // -Wpedantic.  Include it in -Wpedantic directly.
428*67e74705SXin Li     if (RecordVec *V = DiagsInPedantic.dyn_cast<RecordVec*>())
429*67e74705SXin Li       V->push_back(R);
430*67e74705SXin Li     else {
431*67e74705SXin Li       DiagsInPedantic.get<RecordSet*>()->insert(R);
432*67e74705SXin Li     }
433*67e74705SXin Li   }
434*67e74705SXin Li 
435*67e74705SXin Li   if (!GroupsInPedantic)
436*67e74705SXin Li     return;
437*67e74705SXin Li 
438*67e74705SXin Li   // Compute the set of groups that are directly in -Wpedantic.  We
439*67e74705SXin Li   // march through the groups to ensure the results are emitted
440*67e74705SXin Li   /// in a deterministc order.
441*67e74705SXin Li   for (unsigned i = 0, ei = DiagGroups.size(); i != ei; ++i) {
442*67e74705SXin Li     Record *Group = DiagGroups[i];
443*67e74705SXin Li     if (!groupInPedantic(Group))
444*67e74705SXin Li       continue;
445*67e74705SXin Li 
446*67e74705SXin Li     unsigned ParentsInPedantic = 0;
447*67e74705SXin Li     const std::vector<Record*> &Parents = DiagGroupParents.getParents(Group);
448*67e74705SXin Li     for (unsigned j = 0, ej = Parents.size(); j != ej; ++j) {
449*67e74705SXin Li       if (groupInPedantic(Parents[j]))
450*67e74705SXin Li         ++ParentsInPedantic;
451*67e74705SXin Li     }
452*67e74705SXin Li     // If all the parents are in -Wpedantic, this means that this diagnostic
453*67e74705SXin Li     // group will be indirectly included by -Wpedantic already.  In that
454*67e74705SXin Li     // case, do not add it directly to -Wpedantic.  If the group has no
455*67e74705SXin Li     // parents, obviously it should go into -Wpedantic.
456*67e74705SXin Li     if (Parents.size() > 0 && ParentsInPedantic == Parents.size())
457*67e74705SXin Li       continue;
458*67e74705SXin Li 
459*67e74705SXin Li     if (RecordVec *V = GroupsInPedantic.dyn_cast<RecordVec*>())
460*67e74705SXin Li       V->push_back(Group);
461*67e74705SXin Li     else {
462*67e74705SXin Li       GroupsInPedantic.get<RecordSet*>()->insert(Group);
463*67e74705SXin Li     }
464*67e74705SXin Li   }
465*67e74705SXin Li }
466*67e74705SXin Li 
467*67e74705SXin Li //===----------------------------------------------------------------------===//
468*67e74705SXin Li // Warning Tables (.inc file) generation.
469*67e74705SXin Li //===----------------------------------------------------------------------===//
470*67e74705SXin Li 
isError(const Record & Diag)471*67e74705SXin Li static bool isError(const Record &Diag) {
472*67e74705SXin Li   const std::string &ClsName = Diag.getValueAsDef("Class")->getName();
473*67e74705SXin Li   return ClsName == "CLASS_ERROR";
474*67e74705SXin Li }
475*67e74705SXin Li 
isRemark(const Record & Diag)476*67e74705SXin Li static bool isRemark(const Record &Diag) {
477*67e74705SXin Li   const std::string &ClsName = Diag.getValueAsDef("Class")->getName();
478*67e74705SXin Li   return ClsName == "CLASS_REMARK";
479*67e74705SXin Li }
480*67e74705SXin Li 
481*67e74705SXin Li /// ClangDiagsDefsEmitter - The top-level class emits .def files containing
482*67e74705SXin Li /// declarations of Clang diagnostics.
483*67e74705SXin Li namespace clang {
EmitClangDiagsDefs(RecordKeeper & Records,raw_ostream & OS,const std::string & Component)484*67e74705SXin Li void EmitClangDiagsDefs(RecordKeeper &Records, raw_ostream &OS,
485*67e74705SXin Li                         const std::string &Component) {
486*67e74705SXin Li   // Write the #if guard
487*67e74705SXin Li   if (!Component.empty()) {
488*67e74705SXin Li     std::string ComponentName = StringRef(Component).upper();
489*67e74705SXin Li     OS << "#ifdef " << ComponentName << "START\n";
490*67e74705SXin Li     OS << "__" << ComponentName << "START = DIAG_START_" << ComponentName
491*67e74705SXin Li        << ",\n";
492*67e74705SXin Li     OS << "#undef " << ComponentName << "START\n";
493*67e74705SXin Li     OS << "#endif\n\n";
494*67e74705SXin Li   }
495*67e74705SXin Li 
496*67e74705SXin Li   const std::vector<Record*> &Diags =
497*67e74705SXin Li     Records.getAllDerivedDefinitions("Diagnostic");
498*67e74705SXin Li 
499*67e74705SXin Li   std::vector<Record*> DiagGroups
500*67e74705SXin Li     = Records.getAllDerivedDefinitions("DiagGroup");
501*67e74705SXin Li 
502*67e74705SXin Li   std::map<std::string, GroupInfo> DiagsInGroup;
503*67e74705SXin Li   groupDiagnostics(Diags, DiagGroups, DiagsInGroup);
504*67e74705SXin Li 
505*67e74705SXin Li   DiagCategoryIDMap CategoryIDs(Records);
506*67e74705SXin Li   DiagGroupParentMap DGParentMap(Records);
507*67e74705SXin Li 
508*67e74705SXin Li   // Compute the set of diagnostics that are in -Wpedantic.
509*67e74705SXin Li   RecordSet DiagsInPedantic;
510*67e74705SXin Li   InferPedantic inferPedantic(DGParentMap, Diags, DiagGroups, DiagsInGroup);
511*67e74705SXin Li   inferPedantic.compute(&DiagsInPedantic, (RecordVec*)nullptr);
512*67e74705SXin Li 
513*67e74705SXin Li   for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
514*67e74705SXin Li     const Record &R = *Diags[i];
515*67e74705SXin Li 
516*67e74705SXin Li     // Check if this is an error that is accidentally in a warning
517*67e74705SXin Li     // group.
518*67e74705SXin Li     if (isError(R)) {
519*67e74705SXin Li       if (DefInit *Group = dyn_cast<DefInit>(R.getValueInit("Group"))) {
520*67e74705SXin Li         const Record *GroupRec = Group->getDef();
521*67e74705SXin Li         const std::string &GroupName = GroupRec->getValueAsString("GroupName");
522*67e74705SXin Li         PrintFatalError(R.getLoc(), "Error " + R.getName() +
523*67e74705SXin Li                       " cannot be in a warning group [" + GroupName + "]");
524*67e74705SXin Li       }
525*67e74705SXin Li     }
526*67e74705SXin Li 
527*67e74705SXin Li     // Check that all remarks have an associated diagnostic group.
528*67e74705SXin Li     if (isRemark(R)) {
529*67e74705SXin Li       if (!isa<DefInit>(R.getValueInit("Group"))) {
530*67e74705SXin Li         PrintFatalError(R.getLoc(), "Error " + R.getName() +
531*67e74705SXin Li                                         " not in any diagnostic group");
532*67e74705SXin Li       }
533*67e74705SXin Li     }
534*67e74705SXin Li 
535*67e74705SXin Li     // Filter by component.
536*67e74705SXin Li     if (!Component.empty() && Component != R.getValueAsString("Component"))
537*67e74705SXin Li       continue;
538*67e74705SXin Li 
539*67e74705SXin Li     OS << "DIAG(" << R.getName() << ", ";
540*67e74705SXin Li     OS << R.getValueAsDef("Class")->getName();
541*67e74705SXin Li     OS << ", (unsigned)diag::Severity::"
542*67e74705SXin Li        << R.getValueAsDef("DefaultSeverity")->getValueAsString("Name");
543*67e74705SXin Li 
544*67e74705SXin Li     // Description string.
545*67e74705SXin Li     OS << ", \"";
546*67e74705SXin Li     OS.write_escaped(R.getValueAsString("Text")) << '"';
547*67e74705SXin Li 
548*67e74705SXin Li     // Warning associated with the diagnostic. This is stored as an index into
549*67e74705SXin Li     // the alphabetically sorted warning table.
550*67e74705SXin Li     if (DefInit *DI = dyn_cast<DefInit>(R.getValueInit("Group"))) {
551*67e74705SXin Li       std::map<std::string, GroupInfo>::iterator I =
552*67e74705SXin Li           DiagsInGroup.find(DI->getDef()->getValueAsString("GroupName"));
553*67e74705SXin Li       assert(I != DiagsInGroup.end());
554*67e74705SXin Li       OS << ", " << I->second.IDNo;
555*67e74705SXin Li     } else if (DiagsInPedantic.count(&R)) {
556*67e74705SXin Li       std::map<std::string, GroupInfo>::iterator I =
557*67e74705SXin Li         DiagsInGroup.find("pedantic");
558*67e74705SXin Li       assert(I != DiagsInGroup.end() && "pedantic group not defined");
559*67e74705SXin Li       OS << ", " << I->second.IDNo;
560*67e74705SXin Li     } else {
561*67e74705SXin Li       OS << ", 0";
562*67e74705SXin Li     }
563*67e74705SXin Li 
564*67e74705SXin Li     // SFINAE response.
565*67e74705SXin Li     OS << ", " << R.getValueAsDef("SFINAE")->getName();
566*67e74705SXin Li 
567*67e74705SXin Li     // Default warning has no Werror bit.
568*67e74705SXin Li     if (R.getValueAsBit("WarningNoWerror"))
569*67e74705SXin Li       OS << ", true";
570*67e74705SXin Li     else
571*67e74705SXin Li       OS << ", false";
572*67e74705SXin Li 
573*67e74705SXin Li     if (R.getValueAsBit("ShowInSystemHeader"))
574*67e74705SXin Li       OS << ", true";
575*67e74705SXin Li     else
576*67e74705SXin Li       OS << ", false";
577*67e74705SXin Li 
578*67e74705SXin Li     // Category number.
579*67e74705SXin Li     OS << ", " << CategoryIDs.getID(getDiagnosticCategory(&R, DGParentMap));
580*67e74705SXin Li     OS << ")\n";
581*67e74705SXin Li   }
582*67e74705SXin Li }
583*67e74705SXin Li } // end namespace clang
584*67e74705SXin Li 
585*67e74705SXin Li //===----------------------------------------------------------------------===//
586*67e74705SXin Li // Warning Group Tables generation
587*67e74705SXin Li //===----------------------------------------------------------------------===//
588*67e74705SXin Li 
getDiagCategoryEnum(llvm::StringRef name)589*67e74705SXin Li static std::string getDiagCategoryEnum(llvm::StringRef name) {
590*67e74705SXin Li   if (name.empty())
591*67e74705SXin Li     return "DiagCat_None";
592*67e74705SXin Li   SmallString<256> enumName = llvm::StringRef("DiagCat_");
593*67e74705SXin Li   for (llvm::StringRef::iterator I = name.begin(), E = name.end(); I != E; ++I)
594*67e74705SXin Li     enumName += isalnum(*I) ? *I : '_';
595*67e74705SXin Li   return enumName.str();
596*67e74705SXin Li }
597*67e74705SXin Li 
598*67e74705SXin Li /// \brief Emit the array of diagnostic subgroups.
599*67e74705SXin Li ///
600*67e74705SXin Li /// The array of diagnostic subgroups contains for each group a list of its
601*67e74705SXin Li /// subgroups. The individual lists are separated by '-1'. Groups with no
602*67e74705SXin Li /// subgroups are skipped.
603*67e74705SXin Li ///
604*67e74705SXin Li /// \code
605*67e74705SXin Li ///   static const int16_t DiagSubGroups[] = {
606*67e74705SXin Li ///     /* Empty */ -1,
607*67e74705SXin Li ///     /* DiagSubGroup0 */ 142, -1,
608*67e74705SXin Li ///     /* DiagSubGroup13 */ 265, 322, 399, -1
609*67e74705SXin Li ///   }
610*67e74705SXin Li /// \endcode
611*67e74705SXin Li ///
emitDiagSubGroups(std::map<std::string,GroupInfo> & DiagsInGroup,RecordVec & GroupsInPedantic,raw_ostream & OS)612*67e74705SXin Li static void emitDiagSubGroups(std::map<std::string, GroupInfo> &DiagsInGroup,
613*67e74705SXin Li                               RecordVec &GroupsInPedantic, raw_ostream &OS) {
614*67e74705SXin Li   OS << "static const int16_t DiagSubGroups[] = {\n"
615*67e74705SXin Li      << "  /* Empty */ -1,\n";
616*67e74705SXin Li   for (auto const &I : DiagsInGroup) {
617*67e74705SXin Li     const bool IsPedantic = I.first == "pedantic";
618*67e74705SXin Li 
619*67e74705SXin Li     const std::vector<std::string> &SubGroups = I.second.SubGroups;
620*67e74705SXin Li     if (!SubGroups.empty() || (IsPedantic && !GroupsInPedantic.empty())) {
621*67e74705SXin Li       OS << "  /* DiagSubGroup" << I.second.IDNo << " */ ";
622*67e74705SXin Li       for (auto const &SubGroup : SubGroups) {
623*67e74705SXin Li         std::map<std::string, GroupInfo>::const_iterator RI =
624*67e74705SXin Li             DiagsInGroup.find(SubGroup);
625*67e74705SXin Li         assert(RI != DiagsInGroup.end() && "Referenced without existing?");
626*67e74705SXin Li         OS << RI->second.IDNo << ", ";
627*67e74705SXin Li       }
628*67e74705SXin Li       // Emit the groups implicitly in "pedantic".
629*67e74705SXin Li       if (IsPedantic) {
630*67e74705SXin Li         for (auto const &Group : GroupsInPedantic) {
631*67e74705SXin Li           const std::string &GroupName = Group->getValueAsString("GroupName");
632*67e74705SXin Li           std::map<std::string, GroupInfo>::const_iterator RI =
633*67e74705SXin Li               DiagsInGroup.find(GroupName);
634*67e74705SXin Li           assert(RI != DiagsInGroup.end() && "Referenced without existing?");
635*67e74705SXin Li           OS << RI->second.IDNo << ", ";
636*67e74705SXin Li         }
637*67e74705SXin Li       }
638*67e74705SXin Li 
639*67e74705SXin Li       OS << "-1,\n";
640*67e74705SXin Li     }
641*67e74705SXin Li   }
642*67e74705SXin Li   OS << "};\n\n";
643*67e74705SXin Li }
644*67e74705SXin Li 
645*67e74705SXin Li /// \brief Emit the list of diagnostic arrays.
646*67e74705SXin Li ///
647*67e74705SXin Li /// This data structure is a large array that contains itself arrays of varying
648*67e74705SXin Li /// size. Each array represents a list of diagnostics. The different arrays are
649*67e74705SXin Li /// separated by the value '-1'.
650*67e74705SXin Li ///
651*67e74705SXin Li /// \code
652*67e74705SXin Li ///   static const int16_t DiagArrays[] = {
653*67e74705SXin Li ///     /* Empty */ -1,
654*67e74705SXin Li ///     /* DiagArray1 */ diag::warn_pragma_message,
655*67e74705SXin Li ///                      -1,
656*67e74705SXin Li ///     /* DiagArray2 */ diag::warn_abs_too_small,
657*67e74705SXin Li ///                      diag::warn_unsigned_abs,
658*67e74705SXin Li ///                      diag::warn_wrong_absolute_value_type,
659*67e74705SXin Li ///                      -1
660*67e74705SXin Li ///   };
661*67e74705SXin Li /// \endcode
662*67e74705SXin Li ///
emitDiagArrays(std::map<std::string,GroupInfo> & DiagsInGroup,RecordVec & DiagsInPedantic,raw_ostream & OS)663*67e74705SXin Li static void emitDiagArrays(std::map<std::string, GroupInfo> &DiagsInGroup,
664*67e74705SXin Li                            RecordVec &DiagsInPedantic, raw_ostream &OS) {
665*67e74705SXin Li   OS << "static const int16_t DiagArrays[] = {\n"
666*67e74705SXin Li      << "  /* Empty */ -1,\n";
667*67e74705SXin Li   for (auto const &I : DiagsInGroup) {
668*67e74705SXin Li     const bool IsPedantic = I.first == "pedantic";
669*67e74705SXin Li 
670*67e74705SXin Li     const std::vector<const Record *> &V = I.second.DiagsInGroup;
671*67e74705SXin Li     if (!V.empty() || (IsPedantic && !DiagsInPedantic.empty())) {
672*67e74705SXin Li       OS << "  /* DiagArray" << I.second.IDNo << " */ ";
673*67e74705SXin Li       for (auto *Record : V)
674*67e74705SXin Li         OS << "diag::" << Record->getName() << ", ";
675*67e74705SXin Li       // Emit the diagnostics implicitly in "pedantic".
676*67e74705SXin Li       if (IsPedantic) {
677*67e74705SXin Li         for (auto const &Diag : DiagsInPedantic)
678*67e74705SXin Li           OS << "diag::" << Diag->getName() << ", ";
679*67e74705SXin Li       }
680*67e74705SXin Li       OS << "-1,\n";
681*67e74705SXin Li     }
682*67e74705SXin Li   }
683*67e74705SXin Li   OS << "};\n\n";
684*67e74705SXin Li }
685*67e74705SXin Li 
686*67e74705SXin Li /// \brief Emit a list of group names.
687*67e74705SXin Li ///
688*67e74705SXin Li /// This creates a long string which by itself contains a list of pascal style
689*67e74705SXin Li /// strings, which consist of a length byte directly followed by the string.
690*67e74705SXin Li ///
691*67e74705SXin Li /// \code
692*67e74705SXin Li ///   static const char DiagGroupNames[] = {
693*67e74705SXin Li ///     \000\020#pragma-messages\t#warnings\020CFString-literal"
694*67e74705SXin Li ///   };
695*67e74705SXin Li /// \endcode
emitDiagGroupNames(StringToOffsetTable & GroupNames,raw_ostream & OS)696*67e74705SXin Li static void emitDiagGroupNames(StringToOffsetTable &GroupNames,
697*67e74705SXin Li                                raw_ostream &OS) {
698*67e74705SXin Li   OS << "static const char DiagGroupNames[] = {\n";
699*67e74705SXin Li   GroupNames.EmitString(OS);
700*67e74705SXin Li   OS << "};\n\n";
701*67e74705SXin Li }
702*67e74705SXin Li 
703*67e74705SXin Li /// \brief Emit diagnostic arrays and related data structures.
704*67e74705SXin Li ///
705*67e74705SXin Li /// This creates the actual diagnostic array, an array of diagnostic subgroups
706*67e74705SXin Li /// and an array of subgroup names.
707*67e74705SXin Li ///
708*67e74705SXin Li /// \code
709*67e74705SXin Li ///  #ifdef GET_DIAG_ARRAYS
710*67e74705SXin Li ///     static const int16_t DiagArrays[];
711*67e74705SXin Li ///     static const int16_t DiagSubGroups[];
712*67e74705SXin Li ///     static const char DiagGroupNames[];
713*67e74705SXin Li ///  #endif
714*67e74705SXin Li ///  \endcode
emitAllDiagArrays(std::map<std::string,GroupInfo> & DiagsInGroup,RecordVec & DiagsInPedantic,RecordVec & GroupsInPedantic,StringToOffsetTable & GroupNames,raw_ostream & OS)715*67e74705SXin Li static void emitAllDiagArrays(std::map<std::string, GroupInfo> &DiagsInGroup,
716*67e74705SXin Li                               RecordVec &DiagsInPedantic,
717*67e74705SXin Li                               RecordVec &GroupsInPedantic,
718*67e74705SXin Li                               StringToOffsetTable &GroupNames,
719*67e74705SXin Li                               raw_ostream &OS) {
720*67e74705SXin Li   OS << "\n#ifdef GET_DIAG_ARRAYS\n";
721*67e74705SXin Li   emitDiagArrays(DiagsInGroup, DiagsInPedantic, OS);
722*67e74705SXin Li   emitDiagSubGroups(DiagsInGroup, GroupsInPedantic, OS);
723*67e74705SXin Li   emitDiagGroupNames(GroupNames, OS);
724*67e74705SXin Li   OS << "#endif // GET_DIAG_ARRAYS\n\n";
725*67e74705SXin Li }
726*67e74705SXin Li 
727*67e74705SXin Li /// \brief Emit diagnostic table.
728*67e74705SXin Li ///
729*67e74705SXin Li /// The table is sorted by the name of the diagnostic group. Each element
730*67e74705SXin Li /// consists of the name of the diagnostic group (given as offset in the
731*67e74705SXin Li /// group name table), a reference to a list of diagnostics (optional) and a
732*67e74705SXin Li /// reference to a set of subgroups (optional).
733*67e74705SXin Li ///
734*67e74705SXin Li /// \code
735*67e74705SXin Li /// #ifdef GET_DIAG_TABLE
736*67e74705SXin Li ///  {/* abi */              159, /* DiagArray11 */ 19, /* Empty */          0},
737*67e74705SXin Li ///  {/* aggregate-return */ 180, /* Empty */        0, /* Empty */          0},
738*67e74705SXin Li ///  {/* all */              197, /* Empty */        0, /* DiagSubGroup13 */ 3},
739*67e74705SXin Li ///  {/* deprecated */       1981,/* DiagArray1 */ 348, /* DiagSubGroup3 */  9},
740*67e74705SXin Li /// #endif
741*67e74705SXin Li /// \endcode
emitDiagTable(std::map<std::string,GroupInfo> & DiagsInGroup,RecordVec & DiagsInPedantic,RecordVec & GroupsInPedantic,StringToOffsetTable & GroupNames,raw_ostream & OS)742*67e74705SXin Li static void emitDiagTable(std::map<std::string, GroupInfo> &DiagsInGroup,
743*67e74705SXin Li                           RecordVec &DiagsInPedantic,
744*67e74705SXin Li                           RecordVec &GroupsInPedantic,
745*67e74705SXin Li                           StringToOffsetTable &GroupNames, raw_ostream &OS) {
746*67e74705SXin Li   unsigned MaxLen = 0;
747*67e74705SXin Li 
748*67e74705SXin Li   for (auto const &I: DiagsInGroup)
749*67e74705SXin Li     MaxLen = std::max(MaxLen, (unsigned)I.first.size());
750*67e74705SXin Li 
751*67e74705SXin Li   OS << "\n#ifdef GET_DIAG_TABLE\n";
752*67e74705SXin Li   unsigned SubGroupIndex = 1, DiagArrayIndex = 1;
753*67e74705SXin Li   for (auto const &I: DiagsInGroup) {
754*67e74705SXin Li     // Group option string.
755*67e74705SXin Li     OS << "  { /* ";
756*67e74705SXin Li     if (I.first.find_first_not_of("abcdefghijklmnopqrstuvwxyz"
757*67e74705SXin Li                                    "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
758*67e74705SXin Li                                    "0123456789!@#$%^*-+=:?") !=
759*67e74705SXin Li         std::string::npos)
760*67e74705SXin Li       PrintFatalError("Invalid character in diagnostic group '" + I.first +
761*67e74705SXin Li                       "'");
762*67e74705SXin Li     OS << I.first << " */ " << std::string(MaxLen - I.first.size(), ' ');
763*67e74705SXin Li     // Store a pascal-style length byte at the beginning of the string.
764*67e74705SXin Li     std::string Name = char(I.first.size()) + I.first;
765*67e74705SXin Li     OS << GroupNames.GetOrAddStringOffset(Name, false) << ", ";
766*67e74705SXin Li 
767*67e74705SXin Li     // Special handling for 'pedantic'.
768*67e74705SXin Li     const bool IsPedantic = I.first == "pedantic";
769*67e74705SXin Li 
770*67e74705SXin Li     // Diagnostics in the group.
771*67e74705SXin Li     const std::vector<const Record *> &V = I.second.DiagsInGroup;
772*67e74705SXin Li     const bool hasDiags =
773*67e74705SXin Li         !V.empty() || (IsPedantic && !DiagsInPedantic.empty());
774*67e74705SXin Li     if (hasDiags) {
775*67e74705SXin Li       OS << "/* DiagArray" << I.second.IDNo << " */ " << DiagArrayIndex
776*67e74705SXin Li          << ", ";
777*67e74705SXin Li       if (IsPedantic)
778*67e74705SXin Li         DiagArrayIndex += DiagsInPedantic.size();
779*67e74705SXin Li       DiagArrayIndex += V.size() + 1;
780*67e74705SXin Li     } else {
781*67e74705SXin Li       OS << "/* Empty */     0, ";
782*67e74705SXin Li     }
783*67e74705SXin Li 
784*67e74705SXin Li     // Subgroups.
785*67e74705SXin Li     const std::vector<std::string> &SubGroups = I.second.SubGroups;
786*67e74705SXin Li     const bool hasSubGroups =
787*67e74705SXin Li         !SubGroups.empty() || (IsPedantic && !GroupsInPedantic.empty());
788*67e74705SXin Li     if (hasSubGroups) {
789*67e74705SXin Li       OS << "/* DiagSubGroup" << I.second.IDNo << " */ " << SubGroupIndex;
790*67e74705SXin Li       if (IsPedantic)
791*67e74705SXin Li         SubGroupIndex += GroupsInPedantic.size();
792*67e74705SXin Li       SubGroupIndex += SubGroups.size() + 1;
793*67e74705SXin Li     } else {
794*67e74705SXin Li       OS << "/* Empty */         0";
795*67e74705SXin Li     }
796*67e74705SXin Li 
797*67e74705SXin Li     OS << " },\n";
798*67e74705SXin Li   }
799*67e74705SXin Li   OS << "#endif // GET_DIAG_TABLE\n\n";
800*67e74705SXin Li }
801*67e74705SXin Li 
802*67e74705SXin Li /// \brief Emit the table of diagnostic categories.
803*67e74705SXin Li ///
804*67e74705SXin Li /// The table has the form of macro calls that have two parameters. The
805*67e74705SXin Li /// category's name as well as an enum that represents the category. The
806*67e74705SXin Li /// table can be used by defining the macro 'CATEGORY' and including this
807*67e74705SXin Li /// table right after.
808*67e74705SXin Li ///
809*67e74705SXin Li /// \code
810*67e74705SXin Li /// #ifdef GET_CATEGORY_TABLE
811*67e74705SXin Li ///   CATEGORY("Semantic Issue", DiagCat_Semantic_Issue)
812*67e74705SXin Li ///   CATEGORY("Lambda Issue", DiagCat_Lambda_Issue)
813*67e74705SXin Li /// #endif
814*67e74705SXin Li /// \endcode
emitCategoryTable(RecordKeeper & Records,raw_ostream & OS)815*67e74705SXin Li static void emitCategoryTable(RecordKeeper &Records, raw_ostream &OS) {
816*67e74705SXin Li   DiagCategoryIDMap CategoriesByID(Records);
817*67e74705SXin Li   OS << "\n#ifdef GET_CATEGORY_TABLE\n";
818*67e74705SXin Li   for (auto const &C : CategoriesByID)
819*67e74705SXin Li     OS << "CATEGORY(\"" << C << "\", " << getDiagCategoryEnum(C) << ")\n";
820*67e74705SXin Li   OS << "#endif // GET_CATEGORY_TABLE\n\n";
821*67e74705SXin Li }
822*67e74705SXin Li 
823*67e74705SXin Li namespace clang {
EmitClangDiagGroups(RecordKeeper & Records,raw_ostream & OS)824*67e74705SXin Li void EmitClangDiagGroups(RecordKeeper &Records, raw_ostream &OS) {
825*67e74705SXin Li   // Compute a mapping from a DiagGroup to all of its parents.
826*67e74705SXin Li   DiagGroupParentMap DGParentMap(Records);
827*67e74705SXin Li 
828*67e74705SXin Li   std::vector<Record *> Diags = Records.getAllDerivedDefinitions("Diagnostic");
829*67e74705SXin Li 
830*67e74705SXin Li   std::vector<Record *> DiagGroups =
831*67e74705SXin Li       Records.getAllDerivedDefinitions("DiagGroup");
832*67e74705SXin Li 
833*67e74705SXin Li   std::map<std::string, GroupInfo> DiagsInGroup;
834*67e74705SXin Li   groupDiagnostics(Diags, DiagGroups, DiagsInGroup);
835*67e74705SXin Li 
836*67e74705SXin Li   // All extensions are implicitly in the "pedantic" group.  Record the
837*67e74705SXin Li   // implicit set of groups in the "pedantic" group, and use this information
838*67e74705SXin Li   // later when emitting the group information for Pedantic.
839*67e74705SXin Li   RecordVec DiagsInPedantic;
840*67e74705SXin Li   RecordVec GroupsInPedantic;
841*67e74705SXin Li   InferPedantic inferPedantic(DGParentMap, Diags, DiagGroups, DiagsInGroup);
842*67e74705SXin Li   inferPedantic.compute(&DiagsInPedantic, &GroupsInPedantic);
843*67e74705SXin Li 
844*67e74705SXin Li   StringToOffsetTable GroupNames;
845*67e74705SXin Li   for (std::map<std::string, GroupInfo>::const_iterator
846*67e74705SXin Li            I = DiagsInGroup.begin(),
847*67e74705SXin Li            E = DiagsInGroup.end();
848*67e74705SXin Li        I != E; ++I) {
849*67e74705SXin Li     // Store a pascal-style length byte at the beginning of the string.
850*67e74705SXin Li     std::string Name = char(I->first.size()) + I->first;
851*67e74705SXin Li     GroupNames.GetOrAddStringOffset(Name, false);
852*67e74705SXin Li   }
853*67e74705SXin Li 
854*67e74705SXin Li   emitAllDiagArrays(DiagsInGroup, DiagsInPedantic, GroupsInPedantic, GroupNames,
855*67e74705SXin Li                     OS);
856*67e74705SXin Li   emitDiagTable(DiagsInGroup, DiagsInPedantic, GroupsInPedantic, GroupNames,
857*67e74705SXin Li                 OS);
858*67e74705SXin Li   emitCategoryTable(Records, OS);
859*67e74705SXin Li }
860*67e74705SXin Li } // end namespace clang
861*67e74705SXin Li 
862*67e74705SXin Li //===----------------------------------------------------------------------===//
863*67e74705SXin Li // Diagnostic name index generation
864*67e74705SXin Li //===----------------------------------------------------------------------===//
865*67e74705SXin Li 
866*67e74705SXin Li namespace {
867*67e74705SXin Li struct RecordIndexElement
868*67e74705SXin Li {
RecordIndexElement__anon48e285140511::RecordIndexElement869*67e74705SXin Li   RecordIndexElement() {}
RecordIndexElement__anon48e285140511::RecordIndexElement870*67e74705SXin Li   explicit RecordIndexElement(Record const &R):
871*67e74705SXin Li     Name(R.getName()) {}
872*67e74705SXin Li 
873*67e74705SXin Li   std::string Name;
874*67e74705SXin Li };
875*67e74705SXin Li } // end anonymous namespace.
876*67e74705SXin Li 
877*67e74705SXin Li namespace clang {
EmitClangDiagsIndexName(RecordKeeper & Records,raw_ostream & OS)878*67e74705SXin Li void EmitClangDiagsIndexName(RecordKeeper &Records, raw_ostream &OS) {
879*67e74705SXin Li   const std::vector<Record*> &Diags =
880*67e74705SXin Li     Records.getAllDerivedDefinitions("Diagnostic");
881*67e74705SXin Li 
882*67e74705SXin Li   std::vector<RecordIndexElement> Index;
883*67e74705SXin Li   Index.reserve(Diags.size());
884*67e74705SXin Li   for (unsigned i = 0, e = Diags.size(); i != e; ++i) {
885*67e74705SXin Li     const Record &R = *(Diags[i]);
886*67e74705SXin Li     Index.push_back(RecordIndexElement(R));
887*67e74705SXin Li   }
888*67e74705SXin Li 
889*67e74705SXin Li   std::sort(Index.begin(), Index.end(),
890*67e74705SXin Li             [](const RecordIndexElement &Lhs,
891*67e74705SXin Li                const RecordIndexElement &Rhs) { return Lhs.Name < Rhs.Name; });
892*67e74705SXin Li 
893*67e74705SXin Li   for (unsigned i = 0, e = Index.size(); i != e; ++i) {
894*67e74705SXin Li     const RecordIndexElement &R = Index[i];
895*67e74705SXin Li 
896*67e74705SXin Li     OS << "DIAG_NAME_INDEX(" << R.Name << ")\n";
897*67e74705SXin Li   }
898*67e74705SXin Li }
899*67e74705SXin Li } // end namespace clang
900