blob: b4178f89e9786c2cff25d4932b2046a722f32f46 [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"
Chandler Carruth3a022472012-12-04 09:13:33 +000017#include "clang/Lex/Lexer.h"
18#include "llvm/ADT/DenseSet.h"
19#include "llvm/ADT/SmallString.h"
20#include "llvm/ADT/StringRef.h"
21#include "llvm/Support/raw_ostream.h"
22#include <vector>
Ted Kremenek4610ea22011-10-29 00:12:39 +000023
24using namespace clang;
Ted Kremenek337cd2a2011-11-05 00:09:57 +000025using namespace clang::serialized_diags;
Ted Kremenek4610ea22011-10-29 00:12:39 +000026
27namespace {
Ted Kremenek4610ea22011-10-29 00:12:39 +000028
29class AbbreviationMap {
30 llvm::DenseMap<unsigned, unsigned> Abbrevs;
31public:
32 AbbreviationMap() {}
33
34 void set(unsigned recordID, unsigned abbrevID) {
35 assert(Abbrevs.find(recordID) == Abbrevs.end()
36 && "Abbreviation already set.");
37 Abbrevs[recordID] = abbrevID;
38 }
39
40 unsigned get(unsigned recordID) {
41 assert(Abbrevs.find(recordID) != Abbrevs.end() &&
42 "Abbreviation not set.");
43 return Abbrevs[recordID];
44 }
45};
46
Dmitri Gribenkof8579502013-01-12 19:30:44 +000047typedef SmallVector<uint64_t, 64> RecordData;
48typedef SmallVectorImpl<uint64_t> RecordDataImpl;
Ted Kremenek4548e042011-12-17 05:26:11 +000049
50class SDiagsWriter;
51
Ted Kremenek0964cca2012-02-14 02:46:00 +000052class SDiagsRenderer : public DiagnosticNoteRenderer {
Ted Kremenek4548e042011-12-17 05:26:11 +000053 SDiagsWriter &Writer;
Ted Kremenek4548e042011-12-17 05:26:11 +000054public:
Richard Smitha9f521f2012-08-21 03:11:53 +000055 SDiagsRenderer(SDiagsWriter &Writer, const LangOptions &LangOpts,
Douglas Gregor811db4e2012-10-23 22:26:28 +000056 DiagnosticOptions *DiagOpts)
Richard Smitha9f521f2012-08-21 03:11:53 +000057 : DiagnosticNoteRenderer(LangOpts, DiagOpts), Writer(Writer) {}
Ted Kremenek4548e042011-12-17 05:26:11 +000058
59 virtual ~SDiagsRenderer() {}
60
61protected:
Craig Topperafa7cb32014-03-13 06:07:04 +000062 void emitDiagnosticMessage(SourceLocation Loc,
63 PresumedLoc PLoc,
64 DiagnosticsEngine::Level Level,
65 StringRef Message,
66 ArrayRef<CharSourceRange> Ranges,
67 const SourceManager *SM,
68 DiagOrStoredDiag D) override;
Richard Smitha9f521f2012-08-21 03:11:53 +000069
Craig Topperafa7cb32014-03-13 06:07:04 +000070 void emitDiagnosticLoc(SourceLocation Loc, PresumedLoc PLoc,
71 DiagnosticsEngine::Level Level,
72 ArrayRef<CharSourceRange> Ranges,
73 const SourceManager &SM) override {}
Richard Smitha9f521f2012-08-21 03:11:53 +000074
Craig Topperafa7cb32014-03-13 06:07:04 +000075 void emitNote(SourceLocation Loc, StringRef Message,
76 const SourceManager *SM) override;
Richard Smitha9f521f2012-08-21 03:11:53 +000077
Craig Topperafa7cb32014-03-13 06:07:04 +000078 void emitCodeContext(SourceLocation Loc,
79 DiagnosticsEngine::Level Level,
80 SmallVectorImpl<CharSourceRange>& Ranges,
81 ArrayRef<FixItHint> Hints,
82 const SourceManager &SM) override;
83
84 void beginDiagnostic(DiagOrStoredDiag D,
85 DiagnosticsEngine::Level Level) override;
86 void endDiagnostic(DiagOrStoredDiag D,
87 DiagnosticsEngine::Level Level) override;
Ted Kremenek4548e042011-12-17 05:26:11 +000088};
Ted Kremenek4610ea22011-10-29 00:12:39 +000089
90class SDiagsWriter : public DiagnosticConsumer {
Ted Kremenek4548e042011-12-17 05:26:11 +000091 friend class SDiagsRenderer;
Douglas Gregorfa686fb2012-11-30 23:32:31 +000092
93 struct SharedState;
94
Dmitri Gribenkof8579502013-01-12 19:30:44 +000095 explicit SDiagsWriter(IntrusiveRefCntPtr<SharedState> State)
Craig Topper49a27902014-05-22 04:46:25 +000096 : LangOpts(nullptr), OriginalInstance(false), State(State) {}
Douglas Gregorfa686fb2012-11-30 23:32:31 +000097
98public:
Dmitri Gribenkof8579502013-01-12 19:30:44 +000099 SDiagsWriter(raw_ostream *os, DiagnosticOptions *diags)
Craig Topper49a27902014-05-22 04:46:25 +0000100 : LangOpts(nullptr), OriginalInstance(true),
101 State(new SharedState(os, diags))
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000102 {
Ted Kremenek4610ea22011-10-29 00:12:39 +0000103 EmitPreamble();
Devang Patel9957e8b2011-11-15 01:30:40 +0000104 }
Richard Smitha9f521f2012-08-21 03:11:53 +0000105
Ted Kremenek4610ea22011-10-29 00:12:39 +0000106 ~SDiagsWriter() {}
Craig Topperafa7cb32014-03-13 06:07:04 +0000107
Ted Kremenek4610ea22011-10-29 00:12:39 +0000108 void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
Craig Topperafa7cb32014-03-13 06:07:04 +0000109 const Diagnostic &Info) override;
110
111 void BeginSourceFile(const LangOptions &LO, const Preprocessor *PP) override {
Ted Kremenekd010ba42011-11-10 08:43:12 +0000112 LangOpts = &LO;
113 }
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000114
Craig Topperafa7cb32014-03-13 06:07:04 +0000115 void finish() override;
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000116
Ted Kremenek4610ea22011-10-29 00:12:39 +0000117private:
118 /// \brief Emit the preamble for the serialized diagnostics.
119 void EmitPreamble();
120
121 /// \brief Emit the BLOCKINFO block.
122 void EmitBlockInfoBlock();
Ted Kremenekf264a202011-11-05 00:10:11 +0000123
Ted Kremenekcc88d262011-11-08 20:27:29 +0000124 /// \brief Emit the META data block.
125 void EmitMetaBlock();
Richard Smitha9f521f2012-08-21 03:11:53 +0000126
127 /// \brief Start a DIAG block.
128 void EnterDiagBlock();
129
130 /// \brief End a DIAG block.
131 void ExitDiagBlock();
132
133 /// \brief Emit a DIAG record.
134 void EmitDiagnosticMessage(SourceLocation Loc,
135 PresumedLoc PLoc,
136 DiagnosticsEngine::Level Level,
137 StringRef Message,
138 const SourceManager *SM,
139 DiagOrStoredDiag D);
140
141 /// \brief Emit FIXIT and SOURCE_RANGE records for a diagnostic.
142 void EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
143 ArrayRef<FixItHint> Hints,
144 const SourceManager &SM);
145
Ted Kremenek59f10252011-11-05 00:10:01 +0000146 /// \brief Emit a record for a CharSourceRange.
Ted Kremenek4548e042011-12-17 05:26:11 +0000147 void EmitCharSourceRange(CharSourceRange R, const SourceManager &SM);
Ted Kremenek59f10252011-11-05 00:10:01 +0000148
Ted Kremenek4548e042011-12-17 05:26:11 +0000149 /// \brief Emit the string information for the category.
150 unsigned getEmitCategory(unsigned category = 0);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000151
152 /// \brief Emit the string information for diagnostic flags.
153 unsigned getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek4548e042011-12-17 05:26:11 +0000154 unsigned DiagID = 0);
Ted Kremenek319215062011-11-05 00:10:04 +0000155
Ted Kremenekf264a202011-11-05 00:10:11 +0000156 /// \brief Emit (lazily) the file string and retrieved the file identifier.
Ted Kremenek4548e042011-12-17 05:26:11 +0000157 unsigned getEmitFile(const char *Filename);
158
159 /// \brief Add SourceLocation information the specified record.
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000160 void AddLocToRecord(SourceLocation Loc, const SourceManager *SM,
Ted Kremenek4548e042011-12-17 05:26:11 +0000161 PresumedLoc PLoc, RecordDataImpl &Record,
162 unsigned TokSize = 0);
163
Ted Kremenekf264a202011-11-05 00:10:11 +0000164 /// \brief Add SourceLocation information the specified record.
Ted Kremenekd010ba42011-11-10 08:43:12 +0000165 void AddLocToRecord(SourceLocation Loc, RecordDataImpl &Record,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000166 const SourceManager *SM,
Ted Kremenek4548e042011-12-17 05:26:11 +0000167 unsigned TokSize = 0) {
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000168 AddLocToRecord(Loc, SM, SM ? SM->getPresumedLoc(Loc) : PresumedLoc(),
169 Record, TokSize);
Ted Kremenek4548e042011-12-17 05:26:11 +0000170 }
Ted Kremenekf264a202011-11-05 00:10:11 +0000171
Ted Kremenekd89a8272011-11-05 03:34:23 +0000172 /// \brief Add CharSourceRange information the specified record.
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000173 void AddCharSourceRangeToRecord(CharSourceRange R, RecordDataImpl &Record,
Ted Kremenek4548e042011-12-17 05:26:11 +0000174 const SourceManager &SM);
Ted Kremenekd89a8272011-11-05 03:34:23 +0000175
Ted Kremenek4610ea22011-10-29 00:12:39 +0000176 /// \brief The version of the diagnostics file.
Jordan Rose7ef1c382014-03-03 18:29:52 +0000177 enum { Version = 2 };
Ted Kremenek4610ea22011-10-29 00:12:39 +0000178
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000179 /// \brief Language options, which can differ from one clone of this client
180 /// to another.
Ted Kremenekd010ba42011-11-10 08:43:12 +0000181 const LangOptions *LangOpts;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000182
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000183 /// \brief Whether this is the original instance (rather than one of its
184 /// clones), responsible for writing the file at the end.
185 bool OriginalInstance;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000186
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000187 /// \brief State that is shared among the various clones of this diagnostic
188 /// consumer.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000189 struct SharedState : RefCountedBase<SharedState> {
190 SharedState(raw_ostream *os, DiagnosticOptions *diags)
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000191 : DiagOpts(diags), Stream(Buffer), OS(os), EmittedAnyDiagBlocks(false) { }
Ted Kremenek4610ea22011-10-29 00:12:39 +0000192
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000193 /// \brief Diagnostic options.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000194 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000195
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000196 /// \brief The byte buffer for the serialized content.
197 SmallString<1024> Buffer;
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000198
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000199 /// \brief The BitStreamWriter for the serialized diagnostics.
200 llvm::BitstreamWriter Stream;
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000201
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000202 /// \brief The name of the diagnostics file.
Ahmed Charlesb8984322014-03-07 20:03:18 +0000203 std::unique_ptr<raw_ostream> OS;
Richard Smitha9f521f2012-08-21 03:11:53 +0000204
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000205 /// \brief The set of constructed record abbreviations.
206 AbbreviationMap Abbrevs;
207
208 /// \brief A utility buffer for constructing record content.
209 RecordData Record;
210
211 /// \brief A text buffer for rendering diagnostic text.
212 SmallString<256> diagBuf;
213
214 /// \brief The collection of diagnostic categories used.
215 llvm::DenseSet<unsigned> Categories;
216
217 /// \brief The collection of files used.
218 llvm::DenseMap<const char *, unsigned> Files;
219
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000220 typedef llvm::DenseMap<const void *, std::pair<unsigned, StringRef> >
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000221 DiagFlagsTy;
222
223 /// \brief Map for uniquing strings.
224 DiagFlagsTy DiagFlags;
225
226 /// \brief Whether we have already started emission of any DIAG blocks. Once
227 /// this becomes \c true, we never close a DIAG block until we know that we're
228 /// starting another one or we're done.
229 bool EmittedAnyDiagBlocks;
230 };
231
232 /// \brief State shared among the various clones of this diagnostic consumer.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000233 IntrusiveRefCntPtr<SharedState> State;
Ted Kremenek4610ea22011-10-29 00:12:39 +0000234};
235} // end anonymous namespace
236
237namespace clang {
238namespace serialized_diags {
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000239DiagnosticConsumer *create(raw_ostream *OS, DiagnosticOptions *diags) {
Ted Kremenek4548e042011-12-17 05:26:11 +0000240 return new SDiagsWriter(OS, diags);
Ted Kremenek4610ea22011-10-29 00:12:39 +0000241}
242} // end namespace serialized_diags
243} // end namespace clang
244
245//===----------------------------------------------------------------------===//
246// Serialization methods.
247//===----------------------------------------------------------------------===//
248
249/// \brief Emits a block ID in the BLOCKINFO block.
250static void EmitBlockID(unsigned ID, const char *Name,
251 llvm::BitstreamWriter &Stream,
252 RecordDataImpl &Record) {
253 Record.clear();
254 Record.push_back(ID);
255 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
256
257 // Emit the block name if present.
Craig Topper49a27902014-05-22 04:46:25 +0000258 if (!Name || Name[0] == 0)
Ted Kremenek4610ea22011-10-29 00:12:39 +0000259 return;
260
261 Record.clear();
262
263 while (*Name)
264 Record.push_back(*Name++);
265
266 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
267}
268
269/// \brief Emits a record ID in the BLOCKINFO block.
270static void EmitRecordID(unsigned ID, const char *Name,
271 llvm::BitstreamWriter &Stream,
272 RecordDataImpl &Record){
273 Record.clear();
274 Record.push_back(ID);
275
276 while (*Name)
277 Record.push_back(*Name++);
278
279 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
280}
281
Ted Kremenekf264a202011-11-05 00:10:11 +0000282void SDiagsWriter::AddLocToRecord(SourceLocation Loc,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000283 const SourceManager *SM,
Ted Kremenek4548e042011-12-17 05:26:11 +0000284 PresumedLoc PLoc,
Ted Kremenekd010ba42011-11-10 08:43:12 +0000285 RecordDataImpl &Record,
286 unsigned TokSize) {
Ted Kremenek4548e042011-12-17 05:26:11 +0000287 if (PLoc.isInvalid()) {
Ted Kremenek59f10252011-11-05 00:10:01 +0000288 // Emit a "sentinel" location.
Ted Kremenekd010ba42011-11-10 08:43:12 +0000289 Record.push_back((unsigned)0); // File.
290 Record.push_back((unsigned)0); // Line.
291 Record.push_back((unsigned)0); // Column.
292 Record.push_back((unsigned)0); // Offset.
Ted Kremenek59f10252011-11-05 00:10:01 +0000293 return;
294 }
295
Ted Kremenek4548e042011-12-17 05:26:11 +0000296 Record.push_back(getEmitFile(PLoc.getFilename()));
297 Record.push_back(PLoc.getLine());
298 Record.push_back(PLoc.getColumn()+TokSize);
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000299 Record.push_back(SM->getFileOffset(Loc));
Ted Kremenek59f10252011-11-05 00:10:01 +0000300}
301
Ted Kremenekd89a8272011-11-05 03:34:23 +0000302void SDiagsWriter::AddCharSourceRangeToRecord(CharSourceRange Range,
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000303 RecordDataImpl &Record,
Ted Kremenek4548e042011-12-17 05:26:11 +0000304 const SourceManager &SM) {
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000305 AddLocToRecord(Range.getBegin(), Record, &SM);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000306 unsigned TokSize = 0;
307 if (Range.isTokenRange())
308 TokSize = Lexer::MeasureTokenLength(Range.getEnd(),
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000309 SM, *LangOpts);
Ted Kremenekd010ba42011-11-10 08:43:12 +0000310
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000311 AddLocToRecord(Range.getEnd(), Record, &SM, TokSize);
Ted Kremenekd89a8272011-11-05 03:34:23 +0000312}
313
Ted Kremenek4548e042011-12-17 05:26:11 +0000314unsigned SDiagsWriter::getEmitFile(const char *FileName){
315 if (!FileName)
Ted Kremenekf264a202011-11-05 00:10:11 +0000316 return 0;
317
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000318 unsigned &entry = State->Files[FileName];
Ted Kremenekf264a202011-11-05 00:10:11 +0000319 if (entry)
320 return entry;
321
322 // Lazily generate the record for the file.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000323 entry = State->Files.size();
Ted Kremenekf264a202011-11-05 00:10:11 +0000324 RecordData Record;
325 Record.push_back(RECORD_FILENAME);
326 Record.push_back(entry);
Ted Kremenek4548e042011-12-17 05:26:11 +0000327 Record.push_back(0); // For legacy.
328 Record.push_back(0); // For legacy.
329 StringRef Name(FileName);
Ted Kremenekf264a202011-11-05 00:10:11 +0000330 Record.push_back(Name.size());
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000331 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_FILENAME), Record,
332 Name);
Ted Kremenekf264a202011-11-05 00:10:11 +0000333
334 return entry;
335}
336
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000337void SDiagsWriter::EmitCharSourceRange(CharSourceRange R,
Ted Kremenek4548e042011-12-17 05:26:11 +0000338 const SourceManager &SM) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000339 State->Record.clear();
340 State->Record.push_back(RECORD_SOURCE_RANGE);
341 AddCharSourceRangeToRecord(R, State->Record, SM);
342 State->Stream.EmitRecordWithAbbrev(State->Abbrevs.get(RECORD_SOURCE_RANGE),
343 State->Record);
Ted Kremenek59f10252011-11-05 00:10:01 +0000344}
345
Ted Kremenek4610ea22011-10-29 00:12:39 +0000346/// \brief Emits the preamble of the diagnostics file.
347void SDiagsWriter::EmitPreamble() {
Ted Kremenek4610ea22011-10-29 00:12:39 +0000348 // Emit the file header.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000349 State->Stream.Emit((unsigned)'D', 8);
350 State->Stream.Emit((unsigned)'I', 8);
351 State->Stream.Emit((unsigned)'A', 8);
352 State->Stream.Emit((unsigned)'G', 8);
Ted Kremenek868504a2011-11-05 00:09:53 +0000353
Ted Kremenek4610ea22011-10-29 00:12:39 +0000354 EmitBlockInfoBlock();
Ted Kremenekcc88d262011-11-08 20:27:29 +0000355 EmitMetaBlock();
Ted Kremenek4610ea22011-10-29 00:12:39 +0000356}
357
Ted Kremenek59f10252011-11-05 00:10:01 +0000358static void AddSourceLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
359 using namespace llvm;
Ted Kremenekf264a202011-11-05 00:10:11 +0000360 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // File ID.
Ted Kremenek59f10252011-11-05 00:10:01 +0000361 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Line.
362 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Column.
363 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Offset;
364}
Ted Kremenekd89a8272011-11-05 03:34:23 +0000365
366static void AddRangeLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
367 AddSourceLocationAbbrev(Abbrev);
368 AddSourceLocationAbbrev(Abbrev);
369}
370
Ted Kremenek4610ea22011-10-29 00:12:39 +0000371void SDiagsWriter::EmitBlockInfoBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000372 State->Stream.EnterBlockInfoBlock(3);
Ted Kremenekcc88d262011-11-08 20:27:29 +0000373
374 using namespace llvm;
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000375 llvm::BitstreamWriter &Stream = State->Stream;
376 RecordData &Record = State->Record;
377 AbbreviationMap &Abbrevs = State->Abbrevs;
Ted Kremenekcc88d262011-11-08 20:27:29 +0000378
379 // ==---------------------------------------------------------------------==//
380 // The subsequent records and Abbrevs are for the "Meta" block.
381 // ==---------------------------------------------------------------------==//
382
383 EmitBlockID(BLOCK_META, "Meta", Stream, Record);
384 EmitRecordID(RECORD_VERSION, "Version", Stream, Record);
385 BitCodeAbbrev *Abbrev = new BitCodeAbbrev();
386 Abbrev->Add(BitCodeAbbrevOp(RECORD_VERSION));
387 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
388 Abbrevs.set(RECORD_VERSION, Stream.EmitBlockInfoAbbrev(BLOCK_META, Abbrev));
389
Ted Kremenek4610ea22011-10-29 00:12:39 +0000390 // ==---------------------------------------------------------------------==//
391 // The subsequent records and Abbrevs are for the "Diagnostic" block.
392 // ==---------------------------------------------------------------------==//
393
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000394 EmitBlockID(BLOCK_DIAG, "Diag", Stream, Record);
395 EmitRecordID(RECORD_DIAG, "DiagInfo", Stream, Record);
Ted Kremenek59f10252011-11-05 00:10:01 +0000396 EmitRecordID(RECORD_SOURCE_RANGE, "SrcRange", Stream, Record);
Ted Kremenek319215062011-11-05 00:10:04 +0000397 EmitRecordID(RECORD_CATEGORY, "CatName", Stream, Record);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000398 EmitRecordID(RECORD_DIAG_FLAG, "DiagFlag", Stream, Record);
Ted Kremenekf264a202011-11-05 00:10:11 +0000399 EmitRecordID(RECORD_FILENAME, "FileName", Stream, Record);
Ted Kremenekd89a8272011-11-05 03:34:23 +0000400 EmitRecordID(RECORD_FIXIT, "FixIt", Stream, Record);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000401
Ted Kremenek4610ea22011-10-29 00:12:39 +0000402 // Emit abbreviation for RECORD_DIAG.
Ted Kremenekcc88d262011-11-08 20:27:29 +0000403 Abbrev = new BitCodeAbbrev();
Ted Kremenek4610ea22011-10-29 00:12:39 +0000404 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG));
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000405 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Diag level.
Ted Kremenek59f10252011-11-05 00:10:01 +0000406 AddSourceLocationAbbrev(Abbrev);
Ted Kremenek2724b1f2011-11-05 00:09:50 +0000407 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Category.
408 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
Ted Kremenek4610ea22011-10-29 00:12:39 +0000409 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
410 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Diagnostc text.
411 Abbrevs.set(RECORD_DIAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek59f10252011-11-05 00:10:01 +0000412
Ted Kremenek319215062011-11-05 00:10:04 +0000413 // Emit abbrevation for RECORD_CATEGORY.
414 Abbrev = new BitCodeAbbrev();
415 Abbrev->Add(BitCodeAbbrevOp(RECORD_CATEGORY));
416 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Category ID.
417 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8)); // Text size.
418 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Category text.
419 Abbrevs.set(RECORD_CATEGORY, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
420
Ted Kremenek59f10252011-11-05 00:10:01 +0000421 // Emit abbrevation for RECORD_SOURCE_RANGE.
422 Abbrev = new BitCodeAbbrev();
423 Abbrev->Add(BitCodeAbbrevOp(RECORD_SOURCE_RANGE));
Ted Kremenekd89a8272011-11-05 03:34:23 +0000424 AddRangeLocationAbbrev(Abbrev);
Ted Kremenek59f10252011-11-05 00:10:01 +0000425 Abbrevs.set(RECORD_SOURCE_RANGE,
426 Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000427
428 // Emit the abbreviation for RECORD_DIAG_FLAG.
429 Abbrev = new BitCodeAbbrev();
430 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG_FLAG));
431 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
432 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
433 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Flag name text.
434 Abbrevs.set(RECORD_DIAG_FLAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
435 Abbrev));
Ted Kremenekf264a202011-11-05 00:10:11 +0000436
437 // Emit the abbreviation for RECORD_FILENAME.
Ted Kremenek4610ea22011-10-29 00:12:39 +0000438 Abbrev = new BitCodeAbbrev();
Ted Kremenekfce371a2011-11-05 00:09:43 +0000439 Abbrev->Add(BitCodeAbbrevOp(RECORD_FILENAME));
Ted Kremenekf264a202011-11-05 00:10:11 +0000440 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped file ID.
441 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Size.
442 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Modifcation time.
Ted Kremenek4610ea22011-10-29 00:12:39 +0000443 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
444 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // File name text.
Ted Kremenekf264a202011-11-05 00:10:11 +0000445 Abbrevs.set(RECORD_FILENAME, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
Ted Kremenek4610ea22011-10-29 00:12:39 +0000446 Abbrev));
Ted Kremenekd89a8272011-11-05 03:34:23 +0000447
448 // Emit the abbreviation for RECORD_FIXIT.
449 Abbrev = new BitCodeAbbrev();
450 Abbrev->Add(BitCodeAbbrevOp(RECORD_FIXIT));
451 AddRangeLocationAbbrev(Abbrev);
452 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
453 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // FixIt text.
454 Abbrevs.set(RECORD_FIXIT, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
455 Abbrev));
Ted Kremenek4610ea22011-10-29 00:12:39 +0000456
457 Stream.ExitBlock();
458}
459
Ted Kremenekcc88d262011-11-08 20:27:29 +0000460void SDiagsWriter::EmitMetaBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000461 llvm::BitstreamWriter &Stream = State->Stream;
462 RecordData &Record = State->Record;
463 AbbreviationMap &Abbrevs = State->Abbrevs;
464
Ted Kremenekcc88d262011-11-08 20:27:29 +0000465 Stream.EnterSubblock(BLOCK_META, 3);
466 Record.clear();
467 Record.push_back(RECORD_VERSION);
468 Record.push_back(Version);
469 Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_VERSION), Record);
470 Stream.ExitBlock();
471}
472
Ted Kremenek4548e042011-12-17 05:26:11 +0000473unsigned SDiagsWriter::getEmitCategory(unsigned int category) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000474 if (State->Categories.count(category))
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000475 return category;
476
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000477 State->Categories.insert(category);
Ted Kremenek319215062011-11-05 00:10:04 +0000478
479 // We use a local version of 'Record' so that we can be generating
480 // another record when we lazily generate one for the category entry.
481 RecordData Record;
482 Record.push_back(RECORD_CATEGORY);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000483 Record.push_back(category);
484 StringRef catName = DiagnosticIDs::getCategoryNameFromID(category);
Ted Kremenek319215062011-11-05 00:10:04 +0000485 Record.push_back(catName.size());
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000486 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_CATEGORY), Record,
487 catName);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000488
489 return category;
490}
491
492unsigned SDiagsWriter::getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek4548e042011-12-17 05:26:11 +0000493 unsigned DiagID) {
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000494 if (DiagLevel == DiagnosticsEngine::Note)
495 return 0; // No flag for notes.
496
Ted Kremenek4548e042011-12-17 05:26:11 +0000497 StringRef FlagName = DiagnosticIDs::getWarningOptionForDiag(DiagID);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000498 if (FlagName.empty())
499 return 0;
500
501 // Here we assume that FlagName points to static data whose pointer
502 // value is fixed. This allows us to unique by diagnostic groups.
503 const void *data = FlagName.data();
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000504 std::pair<unsigned, StringRef> &entry = State->DiagFlags[data];
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000505 if (entry.first == 0) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000506 entry.first = State->DiagFlags.size();
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000507 entry.second = FlagName;
508
509 // Lazily emit the string in a separate record.
510 RecordData Record;
511 Record.push_back(RECORD_DIAG_FLAG);
512 Record.push_back(entry.first);
513 Record.push_back(FlagName.size());
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000514 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_DIAG_FLAG),
515 Record, FlagName);
Ted Kremenek0a49dae2011-11-05 00:10:07 +0000516 }
517
518 return entry.first;
Ted Kremenek319215062011-11-05 00:10:04 +0000519}
520
Ted Kremenek4610ea22011-10-29 00:12:39 +0000521void SDiagsWriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
522 const Diagnostic &Info) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000523 // Enter the block for a non-note diagnostic immediately, rather than waiting
524 // for beginDiagnostic, in case associated notes are emitted before we get
525 // there.
Ted Kremenekf67bbca2011-11-05 00:09:47 +0000526 if (DiagLevel != DiagnosticsEngine::Note) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000527 if (State->EmittedAnyDiagBlocks)
Richard Smitha9f521f2012-08-21 03:11:53 +0000528 ExitDiagBlock();
529
530 EnterDiagBlock();
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000531 State->EmittedAnyDiagBlocks = true;
Ted Kremenekf67bbca2011-11-05 00:09:47 +0000532 }
Ted Kremenekd89a8272011-11-05 03:34:23 +0000533
Ted Kremenek4548e042011-12-17 05:26:11 +0000534 // Compute the diagnostic text.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000535 State->diagBuf.clear();
536 Info.FormatDiagnostic(State->diagBuf);
Ted Kremenek4548e042011-12-17 05:26:11 +0000537
Richard Smitha9f521f2012-08-21 03:11:53 +0000538 if (Info.getLocation().isInvalid()) {
539 // Special-case diagnostics with no location. We may not have entered a
540 // source file in this case, so we can't use the normal DiagnosticsRenderer
541 // machinery.
Ted Kremenekc6ebda12013-02-21 21:40:44 +0000542
543 // Make sure we bracket all notes as "sub-diagnostics". This matches
544 // the behavior in SDiagsRenderer::emitDiagnostic().
545 if (DiagLevel == DiagnosticsEngine::Note)
546 EnterDiagBlock();
547
Richard Smitha9f521f2012-08-21 03:11:53 +0000548 EmitDiagnosticMessage(SourceLocation(), PresumedLoc(), DiagLevel,
Craig Topper49a27902014-05-22 04:46:25 +0000549 State->diagBuf, nullptr, &Info);
Ted Kremenekc6ebda12013-02-21 21:40:44 +0000550
551 if (DiagLevel == DiagnosticsEngine::Note)
552 ExitDiagBlock();
553
Richard Smitha9f521f2012-08-21 03:11:53 +0000554 return;
555 }
556
557 assert(Info.hasSourceManager() && LangOpts &&
558 "Unexpected diagnostic with valid location outside of a source file");
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000559 SDiagsRenderer Renderer(*this, *LangOpts, &*State->DiagOpts);
Ted Kremenek4548e042011-12-17 05:26:11 +0000560 Renderer.emitDiagnostic(Info.getLocation(), DiagLevel,
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000561 State->diagBuf.str(),
Ted Kremenek4548e042011-12-17 05:26:11 +0000562 Info.getRanges(),
563 llvm::makeArrayRef(Info.getFixItHints(),
564 Info.getNumFixItHints()),
Richard Smitha9f521f2012-08-21 03:11:53 +0000565 &Info.getSourceManager(),
Ted Kremenek4548e042011-12-17 05:26:11 +0000566 &Info);
567}
568
Jordan Rose7ef1c382014-03-03 18:29:52 +0000569static serialized_diags::Level getStableLevel(DiagnosticsEngine::Level Level) {
570 switch (Level) {
571#define CASE(X) case DiagnosticsEngine::X: return serialized_diags::X;
572 CASE(Ignored)
573 CASE(Note)
574 CASE(Remark)
575 CASE(Warning)
576 CASE(Error)
577 CASE(Fatal)
578#undef CASE
579 }
580
581 llvm_unreachable("invalid diagnostic level");
582}
583
Richard Smitha9f521f2012-08-21 03:11:53 +0000584void SDiagsWriter::EmitDiagnosticMessage(SourceLocation Loc,
585 PresumedLoc PLoc,
586 DiagnosticsEngine::Level Level,
587 StringRef Message,
588 const SourceManager *SM,
589 DiagOrStoredDiag D) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000590 llvm::BitstreamWriter &Stream = State->Stream;
591 RecordData &Record = State->Record;
592 AbbreviationMap &Abbrevs = State->Abbrevs;
593
Richard Smitha9f521f2012-08-21 03:11:53 +0000594 // Emit the RECORD_DIAG record.
595 Record.clear();
596 Record.push_back(RECORD_DIAG);
Jordan Rose7ef1c382014-03-03 18:29:52 +0000597 Record.push_back(getStableLevel(Level));
Richard Smitha9f521f2012-08-21 03:11:53 +0000598 AddLocToRecord(Loc, SM, PLoc, Record);
599
600 if (const Diagnostic *Info = D.dyn_cast<const Diagnostic*>()) {
601 // Emit the category string lazily and get the category ID.
602 unsigned DiagID = DiagnosticIDs::getCategoryNumberForDiag(Info->getID());
603 Record.push_back(getEmitCategory(DiagID));
604 // Emit the diagnostic flag string lazily and get the mapped ID.
605 Record.push_back(getEmitDiagnosticFlag(Level, Info->getID()));
606 } else {
607 Record.push_back(getEmitCategory());
608 Record.push_back(getEmitDiagnosticFlag(Level));
609 }
610
611 Record.push_back(Message.size());
612 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG), Record, Message);
613}
614
Ted Kremenek4548e042011-12-17 05:26:11 +0000615void
616SDiagsRenderer::emitDiagnosticMessage(SourceLocation Loc,
617 PresumedLoc PLoc,
618 DiagnosticsEngine::Level Level,
619 StringRef Message,
620 ArrayRef<clang::CharSourceRange> Ranges,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000621 const SourceManager *SM,
Ted Kremenek0964cca2012-02-14 02:46:00 +0000622 DiagOrStoredDiag D) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000623 Writer.EmitDiagnosticMessage(Loc, PLoc, Level, Message, SM, D);
624}
Ted Kremenek4548e042011-12-17 05:26:11 +0000625
Richard Smitha9f521f2012-08-21 03:11:53 +0000626void SDiagsWriter::EnterDiagBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000627 State->Stream.EnterSubblock(BLOCK_DIAG, 4);
Richard Smitha9f521f2012-08-21 03:11:53 +0000628}
Ted Kremenek4548e042011-12-17 05:26:11 +0000629
Richard Smitha9f521f2012-08-21 03:11:53 +0000630void SDiagsWriter::ExitDiagBlock() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000631 State->Stream.ExitBlock();
Ted Kremenek4548e042011-12-17 05:26:11 +0000632}
633
Ted Kremenek0964cca2012-02-14 02:46:00 +0000634void SDiagsRenderer::beginDiagnostic(DiagOrStoredDiag D,
Ted Kremenek4548e042011-12-17 05:26:11 +0000635 DiagnosticsEngine::Level Level) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000636 if (Level == DiagnosticsEngine::Note)
637 Writer.EnterDiagBlock();
Ted Kremenek4548e042011-12-17 05:26:11 +0000638}
639
Ted Kremenek0964cca2012-02-14 02:46:00 +0000640void SDiagsRenderer::endDiagnostic(DiagOrStoredDiag D,
Ted Kremenek4548e042011-12-17 05:26:11 +0000641 DiagnosticsEngine::Level Level) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000642 // Only end note diagnostics here, because we can't be sure when we've seen
643 // the last note associated with a non-note diagnostic.
644 if (Level == DiagnosticsEngine::Note)
645 Writer.ExitDiagBlock();
646}
647
648void SDiagsWriter::EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
649 ArrayRef<FixItHint> Hints,
650 const SourceManager &SM) {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000651 llvm::BitstreamWriter &Stream = State->Stream;
652 RecordData &Record = State->Record;
653 AbbreviationMap &Abbrevs = State->Abbrevs;
654
Richard Smitha9f521f2012-08-21 03:11:53 +0000655 // Emit Source Ranges.
656 for (ArrayRef<CharSourceRange>::iterator I = Ranges.begin(), E = Ranges.end();
657 I != E; ++I)
658 if (I->isValid())
659 EmitCharSourceRange(*I, SM);
660
661 // Emit FixIts.
662 for (ArrayRef<FixItHint>::iterator I = Hints.begin(), E = Hints.end();
663 I != E; ++I) {
664 const FixItHint &Fix = *I;
665 if (Fix.isNull())
666 continue;
667 Record.clear();
668 Record.push_back(RECORD_FIXIT);
669 AddCharSourceRangeToRecord(Fix.RemoveRange, Record, SM);
670 Record.push_back(Fix.CodeToInsert.size());
671 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FIXIT), Record,
672 Fix.CodeToInsert);
673 }
Ted Kremenek4548e042011-12-17 05:26:11 +0000674}
675
676void SDiagsRenderer::emitCodeContext(SourceLocation Loc,
677 DiagnosticsEngine::Level Level,
678 SmallVectorImpl<CharSourceRange> &Ranges,
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000679 ArrayRef<FixItHint> Hints,
Richard Smitha9f521f2012-08-21 03:11:53 +0000680 const SourceManager &SM) {
681 Writer.EmitCodeContext(Ranges, Hints, SM);
Ted Kremenek4610ea22011-10-29 00:12:39 +0000682}
683
Argyrios Kyrtzidisb16ff5d2012-05-10 05:03:45 +0000684void SDiagsRenderer::emitNote(SourceLocation Loc, StringRef Message,
685 const SourceManager *SM) {
Richard Smitha9f521f2012-08-21 03:11:53 +0000686 Writer.EnterDiagBlock();
687 PresumedLoc PLoc = SM ? SM->getPresumedLoc(Loc) : PresumedLoc();
688 Writer.EmitDiagnosticMessage(Loc, PLoc, DiagnosticsEngine::Note,
689 Message, SM, DiagOrStoredDiag());
690 Writer.ExitDiagBlock();
Ted Kremenek4548e042011-12-17 05:26:11 +0000691}
692
Argyrios Kyrtzidis7910d7b2011-12-07 05:52:12 +0000693void SDiagsWriter::finish() {
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000694 // The original instance is responsible for writing the file.
695 if (!OriginalInstance)
696 return;
697
Richard Smitha9f521f2012-08-21 03:11:53 +0000698 // Finish off any diagnostic we were in the process of emitting.
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000699 if (State->EmittedAnyDiagBlocks)
Richard Smitha9f521f2012-08-21 03:11:53 +0000700 ExitDiagBlock();
Ted Kremenekf264a202011-11-05 00:10:11 +0000701
Ted Kremenek4610ea22011-10-29 00:12:39 +0000702 // Write the generated bitstream to "Out".
Douglas Gregorfa686fb2012-11-30 23:32:31 +0000703 State->OS->write((char *)&State->Buffer.front(), State->Buffer.size());
704 State->OS->flush();
Richard Smitha9f521f2012-08-21 03:11:53 +0000705
Craig Topper49a27902014-05-22 04:46:25 +0000706 State->OS.reset(nullptr);
Ted Kremenek4610ea22011-10-29 00:12:39 +0000707}