blob: 5f8fc1ecfc60ab2c37ba65845bf6f256689f72e6 [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
10#include <vector>
Ted Kremenek78002122011-10-29 00:12:39 +000011#include "llvm/Support/raw_ostream.h"
12#include "llvm/ADT/StringRef.h"
13#include "llvm/ADT/SmallString.h"
14#include "llvm/ADT/DenseSet.h"
Douglas Gregor02c23eb2012-10-23 22:26:28 +000015#include "clang/Basic/DiagnosticOptions.h"
Ted Kremenek78002122011-10-29 00:12:39 +000016#include "clang/Basic/SourceManager.h"
17#include "clang/Basic/FileManager.h"
18#include "clang/Basic/Diagnostic.h"
19#include "clang/Basic/Version.h"
Ted Kremenek15322172011-11-10 08:43:12 +000020#include "clang/Lex/Lexer.h"
Ted Kremenek78002122011-10-29 00:12:39 +000021#include "clang/Frontend/SerializedDiagnosticPrinter.h"
Ted Kremenek2a764102011-12-17 05:26:11 +000022#include "clang/Frontend/DiagnosticRenderer.h"
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
47typedef llvm::SmallVector<uint64_t, 64> RecordData;
48typedef llvm::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;
Ted Kremenek78002122011-10-29 00:12:39 +000092public:
Douglas Gregor02c23eb2012-10-23 22:26:28 +000093 explicit SDiagsWriter(llvm::raw_ostream *os, DiagnosticOptions *diags)
Richard Smithdb309ae2012-08-21 03:11:53 +000094 : LangOpts(0), DiagOpts(diags), Stream(Buffer), OS(os),
95 EmittedAnyDiagBlocks(false) {
Ted Kremenek78002122011-10-29 00:12:39 +000096 EmitPreamble();
Devang Patel02ae32a2011-11-15 01:30:40 +000097 }
Richard Smithdb309ae2012-08-21 03:11:53 +000098
Ted Kremenek78002122011-10-29 00:12:39 +000099 ~SDiagsWriter() {}
100
101 void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
102 const Diagnostic &Info);
103
Ted Kremenek15322172011-11-10 08:43:12 +0000104 void BeginSourceFile(const LangOptions &LO,
105 const Preprocessor *PP) {
106 LangOpts = &LO;
107 }
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000108
109 virtual void finish();
110
Ted Kremenek78002122011-10-29 00:12:39 +0000111 DiagnosticConsumer *clone(DiagnosticsEngine &Diags) const {
112 // It makes no sense to clone this.
113 return 0;
114 }
115
116private:
117 /// \brief Emit the preamble for the serialized diagnostics.
118 void EmitPreamble();
119
120 /// \brief Emit the BLOCKINFO block.
121 void EmitBlockInfoBlock();
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000122
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000123 /// \brief Emit the META data block.
124 void EmitMetaBlock();
Richard Smithdb309ae2012-08-21 03:11:53 +0000125
126 /// \brief Start a DIAG block.
127 void EnterDiagBlock();
128
129 /// \brief End a DIAG block.
130 void ExitDiagBlock();
131
132 /// \brief Emit a DIAG record.
133 void EmitDiagnosticMessage(SourceLocation Loc,
134 PresumedLoc PLoc,
135 DiagnosticsEngine::Level Level,
136 StringRef Message,
137 const SourceManager *SM,
138 DiagOrStoredDiag D);
139
140 /// \brief Emit FIXIT and SOURCE_RANGE records for a diagnostic.
141 void EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
142 ArrayRef<FixItHint> Hints,
143 const SourceManager &SM);
144
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000145 /// \brief Emit a record for a CharSourceRange.
Ted Kremenek2a764102011-12-17 05:26:11 +0000146 void EmitCharSourceRange(CharSourceRange R, const SourceManager &SM);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000147
Ted Kremenek2a764102011-12-17 05:26:11 +0000148 /// \brief Emit the string information for the category.
149 unsigned getEmitCategory(unsigned category = 0);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000150
151 /// \brief Emit the string information for diagnostic flags.
152 unsigned getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek2a764102011-12-17 05:26:11 +0000153 unsigned DiagID = 0);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000154
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000155 /// \brief Emit (lazily) the file string and retrieved the file identifier.
Ted Kremenek2a764102011-12-17 05:26:11 +0000156 unsigned getEmitFile(const char *Filename);
157
158 /// \brief Add SourceLocation information the specified record.
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000159 void AddLocToRecord(SourceLocation Loc, const SourceManager *SM,
Ted Kremenek2a764102011-12-17 05:26:11 +0000160 PresumedLoc PLoc, RecordDataImpl &Record,
161 unsigned TokSize = 0);
162
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000163 /// \brief Add SourceLocation information the specified record.
Ted Kremenek15322172011-11-10 08:43:12 +0000164 void AddLocToRecord(SourceLocation Loc, RecordDataImpl &Record,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000165 const SourceManager *SM,
Ted Kremenek2a764102011-12-17 05:26:11 +0000166 unsigned TokSize = 0) {
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000167 AddLocToRecord(Loc, SM, SM ? SM->getPresumedLoc(Loc) : PresumedLoc(),
168 Record, TokSize);
Ted Kremenek2a764102011-12-17 05:26:11 +0000169 }
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000170
Ted Kremenek96dcade2011-11-05 03:34:23 +0000171 /// \brief Add CharSourceRange information the specified record.
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000172 void AddCharSourceRangeToRecord(CharSourceRange R, RecordDataImpl &Record,
Ted Kremenek2a764102011-12-17 05:26:11 +0000173 const SourceManager &SM);
Ted Kremenek96dcade2011-11-05 03:34:23 +0000174
Ted Kremenek78002122011-10-29 00:12:39 +0000175 /// \brief The version of the diagnostics file.
176 enum { Version = 1 };
177
Ted Kremenek15322172011-11-10 08:43:12 +0000178 const LangOptions *LangOpts;
Douglas Gregor02c23eb2012-10-23 22:26:28 +0000179 llvm::IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
Ted Kremenek15322172011-11-10 08:43:12 +0000180
Ted Kremenek78002122011-10-29 00:12:39 +0000181 /// \brief The byte buffer for the serialized content.
Daniel Dunbar8d6ff022012-02-29 20:31:23 +0000182 SmallString<1024> Buffer;
Ted Kremenek78002122011-10-29 00:12:39 +0000183
184 /// \brief The BitStreamWriter for the serialized diagnostics.
185 llvm::BitstreamWriter Stream;
186
187 /// \brief The name of the diagnostics file.
Dylan Noblesmith6f42b622012-02-05 02:12:40 +0000188 OwningPtr<llvm::raw_ostream> OS;
Ted Kremenek78002122011-10-29 00:12:39 +0000189
Ted Kremenek78002122011-10-29 00:12:39 +0000190 /// \brief The set of constructed record abbreviations.
191 AbbreviationMap Abbrevs;
192
193 /// \brief A utility buffer for constructing record content.
194 RecordData Record;
195
196 /// \brief A text buffer for rendering diagnostic text.
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +0000197 SmallString<256> diagBuf;
Ted Kremenek78002122011-10-29 00:12:39 +0000198
199 /// \brief The collection of diagnostic categories used.
200 llvm::DenseSet<unsigned> Categories;
201
202 /// \brief The collection of files used.
Ted Kremenek2a764102011-12-17 05:26:11 +0000203 llvm::DenseMap<const char *, unsigned> Files;
Ted Kremenek45d92752011-11-05 00:09:50 +0000204
205 typedef llvm::DenseMap<const void *, std::pair<unsigned, llvm::StringRef> >
206 DiagFlagsTy;
207
208 /// \brief Map for uniquing strings.
209 DiagFlagsTy DiagFlags;
Richard Smithdb309ae2012-08-21 03:11:53 +0000210
211 /// \brief Whether we have already started emission of any DIAG blocks. Once
212 /// this becomes \c true, we never close a DIAG block until we know that we're
213 /// starting another one or we're done.
214 bool EmittedAnyDiagBlocks;
Ted Kremenek78002122011-10-29 00:12:39 +0000215};
216} // end anonymous namespace
217
218namespace clang {
219namespace serialized_diags {
Ted Kremenek2a764102011-12-17 05:26:11 +0000220DiagnosticConsumer *create(llvm::raw_ostream *OS,
Douglas Gregor02c23eb2012-10-23 22:26:28 +0000221 DiagnosticOptions *diags) {
Ted Kremenek2a764102011-12-17 05:26:11 +0000222 return new SDiagsWriter(OS, diags);
Ted Kremenek78002122011-10-29 00:12:39 +0000223}
224} // end namespace serialized_diags
225} // end namespace clang
226
227//===----------------------------------------------------------------------===//
228// Serialization methods.
229//===----------------------------------------------------------------------===//
230
231/// \brief Emits a block ID in the BLOCKINFO block.
232static void EmitBlockID(unsigned ID, const char *Name,
233 llvm::BitstreamWriter &Stream,
234 RecordDataImpl &Record) {
235 Record.clear();
236 Record.push_back(ID);
237 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
238
239 // Emit the block name if present.
240 if (Name == 0 || Name[0] == 0)
241 return;
242
243 Record.clear();
244
245 while (*Name)
246 Record.push_back(*Name++);
247
248 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
249}
250
251/// \brief Emits a record ID in the BLOCKINFO block.
252static void EmitRecordID(unsigned ID, const char *Name,
253 llvm::BitstreamWriter &Stream,
254 RecordDataImpl &Record){
255 Record.clear();
256 Record.push_back(ID);
257
258 while (*Name)
259 Record.push_back(*Name++);
260
261 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
262}
263
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000264void SDiagsWriter::AddLocToRecord(SourceLocation Loc,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000265 const SourceManager *SM,
Ted Kremenek2a764102011-12-17 05:26:11 +0000266 PresumedLoc PLoc,
Ted Kremenek15322172011-11-10 08:43:12 +0000267 RecordDataImpl &Record,
268 unsigned TokSize) {
Ted Kremenek2a764102011-12-17 05:26:11 +0000269 if (PLoc.isInvalid()) {
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000270 // Emit a "sentinel" location.
Ted Kremenek15322172011-11-10 08:43:12 +0000271 Record.push_back((unsigned)0); // File.
272 Record.push_back((unsigned)0); // Line.
273 Record.push_back((unsigned)0); // Column.
274 Record.push_back((unsigned)0); // Offset.
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000275 return;
276 }
277
Ted Kremenek2a764102011-12-17 05:26:11 +0000278 Record.push_back(getEmitFile(PLoc.getFilename()));
279 Record.push_back(PLoc.getLine());
280 Record.push_back(PLoc.getColumn()+TokSize);
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000281 Record.push_back(SM->getFileOffset(Loc));
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000282}
283
Ted Kremenek96dcade2011-11-05 03:34:23 +0000284void SDiagsWriter::AddCharSourceRangeToRecord(CharSourceRange Range,
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000285 RecordDataImpl &Record,
Ted Kremenek2a764102011-12-17 05:26:11 +0000286 const SourceManager &SM) {
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000287 AddLocToRecord(Range.getBegin(), Record, &SM);
Ted Kremenek15322172011-11-10 08:43:12 +0000288 unsigned TokSize = 0;
289 if (Range.isTokenRange())
290 TokSize = Lexer::MeasureTokenLength(Range.getEnd(),
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000291 SM, *LangOpts);
Ted Kremenek15322172011-11-10 08:43:12 +0000292
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000293 AddLocToRecord(Range.getEnd(), Record, &SM, TokSize);
Ted Kremenek96dcade2011-11-05 03:34:23 +0000294}
295
Ted Kremenek2a764102011-12-17 05:26:11 +0000296unsigned SDiagsWriter::getEmitFile(const char *FileName){
297 if (!FileName)
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000298 return 0;
299
Ted Kremenek2a764102011-12-17 05:26:11 +0000300 unsigned &entry = Files[FileName];
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000301 if (entry)
302 return entry;
303
304 // Lazily generate the record for the file.
305 entry = Files.size();
306 RecordData Record;
307 Record.push_back(RECORD_FILENAME);
308 Record.push_back(entry);
Ted Kremenek2a764102011-12-17 05:26:11 +0000309 Record.push_back(0); // For legacy.
310 Record.push_back(0); // For legacy.
311 StringRef Name(FileName);
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000312 Record.push_back(Name.size());
313 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FILENAME), Record, Name);
314
315 return entry;
316}
317
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000318void SDiagsWriter::EmitCharSourceRange(CharSourceRange R,
Ted Kremenek2a764102011-12-17 05:26:11 +0000319 const SourceManager &SM) {
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000320 Record.clear();
321 Record.push_back(RECORD_SOURCE_RANGE);
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000322 AddCharSourceRangeToRecord(R, Record, SM);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000323 Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_SOURCE_RANGE), Record);
324}
325
Ted Kremenek78002122011-10-29 00:12:39 +0000326/// \brief Emits the preamble of the diagnostics file.
327void SDiagsWriter::EmitPreamble() {
Ted Kremenek78002122011-10-29 00:12:39 +0000328 // Emit the file header.
329 Stream.Emit((unsigned)'D', 8);
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000330 Stream.Emit((unsigned)'I', 8);
331 Stream.Emit((unsigned)'A', 8);
332 Stream.Emit((unsigned)'G', 8);
Ted Kremenek069f9c22011-11-05 00:09:53 +0000333
Ted Kremenek78002122011-10-29 00:12:39 +0000334 EmitBlockInfoBlock();
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000335 EmitMetaBlock();
Ted Kremenek78002122011-10-29 00:12:39 +0000336}
337
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000338static void AddSourceLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
339 using namespace llvm;
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000340 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // File ID.
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000341 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Line.
342 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Column.
343 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Offset;
344}
Ted Kremenek96dcade2011-11-05 03:34:23 +0000345
346static void AddRangeLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
347 AddSourceLocationAbbrev(Abbrev);
348 AddSourceLocationAbbrev(Abbrev);
349}
350
Ted Kremenek78002122011-10-29 00:12:39 +0000351void SDiagsWriter::EmitBlockInfoBlock() {
352 Stream.EnterBlockInfoBlock(3);
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000353
354 using namespace llvm;
355
356 // ==---------------------------------------------------------------------==//
357 // The subsequent records and Abbrevs are for the "Meta" block.
358 // ==---------------------------------------------------------------------==//
359
360 EmitBlockID(BLOCK_META, "Meta", Stream, Record);
361 EmitRecordID(RECORD_VERSION, "Version", Stream, Record);
362 BitCodeAbbrev *Abbrev = new BitCodeAbbrev();
363 Abbrev->Add(BitCodeAbbrevOp(RECORD_VERSION));
364 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
365 Abbrevs.set(RECORD_VERSION, Stream.EmitBlockInfoAbbrev(BLOCK_META, Abbrev));
366
Ted Kremenek78002122011-10-29 00:12:39 +0000367 // ==---------------------------------------------------------------------==//
368 // The subsequent records and Abbrevs are for the "Diagnostic" block.
369 // ==---------------------------------------------------------------------==//
370
Ted Kremenek45d92752011-11-05 00:09:50 +0000371 EmitBlockID(BLOCK_DIAG, "Diag", Stream, Record);
372 EmitRecordID(RECORD_DIAG, "DiagInfo", Stream, Record);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000373 EmitRecordID(RECORD_SOURCE_RANGE, "SrcRange", Stream, Record);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000374 EmitRecordID(RECORD_CATEGORY, "CatName", Stream, Record);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000375 EmitRecordID(RECORD_DIAG_FLAG, "DiagFlag", Stream, Record);
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000376 EmitRecordID(RECORD_FILENAME, "FileName", Stream, Record);
Ted Kremenek96dcade2011-11-05 03:34:23 +0000377 EmitRecordID(RECORD_FIXIT, "FixIt", Stream, Record);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000378
Ted Kremenek78002122011-10-29 00:12:39 +0000379 // Emit abbreviation for RECORD_DIAG.
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000380 Abbrev = new BitCodeAbbrev();
Ted Kremenek78002122011-10-29 00:12:39 +0000381 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG));
Ted Kremenek45d92752011-11-05 00:09:50 +0000382 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Diag level.
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000383 AddSourceLocationAbbrev(Abbrev);
Ted Kremenek45d92752011-11-05 00:09:50 +0000384 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Category.
385 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
Ted Kremenek78002122011-10-29 00:12:39 +0000386 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
387 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Diagnostc text.
388 Abbrevs.set(RECORD_DIAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000389
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000390 // Emit abbrevation for RECORD_CATEGORY.
391 Abbrev = new BitCodeAbbrev();
392 Abbrev->Add(BitCodeAbbrevOp(RECORD_CATEGORY));
393 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Category ID.
394 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8)); // Text size.
395 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Category text.
396 Abbrevs.set(RECORD_CATEGORY, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
397
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000398 // Emit abbrevation for RECORD_SOURCE_RANGE.
399 Abbrev = new BitCodeAbbrev();
400 Abbrev->Add(BitCodeAbbrevOp(RECORD_SOURCE_RANGE));
Ted Kremenek96dcade2011-11-05 03:34:23 +0000401 AddRangeLocationAbbrev(Abbrev);
Ted Kremenek2a20b4f2011-11-05 00:10:01 +0000402 Abbrevs.set(RECORD_SOURCE_RANGE,
403 Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000404
405 // Emit the abbreviation for RECORD_DIAG_FLAG.
406 Abbrev = new BitCodeAbbrev();
407 Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG_FLAG));
408 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
409 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
410 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Flag name text.
411 Abbrevs.set(RECORD_DIAG_FLAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
412 Abbrev));
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000413
414 // Emit the abbreviation for RECORD_FILENAME.
Ted Kremenek78002122011-10-29 00:12:39 +0000415 Abbrev = new BitCodeAbbrev();
Ted Kremenek28eac522011-11-05 00:09:43 +0000416 Abbrev->Add(BitCodeAbbrevOp(RECORD_FILENAME));
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000417 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped file ID.
418 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Size.
419 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Modifcation time.
Ted Kremenek78002122011-10-29 00:12:39 +0000420 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
421 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // File name text.
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000422 Abbrevs.set(RECORD_FILENAME, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
Ted Kremenek78002122011-10-29 00:12:39 +0000423 Abbrev));
Ted Kremenek96dcade2011-11-05 03:34:23 +0000424
425 // Emit the abbreviation for RECORD_FIXIT.
426 Abbrev = new BitCodeAbbrev();
427 Abbrev->Add(BitCodeAbbrevOp(RECORD_FIXIT));
428 AddRangeLocationAbbrev(Abbrev);
429 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
430 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // FixIt text.
431 Abbrevs.set(RECORD_FIXIT, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
432 Abbrev));
Ted Kremenek78002122011-10-29 00:12:39 +0000433
434 Stream.ExitBlock();
435}
436
Ted Kremenek0b69aa82011-11-08 20:27:29 +0000437void SDiagsWriter::EmitMetaBlock() {
438 Stream.EnterSubblock(BLOCK_META, 3);
439 Record.clear();
440 Record.push_back(RECORD_VERSION);
441 Record.push_back(Version);
442 Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_VERSION), Record);
443 Stream.ExitBlock();
444}
445
Ted Kremenek2a764102011-12-17 05:26:11 +0000446unsigned SDiagsWriter::getEmitCategory(unsigned int category) {
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000447 if (Categories.count(category))
448 return category;
449
450 Categories.insert(category);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000451
452 // We use a local version of 'Record' so that we can be generating
453 // another record when we lazily generate one for the category entry.
454 RecordData Record;
455 Record.push_back(RECORD_CATEGORY);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000456 Record.push_back(category);
457 StringRef catName = DiagnosticIDs::getCategoryNameFromID(category);
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000458 Record.push_back(catName.size());
459 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_CATEGORY), Record, catName);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000460
461 return category;
462}
463
464unsigned SDiagsWriter::getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
Ted Kremenek2a764102011-12-17 05:26:11 +0000465 unsigned DiagID) {
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000466 if (DiagLevel == DiagnosticsEngine::Note)
467 return 0; // No flag for notes.
468
Ted Kremenek2a764102011-12-17 05:26:11 +0000469 StringRef FlagName = DiagnosticIDs::getWarningOptionForDiag(DiagID);
Ted Kremenek3baf63d2011-11-05 00:10:07 +0000470 if (FlagName.empty())
471 return 0;
472
473 // Here we assume that FlagName points to static data whose pointer
474 // value is fixed. This allows us to unique by diagnostic groups.
475 const void *data = FlagName.data();
476 std::pair<unsigned, StringRef> &entry = DiagFlags[data];
477 if (entry.first == 0) {
478 entry.first = DiagFlags.size();
479 entry.second = FlagName;
480
481 // Lazily emit the string in a separate record.
482 RecordData Record;
483 Record.push_back(RECORD_DIAG_FLAG);
484 Record.push_back(entry.first);
485 Record.push_back(FlagName.size());
486 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG_FLAG),
487 Record, FlagName);
488 }
489
490 return entry.first;
Ted Kremenek0dbadc42011-11-05 00:10:04 +0000491}
492
Ted Kremenek78002122011-10-29 00:12:39 +0000493void SDiagsWriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
494 const Diagnostic &Info) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000495 // Enter the block for a non-note diagnostic immediately, rather than waiting
496 // for beginDiagnostic, in case associated notes are emitted before we get
497 // there.
Ted Kremenek59b61612011-11-05 00:09:47 +0000498 if (DiagLevel != DiagnosticsEngine::Note) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000499 if (EmittedAnyDiagBlocks)
500 ExitDiagBlock();
501
502 EnterDiagBlock();
503 EmittedAnyDiagBlocks = true;
Ted Kremenek59b61612011-11-05 00:09:47 +0000504 }
Ted Kremenek96dcade2011-11-05 03:34:23 +0000505
Ted Kremenek2a764102011-12-17 05:26:11 +0000506 // Compute the diagnostic text.
Richard Smithdb309ae2012-08-21 03:11:53 +0000507 diagBuf.clear();
Ted Kremenek2a764102011-12-17 05:26:11 +0000508 Info.FormatDiagnostic(diagBuf);
509
Richard Smithdb309ae2012-08-21 03:11:53 +0000510 if (Info.getLocation().isInvalid()) {
511 // Special-case diagnostics with no location. We may not have entered a
512 // source file in this case, so we can't use the normal DiagnosticsRenderer
513 // machinery.
514 EmitDiagnosticMessage(SourceLocation(), PresumedLoc(), DiagLevel,
515 diagBuf, 0, &Info);
516 return;
517 }
518
519 assert(Info.hasSourceManager() && LangOpts &&
520 "Unexpected diagnostic with valid location outside of a source file");
Douglas Gregor02c23eb2012-10-23 22:26:28 +0000521 SDiagsRenderer Renderer(*this, *LangOpts, &*DiagOpts);
Ted Kremenek2a764102011-12-17 05:26:11 +0000522 Renderer.emitDiagnostic(Info.getLocation(), DiagLevel,
523 diagBuf.str(),
524 Info.getRanges(),
525 llvm::makeArrayRef(Info.getFixItHints(),
526 Info.getNumFixItHints()),
Richard Smithdb309ae2012-08-21 03:11:53 +0000527 &Info.getSourceManager(),
Ted Kremenek2a764102011-12-17 05:26:11 +0000528 &Info);
529}
530
Richard Smithdb309ae2012-08-21 03:11:53 +0000531void SDiagsWriter::EmitDiagnosticMessage(SourceLocation Loc,
532 PresumedLoc PLoc,
533 DiagnosticsEngine::Level Level,
534 StringRef Message,
535 const SourceManager *SM,
536 DiagOrStoredDiag D) {
537 // Emit the RECORD_DIAG record.
538 Record.clear();
539 Record.push_back(RECORD_DIAG);
540 Record.push_back(Level);
541 AddLocToRecord(Loc, SM, PLoc, Record);
542
543 if (const Diagnostic *Info = D.dyn_cast<const Diagnostic*>()) {
544 // Emit the category string lazily and get the category ID.
545 unsigned DiagID = DiagnosticIDs::getCategoryNumberForDiag(Info->getID());
546 Record.push_back(getEmitCategory(DiagID));
547 // Emit the diagnostic flag string lazily and get the mapped ID.
548 Record.push_back(getEmitDiagnosticFlag(Level, Info->getID()));
549 } else {
550 Record.push_back(getEmitCategory());
551 Record.push_back(getEmitDiagnosticFlag(Level));
552 }
553
554 Record.push_back(Message.size());
555 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG), Record, Message);
556}
557
Ted Kremenek2a764102011-12-17 05:26:11 +0000558void
559SDiagsRenderer::emitDiagnosticMessage(SourceLocation Loc,
560 PresumedLoc PLoc,
561 DiagnosticsEngine::Level Level,
562 StringRef Message,
563 ArrayRef<clang::CharSourceRange> Ranges,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000564 const SourceManager *SM,
Ted Kremenek8be51ea2012-02-14 02:46:00 +0000565 DiagOrStoredDiag D) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000566 Writer.EmitDiagnosticMessage(Loc, PLoc, Level, Message, SM, D);
567}
Ted Kremenek2a764102011-12-17 05:26:11 +0000568
Richard Smithdb309ae2012-08-21 03:11:53 +0000569void SDiagsWriter::EnterDiagBlock() {
570 Stream.EnterSubblock(BLOCK_DIAG, 4);
571}
Ted Kremenek2a764102011-12-17 05:26:11 +0000572
Richard Smithdb309ae2012-08-21 03:11:53 +0000573void SDiagsWriter::ExitDiagBlock() {
574 Stream.ExitBlock();
Ted Kremenek2a764102011-12-17 05:26:11 +0000575}
576
Ted Kremenek8be51ea2012-02-14 02:46:00 +0000577void SDiagsRenderer::beginDiagnostic(DiagOrStoredDiag D,
Ted Kremenek2a764102011-12-17 05:26:11 +0000578 DiagnosticsEngine::Level Level) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000579 if (Level == DiagnosticsEngine::Note)
580 Writer.EnterDiagBlock();
Ted Kremenek2a764102011-12-17 05:26:11 +0000581}
582
Ted Kremenek8be51ea2012-02-14 02:46:00 +0000583void SDiagsRenderer::endDiagnostic(DiagOrStoredDiag D,
Ted Kremenek2a764102011-12-17 05:26:11 +0000584 DiagnosticsEngine::Level Level) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000585 // Only end note diagnostics here, because we can't be sure when we've seen
586 // the last note associated with a non-note diagnostic.
587 if (Level == DiagnosticsEngine::Note)
588 Writer.ExitDiagBlock();
589}
590
591void SDiagsWriter::EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
592 ArrayRef<FixItHint> Hints,
593 const SourceManager &SM) {
594 // Emit Source Ranges.
595 for (ArrayRef<CharSourceRange>::iterator I = Ranges.begin(), E = Ranges.end();
596 I != E; ++I)
597 if (I->isValid())
598 EmitCharSourceRange(*I, SM);
599
600 // Emit FixIts.
601 for (ArrayRef<FixItHint>::iterator I = Hints.begin(), E = Hints.end();
602 I != E; ++I) {
603 const FixItHint &Fix = *I;
604 if (Fix.isNull())
605 continue;
606 Record.clear();
607 Record.push_back(RECORD_FIXIT);
608 AddCharSourceRangeToRecord(Fix.RemoveRange, Record, SM);
609 Record.push_back(Fix.CodeToInsert.size());
610 Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FIXIT), Record,
611 Fix.CodeToInsert);
612 }
Ted Kremenek2a764102011-12-17 05:26:11 +0000613}
614
615void SDiagsRenderer::emitCodeContext(SourceLocation Loc,
616 DiagnosticsEngine::Level Level,
617 SmallVectorImpl<CharSourceRange> &Ranges,
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000618 ArrayRef<FixItHint> Hints,
Richard Smithdb309ae2012-08-21 03:11:53 +0000619 const SourceManager &SM) {
620 Writer.EmitCodeContext(Ranges, Hints, SM);
Ted Kremenek78002122011-10-29 00:12:39 +0000621}
622
Argyrios Kyrtzidis16afdf72012-05-10 05:03:45 +0000623void SDiagsRenderer::emitNote(SourceLocation Loc, StringRef Message,
624 const SourceManager *SM) {
Richard Smithdb309ae2012-08-21 03:11:53 +0000625 Writer.EnterDiagBlock();
626 PresumedLoc PLoc = SM ? SM->getPresumedLoc(Loc) : PresumedLoc();
627 Writer.EmitDiagnosticMessage(Loc, PLoc, DiagnosticsEngine::Note,
628 Message, SM, DiagOrStoredDiag());
629 Writer.ExitDiagBlock();
Ted Kremenek2a764102011-12-17 05:26:11 +0000630}
631
Argyrios Kyrtzidis29f27872011-12-07 05:52:12 +0000632void SDiagsWriter::finish() {
Richard Smithdb309ae2012-08-21 03:11:53 +0000633 // Finish off any diagnostic we were in the process of emitting.
634 if (EmittedAnyDiagBlocks)
635 ExitDiagBlock();
Ted Kremenek0d34e6e2011-11-05 00:10:11 +0000636
Ted Kremenek78002122011-10-29 00:12:39 +0000637 // Write the generated bitstream to "Out".
638 OS->write((char *)&Buffer.front(), Buffer.size());
639 OS->flush();
Richard Smithdb309ae2012-08-21 03:11:53 +0000640
Ted Kremenek78002122011-10-29 00:12:39 +0000641 OS.reset(0);
642}