blob: d9863448caa1740027ad17627f36279ee11400d9 [file] [log] [blame]
Ted Kremenek0edabbf2008-11-03 22:33:57 +00001//===--- PlistDiagnostics.cpp - Plist Diagnostics for Paths -----*- 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// This file defines the PlistDiagnostics object.
11//
12//===----------------------------------------------------------------------===//
13
Daniel Dunbar68952de2009-03-02 06:16:29 +000014#include "clang/Frontend/PathDiagnosticClients.h"
Ted Kremenek0edabbf2008-11-03 22:33:57 +000015#include "clang/Analysis/PathDiagnostic.h"
16#include "clang/Basic/SourceManager.h"
17#include "clang/Basic/FileManager.h"
18#include "llvm/Support/Compiler.h"
19#include "llvm/Support/raw_ostream.h"
20#include "llvm/System/Path.h"
21#include "llvm/ADT/DenseMap.h"
22#include "llvm/ADT/SmallVector.h"
Ted Kremenek0edabbf2008-11-03 22:33:57 +000023using namespace clang;
Chris Lattnerf4f776a2009-01-17 06:22:33 +000024
25typedef llvm::DenseMap<FileID, unsigned> FIDMap;
Ted Kremenek0edabbf2008-11-03 22:33:57 +000026
Ted Kremeneka3f825e2008-11-03 23:18:07 +000027namespace clang {
28 class Preprocessor;
29 class PreprocessorFactory;
30}
31
Ted Kremenek0edabbf2008-11-03 22:33:57 +000032namespace {
33 class VISIBILITY_HIDDEN PlistDiagnostics : public PathDiagnosticClient {
Ted Kremenek2f1dbf92009-01-21 00:42:24 +000034 std::vector<const PathDiagnostic*> BatchedDiags;
35 const std::string OutputFile;
Ted Kremenek0edabbf2008-11-03 22:33:57 +000036 public:
37 PlistDiagnostics(const std::string& prefix);
Ted Kremenek2f1dbf92009-01-21 00:42:24 +000038 ~PlistDiagnostics();
Ted Kremenek0edabbf2008-11-03 22:33:57 +000039 void HandlePathDiagnostic(const PathDiagnostic* D);
40 };
41} // end anonymous namespace
42
Ted Kremenek2f1dbf92009-01-21 00:42:24 +000043PlistDiagnostics::PlistDiagnostics(const std::string& output)
44 : OutputFile(output) {}
Ted Kremenek0edabbf2008-11-03 22:33:57 +000045
Ted Kremeneka3f825e2008-11-03 23:18:07 +000046PathDiagnosticClient*
47clang::CreatePlistDiagnosticClient(const std::string& s,
48 Preprocessor*, PreprocessorFactory*) {
Ted Kremenek0edabbf2008-11-03 22:33:57 +000049 return new PlistDiagnostics(s);
50}
51
Chris Lattner1737bd52009-01-19 07:46:45 +000052static void AddFID(FIDMap &FIDs, llvm::SmallVectorImpl<FileID> &V,
Ted Kremenekdd485cb2009-01-23 20:06:20 +000053 SourceManager* SM, SourceLocation L) {
Ted Kremenek0edabbf2008-11-03 22:33:57 +000054
Ted Kremenekdd485cb2009-01-23 20:06:20 +000055 FileID FID = SM->getFileID(SM->getInstantiationLoc(L));
Chris Lattnerf4f776a2009-01-17 06:22:33 +000056 FIDMap::iterator I = FIDs.find(FID);
Ted Kremenek0edabbf2008-11-03 22:33:57 +000057 if (I != FIDs.end()) return;
Chris Lattnerf4f776a2009-01-17 06:22:33 +000058 FIDs[FID] = V.size();
59 V.push_back(FID);
Ted Kremenek0edabbf2008-11-03 22:33:57 +000060}
61
Ted Kremenekdd485cb2009-01-23 20:06:20 +000062static unsigned GetFID(const FIDMap& FIDs, SourceManager* SM, SourceLocation L){
63 FileID FID = SM->getFileID(SM->getInstantiationLoc(L));
Chris Lattnerf4f776a2009-01-17 06:22:33 +000064 FIDMap::const_iterator I = FIDs.find(FID);
65 assert(I != FIDs.end());
Ted Kremenek0edabbf2008-11-03 22:33:57 +000066 return I->second;
67}
68
69static llvm::raw_ostream& Indent(llvm::raw_ostream& o, const unsigned indent) {
Chris Lattnerf4f776a2009-01-17 06:22:33 +000070 for (unsigned i = 0; i < indent; ++i)
71 o << ' ';
Ted Kremenek0edabbf2008-11-03 22:33:57 +000072 return o;
73}
74
Ted Kremenekdd485cb2009-01-23 20:06:20 +000075static void EmitLocation(llvm::raw_ostream& o, SourceManager* SM,
Ted Kremenek0edabbf2008-11-03 22:33:57 +000076 SourceLocation L, const FIDMap& FM,
77 const unsigned indent) {
78
79 Indent(o, indent) << "<dict>\n";
80 Indent(o, indent) << " <key>line</key><integer>"
Ted Kremenekdd485cb2009-01-23 20:06:20 +000081 << SM->getInstantiationLineNumber(L) << "</integer>\n";
Ted Kremenek0edabbf2008-11-03 22:33:57 +000082 Indent(o, indent) << " <key>col</key><integer>"
Ted Kremenekdd485cb2009-01-23 20:06:20 +000083 << SM->getInstantiationColumnNumber(L) << "</integer>\n";
Ted Kremenek0edabbf2008-11-03 22:33:57 +000084 Indent(o, indent) << " <key>file</key><integer>"
85 << GetFID(FM, SM, L) << "</integer>\n";
86 Indent(o, indent) << "</dict>\n";
87}
88
Ted Kremenekdd485cb2009-01-23 20:06:20 +000089static void EmitRange(llvm::raw_ostream& o, SourceManager* SM, SourceRange R,
Ted Kremenek0edabbf2008-11-03 22:33:57 +000090 const FIDMap& FM, const unsigned indent) {
91
92 Indent(o, indent) << "<array>\n";
93 EmitLocation(o, SM, R.getBegin(), FM, indent+1);
94 EmitLocation(o, SM, R.getEnd(), FM, indent+1);
95 Indent(o, indent) << "</array>\n";
96}
97
98static void ReportDiag(llvm::raw_ostream& o, const PathDiagnosticPiece& P,
Ted Kremenekdd485cb2009-01-23 20:06:20 +000099 const FIDMap& FM, SourceManager* SM) {
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000100
Ted Kremenek8b57e212009-02-02 21:45:32 +0000101 unsigned indent = 4;
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000102 Indent(o, indent) << "<dict>\n";
103 ++indent;
104
105 // Output the location.
106 FullSourceLoc L = P.getLocation();
107
108 Indent(o, indent) << "<key>location</key>\n";
Chris Lattnera9bf63b2009-01-16 23:06:35 +0000109 EmitLocation(o, SM, L, FM, indent);
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000110
111 // Output the ranges (if any).
112 PathDiagnosticPiece::range_iterator RI = P.ranges_begin(),
113 RE = P.ranges_end();
114
115 if (RI != RE) {
116 Indent(o, indent) << "<key>ranges</key>\n";
117 Indent(o, indent) << "<array>\n";
Ted Kremenek8b57e212009-02-02 21:45:32 +0000118 ++indent;
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000119 for ( ; RI != RE; ++RI ) EmitRange(o, SM, *RI, FM, indent+1);
Ted Kremenek8b57e212009-02-02 21:45:32 +0000120 --indent;
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000121 Indent(o, indent) << "</array>\n";
122 }
123
124 // Output the text.
125 Indent(o, indent) << "<key>message</key>\n";
Ted Kremeneka3f825e2008-11-03 23:18:07 +0000126 Indent(o, indent) << "<string>" << P.getString() << "</string>\n";
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000127
128 // Output the hint.
Ted Kremenek4edc2b52009-03-02 19:40:15 +0000129#if 0
130 // Disable the display hint until we clear up its meaning.
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000131 Indent(o, indent) << "<key>displayhint</key>\n";
132 Indent(o, indent) << "<string>"
133 << (P.getDisplayHint() == PathDiagnosticPiece::Above
134 ? "above" : "below")
135 << "</string>\n";
Ted Kremenek4edc2b52009-03-02 19:40:15 +0000136#endif
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000137
138
139 // Finish up.
140 --indent;
141 Indent(o, indent); o << "</dict>\n";
142}
143
144void PlistDiagnostics::HandlePathDiagnostic(const PathDiagnostic* D) {
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000145 if (!D)
146 return;
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000147
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000148 if (D->empty()) {
149 delete D;
150 return;
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000151 }
152
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000153 BatchedDiags.push_back(D);
154}
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000155
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000156PlistDiagnostics::~PlistDiagnostics() {
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000157
158 // Build up a set of FIDs that we use by scanning the locations and
159 // ranges of the diagnostics.
160 FIDMap FM;
Chris Lattnerf4f776a2009-01-17 06:22:33 +0000161 llvm::SmallVector<FileID, 10> Fids;
Ted Kremenekdd485cb2009-01-23 20:06:20 +0000162 SourceManager* SM = 0;
163
164 if (!BatchedDiags.empty())
165 SM = &(*BatchedDiags.begin())->begin()->getLocation().getManager();
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000166
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000167 for (std::vector<const PathDiagnostic*>::iterator DI = BatchedDiags.begin(),
168 DE = BatchedDiags.end(); DI != DE; ++DI) {
169
170 const PathDiagnostic *D = *DI;
171
172 for (PathDiagnostic::const_iterator I=D->begin(), E=D->end(); I!=E; ++I) {
173 AddFID(FM, Fids, SM, I->getLocation());
174
175 for (PathDiagnosticPiece::range_iterator RI=I->ranges_begin(),
176 RE=I->ranges_end(); RI!=RE; ++RI) {
177 AddFID(FM, Fids, SM, RI->getBegin());
178 AddFID(FM, Fids, SM, RI->getEnd());
179 }
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000180 }
181 }
182
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000183 // Open the file.
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000184 std::string ErrMsg;
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000185 llvm::raw_fd_ostream o(OutputFile.c_str(), false, ErrMsg);
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000186 if (!ErrMsg.empty()) {
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000187 llvm::errs() << "warning: could not creat file: " << OutputFile << '\n';
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000188 return;
189 }
190
191 // Write the plist header.
192 o << "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000193 "<!DOCTYPE plist PUBLIC \"-//Apple Computer//DTD PLIST 1.0//EN\" "
194 "http://www.apple.com/DTDs/PropertyList-1.0.dtd\">\n"
195 "<plist version=\"1.0\">\n";
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000196
197 // Write the root object: a <dict> containing...
198 // - "files", an <array> mapping from FIDs to file names
199 // - "diagnostics", an <array> containing the path diagnostics
200 o << "<dict>\n"
201 " <key>files</key>\n"
202 " <array>\n";
203
Chris Lattnerf4f776a2009-01-17 06:22:33 +0000204 for (llvm::SmallVectorImpl<FileID>::iterator I=Fids.begin(), E=Fids.end();
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000205 I!=E; ++I)
Ted Kremenekdd485cb2009-01-23 20:06:20 +0000206 o << " <string>" << SM->getFileEntryForID(*I)->getName() << "</string>\n";
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000207
208 o << " </array>\n"
209 " <key>diagnostics</key>\n"
210 " <array>\n";
211
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000212 for (std::vector<const PathDiagnostic*>::iterator DI=BatchedDiags.begin(),
213 DE = BatchedDiags.end(); DI!=DE; ++DI) {
214
215 o << " <dict>\n"
216 " <key>path</key>\n";
217
218 const PathDiagnostic *D = *DI;
219 // Create an owning smart pointer for 'D' just so that we auto-free it
220 // when we exit this method.
221 llvm::OwningPtr<PathDiagnostic> OwnedD(const_cast<PathDiagnostic*>(D));
222
223 o << " <array>\n";
224
225 for (PathDiagnostic::const_iterator I=D->begin(), E=D->end(); I != E; ++I)
226 ReportDiag(o, *I, FM, SM);
227
228 o << " </array>\n";
229
230 // Output the bug type and bug category.
Ted Kremenek8b57e212009-02-02 21:45:32 +0000231 o << " <key>description</key>\n <string>" << D->getDescription()
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000232 << "</string>\n"
233 << " <key>category</key>\n <string>" << D->getCategory()
234 << "</string>\n"
235 << " </dict>\n";
236 }
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000237
238 o << " </array>\n";
Ted Kremenek2f1dbf92009-01-21 00:42:24 +0000239
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000240 // Finish.
Ted Kremeneka3f825e2008-11-03 23:18:07 +0000241 o << "</dict>\n</plist>";
Ted Kremenek0edabbf2008-11-03 22:33:57 +0000242}