blob: 4bb662bb2650c81b173faf82c44affa7695d345e [file] [log] [blame]
Ted Kremenek78002122011-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 Kremenek78002122011-10-29 00:12:39 +000010#include "clang/Frontend/SerializedDiagnosticPrinter.h"
Chandler Carruth55fc8732012-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 Kremenek2a764102011-12-17 05:26:11 +000016#include "clang/Frontend/DiagnosticRenderer.h"
Chandler Carruth55fc8732012-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 Kremenek78002122011-10-29 00:12:39 +000023
24using namespace clang;
Ted Kremenekfdd0ced2011-11-05 00:09:57 +000025using namespace clang::serialized_diags;
Ted Kremenek78002122011-10-29 00:12:39 +000026
27namespace {
Ted Kremenek78002122011-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 Gribenkocfa88f82013-01-12 19:30:44 +000047typedef SmallVector<uint64_t, 64> RecordData;
48typedef SmallVectorImpl<uint64_t> RecordDataImpl;
Ted Kremenek2a764102011-12-17 05:26:11 +000049
50class SDiagsWriter;
51
Ted Kremenek8be51ea2012-02-14 02:46:00 +000052class SDiagsRenderer : public DiagnosticNoteRenderer {
Ted Kremenek2a764102011-12-17 05:26:11 +000053 SDiagsWriter &Writer;
Ted Kremenek2a764102011-12-17 05:26:11 +000054public:
Richard Smithdb309ae2012-08-21 03:11:53 +000055 SDiagsRenderer(SDiagsWriter &Writer, const LangOptions &LangOpts,
Douglas Gregor02c23eb2012-10-23 22:26:28 +000056 DiagnosticOptions *DiagOpts)
Richard Smithdb309ae2012-08-21 03:11:53 +000057 : DiagnosticNoteRenderer(LangOpts, DiagOpts), Writer(Writer) {}
Ted Kremenek2a764102011-12-17 05:26:11 +000058
59 virtual ~SDiagsRenderer() {}
60
61protected:
62 virtual void emitDiagnosticMessage(SourceLocation Loc,
63 PresumedLoc PLoc,
64 DiagnosticsEngine::Level Level,
65 StringRef Message,
66 ArrayRef<CharSourceRange> Ranges,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +000067 const SourceManager *SM,
Ted Kremenek8be51ea2012-02-14 02:46:00 +000068 DiagOrStoredDiag D);
Ted Kremenek2a764102011-12-17 05:26:11 +000069
70 virtual void emitDiagnosticLoc(SourceLocation Loc, PresumedLoc PLoc,
71 DiagnosticsEngine::Level Level,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +000072 ArrayRef<CharSourceRange> Ranges,
73 const SourceManager &SM) {}
Richard Smithdb309ae2012-08-21 03:11:53 +000074
75 virtual void emitNote(SourceLocation Loc, StringRef Message,
76 const SourceManager *SM);
77
Ted Kremenek2a764102011-12-17 05:26:11 +000078 virtual void emitCodeContext(SourceLocation Loc,
79 DiagnosticsEngine::Level Level,
80 SmallVectorImpl<CharSourceRange>& Ranges,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +000081 ArrayRef<FixItHint> Hints,
82 const SourceManager &SM);
Richard Smithdb309ae2012-08-21 03:11:53 +000083
Ted Kremenek8be51ea2012-02-14 02:46:00 +000084 virtual void beginDiagnostic(DiagOrStoredDiag D,
Ted Kremenek2a764102011-12-17 05:26:11 +000085 DiagnosticsEngine::Level Level);
Ted Kremenek8be51ea2012-02-14 02:46:00 +000086 virtual void endDiagnostic(DiagOrStoredDiag D,
Ted Kremenek2a764102011-12-17 05:26:11 +000087 DiagnosticsEngine::Level Level);
88};
Ted Kremenek78002122011-10-29 00:12:39 +000089
90class SDiagsWriter : public DiagnosticConsumer {
Ted Kremenek2a764102011-12-17 05:26:11 +000091 friend class SDiagsRenderer;
Douglas Gregor14afab32012-11-30 23:32:31 +000092
93 struct SharedState;
94
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +000095 explicit SDiagsWriter(IntrusiveRefCntPtr<SharedState> State)
Douglas Gregor14afab32012-11-30 23:32:31 +000096 : LangOpts(0), OriginalInstance(false), State(State) { }
97
98public:
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +000099 SDiagsWriter(raw_ostream *os, DiagnosticOptions *diags)
Douglas Gregor14afab32012-11-30 23:32:31 +0000100 : LangOpts(0), OriginalInstance(true), State(new SharedState(os, diags))
101 {
Ted Kremenek78002122011-10-29 00:12:39 +0000102 EmitPreamble();
Devang Patel02ae32a2011-11-15 01:30:40 +0000103 }
Richard Smithdb309ae2012-08-21 03:11:53 +0000104
Ted Kremenek78002122011-10-29 00:12:39 +0000105 ~SDiagsWriter() {}
106
107 void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
108 const Diagnostic &Info);
109
Ted Kremenek15322172011-11-10 08:43:12 +0000110 void BeginSourceFile(const LangOptions &LO,
111 const Preprocessor *PP) {
112 LangOpts = &LO;
113 }
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000114
115 virtual void finish();
116
Ted Kremenek78002122011-10-29 00:12:39 +0000117 DiagnosticConsumer *clone(DiagnosticsEngine &Diags) const {
Douglas Gregor14afab32012-11-30 23:32:31 +0000118 return new SDiagsWriter(State);
Ted Kremenek78002122011-10-29 00:12:39 +0000119 }
120
121private:
122 /// \brief Emit the preamble for the serialized diagnostics.
123 void EmitPreamble();
124
125 /// \brief Emit the BLOCKINFO block.
126 void EmitBlockInfoBlock();
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000127
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000128 /// \brief Emit the META data block.
129 void EmitMetaBlock();
Richard Smithdb309ae2012-08-21 03:11:53 +0000130
131 /// \brief Start a DIAG block.
132 void EnterDiagBlock();
133
134 /// \brief End a DIAG block.
135 void ExitDiagBlock();
136
137 /// \brief Emit a DIAG record.
138 void EmitDiagnosticMessage(SourceLocation Loc,
139 PresumedLoc PLoc,
140 DiagnosticsEngine::Level Level,
141 StringRef Message,
142 const SourceManager *SM,
143 DiagOrStoredDiag D);
144
145 /// \brief Emit FIXIT and SOURCE_RANGE records for a diagnostic.
146 void EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
147 ArrayRef<FixItHint> Hints,
148 const SourceManager &SM);
149
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000150 /// \brief Emit a record for a CharSourceRange.
Ted Kremenek2a764102011-12-17 05:26:11 +0000151 void EmitCharSourceRange(CharSourceRange R, const SourceManager &SM);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000152
Ted Kremenek2a764102011-12-17 05:26:11 +0000153 /// \brief Emit the string information for the category.
154 unsigned getEmitCategory(unsigned category = 0);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000155
156 /// \brief Emit the string information for diagnostic flags.
157 unsigned getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek2a764102011-12-17 05:26:11 +0000158 unsigned DiagID = 0);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000159
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000160 /// \brief Emit (lazily) the file string and retrieved the file identifier.
Ted Kremenek2a764102011-12-17 05:26:11 +0000161 unsigned getEmitFile(const char *Filename);
162
163 /// \brief Add SourceLocation information the specified record.
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000164 void AddLocToRecord(SourceLocation Loc, const SourceManager *SM,
Ted Kremenek2a764102011-12-17 05:26:11 +0000165 PresumedLoc PLoc, RecordDataImpl &Record,
166 unsigned TokSize = 0);
167
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000168 /// \brief Add SourceLocation information the specified record.
Ted Kremenek15322172011-11-10 08:43:12 +0000169 void AddLocToRecord(SourceLocation Loc, RecordDataImpl &Record,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000170 const SourceManager *SM,
Ted Kremenek2a764102011-12-17 05:26:11 +0000171 unsigned TokSize = 0) {
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000172 AddLocToRecord(Loc, SM, SM ? SM->getPresumedLoc(Loc) : PresumedLoc(),
173 Record, TokSize);
Ted Kremenek2a764102011-12-17 05:26:11 +0000174 }
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000175
Ted Kremenek96dcade2011-11-05 03:34:23 +0000176 /// \brief Add CharSourceRange information the specified record.
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000177 void AddCharSourceRangeToRecord(CharSourceRange R, RecordDataImpl &Record,
Ted Kremenek2a764102011-12-17 05:26:11 +0000178 const SourceManager &SM);
Ted Kremenek96dcade2011-11-05 03:34:23 +0000179
Ted Kremenek78002122011-10-29 00:12:39 +0000180 /// \brief The version of the diagnostics file.
181 enum { Version = 1 };
182
Douglas Gregor14afab32012-11-30 23:32:31 +0000183 /// \brief Language options, which can differ from one clone of this client
184 /// to another.
Ted Kremenek15322172011-11-10 08:43:12 +0000185 const LangOptions *LangOpts;
Ted Kremenek78002122011-10-29 00:12:39 +0000186
Douglas Gregor14afab32012-11-30 23:32:31 +0000187 /// \brief Whether this is the original instance (rather than one of its
188 /// clones), responsible for writing the file at the end.
189 bool OriginalInstance;
Ted Kremenek78002122011-10-29 00:12:39 +0000190
Douglas Gregor14afab32012-11-30 23:32:31 +0000191 /// \brief State that is shared among the various clones of this diagnostic
192 /// consumer.
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000193 struct SharedState : RefCountedBase<SharedState> {
194 SharedState(raw_ostream *os, DiagnosticOptions *diags)
Douglas Gregor14afab32012-11-30 23:32:31 +0000195 : DiagOpts(diags), Stream(Buffer), OS(os), EmittedAnyDiagBlocks(false) { }
Ted Kremenek78002122011-10-29 00:12:39 +0000196
Douglas Gregor14afab32012-11-30 23:32:31 +0000197 /// \brief Diagnostic options.
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000198 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
Ted Kremenek78002122011-10-29 00:12:39 +0000199
Douglas Gregor14afab32012-11-30 23:32:31 +0000200 /// \brief The byte buffer for the serialized content.
201 SmallString<1024> Buffer;
Ted Kremenek45d92752011-11-05 00:09:50 +0000202
Douglas Gregor14afab32012-11-30 23:32:31 +0000203 /// \brief The BitStreamWriter for the serialized diagnostics.
204 llvm::BitstreamWriter Stream;
Ted Kremenek45d92752011-11-05 00:09:50 +0000205
Douglas Gregor14afab32012-11-30 23:32:31 +0000206 /// \brief The name of the diagnostics file.
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000207 OwningPtr<raw_ostream> OS;
Richard Smithdb309ae2012-08-21 03:11:53 +0000208
Douglas Gregor14afab32012-11-30 23:32:31 +0000209 /// \brief The set of constructed record abbreviations.
210 AbbreviationMap Abbrevs;
211
212 /// \brief A utility buffer for constructing record content.
213 RecordData Record;
214
215 /// \brief A text buffer for rendering diagnostic text.
216 SmallString<256> diagBuf;
217
218 /// \brief The collection of diagnostic categories used.
219 llvm::DenseSet<unsigned> Categories;
220
221 /// \brief The collection of files used.
222 llvm::DenseMap<const char *, unsigned> Files;
223
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000224 typedef llvm::DenseMap<const void *, std::pair<unsigned, StringRef> >
Douglas Gregor14afab32012-11-30 23:32:31 +0000225 DiagFlagsTy;
226
227 /// \brief Map for uniquing strings.
228 DiagFlagsTy DiagFlags;
229
230 /// \brief Whether we have already started emission of any DIAG blocks. Once
231 /// this becomes \c true, we never close a DIAG block until we know that we're
232 /// starting another one or we're done.
233 bool EmittedAnyDiagBlocks;
234 };
235
236 /// \brief State shared among the various clones of this diagnostic consumer.
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000237 IntrusiveRefCntPtr<SharedState> State;
Ted Kremenek78002122011-10-29 00:12:39 +0000238};
239} // end anonymous namespace
240
241namespace clang {
242namespace serialized_diags {
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000243DiagnosticConsumer *create(raw_ostream *OS, DiagnosticOptions *diags) {
Ted Kremenek2a764102011-12-17 05:26:11 +0000244 return new SDiagsWriter(OS, diags);
Ted Kremenek78002122011-10-29 00:12:39 +0000245}
246} // end namespace serialized_diags
247} // end namespace clang
248
249//===----------------------------------------------------------------------===//
250// Serialization methods.
251//===----------------------------------------------------------------------===//
252
253/// \brief Emits a block ID in the BLOCKINFO block.
254static void EmitBlockID(unsigned ID, const char *Name,
255 llvm::BitstreamWriter &Stream,
256 RecordDataImpl &Record) {
257 Record.clear();
258 Record.push_back(ID);
259 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
260
261 // Emit the block name if present.
262 if (Name == 0 || Name[0] == 0)
263 return;
264
265 Record.clear();
266
267 while (*Name)
268 Record.push_back(*Name++);
269
270 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
271}
272
273/// \brief Emits a record ID in the BLOCKINFO block.
274static void EmitRecordID(unsigned ID, const char *Name,
275 llvm::BitstreamWriter &Stream,
276 RecordDataImpl &Record){
277 Record.clear();
278 Record.push_back(ID);
279
280 while (*Name)
281 Record.push_back(*Name++);
282
283 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
284}
285
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000286void SDiagsWriter::AddLocToRecord(SourceLocation Loc,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000287 const SourceManager *SM,
Ted Kremenek2a764102011-12-17 05:26:11 +0000288 PresumedLoc PLoc,
Ted Kremenek15322172011-11-10 08:43:12 +0000289 RecordDataImpl &Record,
290 unsigned TokSize) {
Ted Kremenek2a764102011-12-17 05:26:11 +0000291 if (PLoc.isInvalid()) {
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000292 // Emit a "sentinel" location.
Ted Kremenek15322172011-11-10 08:43:12 +0000293 Record.push_back((unsigned)0); // File.
294 Record.push_back((unsigned)0); // Line.
295 Record.push_back((unsigned)0); // Column.
296 Record.push_back((unsigned)0); // Offset.
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000297 return;
298 }
299
Ted Kremenek2a764102011-12-17 05:26:11 +0000300 Record.push_back(getEmitFile(PLoc.getFilename()));
301 Record.push_back(PLoc.getLine());
302 Record.push_back(PLoc.getColumn()+TokSize);
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000303 Record.push_back(SM->getFileOffset(Loc));
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000304}
305
Ted Kremenek96dcade2011-11-05 03:34:23 +0000306void SDiagsWriter::AddCharSourceRangeToRecord(CharSourceRange Range,
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000307 RecordDataImpl &Record,
Ted Kremenek2a764102011-12-17 05:26:11 +0000308 const SourceManager &SM) {
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000309 AddLocToRecord(Range.getBegin(), Record, &SM);
Ted Kremenek15322172011-11-10 08:43:12 +0000310 unsigned TokSize = 0;
311 if (Range.isTokenRange())
312 TokSize = Lexer::MeasureTokenLength(Range.getEnd(),
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000313 SM, *LangOpts);
Ted Kremenek15322172011-11-10 08:43:12 +0000314
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000315 AddLocToRecord(Range.getEnd(), Record, &SM, TokSize);
Ted Kremenek96dcade2011-11-05 03:34:23 +0000316}
317
Ted Kremenek2a764102011-12-17 05:26:11 +0000318unsigned SDiagsWriter::getEmitFile(const char *FileName){
319 if (!FileName)
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000320 return 0;
321
Douglas Gregor14afab32012-11-30 23:32:31 +0000322 unsigned &entry = State->Files[FileName];
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000323 if (entry)
324 return entry;
325
326 // Lazily generate the record for the file.
Douglas Gregor14afab32012-11-30 23:32:31 +0000327 entry = State->Files.size();
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000328 RecordData Record;
329 Record.push_back(RECORD_FILENAME);
330 Record.push_back(entry);
Ted Kremenek2a764102011-12-17 05:26:11 +0000331 Record.push_back(0); // For legacy.
332 Record.push_back(0); // For legacy.
333 StringRef Name(FileName);
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000334 Record.push_back(Name.size());
Douglas Gregor14afab32012-11-30 23:32:31 +0000335 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_FILENAME), Record,
336 Name);
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000337
338 return entry;
339}
340
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000341void SDiagsWriter::EmitCharSourceRange(CharSourceRange R,
Ted Kremenek2a764102011-12-17 05:26:11 +0000342 const SourceManager &SM) {
Douglas Gregor14afab32012-11-30 23:32:31 +0000343 State->Record.clear();
344 State->Record.push_back(RECORD_SOURCE_RANGE);
345 AddCharSourceRangeToRecord(R, State->Record, SM);
346 State->Stream.EmitRecordWithAbbrev(State->Abbrevs.get(RECORD_SOURCE_RANGE),
347 State->Record);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000348}
349
Ted Kremenek78002122011-10-29 00:12:39 +0000350/// \brief Emits the preamble of the diagnostics file.
351void SDiagsWriter::EmitPreamble() {
Ted Kremenek78002122011-10-29 00:12:39 +0000352 // Emit the file header.
Douglas Gregor14afab32012-11-30 23:32:31 +0000353 State->Stream.Emit((unsigned)'D', 8);
354 State->Stream.Emit((unsigned)'I', 8);
355 State->Stream.Emit((unsigned)'A', 8);
356 State->Stream.Emit((unsigned)'G', 8);
Ted Kremenek069f9c22011-11-05 00:09:53 +0000357
Ted Kremenek78002122011-10-29 00:12:39 +0000358 EmitBlockInfoBlock();
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000359 EmitMetaBlock();
Ted Kremenek78002122011-10-29 00:12:39 +0000360}
361
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000362static void AddSourceLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
363 using namespace llvm;
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000364 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // File ID.
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000365 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Line.
366 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Column.
367 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Offset;
368}
Ted Kremenek96dcade2011-11-05 03:34:23 +0000369
370static void AddRangeLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
371 AddSourceLocationAbbrev(Abbrev);
372 AddSourceLocationAbbrev(Abbrev);
373}
374
Ted Kremenek78002122011-10-29 00:12:39 +0000375void SDiagsWriter::EmitBlockInfoBlock() {
Douglas Gregor14afab32012-11-30 23:32:31 +0000376 State->Stream.EnterBlockInfoBlock(3);
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000377
378 using namespace llvm;
Douglas Gregor14afab32012-11-30 23:32:31 +0000379 llvm::BitstreamWriter &Stream = State->Stream;
380 RecordData &Record = State->Record;
381 AbbreviationMap &Abbrevs = State->Abbrevs;
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000382
383 // ==---------------------------------------------------------------------==//
384 // The subsequent records and Abbrevs are for the "Meta" block.
385 // ==---------------------------------------------------------------------==//
386
387 EmitBlockID(BLOCK_META, "Meta", Stream, Record);
388 EmitRecordID(RECORD_VERSION, "Version", Stream, Record);
389 BitCodeAbbrev *Abbrev = new BitCodeAbbrev();
390 Abbrev->Add(BitCodeAbbrevOp(RECORD_VERSION));
391 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
392 Abbrevs.set(RECORD_VERSION, Stream.EmitBlockInfoAbbrev(BLOCK_META, Abbrev));
393
Ted Kremenek78002122011-10-29 00:12:39 +0000394 // ==---------------------------------------------------------------------==//
395 // The subsequent records and Abbrevs are for the "Diagnostic" block.
396 // ==---------------------------------------------------------------------==//
397
Ted Kremenek45d92752011-11-05 00:09:50 +0000398 EmitBlockID(BLOCK_DIAG, "Diag", Stream, Record);
399 EmitRecordID(RECORD_DIAG, "DiagInfo", Stream, Record);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000400 EmitRecordID(RECORD_SOURCE_RANGE, "SrcRange", Stream, Record);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000401 EmitRecordID(RECORD_CATEGORY, "CatName", Stream, Record);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000402 EmitRecordID(RECORD_DIAG_FLAG, "DiagFlag", Stream, Record);
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000403 EmitRecordID(RECORD_FILENAME, "FileName", Stream, Record);
Ted Kremenek96dcade2011-11-05 03:34:23 +0000404 EmitRecordID(RECORD_FIXIT, "FixIt", Stream, Record);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000405
Ted Kremenek78002122011-10-29 00:12:39 +0000406 // Emit abbreviation for RECORD_DIAG.
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000407 Abbrev = new BitCodeAbbrev();
Ted Kremenek78002122011-10-29 00:12:39 +0000408 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG));
Ted Kremenek45d92752011-11-05 00:09:50 +0000409 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Diag level.
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000410 AddSourceLocationAbbrev(Abbrev);
Ted Kremenek45d92752011-11-05 00:09:50 +0000411 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Category.
412 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
Ted Kremenek78002122011-10-29 00:12:39 +0000413 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
414 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Diagnostc text.
415 Abbrevs.set(RECORD_DIAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000416
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000417 // Emit abbrevation for RECORD_CATEGORY.
418 Abbrev = new BitCodeAbbrev();
419 Abbrev->Add(BitCodeAbbrevOp(RECORD_CATEGORY));
420 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Category ID.
421 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8)); // Text size.
422 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Category text.
423 Abbrevs.set(RECORD_CATEGORY, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
424
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000425 // Emit abbrevation for RECORD_SOURCE_RANGE.
426 Abbrev = new BitCodeAbbrev();
427 Abbrev->Add(BitCodeAbbrevOp(RECORD_SOURCE_RANGE));
Ted Kremenek96dcade2011-11-05 03:34:23 +0000428 AddRangeLocationAbbrev(Abbrev);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000429 Abbrevs.set(RECORD_SOURCE_RANGE,
430 Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000431
432 // Emit the abbreviation for RECORD_DIAG_FLAG.
433 Abbrev = new BitCodeAbbrev();
434 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG_FLAG));
435 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
436 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
437 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Flag name text.
438 Abbrevs.set(RECORD_DIAG_FLAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
439 Abbrev));
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000440
441 // Emit the abbreviation for RECORD_FILENAME.
Ted Kremenek78002122011-10-29 00:12:39 +0000442 Abbrev = new BitCodeAbbrev();
Ted Kremenek28eac522011-11-05 00:09:43 +0000443 Abbrev->Add(BitCodeAbbrevOp(RECORD_FILENAME));
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000444 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped file ID.
445 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Size.
446 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Modifcation time.
Ted Kremenek78002122011-10-29 00:12:39 +0000447 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
448 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // File name text.
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000449 Abbrevs.set(RECORD_FILENAME, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
Ted Kremenek78002122011-10-29 00:12:39 +0000450 Abbrev));
Ted Kremenek96dcade2011-11-05 03:34:23 +0000451
452 // Emit the abbreviation for RECORD_FIXIT.
453 Abbrev = new BitCodeAbbrev();
454 Abbrev->Add(BitCodeAbbrevOp(RECORD_FIXIT));
455 AddRangeLocationAbbrev(Abbrev);
456 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
457 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // FixIt text.
458 Abbrevs.set(RECORD_FIXIT, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
459 Abbrev));
Ted Kremenek78002122011-10-29 00:12:39 +0000460
461 Stream.ExitBlock();
462}
463
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000464void SDiagsWriter::EmitMetaBlock() {
Douglas Gregor14afab32012-11-30 23:32:31 +0000465 llvm::BitstreamWriter &Stream = State->Stream;
466 RecordData &Record = State->Record;
467 AbbreviationMap &Abbrevs = State->Abbrevs;
468
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000469 Stream.EnterSubblock(BLOCK_META, 3);
470 Record.clear();
471 Record.push_back(RECORD_VERSION);
472 Record.push_back(Version);
473 Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_VERSION), Record);
474 Stream.ExitBlock();
475}
476
Ted Kremenek2a764102011-12-17 05:26:11 +0000477unsigned SDiagsWriter::getEmitCategory(unsigned int category) {
Douglas Gregor14afab32012-11-30 23:32:31 +0000478 if (State->Categories.count(category))
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000479 return category;
480
Douglas Gregor14afab32012-11-30 23:32:31 +0000481 State->Categories.insert(category);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000482
483 // We use a local version of 'Record' so that we can be generating
484 // another record when we lazily generate one for the category entry.
485 RecordData Record;
486 Record.push_back(RECORD_CATEGORY);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000487 Record.push_back(category);
488 StringRef catName = DiagnosticIDs::getCategoryNameFromID(category);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000489 Record.push_back(catName.size());
Douglas Gregor14afab32012-11-30 23:32:31 +0000490 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_CATEGORY), Record,
491 catName);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000492
493 return category;
494}
495
496unsigned SDiagsWriter::getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek2a764102011-12-17 05:26:11 +0000497 unsigned DiagID) {
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000498 if (DiagLevel == DiagnosticsEngine::Note)
499 return 0; // No flag for notes.
500
Ted Kremenek2a764102011-12-17 05:26:11 +0000501 StringRef FlagName = DiagnosticIDs::getWarningOptionForDiag(DiagID);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000502 if (FlagName.empty())
503 return 0;
504
505 // Here we assume that FlagName points to static data whose pointer
506 // value is fixed. This allows us to unique by diagnostic groups.
507 const void *data = FlagName.data();
Douglas Gregor14afab32012-11-30 23:32:31 +0000508 std::pair<unsigned, StringRef> &entry = State->DiagFlags[data];
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000509 if (entry.first == 0) {
Douglas Gregor14afab32012-11-30 23:32:31 +0000510 entry.first = State->DiagFlags.size();
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000511 entry.second = FlagName;
512
513 // Lazily emit the string in a separate record.
514 RecordData Record;
515 Record.push_back(RECORD_DIAG_FLAG);
516 Record.push_back(entry.first);
517 Record.push_back(FlagName.size());
Douglas Gregor14afab32012-11-30 23:32:31 +0000518 State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_DIAG_FLAG),
519 Record, FlagName);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000520 }
521
522 return entry.first;
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000523}
524
Ted Kremenek78002122011-10-29 00:12:39 +0000525void SDiagsWriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
526 const Diagnostic &Info) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000527 // Enter the block for a non-note diagnostic immediately, rather than waiting
528 // for beginDiagnostic, in case associated notes are emitted before we get
529 // there.
Ted Kremenek59b61612011-11-05 00:09:47 +0000530 if (DiagLevel != DiagnosticsEngine::Note) {
Douglas Gregor14afab32012-11-30 23:32:31 +0000531 if (State->EmittedAnyDiagBlocks)
Richard Smithdb309ae2012-08-21 03:11:53 +0000532 ExitDiagBlock();
533
534 EnterDiagBlock();
Douglas Gregor14afab32012-11-30 23:32:31 +0000535 State->EmittedAnyDiagBlocks = true;
Ted Kremenek59b61612011-11-05 00:09:47 +0000536 }
Ted Kremenek96dcade2011-11-05 03:34:23 +0000537
Ted Kremenek2a764102011-12-17 05:26:11 +0000538 // Compute the diagnostic text.
Douglas Gregor14afab32012-11-30 23:32:31 +0000539 State->diagBuf.clear();
540 Info.FormatDiagnostic(State->diagBuf);
Ted Kremenek2a764102011-12-17 05:26:11 +0000541
Richard Smithdb309ae2012-08-21 03:11:53 +0000542 if (Info.getLocation().isInvalid()) {
543 // Special-case diagnostics with no location. We may not have entered a
544 // source file in this case, so we can't use the normal DiagnosticsRenderer
545 // machinery.
Ted Kremenek63631bd2013-02-21 21:40:44 +0000546
547 // Make sure we bracket all notes as "sub-diagnostics". This matches
548 // the behavior in SDiagsRenderer::emitDiagnostic().
549 if (DiagLevel == DiagnosticsEngine::Note)
550 EnterDiagBlock();
551
Richard Smithdb309ae2012-08-21 03:11:53 +0000552 EmitDiagnosticMessage(SourceLocation(), PresumedLoc(), DiagLevel,
Douglas Gregor14afab32012-11-30 23:32:31 +0000553 State->diagBuf, 0, &Info);
Ted Kremenek63631bd2013-02-21 21:40:44 +0000554
555 if (DiagLevel == DiagnosticsEngine::Note)
556 ExitDiagBlock();
557
Richard Smithdb309ae2012-08-21 03:11:53 +0000558 return;
559 }
560
561 assert(Info.hasSourceManager() && LangOpts &&
562 "Unexpected diagnostic with valid location outside of a source file");
Douglas Gregor14afab32012-11-30 23:32:31 +0000563 SDiagsRenderer Renderer(*this, *LangOpts, &*State->DiagOpts);
Ted Kremenek2a764102011-12-17 05:26:11 +0000564 Renderer.emitDiagnostic(Info.getLocation(), DiagLevel,
Douglas Gregor14afab32012-11-30 23:32:31 +0000565 State->diagBuf.str(),
Ted Kremenek2a764102011-12-17 05:26:11 +0000566 Info.getRanges(),
567 llvm::makeArrayRef(Info.getFixItHints(),
568 Info.getNumFixItHints()),
Richard Smithdb309ae2012-08-21 03:11:53 +0000569 &Info.getSourceManager(),
Ted Kremenek2a764102011-12-17 05:26:11 +0000570 &Info);
571}
572
Richard Smithdb309ae2012-08-21 03:11:53 +0000573void SDiagsWriter::EmitDiagnosticMessage(SourceLocation Loc,
574 PresumedLoc PLoc,
575 DiagnosticsEngine::Level Level,
576 StringRef Message,
577 const SourceManager *SM,
578 DiagOrStoredDiag D) {
Douglas Gregor14afab32012-11-30 23:32:31 +0000579 llvm::BitstreamWriter &Stream = State->Stream;
580 RecordData &Record = State->Record;
581 AbbreviationMap &Abbrevs = State->Abbrevs;
582
Richard Smithdb309ae2012-08-21 03:11:53 +0000583 // Emit the RECORD_DIAG record.
584 Record.clear();
585 Record.push_back(RECORD_DIAG);
586 Record.push_back(Level);
587 AddLocToRecord(Loc, SM, PLoc, Record);
588
589 if (const Diagnostic *Info = D.dyn_cast<const Diagnostic*>()) {
590 // Emit the category string lazily and get the category ID.
591 unsigned DiagID = DiagnosticIDs::getCategoryNumberForDiag(Info->getID());
592 Record.push_back(getEmitCategory(DiagID));
593 // Emit the diagnostic flag string lazily and get the mapped ID.
594 Record.push_back(getEmitDiagnosticFlag(Level, Info->getID()));
595 } else {
596 Record.push_back(getEmitCategory());
597 Record.push_back(getEmitDiagnosticFlag(Level));
598 }
599
600 Record.push_back(Message.size());
601 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG), Record, Message);
602}
603
Ted Kremenek2a764102011-12-17 05:26:11 +0000604void
605SDiagsRenderer::emitDiagnosticMessage(SourceLocation Loc,
606 PresumedLoc PLoc,
607 DiagnosticsEngine::Level Level,
608 StringRef Message,
609 ArrayRef<clang::CharSourceRange> Ranges,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000610 const SourceManager *SM,
Ted Kremenek8be51ea2012-02-14 02:46:00 +0000611 DiagOrStoredDiag D) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000612 Writer.EmitDiagnosticMessage(Loc, PLoc, Level, Message, SM, D);
613}
Ted Kremenek2a764102011-12-17 05:26:11 +0000614
Richard Smithdb309ae2012-08-21 03:11:53 +0000615void SDiagsWriter::EnterDiagBlock() {
Douglas Gregor14afab32012-11-30 23:32:31 +0000616 State->Stream.EnterSubblock(BLOCK_DIAG, 4);
Richard Smithdb309ae2012-08-21 03:11:53 +0000617}
Ted Kremenek2a764102011-12-17 05:26:11 +0000618
Richard Smithdb309ae2012-08-21 03:11:53 +0000619void SDiagsWriter::ExitDiagBlock() {
Douglas Gregor14afab32012-11-30 23:32:31 +0000620 State->Stream.ExitBlock();
Ted Kremenek2a764102011-12-17 05:26:11 +0000621}
622
Ted Kremenek8be51ea2012-02-14 02:46:00 +0000623void SDiagsRenderer::beginDiagnostic(DiagOrStoredDiag D,
Ted Kremenek2a764102011-12-17 05:26:11 +0000624 DiagnosticsEngine::Level Level) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000625 if (Level == DiagnosticsEngine::Note)
626 Writer.EnterDiagBlock();
Ted Kremenek2a764102011-12-17 05:26:11 +0000627}
628
Ted Kremenek8be51ea2012-02-14 02:46:00 +0000629void SDiagsRenderer::endDiagnostic(DiagOrStoredDiag D,
Ted Kremenek2a764102011-12-17 05:26:11 +0000630 DiagnosticsEngine::Level Level) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000631 // Only end note diagnostics here, because we can't be sure when we've seen
632 // the last note associated with a non-note diagnostic.
633 if (Level == DiagnosticsEngine::Note)
634 Writer.ExitDiagBlock();
635}
636
637void SDiagsWriter::EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
638 ArrayRef<FixItHint> Hints,
639 const SourceManager &SM) {
Douglas Gregor14afab32012-11-30 23:32:31 +0000640 llvm::BitstreamWriter &Stream = State->Stream;
641 RecordData &Record = State->Record;
642 AbbreviationMap &Abbrevs = State->Abbrevs;
643
Richard Smithdb309ae2012-08-21 03:11:53 +0000644 // Emit Source Ranges.
645 for (ArrayRef<CharSourceRange>::iterator I = Ranges.begin(), E = Ranges.end();
646 I != E; ++I)
647 if (I->isValid())
648 EmitCharSourceRange(*I, SM);
649
650 // Emit FixIts.
651 for (ArrayRef<FixItHint>::iterator I = Hints.begin(), E = Hints.end();
652 I != E; ++I) {
653 const FixItHint &Fix = *I;
654 if (Fix.isNull())
655 continue;
656 Record.clear();
657 Record.push_back(RECORD_FIXIT);
658 AddCharSourceRangeToRecord(Fix.RemoveRange, Record, SM);
659 Record.push_back(Fix.CodeToInsert.size());
660 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FIXIT), Record,
661 Fix.CodeToInsert);
662 }
Ted Kremenek2a764102011-12-17 05:26:11 +0000663}
664
665void SDiagsRenderer::emitCodeContext(SourceLocation Loc,
666 DiagnosticsEngine::Level Level,
667 SmallVectorImpl<CharSourceRange> &Ranges,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000668 ArrayRef<FixItHint> Hints,
Richard Smithdb309ae2012-08-21 03:11:53 +0000669 const SourceManager &SM) {
670 Writer.EmitCodeContext(Ranges, Hints, SM);
Ted Kremenek78002122011-10-29 00:12:39 +0000671}
672
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000673void SDiagsRenderer::emitNote(SourceLocation Loc, StringRef Message,
674 const SourceManager *SM) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000675 Writer.EnterDiagBlock();
676 PresumedLoc PLoc = SM ? SM->getPresumedLoc(Loc) : PresumedLoc();
677 Writer.EmitDiagnosticMessage(Loc, PLoc, DiagnosticsEngine::Note,
678 Message, SM, DiagOrStoredDiag());
679 Writer.ExitDiagBlock();
Ted Kremenek2a764102011-12-17 05:26:11 +0000680}
681
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000682void SDiagsWriter::finish() {
Douglas Gregor14afab32012-11-30 23:32:31 +0000683 // The original instance is responsible for writing the file.
684 if (!OriginalInstance)
685 return;
686
Richard Smithdb309ae2012-08-21 03:11:53 +0000687 // Finish off any diagnostic we were in the process of emitting.
Douglas Gregor14afab32012-11-30 23:32:31 +0000688 if (State->EmittedAnyDiagBlocks)
Richard Smithdb309ae2012-08-21 03:11:53 +0000689 ExitDiagBlock();
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000690
Ted Kremenek78002122011-10-29 00:12:39 +0000691 // Write the generated bitstream to "Out".
Douglas Gregor14afab32012-11-30 23:32:31 +0000692 State->OS->write((char *)&State->Buffer.front(), State->Buffer.size());
693 State->OS->flush();
Richard Smithdb309ae2012-08-21 03:11:53 +0000694
Douglas Gregor14afab32012-11-30 23:32:31 +0000695 State->OS.reset(0);
Ted Kremenek78002122011-10-29 00:12:39 +0000696}