blob: 36c3dcabb924caaef9ff760028d736fa1ebe4d01 [file] [log] [blame]
Chris Lattner5b25f0b2013-01-19 18:47:35 +00001//===-- CXLoadedDiagnostic.cpp - Handling of persisent diags ----*- 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// Implements handling of persisent diagnostics.
11//
12//===----------------------------------------------------------------------===//
Ted Kremenekd010ba42011-11-10 08:43:12 +000013
14#include "CXLoadedDiagnostic.h"
15#include "CXString.h"
16#include "clang/Basic/Diagnostic.h"
17#include "clang/Basic/FileManager.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000018#include "clang/Basic/LLVM.h"
Justin Bognerf8847232014-10-14 06:30:31 +000019#include "clang/Frontend/SerializedDiagnosticReader.h"
Chandler Carruth575bc3ba2015-01-14 11:23:58 +000020#include "clang/Frontend/SerializedDiagnostics.h"
Benjamin Kramer33335df2015-03-01 21:36:40 +000021#include "llvm/ADT/STLExtras.h"
Ted Kremenekd010ba42011-11-10 08:43:12 +000022#include "llvm/ADT/StringRef.h"
23#include "llvm/ADT/Twine.h"
Ted Kremenekd010ba42011-11-10 08:43:12 +000024#include "llvm/Bitcode/BitstreamReader.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000025#include "llvm/Support/ErrorHandling.h"
Hans Wennborgdcfba332015-10-06 23:40:43 +000026
Ted Kremenekd010ba42011-11-10 08:43:12 +000027using namespace clang;
Ted Kremenekd010ba42011-11-10 08:43:12 +000028
29//===----------------------------------------------------------------------===//
30// Extend CXDiagnosticSetImpl which contains strings for diagnostics.
31//===----------------------------------------------------------------------===//
32
Dmitri Gribenko7d098082013-02-18 19:50:38 +000033typedef llvm::DenseMap<unsigned, const char *> Strings;
Ted Kremenekd010ba42011-11-10 08:43:12 +000034
35namespace {
36class CXLoadedDiagnosticSetImpl : public CXDiagnosticSetImpl {
37public:
38 CXLoadedDiagnosticSetImpl() : CXDiagnosticSetImpl(true), FakeFiles(FO) {}
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000039 ~CXLoadedDiagnosticSetImpl() override {}
Ted Kremenekd010ba42011-11-10 08:43:12 +000040
Ted Kremenekd010ba42011-11-10 08:43:12 +000041 llvm::BumpPtrAllocator Alloc;
42 Strings Categories;
43 Strings WarningFlags;
44 Strings FileNames;
45
46 FileSystemOptions FO;
47 FileManager FakeFiles;
48 llvm::DenseMap<unsigned, const FileEntry *> Files;
Dmitri Gribenko7d098082013-02-18 19:50:38 +000049
50 /// \brief Copy the string into our own allocator.
51 const char *copyString(StringRef Blob) {
Chris Lattner0e6c9402013-01-20 02:38:54 +000052 char *mem = Alloc.Allocate<char>(Blob.size() + 1);
53 memcpy(mem, Blob.data(), Blob.size());
Chris Lattner0e6c9402013-01-20 02:38:54 +000054 mem[Blob.size()] = '\0';
Dmitri Gribenko7d098082013-02-18 19:50:38 +000055 return mem;
Chris Lattner0e6c9402013-01-20 02:38:54 +000056 }
Ted Kremenekd010ba42011-11-10 08:43:12 +000057};
Hans Wennborgdcfba332015-10-06 23:40:43 +000058} // end anonymous namespace
Ted Kremenekd010ba42011-11-10 08:43:12 +000059
Ted Kremenekd010ba42011-11-10 08:43:12 +000060//===----------------------------------------------------------------------===//
61// Cleanup.
62//===----------------------------------------------------------------------===//
63
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000064CXLoadedDiagnostic::~CXLoadedDiagnostic() {}
Ted Kremenekd010ba42011-11-10 08:43:12 +000065
66//===----------------------------------------------------------------------===//
67// Public CXLoadedDiagnostic methods.
68//===----------------------------------------------------------------------===//
69
70CXDiagnosticSeverity CXLoadedDiagnostic::getSeverity() const {
Jordan Rose7ef1c382014-03-03 18:29:52 +000071 // FIXME: Fail more softly if the diagnostic level is unknown?
Jordan Roseaf710312014-03-04 17:45:43 +000072 auto severityAsLevel = static_cast<serialized_diags::Level>(severity);
73 assert(severity == static_cast<unsigned>(severityAsLevel) &&
Jordan Rose7ef1c382014-03-03 18:29:52 +000074 "unknown serialized diagnostic level");
75
Jordan Roseaf710312014-03-04 17:45:43 +000076 switch (severityAsLevel) {
Jordan Rose7ef1c382014-03-03 18:29:52 +000077#define CASE(X) case serialized_diags::X: return CXDiagnostic_##X;
78 CASE(Ignored)
79 CASE(Note)
80 CASE(Warning)
81 CASE(Error)
82 CASE(Fatal)
Jordan Rose7ef1c382014-03-03 18:29:52 +000083#undef CASE
Alp Toker87d39752014-04-26 14:43:53 +000084 // The 'Remark' level isn't represented in the stable API.
85 case serialized_diags::Remark: return CXDiagnostic_Warning;
Ted Kremenekd010ba42011-11-10 08:43:12 +000086 }
87
88 llvm_unreachable("Invalid diagnostic level");
Ted Kremenekd010ba42011-11-10 08:43:12 +000089}
90
91static CXSourceLocation makeLocation(const CXLoadedDiagnostic::Location *DLoc) {
92 // The lowest bit of ptr_data[0] is always set to 1 to indicate this
93 // is a persistent diagnostic.
94 uintptr_t V = (uintptr_t) DLoc;
95 V |= 0x1;
Craig Topper69186e72014-06-08 08:38:04 +000096 CXSourceLocation Loc = { { (void*) V, nullptr }, 0 };
Ted Kremenekd010ba42011-11-10 08:43:12 +000097 return Loc;
98}
99
100CXSourceLocation CXLoadedDiagnostic::getLocation() const {
101 // The lowest bit of ptr_data[0] is always set to 1 to indicate this
102 // is a persistent diagnostic.
103 return makeLocation(&DiagLoc);
104}
105
106CXString CXLoadedDiagnostic::getSpelling() const {
Dmitri Gribenko2f23e9c2013-02-02 02:19:29 +0000107 return cxstring::createRef(Spelling);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000108}
109
110CXString CXLoadedDiagnostic::getDiagnosticOption(CXString *Disable) const {
111 if (DiagOption.empty())
Dmitri Gribenko36a6dd02013-02-01 14:21:22 +0000112 return cxstring::createEmpty();
Ted Kremenekd010ba42011-11-10 08:43:12 +0000113
114 // FIXME: possibly refactor with logic in CXStoredDiagnostic.
115 if (Disable)
Dmitri Gribenko2f23e9c2013-02-02 02:19:29 +0000116 *Disable = cxstring::createDup((Twine("-Wno-") + DiagOption).str());
117 return cxstring::createDup((Twine("-W") + DiagOption).str());
Ted Kremenekd010ba42011-11-10 08:43:12 +0000118}
119
120unsigned CXLoadedDiagnostic::getCategory() const {
121 return category;
122}
123
Ted Kremenek26a6d492012-04-12 00:03:31 +0000124CXString CXLoadedDiagnostic::getCategoryText() const {
Dmitri Gribenko2f23e9c2013-02-02 02:19:29 +0000125 return cxstring::createDup(CategoryText);
Ted Kremenek26a6d492012-04-12 00:03:31 +0000126}
127
Ted Kremenekd010ba42011-11-10 08:43:12 +0000128unsigned CXLoadedDiagnostic::getNumRanges() const {
129 return Ranges.size();
130}
131
132CXSourceRange CXLoadedDiagnostic::getRange(unsigned Range) const {
133 assert(Range < Ranges.size());
134 return Ranges[Range];
135}
136
137unsigned CXLoadedDiagnostic::getNumFixIts() const {
138 return FixIts.size();
139}
140
141CXString CXLoadedDiagnostic::getFixIt(unsigned FixIt,
142 CXSourceRange *ReplacementRange) const {
143 assert(FixIt < FixIts.size());
144 if (ReplacementRange)
145 *ReplacementRange = FixIts[FixIt].first;
Dmitri Gribenko7d098082013-02-18 19:50:38 +0000146 return cxstring::createRef(FixIts[FixIt].second);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000147}
148
149void CXLoadedDiagnostic::decodeLocation(CXSourceLocation location,
150 CXFile *file,
151 unsigned int *line,
152 unsigned int *column,
153 unsigned int *offset) {
154
155
156 // CXSourceLocation consists of the following fields:
157 //
158 // void *ptr_data[2];
159 // unsigned int_data;
160 //
161 // The lowest bit of ptr_data[0] is always set to 1 to indicate this
162 // is a persistent diagnostic.
163 //
164 // For now, do the unoptimized approach and store the data in a side
165 // data structure. We can optimize this case later.
166
167 uintptr_t V = (uintptr_t) location.ptr_data[0];
168 assert((V & 0x1) == 1);
169 V &= ~(uintptr_t)1;
170
171 const Location &Loc = *((Location*)V);
172
173 if (file)
174 *file = Loc.file;
175 if (line)
176 *line = Loc.line;
177 if (column)
178 *column = Loc.column;
179 if (offset)
180 *offset = Loc.offset;
181}
182
183//===----------------------------------------------------------------------===//
184// Deserialize diagnostics.
185//===----------------------------------------------------------------------===//
186
Ted Kremenekd010ba42011-11-10 08:43:12 +0000187namespace {
Justin Bognerf8847232014-10-14 06:30:31 +0000188class DiagLoader : serialized_diags::SerializedDiagnosticReader {
Ted Kremenekd010ba42011-11-10 08:43:12 +0000189 enum CXLoadDiag_Error *error;
190 CXString *errorString;
Justin Bognerf8847232014-10-14 06:30:31 +0000191 std::unique_ptr<CXLoadedDiagnosticSetImpl> TopDiags;
192 SmallVector<std::unique_ptr<CXLoadedDiagnostic>, 8> CurrentDiags;
193
194 std::error_code reportBad(enum CXLoadDiag_Error code, llvm::StringRef err) {
Ted Kremenekd010ba42011-11-10 08:43:12 +0000195 if (error)
196 *error = code;
197 if (errorString)
Dmitri Gribenko2f23e9c2013-02-02 02:19:29 +0000198 *errorString = cxstring::createDup(err);
Justin Bognerf8847232014-10-14 06:30:31 +0000199 return serialized_diags::SDError::HandlerFailed;
Ted Kremenekd010ba42011-11-10 08:43:12 +0000200 }
201
Justin Bognerf8847232014-10-14 06:30:31 +0000202 std::error_code reportInvalidFile(llvm::StringRef err) {
Ted Kremenekd010ba42011-11-10 08:43:12 +0000203 return reportBad(CXLoadDiag_InvalidFile, err);
204 }
205
Justin Bognerf8847232014-10-14 06:30:31 +0000206 std::error_code readRange(const serialized_diags::Location &SDStart,
207 const serialized_diags::Location &SDEnd,
208 CXSourceRange &SR);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000209
Justin Bognerf8847232014-10-14 06:30:31 +0000210 std::error_code readLocation(const serialized_diags::Location &SDLoc,
211 CXLoadedDiagnostic::Location &LoadedLoc);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000212
Justin Bognerf8847232014-10-14 06:30:31 +0000213protected:
214 std::error_code visitStartOfDiagnostic() override;
215 std::error_code visitEndOfDiagnostic() override;
Ted Kremenekd010ba42011-11-10 08:43:12 +0000216
Justin Bognerf8847232014-10-14 06:30:31 +0000217 std::error_code visitCategoryRecord(unsigned ID, StringRef Name) override;
218
219 std::error_code visitDiagFlagRecord(unsigned ID, StringRef Name) override;
220
221 std::error_code visitDiagnosticRecord(
222 unsigned Severity, const serialized_diags::Location &Location,
223 unsigned Category, unsigned Flag, StringRef Message) override;
224
225 std::error_code visitFilenameRecord(unsigned ID, unsigned Size,
226 unsigned Timestamp,
227 StringRef Name) override;
228
229 std::error_code visitFixitRecord(const serialized_diags::Location &Start,
230 const serialized_diags::Location &End,
231 StringRef CodeToInsert) override;
232
233 std::error_code
234 visitSourceRangeRecord(const serialized_diags::Location &Start,
235 const serialized_diags::Location &End) override;
236
Ted Kremenekd010ba42011-11-10 08:43:12 +0000237public:
238 DiagLoader(enum CXLoadDiag_Error *e, CXString *es)
Justin Bognerf8847232014-10-14 06:30:31 +0000239 : SerializedDiagnosticReader(), error(e), errorString(es) {
240 if (error)
241 *error = CXLoadDiag_None;
242 if (errorString)
243 *errorString = cxstring::createEmpty();
244 }
Ted Kremenek70394cf2011-11-11 15:19:48 +0000245
Ted Kremenekd010ba42011-11-10 08:43:12 +0000246 CXDiagnosticSet load(const char *file);
247};
Hans Wennborgdcfba332015-10-06 23:40:43 +0000248} // end anonymous namespace
Ted Kremenekd010ba42011-11-10 08:43:12 +0000249
250CXDiagnosticSet DiagLoader::load(const char *file) {
Justin Bognerf8847232014-10-14 06:30:31 +0000251 TopDiags = llvm::make_unique<CXLoadedDiagnosticSetImpl>();
Ted Kremenekd010ba42011-11-10 08:43:12 +0000252
Justin Bognerf8847232014-10-14 06:30:31 +0000253 std::error_code EC = readDiagnostics(file);
254 if (EC) {
255 switch (EC.value()) {
256 case static_cast<int>(serialized_diags::SDError::HandlerFailed):
257 // We've already reported the problem.
258 break;
259 case static_cast<int>(serialized_diags::SDError::CouldNotLoad):
260 reportBad(CXLoadDiag_CannotLoad, EC.message());
261 break;
262 default:
263 reportInvalidFile(EC.message());
264 break;
Ted Kremenekd010ba42011-11-10 08:43:12 +0000265 }
Hans Wennborgdcfba332015-10-06 23:40:43 +0000266 return nullptr;
Ted Kremenekd010ba42011-11-10 08:43:12 +0000267 }
Justin Bognerf8847232014-10-14 06:30:31 +0000268
269 return (CXDiagnosticSet)TopDiags.release();
Ted Kremenekd010ba42011-11-10 08:43:12 +0000270}
271
Justin Bognerf8847232014-10-14 06:30:31 +0000272std::error_code
273DiagLoader::readLocation(const serialized_diags::Location &SDLoc,
274 CXLoadedDiagnostic::Location &LoadedLoc) {
275 unsigned FileID = SDLoc.FileID;
276 if (FileID == 0)
277 LoadedLoc.file = nullptr;
278 else {
279 LoadedLoc.file = const_cast<FileEntry *>(TopDiags->Files[FileID]);
280 if (!LoadedLoc.file)
281 return reportInvalidFile("Corrupted file entry in source location");
Ted Kremenekd010ba42011-11-10 08:43:12 +0000282 }
Justin Bognerf8847232014-10-14 06:30:31 +0000283 LoadedLoc.line = SDLoc.Line;
284 LoadedLoc.column = SDLoc.Col;
285 LoadedLoc.offset = SDLoc.Offset;
286 return std::error_code();
Ted Kremenekd010ba42011-11-10 08:43:12 +0000287}
288
Justin Bognerf8847232014-10-14 06:30:31 +0000289std::error_code
290DiagLoader::readRange(const serialized_diags::Location &SDStart,
291 const serialized_diags::Location &SDEnd,
292 CXSourceRange &SR) {
Ted Kremenekd010ba42011-11-10 08:43:12 +0000293 CXLoadedDiagnostic::Location *Start, *End;
Justin Bognerf8847232014-10-14 06:30:31 +0000294 Start = TopDiags->Alloc.Allocate<CXLoadedDiagnostic::Location>();
295 End = TopDiags->Alloc.Allocate<CXLoadedDiagnostic::Location>();
296
297 std::error_code EC;
298 if ((EC = readLocation(SDStart, *Start)))
299 return EC;
300 if ((EC = readLocation(SDEnd, *End)))
301 return EC;
Ted Kremenekd010ba42011-11-10 08:43:12 +0000302
303 CXSourceLocation startLoc = makeLocation(Start);
304 CXSourceLocation endLoc = makeLocation(End);
305 SR = clang_getRange(startLoc, endLoc);
Justin Bognerf8847232014-10-14 06:30:31 +0000306 return std::error_code();
Ted Kremenekd010ba42011-11-10 08:43:12 +0000307}
308
Justin Bognerf8847232014-10-14 06:30:31 +0000309std::error_code DiagLoader::visitStartOfDiagnostic() {
310 CurrentDiags.push_back(llvm::make_unique<CXLoadedDiagnostic>());
311 return std::error_code();
312}
Ted Kremenekd010ba42011-11-10 08:43:12 +0000313
Justin Bognerf8847232014-10-14 06:30:31 +0000314std::error_code DiagLoader::visitEndOfDiagnostic() {
315 auto D = CurrentDiags.pop_back_val();
316 if (CurrentDiags.empty())
317 TopDiags->appendDiagnostic(std::move(D));
318 else
319 CurrentDiags.back()->getChildDiagnostics().appendDiagnostic(std::move(D));
320 return std::error_code();
321}
Ahmed Charlesb8984322014-03-07 20:03:18 +0000322
Justin Bognerf8847232014-10-14 06:30:31 +0000323std::error_code DiagLoader::visitCategoryRecord(unsigned ID, StringRef Name) {
324 // FIXME: Why do we care about long strings?
325 if (Name.size() > 65536)
326 return reportInvalidFile("Out-of-bounds string in category");
327 TopDiags->Categories[ID] = TopDiags->copyString(Name);
328 return std::error_code();
329}
Ted Kremenekd010ba42011-11-10 08:43:12 +0000330
Justin Bognerf8847232014-10-14 06:30:31 +0000331std::error_code DiagLoader::visitDiagFlagRecord(unsigned ID, StringRef Name) {
332 // FIXME: Why do we care about long strings?
333 if (Name.size() > 65536)
334 return reportInvalidFile("Out-of-bounds string in warning flag");
335 TopDiags->WarningFlags[ID] = TopDiags->copyString(Name);
336 return std::error_code();
337}
Ted Kremenekd010ba42011-11-10 08:43:12 +0000338
Justin Bognerf8847232014-10-14 06:30:31 +0000339std::error_code DiagLoader::visitFilenameRecord(unsigned ID, unsigned Size,
340 unsigned Timestamp,
341 StringRef Name) {
342 // FIXME: Why do we care about long strings?
343 if (Name.size() > 65536)
344 return reportInvalidFile("Out-of-bounds string in filename");
345 TopDiags->FileNames[ID] = TopDiags->copyString(Name);
346 TopDiags->Files[ID] =
347 TopDiags->FakeFiles.getVirtualFile(Name, Size, Timestamp);
348 return std::error_code();
349}
Ted Kremenekd010ba42011-11-10 08:43:12 +0000350
Justin Bognerf8847232014-10-14 06:30:31 +0000351std::error_code
352DiagLoader::visitSourceRangeRecord(const serialized_diags::Location &Start,
353 const serialized_diags::Location &End) {
354 CXSourceRange SR;
355 if (std::error_code EC = readRange(Start, End, SR))
356 return EC;
357 CurrentDiags.back()->Ranges.push_back(SR);
358 return std::error_code();
359}
360
361std::error_code
362DiagLoader::visitFixitRecord(const serialized_diags::Location &Start,
363 const serialized_diags::Location &End,
364 StringRef CodeToInsert) {
365 CXSourceRange SR;
366 if (std::error_code EC = readRange(Start, End, SR))
367 return EC;
368 // FIXME: Why do we care about long strings?
369 if (CodeToInsert.size() > 65536)
370 return reportInvalidFile("Out-of-bounds string in FIXIT");
371 CurrentDiags.back()->FixIts.push_back(
372 std::make_pair(SR, TopDiags->copyString(CodeToInsert)));
373 return std::error_code();
374}
375
376std::error_code DiagLoader::visitDiagnosticRecord(
377 unsigned Severity, const serialized_diags::Location &Location,
378 unsigned Category, unsigned Flag, StringRef Message) {
379 CXLoadedDiagnostic &D = *CurrentDiags.back();
380 D.severity = Severity;
381 if (std::error_code EC = readLocation(Location, D.DiagLoc))
382 return EC;
383 D.category = Category;
384 D.DiagOption = Flag ? TopDiags->WarningFlags[Flag] : "";
385 D.CategoryText = Category ? TopDiags->Categories[Category] : "";
386 D.Spelling = TopDiags->copyString(Message);
387 return std::error_code();
Ted Kremenekd010ba42011-11-10 08:43:12 +0000388}
389
Ted Kremenekd010ba42011-11-10 08:43:12 +0000390CXDiagnosticSet clang_loadDiagnostics(const char *file,
391 enum CXLoadDiag_Error *error,
392 CXString *errorString) {
393 DiagLoader L(error, errorString);
394 return L.load(file);
395}