blob: ec9c0a93b15c637debeb3b03a6d352643ccd750c [file] [log] [blame]
Ted Kremenek4610ea22011-10-29 00:12:39 +00001//===--- SerializedDiagnosticPrinter.cpp - Serializer for diagnostics -----===//
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
Ted Kremenek4610ea22011-10-29 00:12:39 +000010#include "clang/Frontend/SerializedDiagnosticPrinter.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000011#include "clang/Basic/Diagnostic.h"
12#include "clang/Basic/DiagnosticOptions.h"
13#include "clang/Basic/FileManager.h"
14#include "clang/Basic/SourceManager.h"
15#include "clang/Basic/Version.h"
Ted Kremenek4548e042011-12-17 05:26:11 +000016#include "clang/Frontend/DiagnosticRenderer.h"
Justin Bogner5a6a2fc2014-10-23 22:20:11 +000017#include "clang/Frontend/FrontendDiagnostic.h"
Chandler Carruth0d9593d2015-01-14 11:29:14 +000018#include "clang/Frontend/SerializedDiagnosticReader.h"
19#include "clang/Frontend/SerializedDiagnostics.h"
Justin Bogner5a6a2fc2014-10-23 22:20:11 +000020#include "clang/Frontend/TextDiagnosticPrinter.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000021#include "clang/Lex/Lexer.h"
22#include "llvm/ADT/DenseSet.h"
Benjamin Kramer33335df2015-03-01 21:36:40 +000023#include "llvm/ADT/STLExtras.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000024#include "llvm/ADT/SmallString.h"
25#include "llvm/ADT/StringRef.h"
26#include "llvm/Support/raw_ostream.h"
27#include <vector>
Ted Kremenek4610ea22011-10-29 00:12:39 +000028
29using namespace clang;
Ted Kremenek337cd2a2011-11-05 00:09:57 +000030using namespace clang::serialized_diags;
Ted Kremenek4610ea22011-10-29 00:12:39 +000031
32namespace {
Ted Kremenek4610ea22011-10-29 00:12:39 +000033
34class AbbreviationMap {
35 llvm::DenseMap<unsigned, unsigned> Abbrevs;
36public:
37 AbbreviationMap() {}
38
39 void set(unsigned recordID, unsigned abbrevID) {
40 assert(Abbrevs.find(recordID) == Abbrevs.end()
41 && "Abbreviation already set.");
42 Abbrevs[recordID] = abbrevID;
43 }
44
45 unsigned get(unsigned recordID) {
46 assert(Abbrevs.find(recordID) != Abbrevs.end() &&
47 "Abbreviation not set.");
48 return Abbrevs[recordID];
49 }
50};
51
Dmitri Gribenkof8579502013-01-12 19:30:44 +000052typedef SmallVector<uint64_t, 64> RecordData;
53typedef SmallVectorImpl<uint64_t> RecordDataImpl;
Ted Kremenek4548e042011-12-17 05:26:11 +000054
55class SDiagsWriter;
56
Ted Kremenek0964cca2012-02-14 02:46:00 +000057class SDiagsRenderer : public DiagnosticNoteRenderer {
Ted Kremenek4548e042011-12-17 05:26:11 +000058 SDiagsWriter &Writer;
Ted Kremenek4548e042011-12-17 05:26:11 +000059public:
Richard Smitha9f521f2012-08-21 03:11:53 +000060 SDiagsRenderer(SDiagsWriter &Writer, const LangOptions &LangOpts,
Douglas Gregor811db4e2012-10-23 22:26:28 +000061 DiagnosticOptions *DiagOpts)
Richard Smitha9f521f2012-08-21 03:11:53 +000062 : DiagnosticNoteRenderer(LangOpts, DiagOpts), Writer(Writer) {}
Ted Kremenek4548e042011-12-17 05:26:11 +000063
64 virtual ~SDiagsRenderer() {}
65
66protected:
Craig Topperafa7cb32014-03-13 06:07:04 +000067 void emitDiagnosticMessage(SourceLocation Loc,
68 PresumedLoc PLoc,
69 DiagnosticsEngine::Level Level,
70 StringRef Message,
71 ArrayRef<CharSourceRange> Ranges,
72 const SourceManager *SM,
73 DiagOrStoredDiag D) override;
Richard Smitha9f521f2012-08-21 03:11:53 +000074
Craig Topperafa7cb32014-03-13 06:07:04 +000075 void emitDiagnosticLoc(SourceLocation Loc, PresumedLoc PLoc,
76 DiagnosticsEngine::Level Level,
77 ArrayRef<CharSourceRange> Ranges,
78 const SourceManager &SM) override {}
Richard Smitha9f521f2012-08-21 03:11:53 +000079
Craig Topperafa7cb32014-03-13 06:07:04 +000080 void emitNote(SourceLocation Loc, StringRef Message,
81 const SourceManager *SM) override;
Richard Smitha9f521f2012-08-21 03:11:53 +000082
Craig Topperafa7cb32014-03-13 06:07:04 +000083 void emitCodeContext(SourceLocation Loc,
84 DiagnosticsEngine::Level Level,
85 SmallVectorImpl<CharSourceRange>& Ranges,
86 ArrayRef<FixItHint> Hints,
87 const SourceManager &SM) override;
88
89 void beginDiagnostic(DiagOrStoredDiag D,
90 DiagnosticsEngine::Level Level) override;
91 void endDiagnostic(DiagOrStoredDiag D,
92 DiagnosticsEngine::Level Level) override;
Ted Kremenek4548e042011-12-17 05:26:11 +000093};
Justin Bogner5a6a2fc2014-10-23 22:20:11 +000094
95typedef llvm::DenseMap<unsigned, unsigned> AbbrevLookup;
96
97class SDiagsMerger : SerializedDiagnosticReader {
98 SDiagsWriter &Writer;
99 AbbrevLookup FileLookup;
100 AbbrevLookup CategoryLookup;
101 AbbrevLookup DiagFlagLookup;
102
103public:
104 SDiagsMerger(SDiagsWriter &Writer)
105 : SerializedDiagnosticReader(), Writer(Writer) {}
106
107 std::error_code mergeRecordsFromFile(const char *File) {
108 return readDiagnostics(File);
109 }
110
111protected:
112 std::error_code visitStartOfDiagnostic() override;
113 std::error_code visitEndOfDiagnostic() override;
114 std::error_code visitCategoryRecord(unsigned ID, StringRef Name) override;
115 std::error_code visitDiagFlagRecord(unsigned ID, StringRef Name) override;
116 std::error_code visitDiagnosticRecord(
117 unsigned Severity, const serialized_diags::Location &Location,
118 unsigned Category, unsigned Flag, StringRef Message) override;
119 std::error_code visitFilenameRecord(unsigned ID, unsigned Size,
120 unsigned Timestamp,
121 StringRef Name) override;
122 std::error_code visitFixitRecord(const serialized_diags::Location &Start,
123 const serialized_diags::Location &End,
124 StringRef CodeToInsert) override;
125 std::error_code
126 visitSourceRangeRecord(const serialized_diags::Location &Start,
127 const serialized_diags::Location &End) override;
128
129private:
130 std::error_code adjustSourceLocFilename(RecordData &Record,
131 unsigned int offset);
132
133 void adjustAbbrevID(RecordData &Record, AbbrevLookup &Lookup,
134 unsigned NewAbbrev);
135
136 void writeRecordWithAbbrev(unsigned ID, RecordData &Record);
137
138 void writeRecordWithBlob(unsigned ID, RecordData &Record, StringRef Blob);
139};
140
Ted Kremenek4610ea22011-10-29 00:12:39 +0000141class SDiagsWriter : public DiagnosticConsumer {
Ted Kremenek4548e042011-12-17 05:26:11 +0000142 friend class SDiagsRenderer;
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000143 friend class SDiagsMerger;
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000144
145 struct SharedState;
146
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000147 explicit SDiagsWriter(IntrusiveRefCntPtr<SharedState> State)
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000148 : LangOpts(nullptr), OriginalInstance(false), MergeChildRecords(false),
149 State(State) {}
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000150
151public:
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000152 SDiagsWriter(StringRef File, DiagnosticOptions *Diags, bool MergeChildRecords)
David Blaikieeb62b822014-08-29 20:17:13 +0000153 : LangOpts(nullptr), OriginalInstance(true),
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000154 MergeChildRecords(MergeChildRecords),
155 State(new SharedState(File, Diags)) {
156 if (MergeChildRecords)
157 RemoveOldDiagnostics();
Ted Kremenek4610ea22011-10-29 00:12:39 +0000158 EmitPreamble();
Devang Patel9957e8b2011-11-15 01:30:40 +0000159 }
Richard Smitha9f521f2012-08-21 03:11:53 +0000160
Ted Kremenek4610ea22011-10-29 00:12:39 +0000161 ~SDiagsWriter() {}
Craig Topperafa7cb32014-03-13 06:07:04 +0000162
Ted Kremenek4610ea22011-10-29 00:12:39 +0000163 void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
Craig Topperafa7cb32014-03-13 06:07:04 +0000164 const Diagnostic &Info) override;
165
166 void BeginSourceFile(const LangOptions &LO, const Preprocessor *PP) override {
Ted Kremenekd010ba42011-11-10 08:43:12 +0000167 LangOpts = &LO;
168 }
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000169
Craig Topperafa7cb32014-03-13 06:07:04 +0000170 void finish() override;
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000171
Ted Kremenek4610ea22011-10-29 00:12:39 +0000172private:
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000173 /// \brief Build a DiagnosticsEngine to emit diagnostics about the diagnostics
174 DiagnosticsEngine *getMetaDiags();
175
176 /// \brief Remove old copies of the serialized diagnostics. This is necessary
177 /// so that we can detect when subprocesses write diagnostics that we should
178 /// merge into our own.
179 void RemoveOldDiagnostics();
180
Ted Kremenek4610ea22011-10-29 00:12:39 +0000181 /// \brief Emit the preamble for the serialized diagnostics.
182 void EmitPreamble();
183
184 /// \brief Emit the BLOCKINFO block.
185 void EmitBlockInfoBlock();
Ted Kremenekf264a202011-11-05 00:10:11 +0000186
Ted Kremenekcc88d262011-11-08 20:27:29 +0000187 /// \brief Emit the META data block.
188 void EmitMetaBlock();
Richard Smitha9f521f2012-08-21 03:11:53 +0000189
190 /// \brief Start a DIAG block.
191 void EnterDiagBlock();
192
193 /// \brief End a DIAG block.
194 void ExitDiagBlock();
195
196 /// \brief Emit a DIAG record.
197 void EmitDiagnosticMessage(SourceLocation Loc,
198 PresumedLoc PLoc,
199 DiagnosticsEngine::Level Level,
200 StringRef Message,
201 const SourceManager *SM,
202 DiagOrStoredDiag D);
203
204 /// \brief Emit FIXIT and SOURCE_RANGE records for a diagnostic.
205 void EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
206 ArrayRef<FixItHint> Hints,
207 const SourceManager &SM);
208
Ted Kremenek59f10252011-11-05 00:10:01 +0000209 /// \brief Emit a record for a CharSourceRange.
Ted Kremenek4548e042011-12-17 05:26:11 +0000210 void EmitCharSourceRange(CharSourceRange R, const SourceManager &SM);
Ted Kremenek59f10252011-11-05 00:10:01 +0000211
Ted Kremenek4548e042011-12-17 05:26:11 +0000212 /// \brief Emit the string information for the category.
213 unsigned getEmitCategory(unsigned category = 0);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000214
215 /// \brief Emit the string information for diagnostic flags.
216 unsigned getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek4548e042011-12-17 05:26:11 +0000217 unsigned DiagID = 0);
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000218
219 unsigned getEmitDiagnosticFlag(StringRef DiagName);
220
Ted Kremenekf264a202011-11-05 00:10:11 +0000221 /// \brief Emit (lazily) the file string and retrieved the file identifier.
Ted Kremenek4548e042011-12-17 05:26:11 +0000222 unsigned getEmitFile(const char *Filename);
223
224 /// \brief Add SourceLocation information the specified record.
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000225 void AddLocToRecord(SourceLocation Loc, const SourceManager *SM,
Ted Kremenek4548e042011-12-17 05:26:11 +0000226 PresumedLoc PLoc, RecordDataImpl &Record,
227 unsigned TokSize = 0);
228
Ted Kremenekf264a202011-11-05 00:10:11 +0000229 /// \brief Add SourceLocation information the specified record.
Ted Kremenekd010ba42011-11-10 08:43:12 +0000230 void AddLocToRecord(SourceLocation Loc, RecordDataImpl &Record,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000231 const SourceManager *SM,
Ted Kremenek4548e042011-12-17 05:26:11 +0000232 unsigned TokSize = 0) {
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000233 AddLocToRecord(Loc, SM, SM ? SM->getPresumedLoc(Loc) : PresumedLoc(),
234 Record, TokSize);
Ted Kremenek4548e042011-12-17 05:26:11 +0000235 }
Ted Kremenekf264a202011-11-05 00:10:11 +0000236
Ted Kremenekd89a8272011-11-05 03:34:23 +0000237 /// \brief Add CharSourceRange information the specified record.
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000238 void AddCharSourceRangeToRecord(CharSourceRange R, RecordDataImpl &Record,
Ted Kremenek4548e042011-12-17 05:26:11 +0000239 const SourceManager &SM);
Ted Kremenekd89a8272011-11-05 03:34:23 +0000240
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000241 /// \brief Language options, which can differ from one clone of this client
242 /// to another.
Ted Kremenekd010ba42011-11-10 08:43:12 +0000243 const LangOptions *LangOpts;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000244
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000245 /// \brief Whether this is the original instance (rather than one of its
246 /// clones), responsible for writing the file at the end.
247 bool OriginalInstance;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000248
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000249 /// \brief Whether this instance should aggregate diagnostics that are
250 /// generated from child processes.
251 bool MergeChildRecords;
252
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000253 /// \brief State that is shared among the various clones of this diagnostic
254 /// consumer.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000255 struct SharedState : RefCountedBase<SharedState> {
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000256 SharedState(StringRef File, DiagnosticOptions *Diags)
257 : DiagOpts(Diags), Stream(Buffer), OutputFile(File.str()),
David Blaikieeb62b822014-08-29 20:17:13 +0000258 EmittedAnyDiagBlocks(false) {}
Ted Kremenek4610ea22011-10-29 00:12:39 +0000259
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000260 /// \brief Diagnostic options.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000261 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000262
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000263 /// \brief The byte buffer for the serialized content.
264 SmallString<1024> Buffer;
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000265
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000266 /// \brief The BitStreamWriter for the serialized diagnostics.
267 llvm::BitstreamWriter Stream;
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000268
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000269 /// \brief The name of the diagnostics file.
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000270 std::string OutputFile;
Richard Smitha9f521f2012-08-21 03:11:53 +0000271
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000272 /// \brief The set of constructed record abbreviations.
273 AbbreviationMap Abbrevs;
274
275 /// \brief A utility buffer for constructing record content.
276 RecordData Record;
277
278 /// \brief A text buffer for rendering diagnostic text.
279 SmallString<256> diagBuf;
280
281 /// \brief The collection of diagnostic categories used.
282 llvm::DenseSet<unsigned> Categories;
283
284 /// \brief The collection of files used.
285 llvm::DenseMap<const char *, unsigned> Files;
286
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000287 typedef llvm::DenseMap<const void *, std::pair<unsigned, StringRef> >
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000288 DiagFlagsTy;
289
290 /// \brief Map for uniquing strings.
291 DiagFlagsTy DiagFlags;
292
293 /// \brief Whether we have already started emission of any DIAG blocks. Once
294 /// this becomes \c true, we never close a DIAG block until we know that we're
295 /// starting another one or we're done.
296 bool EmittedAnyDiagBlocks;
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000297
298 /// \brief Engine for emitting diagnostics about the diagnostics.
299 std::unique_ptr<DiagnosticsEngine> MetaDiagnostics;
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000300 };
301
302 /// \brief State shared among the various clones of this diagnostic consumer.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000303 IntrusiveRefCntPtr<SharedState> State;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000304};
305} // end anonymous namespace
306
307namespace clang {
308namespace serialized_diags {
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000309std::unique_ptr<DiagnosticConsumer>
310create(StringRef OutputFile, DiagnosticOptions *Diags, bool MergeChildRecords) {
311 return llvm::make_unique<SDiagsWriter>(OutputFile, Diags, MergeChildRecords);
Ted Kremenek4610ea22011-10-29 00:12:39 +0000312}
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000313
Ted Kremenek4610ea22011-10-29 00:12:39 +0000314} // end namespace serialized_diags
315} // end namespace clang
316
317//===----------------------------------------------------------------------===//
318// Serialization methods.
319//===----------------------------------------------------------------------===//
320
321/// \brief Emits a block ID in the BLOCKINFO block.
322static void EmitBlockID(unsigned ID, const char *Name,
323 llvm::BitstreamWriter &Stream,
324 RecordDataImpl &Record) {
325 Record.clear();
326 Record.push_back(ID);
327 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
328
329 // Emit the block name if present.
Craig Topper49a27902014-05-22 04:46:25 +0000330 if (!Name || Name[0] == 0)
Ted Kremenek4610ea22011-10-29 00:12:39 +0000331 return;
332
333 Record.clear();
334
335 while (*Name)
336 Record.push_back(*Name++);
337
338 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
339}
340
341/// \brief Emits a record ID in the BLOCKINFO block.
342static void EmitRecordID(unsigned ID, const char *Name,
343 llvm::BitstreamWriter &Stream,
344 RecordDataImpl &Record){
345 Record.clear();
346 Record.push_back(ID);
347
348 while (*Name)
349 Record.push_back(*Name++);
350
351 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
352}
353
Ted Kremenekf264a202011-11-05 00:10:11 +0000354void SDiagsWriter::AddLocToRecord(SourceLocation Loc,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000355 const SourceManager *SM,
Ted Kremenek4548e042011-12-17 05:26:11 +0000356 PresumedLoc PLoc,
Ted Kremenekd010ba42011-11-10 08:43:12 +0000357 RecordDataImpl &Record,
358 unsigned TokSize) {
Ted Kremenek4548e042011-12-17 05:26:11 +0000359 if (PLoc.isInvalid()) {
Ted Kremenek59f10252011-11-05 00:10:01 +0000360 // Emit a "sentinel" location.
Ted Kremenekd010ba42011-11-10 08:43:12 +0000361 Record.push_back((unsigned)0); // File.
362 Record.push_back((unsigned)0); // Line.
363 Record.push_back((unsigned)0); // Column.
364 Record.push_back((unsigned)0); // Offset.
Ted Kremenek59f10252011-11-05 00:10:01 +0000365 return;
366 }
367
Ted Kremenek4548e042011-12-17 05:26:11 +0000368 Record.push_back(getEmitFile(PLoc.getFilename()));
369 Record.push_back(PLoc.getLine());
370 Record.push_back(PLoc.getColumn()+TokSize);
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000371 Record.push_back(SM->getFileOffset(Loc));
Ted Kremenek59f10252011-11-05 00:10:01 +0000372}
373
Ted Kremenekd89a8272011-11-05 03:34:23 +0000374void SDiagsWriter::AddCharSourceRangeToRecord(CharSourceRange Range,
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000375 RecordDataImpl &Record,
Ted Kremenek4548e042011-12-17 05:26:11 +0000376 const SourceManager &SM) {
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000377 AddLocToRecord(Range.getBegin(), Record, &SM);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000378 unsigned TokSize = 0;
379 if (Range.isTokenRange())
380 TokSize = Lexer::MeasureTokenLength(Range.getEnd(),
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000381 SM, *LangOpts);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000382
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000383 AddLocToRecord(Range.getEnd(), Record, &SM, TokSize);
Ted Kremenekd89a8272011-11-05 03:34:23 +0000384}
385
Ted Kremenek4548e042011-12-17 05:26:11 +0000386unsigned SDiagsWriter::getEmitFile(const char *FileName){
387 if (!FileName)
Ted Kremenekf264a202011-11-05 00:10:11 +0000388 return 0;
389
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000390 unsigned &entry = State->Files[FileName];
Ted Kremenekf264a202011-11-05 00:10:11 +0000391 if (entry)
392 return entry;
393
394 // Lazily generate the record for the file.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000395 entry = State->Files.size();
Ted Kremenekf264a202011-11-05 00:10:11 +0000396 RecordData Record;
397 Record.push_back(RECORD_FILENAME);
398 Record.push_back(entry);
Ted Kremenek4548e042011-12-17 05:26:11 +0000399 Record.push_back(0); // For legacy.
400 Record.push_back(0); // For legacy.
401 StringRef Name(FileName);
Ted Kremenekf264a202011-11-05 00:10:11 +0000402 Record.push_back(Name.size());
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000403 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_FILENAME), Record,
404 Name);
Ted Kremenekf264a202011-11-05 00:10:11 +0000405
406 return entry;
407}
408
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000409void SDiagsWriter::EmitCharSourceRange(CharSourceRange R,
Ted Kremenek4548e042011-12-17 05:26:11 +0000410 const SourceManager &SM) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000411 State->Record.clear();
412 State->Record.push_back(RECORD_SOURCE_RANGE);
413 AddCharSourceRangeToRecord(R, State->Record, SM);
414 State->Stream.EmitRecordWithAbbrev(State->Abbrevs.get(RECORD_SOURCE_RANGE),
415 State->Record);
Ted Kremenek59f10252011-11-05 00:10:01 +0000416}
417
Ted Kremenek4610ea22011-10-29 00:12:39 +0000418/// \brief Emits the preamble of the diagnostics file.
419void SDiagsWriter::EmitPreamble() {
Ted Kremenek4610ea22011-10-29 00:12:39 +0000420 // Emit the file header.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000421 State->Stream.Emit((unsigned)'D', 8);
422 State->Stream.Emit((unsigned)'I', 8);
423 State->Stream.Emit((unsigned)'A', 8);
424 State->Stream.Emit((unsigned)'G', 8);
Ted Kremenek868504a2011-11-05 00:09:53 +0000425
Ted Kremenek4610ea22011-10-29 00:12:39 +0000426 EmitBlockInfoBlock();
Ted Kremenekcc88d262011-11-08 20:27:29 +0000427 EmitMetaBlock();
Ted Kremenek4610ea22011-10-29 00:12:39 +0000428}
429
Ted Kremenek59f10252011-11-05 00:10:01 +0000430static void AddSourceLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
431 using namespace llvm;
Ted Kremenekf264a202011-11-05 00:10:11 +0000432 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // File ID.
Ted Kremenek59f10252011-11-05 00:10:01 +0000433 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Line.
434 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Column.
435 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Offset;
436}
Ted Kremenekd89a8272011-11-05 03:34:23 +0000437
438static void AddRangeLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
439 AddSourceLocationAbbrev(Abbrev);
440 AddSourceLocationAbbrev(Abbrev);
441}
442
Ted Kremenek4610ea22011-10-29 00:12:39 +0000443void SDiagsWriter::EmitBlockInfoBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000444 State->Stream.EnterBlockInfoBlock(3);
Ted Kremenekcc88d262011-11-08 20:27:29 +0000445
446 using namespace llvm;
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000447 llvm::BitstreamWriter &Stream = State->Stream;
448 RecordData &Record = State->Record;
449 AbbreviationMap &Abbrevs = State->Abbrevs;
Ted Kremenekcc88d262011-11-08 20:27:29 +0000450
451 // ==---------------------------------------------------------------------==//
452 // The subsequent records and Abbrevs are for the "Meta" block.
453 // ==---------------------------------------------------------------------==//
454
455 EmitBlockID(BLOCK_META, "Meta", Stream, Record);
456 EmitRecordID(RECORD_VERSION, "Version", Stream, Record);
457 BitCodeAbbrev *Abbrev = new BitCodeAbbrev();
458 Abbrev->Add(BitCodeAbbrevOp(RECORD_VERSION));
459 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
460 Abbrevs.set(RECORD_VERSION, Stream.EmitBlockInfoAbbrev(BLOCK_META, Abbrev));
461
Ted Kremenek4610ea22011-10-29 00:12:39 +0000462 // ==---------------------------------------------------------------------==//
463 // The subsequent records and Abbrevs are for the "Diagnostic" block.
464 // ==---------------------------------------------------------------------==//
465
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000466 EmitBlockID(BLOCK_DIAG, "Diag", Stream, Record);
467 EmitRecordID(RECORD_DIAG, "DiagInfo", Stream, Record);
Ted Kremenek59f10252011-11-05 00:10:01 +0000468 EmitRecordID(RECORD_SOURCE_RANGE, "SrcRange", Stream, Record);
Ted Kremenek319215062011-11-05 00:10:04 +0000469 EmitRecordID(RECORD_CATEGORY, "CatName", Stream, Record);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000470 EmitRecordID(RECORD_DIAG_FLAG, "DiagFlag", Stream, Record);
Ted Kremenekf264a202011-11-05 00:10:11 +0000471 EmitRecordID(RECORD_FILENAME, "FileName", Stream, Record);
Ted Kremenekd89a8272011-11-05 03:34:23 +0000472 EmitRecordID(RECORD_FIXIT, "FixIt", Stream, Record);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000473
Ted Kremenek4610ea22011-10-29 00:12:39 +0000474 // Emit abbreviation for RECORD_DIAG.
Ted Kremenekcc88d262011-11-08 20:27:29 +0000475 Abbrev = new BitCodeAbbrev();
Ted Kremenek4610ea22011-10-29 00:12:39 +0000476 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG));
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000477 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Diag level.
Ted Kremenek59f10252011-11-05 00:10:01 +0000478 AddSourceLocationAbbrev(Abbrev);
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000479 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Category.
480 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
Ted Kremenek4610ea22011-10-29 00:12:39 +0000481 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
482 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Diagnostc text.
483 Abbrevs.set(RECORD_DIAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek59f10252011-11-05 00:10:01 +0000484
Ted Kremenek319215062011-11-05 00:10:04 +0000485 // Emit abbrevation for RECORD_CATEGORY.
486 Abbrev = new BitCodeAbbrev();
487 Abbrev->Add(BitCodeAbbrevOp(RECORD_CATEGORY));
488 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Category ID.
489 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8)); // Text size.
490 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Category text.
491 Abbrevs.set(RECORD_CATEGORY, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
492
Ted Kremenek59f10252011-11-05 00:10:01 +0000493 // Emit abbrevation for RECORD_SOURCE_RANGE.
494 Abbrev = new BitCodeAbbrev();
495 Abbrev->Add(BitCodeAbbrevOp(RECORD_SOURCE_RANGE));
Ted Kremenekd89a8272011-11-05 03:34:23 +0000496 AddRangeLocationAbbrev(Abbrev);
Ted Kremenek59f10252011-11-05 00:10:01 +0000497 Abbrevs.set(RECORD_SOURCE_RANGE,
498 Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000499
500 // Emit the abbreviation for RECORD_DIAG_FLAG.
501 Abbrev = new BitCodeAbbrev();
502 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG_FLAG));
503 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
504 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
505 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Flag name text.
506 Abbrevs.set(RECORD_DIAG_FLAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
507 Abbrev));
Ted Kremenekf264a202011-11-05 00:10:11 +0000508
509 // Emit the abbreviation for RECORD_FILENAME.
Ted Kremenek4610ea22011-10-29 00:12:39 +0000510 Abbrev = new BitCodeAbbrev();
Ted Kremenekfce371a2011-11-05 00:09:43 +0000511 Abbrev->Add(BitCodeAbbrevOp(RECORD_FILENAME));
Ted Kremenekf264a202011-11-05 00:10:11 +0000512 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped file ID.
513 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Size.
514 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Modifcation time.
Ted Kremenek4610ea22011-10-29 00:12:39 +0000515 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
516 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // File name text.
Ted Kremenekf264a202011-11-05 00:10:11 +0000517 Abbrevs.set(RECORD_FILENAME, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
Ted Kremenek4610ea22011-10-29 00:12:39 +0000518 Abbrev));
Ted Kremenekd89a8272011-11-05 03:34:23 +0000519
520 // Emit the abbreviation for RECORD_FIXIT.
521 Abbrev = new BitCodeAbbrev();
522 Abbrev->Add(BitCodeAbbrevOp(RECORD_FIXIT));
523 AddRangeLocationAbbrev(Abbrev);
524 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
525 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // FixIt text.
526 Abbrevs.set(RECORD_FIXIT, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
527 Abbrev));
Ted Kremenek4610ea22011-10-29 00:12:39 +0000528
529 Stream.ExitBlock();
530}
531
Ted Kremenekcc88d262011-11-08 20:27:29 +0000532void SDiagsWriter::EmitMetaBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000533 llvm::BitstreamWriter &Stream = State->Stream;
534 RecordData &Record = State->Record;
535 AbbreviationMap &Abbrevs = State->Abbrevs;
536
Ted Kremenekcc88d262011-11-08 20:27:29 +0000537 Stream.EnterSubblock(BLOCK_META, 3);
538 Record.clear();
539 Record.push_back(RECORD_VERSION);
Justin Bognerf8847232014-10-14 06:30:31 +0000540 Record.push_back(VersionNumber);
Ted Kremenekcc88d262011-11-08 20:27:29 +0000541 Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_VERSION), Record);
542 Stream.ExitBlock();
543}
544
Ted Kremenek4548e042011-12-17 05:26:11 +0000545unsigned SDiagsWriter::getEmitCategory(unsigned int category) {
Benjamin Kramerad8e0792014-10-10 15:32:48 +0000546 if (!State->Categories.insert(category).second)
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000547 return category;
Benjamin Kramerad8e0792014-10-10 15:32:48 +0000548
Ted Kremenek319215062011-11-05 00:10:04 +0000549 // We use a local version of 'Record' so that we can be generating
550 // another record when we lazily generate one for the category entry.
551 RecordData Record;
552 Record.push_back(RECORD_CATEGORY);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000553 Record.push_back(category);
554 StringRef catName = DiagnosticIDs::getCategoryNameFromID(category);
Ted Kremenek319215062011-11-05 00:10:04 +0000555 Record.push_back(catName.size());
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000556 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_CATEGORY), Record,
557 catName);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000558
559 return category;
560}
561
562unsigned SDiagsWriter::getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek4548e042011-12-17 05:26:11 +0000563 unsigned DiagID) {
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000564 if (DiagLevel == DiagnosticsEngine::Note)
565 return 0; // No flag for notes.
566
Ted Kremenek4548e042011-12-17 05:26:11 +0000567 StringRef FlagName = DiagnosticIDs::getWarningOptionForDiag(DiagID);
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000568 return getEmitDiagnosticFlag(FlagName);
569}
570
571unsigned SDiagsWriter::getEmitDiagnosticFlag(StringRef FlagName) {
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000572 if (FlagName.empty())
573 return 0;
574
575 // Here we assume that FlagName points to static data whose pointer
576 // value is fixed. This allows us to unique by diagnostic groups.
577 const void *data = FlagName.data();
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000578 std::pair<unsigned, StringRef> &entry = State->DiagFlags[data];
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000579 if (entry.first == 0) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000580 entry.first = State->DiagFlags.size();
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000581 entry.second = FlagName;
582
583 // Lazily emit the string in a separate record.
584 RecordData Record;
585 Record.push_back(RECORD_DIAG_FLAG);
586 Record.push_back(entry.first);
587 Record.push_back(FlagName.size());
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000588 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_DIAG_FLAG),
589 Record, FlagName);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000590 }
591
592 return entry.first;
Ted Kremenek319215062011-11-05 00:10:04 +0000593}
594
Ted Kremenek4610ea22011-10-29 00:12:39 +0000595void SDiagsWriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
596 const Diagnostic &Info) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000597 // Enter the block for a non-note diagnostic immediately, rather than waiting
598 // for beginDiagnostic, in case associated notes are emitted before we get
599 // there.
Ted Kremenekf67bbca2011-11-05 00:09:47 +0000600 if (DiagLevel != DiagnosticsEngine::Note) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000601 if (State->EmittedAnyDiagBlocks)
Richard Smitha9f521f2012-08-21 03:11:53 +0000602 ExitDiagBlock();
603
604 EnterDiagBlock();
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000605 State->EmittedAnyDiagBlocks = true;
Ted Kremenekf67bbca2011-11-05 00:09:47 +0000606 }
Ted Kremenekd89a8272011-11-05 03:34:23 +0000607
Ted Kremenek4548e042011-12-17 05:26:11 +0000608 // Compute the diagnostic text.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000609 State->diagBuf.clear();
610 Info.FormatDiagnostic(State->diagBuf);
Ted Kremenek4548e042011-12-17 05:26:11 +0000611
Richard Smitha9f521f2012-08-21 03:11:53 +0000612 if (Info.getLocation().isInvalid()) {
613 // Special-case diagnostics with no location. We may not have entered a
614 // source file in this case, so we can't use the normal DiagnosticsRenderer
615 // machinery.
Ted Kremenekc6ebda12013-02-21 21:40:44 +0000616
617 // Make sure we bracket all notes as "sub-diagnostics". This matches
618 // the behavior in SDiagsRenderer::emitDiagnostic().
619 if (DiagLevel == DiagnosticsEngine::Note)
620 EnterDiagBlock();
621
Richard Smitha9f521f2012-08-21 03:11:53 +0000622 EmitDiagnosticMessage(SourceLocation(), PresumedLoc(), DiagLevel,
Craig Topper49a27902014-05-22 04:46:25 +0000623 State->diagBuf, nullptr, &Info);
Ted Kremenekc6ebda12013-02-21 21:40:44 +0000624
625 if (DiagLevel == DiagnosticsEngine::Note)
626 ExitDiagBlock();
627
Richard Smitha9f521f2012-08-21 03:11:53 +0000628 return;
629 }
630
631 assert(Info.hasSourceManager() && LangOpts &&
632 "Unexpected diagnostic with valid location outside of a source file");
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000633 SDiagsRenderer Renderer(*this, *LangOpts, &*State->DiagOpts);
Ted Kremenek4548e042011-12-17 05:26:11 +0000634 Renderer.emitDiagnostic(Info.getLocation(), DiagLevel,
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000635 State->diagBuf.str(),
Ted Kremenek4548e042011-12-17 05:26:11 +0000636 Info.getRanges(),
Alexander Kornienkod3b4e082014-05-22 19:56:11 +0000637 Info.getFixItHints(),
Richard Smitha9f521f2012-08-21 03:11:53 +0000638 &Info.getSourceManager(),
Ted Kremenek4548e042011-12-17 05:26:11 +0000639 &Info);
640}
641
Jordan Rose7ef1c382014-03-03 18:29:52 +0000642static serialized_diags::Level getStableLevel(DiagnosticsEngine::Level Level) {
643 switch (Level) {
644#define CASE(X) case DiagnosticsEngine::X: return serialized_diags::X;
645 CASE(Ignored)
646 CASE(Note)
647 CASE(Remark)
648 CASE(Warning)
649 CASE(Error)
650 CASE(Fatal)
651#undef CASE
652 }
653
654 llvm_unreachable("invalid diagnostic level");
655}
656
Richard Smitha9f521f2012-08-21 03:11:53 +0000657void SDiagsWriter::EmitDiagnosticMessage(SourceLocation Loc,
658 PresumedLoc PLoc,
659 DiagnosticsEngine::Level Level,
660 StringRef Message,
661 const SourceManager *SM,
662 DiagOrStoredDiag D) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000663 llvm::BitstreamWriter &Stream = State->Stream;
664 RecordData &Record = State->Record;
665 AbbreviationMap &Abbrevs = State->Abbrevs;
666
Richard Smitha9f521f2012-08-21 03:11:53 +0000667 // Emit the RECORD_DIAG record.
668 Record.clear();
669 Record.push_back(RECORD_DIAG);
Jordan Rose7ef1c382014-03-03 18:29:52 +0000670 Record.push_back(getStableLevel(Level));
Richard Smitha9f521f2012-08-21 03:11:53 +0000671 AddLocToRecord(Loc, SM, PLoc, Record);
672
673 if (const Diagnostic *Info = D.dyn_cast<const Diagnostic*>()) {
674 // Emit the category string lazily and get the category ID.
675 unsigned DiagID = DiagnosticIDs::getCategoryNumberForDiag(Info->getID());
676 Record.push_back(getEmitCategory(DiagID));
677 // Emit the diagnostic flag string lazily and get the mapped ID.
678 Record.push_back(getEmitDiagnosticFlag(Level, Info->getID()));
679 } else {
680 Record.push_back(getEmitCategory());
681 Record.push_back(getEmitDiagnosticFlag(Level));
682 }
683
684 Record.push_back(Message.size());
685 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG), Record, Message);
686}
687
Ted Kremenek4548e042011-12-17 05:26:11 +0000688void
689SDiagsRenderer::emitDiagnosticMessage(SourceLocation Loc,
690 PresumedLoc PLoc,
691 DiagnosticsEngine::Level Level,
692 StringRef Message,
693 ArrayRef<clang::CharSourceRange> Ranges,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000694 const SourceManager *SM,
Ted Kremenek0964cca2012-02-14 02:46:00 +0000695 DiagOrStoredDiag D) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000696 Writer.EmitDiagnosticMessage(Loc, PLoc, Level, Message, SM, D);
697}
Ted Kremenek4548e042011-12-17 05:26:11 +0000698
Richard Smitha9f521f2012-08-21 03:11:53 +0000699void SDiagsWriter::EnterDiagBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000700 State->Stream.EnterSubblock(BLOCK_DIAG, 4);
Richard Smitha9f521f2012-08-21 03:11:53 +0000701}
Ted Kremenek4548e042011-12-17 05:26:11 +0000702
Richard Smitha9f521f2012-08-21 03:11:53 +0000703void SDiagsWriter::ExitDiagBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000704 State->Stream.ExitBlock();
Ted Kremenek4548e042011-12-17 05:26:11 +0000705}
706
Ted Kremenek0964cca2012-02-14 02:46:00 +0000707void SDiagsRenderer::beginDiagnostic(DiagOrStoredDiag D,
Ted Kremenek4548e042011-12-17 05:26:11 +0000708 DiagnosticsEngine::Level Level) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000709 if (Level == DiagnosticsEngine::Note)
710 Writer.EnterDiagBlock();
Ted Kremenek4548e042011-12-17 05:26:11 +0000711}
712
Ted Kremenek0964cca2012-02-14 02:46:00 +0000713void SDiagsRenderer::endDiagnostic(DiagOrStoredDiag D,
Ted Kremenek4548e042011-12-17 05:26:11 +0000714 DiagnosticsEngine::Level Level) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000715 // Only end note diagnostics here, because we can't be sure when we've seen
716 // the last note associated with a non-note diagnostic.
717 if (Level == DiagnosticsEngine::Note)
718 Writer.ExitDiagBlock();
719}
720
721void SDiagsWriter::EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
722 ArrayRef<FixItHint> Hints,
723 const SourceManager &SM) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000724 llvm::BitstreamWriter &Stream = State->Stream;
725 RecordData &Record = State->Record;
726 AbbreviationMap &Abbrevs = State->Abbrevs;
727
Richard Smitha9f521f2012-08-21 03:11:53 +0000728 // Emit Source Ranges.
729 for (ArrayRef<CharSourceRange>::iterator I = Ranges.begin(), E = Ranges.end();
730 I != E; ++I)
731 if (I->isValid())
732 EmitCharSourceRange(*I, SM);
733
734 // Emit FixIts.
735 for (ArrayRef<FixItHint>::iterator I = Hints.begin(), E = Hints.end();
736 I != E; ++I) {
737 const FixItHint &Fix = *I;
738 if (Fix.isNull())
739 continue;
740 Record.clear();
741 Record.push_back(RECORD_FIXIT);
742 AddCharSourceRangeToRecord(Fix.RemoveRange, Record, SM);
743 Record.push_back(Fix.CodeToInsert.size());
744 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FIXIT), Record,
745 Fix.CodeToInsert);
746 }
Ted Kremenek4548e042011-12-17 05:26:11 +0000747}
748
749void SDiagsRenderer::emitCodeContext(SourceLocation Loc,
750 DiagnosticsEngine::Level Level,
751 SmallVectorImpl<CharSourceRange> &Ranges,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000752 ArrayRef<FixItHint> Hints,
Richard Smitha9f521f2012-08-21 03:11:53 +0000753 const SourceManager &SM) {
754 Writer.EmitCodeContext(Ranges, Hints, SM);
Ted Kremenek4610ea22011-10-29 00:12:39 +0000755}
756
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000757void SDiagsRenderer::emitNote(SourceLocation Loc, StringRef Message,
758 const SourceManager *SM) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000759 Writer.EnterDiagBlock();
760 PresumedLoc PLoc = SM ? SM->getPresumedLoc(Loc) : PresumedLoc();
761 Writer.EmitDiagnosticMessage(Loc, PLoc, DiagnosticsEngine::Note,
762 Message, SM, DiagOrStoredDiag());
763 Writer.ExitDiagBlock();
Ted Kremenek4548e042011-12-17 05:26:11 +0000764}
765
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000766DiagnosticsEngine *SDiagsWriter::getMetaDiags() {
767 // FIXME: It's slightly absurd to create a new diagnostics engine here, but
768 // the other options that are available today are worse:
769 //
770 // 1. Teach DiagnosticsConsumers to emit diagnostics to the engine they are a
771 // part of. The DiagnosticsEngine would need to know not to send
772 // diagnostics back to the consumer that failed. This would require us to
773 // rework ChainedDiagnosticsConsumer and teach the engine about multiple
774 // consumers, which is difficult today because most APIs interface with
775 // consumers rather than the engine itself.
776 //
777 // 2. Pass a DiagnosticsEngine to SDiagsWriter on creation - this would need
778 // to be distinct from the engine the writer was being added to and would
779 // normally not be used.
780 if (!State->MetaDiagnostics) {
781 IntrusiveRefCntPtr<DiagnosticIDs> IDs(new DiagnosticIDs());
782 auto Client =
783 new TextDiagnosticPrinter(llvm::errs(), State->DiagOpts.get());
784 State->MetaDiagnostics = llvm::make_unique<DiagnosticsEngine>(
785 IDs, State->DiagOpts.get(), Client);
786 }
787 return State->MetaDiagnostics.get();
788}
789
790void SDiagsWriter::RemoveOldDiagnostics() {
791 if (!llvm::sys::fs::remove(State->OutputFile))
792 return;
793
794 getMetaDiags()->Report(diag::warn_fe_serialized_diag_merge_failure);
795 // Disable merging child records, as whatever is in this file may be
796 // misleading.
797 MergeChildRecords = false;
798}
799
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000800void SDiagsWriter::finish() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000801 // The original instance is responsible for writing the file.
802 if (!OriginalInstance)
803 return;
804
Richard Smitha9f521f2012-08-21 03:11:53 +0000805 // Finish off any diagnostic we were in the process of emitting.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000806 if (State->EmittedAnyDiagBlocks)
Richard Smitha9f521f2012-08-21 03:11:53 +0000807 ExitDiagBlock();
Ted Kremenekf264a202011-11-05 00:10:11 +0000808
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000809 if (MergeChildRecords) {
810 if (!State->EmittedAnyDiagBlocks)
811 // We have no diagnostics of our own, so we can just leave the child
812 // process' output alone
813 return;
Richard Smitha9f521f2012-08-21 03:11:53 +0000814
Justin Bogner5a6a2fc2014-10-23 22:20:11 +0000815 if (llvm::sys::fs::exists(State->OutputFile))
816 if (SDiagsMerger(*this).mergeRecordsFromFile(State->OutputFile.c_str()))
817 getMetaDiags()->Report(diag::warn_fe_serialized_diag_merge_failure);
818 }
819
820 std::error_code EC;
821 auto OS = llvm::make_unique<llvm::raw_fd_ostream>(State->OutputFile.c_str(),
822 EC, llvm::sys::fs::F_None);
823 if (EC) {
824 getMetaDiags()->Report(diag::warn_fe_serialized_diag_failure)
825 << State->OutputFile << EC.message();
826 return;
827 }
828
829 // Write the generated bitstream to "Out".
830 OS->write((char *)&State->Buffer.front(), State->Buffer.size());
831 OS->flush();
832}
833
834std::error_code SDiagsMerger::visitStartOfDiagnostic() {
835 Writer.EnterDiagBlock();
836 return std::error_code();
837}
838
839std::error_code SDiagsMerger::visitEndOfDiagnostic() {
840 Writer.ExitDiagBlock();
841 return std::error_code();
842}
843
844std::error_code
845SDiagsMerger::visitSourceRangeRecord(const serialized_diags::Location &Start,
846 const serialized_diags::Location &End) {
847 RecordData Record;
848 Record.push_back(RECORD_SOURCE_RANGE);
849 Record.push_back(FileLookup[Start.FileID]);
850 Record.push_back(Start.Line);
851 Record.push_back(Start.Col);
852 Record.push_back(Start.Offset);
853 Record.push_back(FileLookup[End.FileID]);
854 Record.push_back(End.Line);
855 Record.push_back(End.Col);
856 Record.push_back(End.Offset);
857
858 Writer.State->Stream.EmitRecordWithAbbrev(
859 Writer.State->Abbrevs.get(RECORD_SOURCE_RANGE), Record);
860 return std::error_code();
861}
862
863std::error_code SDiagsMerger::visitDiagnosticRecord(
864 unsigned Severity, const serialized_diags::Location &Location,
865 unsigned Category, unsigned Flag, StringRef Message) {
866 RecordData MergedRecord;
867 MergedRecord.push_back(RECORD_DIAG);
868 MergedRecord.push_back(Severity);
869 MergedRecord.push_back(FileLookup[Location.FileID]);
870 MergedRecord.push_back(Location.Line);
871 MergedRecord.push_back(Location.Col);
872 MergedRecord.push_back(Location.Offset);
873 MergedRecord.push_back(CategoryLookup[Category]);
874 MergedRecord.push_back(Flag ? DiagFlagLookup[Flag] : 0);
875 MergedRecord.push_back(Message.size());
876
877 Writer.State->Stream.EmitRecordWithBlob(
878 Writer.State->Abbrevs.get(RECORD_DIAG), MergedRecord, Message);
879 return std::error_code();
880}
881
882std::error_code
883SDiagsMerger::visitFixitRecord(const serialized_diags::Location &Start,
884 const serialized_diags::Location &End,
885 StringRef Text) {
886 RecordData Record;
887 Record.push_back(RECORD_FIXIT);
888 Record.push_back(FileLookup[Start.FileID]);
889 Record.push_back(Start.Line);
890 Record.push_back(Start.Col);
891 Record.push_back(Start.Offset);
892 Record.push_back(FileLookup[End.FileID]);
893 Record.push_back(End.Line);
894 Record.push_back(End.Col);
895 Record.push_back(End.Offset);
896 Record.push_back(Text.size());
897
898 Writer.State->Stream.EmitRecordWithBlob(
899 Writer.State->Abbrevs.get(RECORD_FIXIT), Record, Text);
900 return std::error_code();
901}
902
903std::error_code SDiagsMerger::visitFilenameRecord(unsigned ID, unsigned Size,
904 unsigned Timestamp,
905 StringRef Name) {
906 FileLookup[ID] = Writer.getEmitFile(Name.str().c_str());
907 return std::error_code();
908}
909
910std::error_code SDiagsMerger::visitCategoryRecord(unsigned ID, StringRef Name) {
911 CategoryLookup[ID] = Writer.getEmitCategory(ID);
912 return std::error_code();
913}
914
915std::error_code SDiagsMerger::visitDiagFlagRecord(unsigned ID, StringRef Name) {
916 DiagFlagLookup[ID] = Writer.getEmitDiagnosticFlag(Name);
917 return std::error_code();
Ted Kremenek4610ea22011-10-29 00:12:39 +0000918}