2012-04-14 14:01:31 +00:00
|
|
|
//===--- SerializedDiagnosticPrinter.cpp - Serializer for diagnostics -----===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
#include "clang/Frontend/SerializedDiagnosticPrinter.h"
|
|
|
|
#include "clang/Basic/Diagnostic.h"
|
2012-12-02 13:20:44 +00:00
|
|
|
#include "clang/Basic/DiagnosticOptions.h"
|
2012-04-14 14:01:31 +00:00
|
|
|
#include "clang/Basic/FileManager.h"
|
2013-04-08 18:45:10 +00:00
|
|
|
#include "clang/Basic/SourceManager.h"
|
2012-04-14 14:01:31 +00:00
|
|
|
#include "clang/Basic/Version.h"
|
|
|
|
#include "clang/Frontend/DiagnosticRenderer.h"
|
2013-04-08 18:45:10 +00:00
|
|
|
#include "clang/Lex/Lexer.h"
|
|
|
|
#include "llvm/ADT/DenseSet.h"
|
|
|
|
#include "llvm/ADT/SmallString.h"
|
|
|
|
#include "llvm/ADT/StringRef.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
#include <vector>
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
using namespace clang;
|
|
|
|
using namespace clang::serialized_diags;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
class AbbreviationMap {
|
|
|
|
llvm::DenseMap<unsigned, unsigned> Abbrevs;
|
|
|
|
public:
|
|
|
|
AbbreviationMap() {}
|
|
|
|
|
|
|
|
void set(unsigned recordID, unsigned abbrevID) {
|
|
|
|
assert(Abbrevs.find(recordID) == Abbrevs.end()
|
|
|
|
&& "Abbreviation already set.");
|
|
|
|
Abbrevs[recordID] = abbrevID;
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned get(unsigned recordID) {
|
|
|
|
assert(Abbrevs.find(recordID) != Abbrevs.end() &&
|
|
|
|
"Abbreviation not set.");
|
|
|
|
return Abbrevs[recordID];
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
typedef SmallVector<uint64_t, 64> RecordData;
|
|
|
|
typedef SmallVectorImpl<uint64_t> RecordDataImpl;
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
class SDiagsWriter;
|
|
|
|
|
|
|
|
class SDiagsRenderer : public DiagnosticNoteRenderer {
|
|
|
|
SDiagsWriter &Writer;
|
|
|
|
public:
|
2012-12-02 13:20:44 +00:00
|
|
|
SDiagsRenderer(SDiagsWriter &Writer, const LangOptions &LangOpts,
|
|
|
|
DiagnosticOptions *DiagOpts)
|
|
|
|
: DiagnosticNoteRenderer(LangOpts, DiagOpts), Writer(Writer) {}
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
virtual ~SDiagsRenderer() {}
|
|
|
|
|
|
|
|
protected:
|
|
|
|
virtual void emitDiagnosticMessage(SourceLocation Loc,
|
|
|
|
PresumedLoc PLoc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
|
|
|
StringRef Message,
|
|
|
|
ArrayRef<CharSourceRange> Ranges,
|
2012-08-15 20:02:54 +00:00
|
|
|
const SourceManager *SM,
|
2012-04-14 14:01:31 +00:00
|
|
|
DiagOrStoredDiag D);
|
|
|
|
|
|
|
|
virtual void emitDiagnosticLoc(SourceLocation Loc, PresumedLoc PLoc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
2012-08-15 20:02:54 +00:00
|
|
|
ArrayRef<CharSourceRange> Ranges,
|
|
|
|
const SourceManager &SM) {}
|
2012-12-02 13:20:44 +00:00
|
|
|
|
|
|
|
virtual void emitNote(SourceLocation Loc, StringRef Message,
|
|
|
|
const SourceManager *SM);
|
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
virtual void emitCodeContext(SourceLocation Loc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
|
|
|
SmallVectorImpl<CharSourceRange>& Ranges,
|
2012-08-15 20:02:54 +00:00
|
|
|
ArrayRef<FixItHint> Hints,
|
|
|
|
const SourceManager &SM);
|
2012-12-02 13:20:44 +00:00
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
virtual void beginDiagnostic(DiagOrStoredDiag D,
|
|
|
|
DiagnosticsEngine::Level Level);
|
|
|
|
virtual void endDiagnostic(DiagOrStoredDiag D,
|
|
|
|
DiagnosticsEngine::Level Level);
|
|
|
|
};
|
|
|
|
|
|
|
|
class SDiagsWriter : public DiagnosticConsumer {
|
|
|
|
friend class SDiagsRenderer;
|
2013-04-08 18:45:10 +00:00
|
|
|
|
|
|
|
struct SharedState;
|
|
|
|
|
|
|
|
explicit SDiagsWriter(IntrusiveRefCntPtr<SharedState> State)
|
|
|
|
: LangOpts(0), OriginalInstance(false), State(State) { }
|
|
|
|
|
|
|
|
public:
|
|
|
|
SDiagsWriter(raw_ostream *os, DiagnosticOptions *diags)
|
|
|
|
: LangOpts(0), OriginalInstance(true), State(new SharedState(os, diags))
|
|
|
|
{
|
2012-04-14 14:01:31 +00:00
|
|
|
EmitPreamble();
|
|
|
|
}
|
2012-12-02 13:20:44 +00:00
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
~SDiagsWriter() {}
|
|
|
|
|
|
|
|
void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
|
|
|
|
const Diagnostic &Info);
|
|
|
|
|
|
|
|
void BeginSourceFile(const LangOptions &LO,
|
|
|
|
const Preprocessor *PP) {
|
|
|
|
LangOpts = &LO;
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void finish();
|
|
|
|
|
|
|
|
private:
|
|
|
|
/// \brief Emit the preamble for the serialized diagnostics.
|
|
|
|
void EmitPreamble();
|
|
|
|
|
|
|
|
/// \brief Emit the BLOCKINFO block.
|
|
|
|
void EmitBlockInfoBlock();
|
|
|
|
|
|
|
|
/// \brief Emit the META data block.
|
|
|
|
void EmitMetaBlock();
|
2012-12-02 13:20:44 +00:00
|
|
|
|
|
|
|
/// \brief Start a DIAG block.
|
|
|
|
void EnterDiagBlock();
|
|
|
|
|
|
|
|
/// \brief End a DIAG block.
|
|
|
|
void ExitDiagBlock();
|
|
|
|
|
|
|
|
/// \brief Emit a DIAG record.
|
|
|
|
void EmitDiagnosticMessage(SourceLocation Loc,
|
|
|
|
PresumedLoc PLoc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
|
|
|
StringRef Message,
|
|
|
|
const SourceManager *SM,
|
|
|
|
DiagOrStoredDiag D);
|
|
|
|
|
|
|
|
/// \brief Emit FIXIT and SOURCE_RANGE records for a diagnostic.
|
|
|
|
void EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
|
|
|
|
ArrayRef<FixItHint> Hints,
|
|
|
|
const SourceManager &SM);
|
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
/// \brief Emit a record for a CharSourceRange.
|
|
|
|
void EmitCharSourceRange(CharSourceRange R, const SourceManager &SM);
|
|
|
|
|
|
|
|
/// \brief Emit the string information for the category.
|
|
|
|
unsigned getEmitCategory(unsigned category = 0);
|
|
|
|
|
|
|
|
/// \brief Emit the string information for diagnostic flags.
|
|
|
|
unsigned getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
|
|
|
|
unsigned DiagID = 0);
|
|
|
|
|
|
|
|
/// \brief Emit (lazily) the file string and retrieved the file identifier.
|
|
|
|
unsigned getEmitFile(const char *Filename);
|
|
|
|
|
|
|
|
/// \brief Add SourceLocation information the specified record.
|
2012-08-15 20:02:54 +00:00
|
|
|
void AddLocToRecord(SourceLocation Loc, const SourceManager *SM,
|
2012-04-14 14:01:31 +00:00
|
|
|
PresumedLoc PLoc, RecordDataImpl &Record,
|
|
|
|
unsigned TokSize = 0);
|
|
|
|
|
|
|
|
/// \brief Add SourceLocation information the specified record.
|
|
|
|
void AddLocToRecord(SourceLocation Loc, RecordDataImpl &Record,
|
2012-08-15 20:02:54 +00:00
|
|
|
const SourceManager *SM,
|
2012-04-14 14:01:31 +00:00
|
|
|
unsigned TokSize = 0) {
|
2012-08-15 20:02:54 +00:00
|
|
|
AddLocToRecord(Loc, SM, SM ? SM->getPresumedLoc(Loc) : PresumedLoc(),
|
|
|
|
Record, TokSize);
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Add CharSourceRange information the specified record.
|
|
|
|
void AddCharSourceRangeToRecord(CharSourceRange R, RecordDataImpl &Record,
|
|
|
|
const SourceManager &SM);
|
|
|
|
|
|
|
|
/// \brief The version of the diagnostics file.
|
|
|
|
enum { Version = 1 };
|
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief Language options, which can differ from one clone of this client
|
|
|
|
/// to another.
|
2012-04-14 14:01:31 +00:00
|
|
|
const LangOptions *LangOpts;
|
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief Whether this is the original instance (rather than one of its
|
|
|
|
/// clones), responsible for writing the file at the end.
|
|
|
|
bool OriginalInstance;
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief State that is shared among the various clones of this diagnostic
|
|
|
|
/// consumer.
|
|
|
|
struct SharedState : RefCountedBase<SharedState> {
|
|
|
|
SharedState(raw_ostream *os, DiagnosticOptions *diags)
|
|
|
|
: DiagOpts(diags), Stream(Buffer), OS(os), EmittedAnyDiagBlocks(false) { }
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief Diagnostic options.
|
|
|
|
IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief The byte buffer for the serialized content.
|
|
|
|
SmallString<1024> Buffer;
|
|
|
|
|
|
|
|
/// \brief The BitStreamWriter for the serialized diagnostics.
|
|
|
|
llvm::BitstreamWriter Stream;
|
|
|
|
|
|
|
|
/// \brief The name of the diagnostics file.
|
|
|
|
OwningPtr<raw_ostream> OS;
|
|
|
|
|
|
|
|
/// \brief The set of constructed record abbreviations.
|
|
|
|
AbbreviationMap Abbrevs;
|
|
|
|
|
|
|
|
/// \brief A utility buffer for constructing record content.
|
|
|
|
RecordData Record;
|
|
|
|
|
|
|
|
/// \brief A text buffer for rendering diagnostic text.
|
|
|
|
SmallString<256> diagBuf;
|
|
|
|
|
|
|
|
/// \brief The collection of diagnostic categories used.
|
|
|
|
llvm::DenseSet<unsigned> Categories;
|
|
|
|
|
|
|
|
/// \brief The collection of files used.
|
|
|
|
llvm::DenseMap<const char *, unsigned> Files;
|
|
|
|
|
|
|
|
typedef llvm::DenseMap<const void *, std::pair<unsigned, StringRef> >
|
|
|
|
DiagFlagsTy;
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief Map for uniquing strings.
|
|
|
|
DiagFlagsTy DiagFlags;
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief Whether we have already started emission of any DIAG blocks. Once
|
|
|
|
/// this becomes \c true, we never close a DIAG block until we know that we're
|
|
|
|
/// starting another one or we're done.
|
|
|
|
bool EmittedAnyDiagBlocks;
|
|
|
|
};
|
2012-12-02 13:20:44 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
/// \brief State shared among the various clones of this diagnostic consumer.
|
|
|
|
IntrusiveRefCntPtr<SharedState> State;
|
2012-04-14 14:01:31 +00:00
|
|
|
};
|
|
|
|
} // end anonymous namespace
|
|
|
|
|
|
|
|
namespace clang {
|
|
|
|
namespace serialized_diags {
|
2013-04-08 18:45:10 +00:00
|
|
|
DiagnosticConsumer *create(raw_ostream *OS, DiagnosticOptions *diags) {
|
2012-04-14 14:01:31 +00:00
|
|
|
return new SDiagsWriter(OS, diags);
|
|
|
|
}
|
|
|
|
} // end namespace serialized_diags
|
|
|
|
} // end namespace clang
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Serialization methods.
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
/// \brief Emits a block ID in the BLOCKINFO block.
|
|
|
|
static void EmitBlockID(unsigned ID, const char *Name,
|
|
|
|
llvm::BitstreamWriter &Stream,
|
|
|
|
RecordDataImpl &Record) {
|
|
|
|
Record.clear();
|
|
|
|
Record.push_back(ID);
|
|
|
|
Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
|
|
|
|
|
|
|
|
// Emit the block name if present.
|
|
|
|
if (Name == 0 || Name[0] == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
Record.clear();
|
|
|
|
|
|
|
|
while (*Name)
|
|
|
|
Record.push_back(*Name++);
|
|
|
|
|
|
|
|
Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Emits a record ID in the BLOCKINFO block.
|
|
|
|
static void EmitRecordID(unsigned ID, const char *Name,
|
|
|
|
llvm::BitstreamWriter &Stream,
|
|
|
|
RecordDataImpl &Record){
|
|
|
|
Record.clear();
|
|
|
|
Record.push_back(ID);
|
|
|
|
|
|
|
|
while (*Name)
|
|
|
|
Record.push_back(*Name++);
|
|
|
|
|
|
|
|
Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
|
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::AddLocToRecord(SourceLocation Loc,
|
2012-08-15 20:02:54 +00:00
|
|
|
const SourceManager *SM,
|
2012-04-14 14:01:31 +00:00
|
|
|
PresumedLoc PLoc,
|
|
|
|
RecordDataImpl &Record,
|
|
|
|
unsigned TokSize) {
|
|
|
|
if (PLoc.isInvalid()) {
|
|
|
|
// Emit a "sentinel" location.
|
|
|
|
Record.push_back((unsigned)0); // File.
|
|
|
|
Record.push_back((unsigned)0); // Line.
|
|
|
|
Record.push_back((unsigned)0); // Column.
|
|
|
|
Record.push_back((unsigned)0); // Offset.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
Record.push_back(getEmitFile(PLoc.getFilename()));
|
|
|
|
Record.push_back(PLoc.getLine());
|
|
|
|
Record.push_back(PLoc.getColumn()+TokSize);
|
2012-08-15 20:02:54 +00:00
|
|
|
Record.push_back(SM->getFileOffset(Loc));
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::AddCharSourceRangeToRecord(CharSourceRange Range,
|
|
|
|
RecordDataImpl &Record,
|
|
|
|
const SourceManager &SM) {
|
2012-08-15 20:02:54 +00:00
|
|
|
AddLocToRecord(Range.getBegin(), Record, &SM);
|
2012-04-14 14:01:31 +00:00
|
|
|
unsigned TokSize = 0;
|
|
|
|
if (Range.isTokenRange())
|
|
|
|
TokSize = Lexer::MeasureTokenLength(Range.getEnd(),
|
|
|
|
SM, *LangOpts);
|
|
|
|
|
2012-08-15 20:02:54 +00:00
|
|
|
AddLocToRecord(Range.getEnd(), Record, &SM, TokSize);
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
unsigned SDiagsWriter::getEmitFile(const char *FileName){
|
|
|
|
if (!FileName)
|
|
|
|
return 0;
|
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
unsigned &entry = State->Files[FileName];
|
2012-04-14 14:01:31 +00:00
|
|
|
if (entry)
|
|
|
|
return entry;
|
|
|
|
|
|
|
|
// Lazily generate the record for the file.
|
2013-04-08 18:45:10 +00:00
|
|
|
entry = State->Files.size();
|
2012-04-14 14:01:31 +00:00
|
|
|
RecordData Record;
|
|
|
|
Record.push_back(RECORD_FILENAME);
|
|
|
|
Record.push_back(entry);
|
|
|
|
Record.push_back(0); // For legacy.
|
|
|
|
Record.push_back(0); // For legacy.
|
|
|
|
StringRef Name(FileName);
|
|
|
|
Record.push_back(Name.size());
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_FILENAME), Record,
|
|
|
|
Name);
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
return entry;
|
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::EmitCharSourceRange(CharSourceRange R,
|
|
|
|
const SourceManager &SM) {
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Record.clear();
|
|
|
|
State->Record.push_back(RECORD_SOURCE_RANGE);
|
|
|
|
AddCharSourceRangeToRecord(R, State->Record, SM);
|
|
|
|
State->Stream.EmitRecordWithAbbrev(State->Abbrevs.get(RECORD_SOURCE_RANGE),
|
|
|
|
State->Record);
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Emits the preamble of the diagnostics file.
|
|
|
|
void SDiagsWriter::EmitPreamble() {
|
|
|
|
// Emit the file header.
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.Emit((unsigned)'D', 8);
|
|
|
|
State->Stream.Emit((unsigned)'I', 8);
|
|
|
|
State->Stream.Emit((unsigned)'A', 8);
|
|
|
|
State->Stream.Emit((unsigned)'G', 8);
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
EmitBlockInfoBlock();
|
|
|
|
EmitMetaBlock();
|
|
|
|
}
|
|
|
|
|
|
|
|
static void AddSourceLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
|
|
|
|
using namespace llvm;
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // File ID.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Line.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Column.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Offset;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void AddRangeLocationAbbrev(llvm::BitCodeAbbrev *Abbrev) {
|
|
|
|
AddSourceLocationAbbrev(Abbrev);
|
|
|
|
AddSourceLocationAbbrev(Abbrev);
|
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::EmitBlockInfoBlock() {
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.EnterBlockInfoBlock(3);
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
using namespace llvm;
|
2013-04-08 18:45:10 +00:00
|
|
|
llvm::BitstreamWriter &Stream = State->Stream;
|
|
|
|
RecordData &Record = State->Record;
|
|
|
|
AbbreviationMap &Abbrevs = State->Abbrevs;
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
// ==---------------------------------------------------------------------==//
|
|
|
|
// The subsequent records and Abbrevs are for the "Meta" block.
|
|
|
|
// ==---------------------------------------------------------------------==//
|
|
|
|
|
|
|
|
EmitBlockID(BLOCK_META, "Meta", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_VERSION, "Version", Stream, Record);
|
|
|
|
BitCodeAbbrev *Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_VERSION));
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
|
|
|
|
Abbrevs.set(RECORD_VERSION, Stream.EmitBlockInfoAbbrev(BLOCK_META, Abbrev));
|
|
|
|
|
|
|
|
// ==---------------------------------------------------------------------==//
|
|
|
|
// The subsequent records and Abbrevs are for the "Diagnostic" block.
|
|
|
|
// ==---------------------------------------------------------------------==//
|
|
|
|
|
|
|
|
EmitBlockID(BLOCK_DIAG, "Diag", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_DIAG, "DiagInfo", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_SOURCE_RANGE, "SrcRange", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_CATEGORY, "CatName", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_DIAG_FLAG, "DiagFlag", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_FILENAME, "FileName", Stream, Record);
|
|
|
|
EmitRecordID(RECORD_FIXIT, "FixIt", Stream, Record);
|
|
|
|
|
|
|
|
// Emit abbreviation for RECORD_DIAG.
|
|
|
|
Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG));
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Diag level.
|
|
|
|
AddSourceLocationAbbrev(Abbrev);
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Category.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Diagnostc text.
|
|
|
|
Abbrevs.set(RECORD_DIAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
|
|
|
|
|
|
|
|
// Emit abbrevation for RECORD_CATEGORY.
|
|
|
|
Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_CATEGORY));
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Category ID.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8)); // Text size.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Category text.
|
|
|
|
Abbrevs.set(RECORD_CATEGORY, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
|
|
|
|
|
|
|
|
// Emit abbrevation for RECORD_SOURCE_RANGE.
|
|
|
|
Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_SOURCE_RANGE));
|
|
|
|
AddRangeLocationAbbrev(Abbrev);
|
|
|
|
Abbrevs.set(RECORD_SOURCE_RANGE,
|
|
|
|
Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev));
|
|
|
|
|
|
|
|
// Emit the abbreviation for RECORD_DIAG_FLAG.
|
|
|
|
Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG_FLAG));
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Flag name text.
|
|
|
|
Abbrevs.set(RECORD_DIAG_FLAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
|
|
|
|
Abbrev));
|
|
|
|
|
|
|
|
// Emit the abbreviation for RECORD_FILENAME.
|
|
|
|
Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_FILENAME));
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped file ID.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Size.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Modifcation time.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // File name text.
|
|
|
|
Abbrevs.set(RECORD_FILENAME, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
|
|
|
|
Abbrev));
|
|
|
|
|
|
|
|
// Emit the abbreviation for RECORD_FIXIT.
|
|
|
|
Abbrev = new BitCodeAbbrev();
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(RECORD_FIXIT));
|
|
|
|
AddRangeLocationAbbrev(Abbrev);
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size.
|
|
|
|
Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // FixIt text.
|
|
|
|
Abbrevs.set(RECORD_FIXIT, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG,
|
|
|
|
Abbrev));
|
|
|
|
|
|
|
|
Stream.ExitBlock();
|
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::EmitMetaBlock() {
|
2013-04-08 18:45:10 +00:00
|
|
|
llvm::BitstreamWriter &Stream = State->Stream;
|
|
|
|
RecordData &Record = State->Record;
|
|
|
|
AbbreviationMap &Abbrevs = State->Abbrevs;
|
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
Stream.EnterSubblock(BLOCK_META, 3);
|
|
|
|
Record.clear();
|
|
|
|
Record.push_back(RECORD_VERSION);
|
|
|
|
Record.push_back(Version);
|
|
|
|
Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_VERSION), Record);
|
|
|
|
Stream.ExitBlock();
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned SDiagsWriter::getEmitCategory(unsigned int category) {
|
2013-04-08 18:45:10 +00:00
|
|
|
if (State->Categories.count(category))
|
2012-04-14 14:01:31 +00:00
|
|
|
return category;
|
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Categories.insert(category);
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
// We use a local version of 'Record' so that we can be generating
|
|
|
|
// another record when we lazily generate one for the category entry.
|
|
|
|
RecordData Record;
|
|
|
|
Record.push_back(RECORD_CATEGORY);
|
|
|
|
Record.push_back(category);
|
|
|
|
StringRef catName = DiagnosticIDs::getCategoryNameFromID(category);
|
|
|
|
Record.push_back(catName.size());
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_CATEGORY), Record,
|
|
|
|
catName);
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
return category;
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned SDiagsWriter::getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel,
|
|
|
|
unsigned DiagID) {
|
|
|
|
if (DiagLevel == DiagnosticsEngine::Note)
|
|
|
|
return 0; // No flag for notes.
|
|
|
|
|
|
|
|
StringRef FlagName = DiagnosticIDs::getWarningOptionForDiag(DiagID);
|
|
|
|
if (FlagName.empty())
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
// Here we assume that FlagName points to static data whose pointer
|
|
|
|
// value is fixed. This allows us to unique by diagnostic groups.
|
|
|
|
const void *data = FlagName.data();
|
2013-04-08 18:45:10 +00:00
|
|
|
std::pair<unsigned, StringRef> &entry = State->DiagFlags[data];
|
2012-04-14 14:01:31 +00:00
|
|
|
if (entry.first == 0) {
|
2013-04-08 18:45:10 +00:00
|
|
|
entry.first = State->DiagFlags.size();
|
2012-04-14 14:01:31 +00:00
|
|
|
entry.second = FlagName;
|
|
|
|
|
|
|
|
// Lazily emit the string in a separate record.
|
|
|
|
RecordData Record;
|
|
|
|
Record.push_back(RECORD_DIAG_FLAG);
|
|
|
|
Record.push_back(entry.first);
|
|
|
|
Record.push_back(FlagName.size());
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_DIAG_FLAG),
|
|
|
|
Record, FlagName);
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return entry.first;
|
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
|
|
|
|
const Diagnostic &Info) {
|
2012-12-02 13:20:44 +00:00
|
|
|
// Enter the block for a non-note diagnostic immediately, rather than waiting
|
|
|
|
// for beginDiagnostic, in case associated notes are emitted before we get
|
|
|
|
// there.
|
2012-04-14 14:01:31 +00:00
|
|
|
if (DiagLevel != DiagnosticsEngine::Note) {
|
2013-04-08 18:45:10 +00:00
|
|
|
if (State->EmittedAnyDiagBlocks)
|
2012-12-02 13:20:44 +00:00
|
|
|
ExitDiagBlock();
|
|
|
|
|
|
|
|
EnterDiagBlock();
|
2013-04-08 18:45:10 +00:00
|
|
|
State->EmittedAnyDiagBlocks = true;
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Compute the diagnostic text.
|
2013-04-08 18:45:10 +00:00
|
|
|
State->diagBuf.clear();
|
|
|
|
Info.FormatDiagnostic(State->diagBuf);
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
if (Info.getLocation().isInvalid()) {
|
|
|
|
// Special-case diagnostics with no location. We may not have entered a
|
|
|
|
// source file in this case, so we can't use the normal DiagnosticsRenderer
|
|
|
|
// machinery.
|
2013-04-08 18:45:10 +00:00
|
|
|
|
|
|
|
// Make sure we bracket all notes as "sub-diagnostics". This matches
|
|
|
|
// the behavior in SDiagsRenderer::emitDiagnostic().
|
|
|
|
if (DiagLevel == DiagnosticsEngine::Note)
|
|
|
|
EnterDiagBlock();
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
EmitDiagnosticMessage(SourceLocation(), PresumedLoc(), DiagLevel,
|
2013-04-08 18:45:10 +00:00
|
|
|
State->diagBuf, 0, &Info);
|
|
|
|
|
|
|
|
if (DiagLevel == DiagnosticsEngine::Note)
|
|
|
|
ExitDiagBlock();
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(Info.hasSourceManager() && LangOpts &&
|
|
|
|
"Unexpected diagnostic with valid location outside of a source file");
|
2013-04-08 18:45:10 +00:00
|
|
|
SDiagsRenderer Renderer(*this, *LangOpts, &*State->DiagOpts);
|
2012-04-14 14:01:31 +00:00
|
|
|
Renderer.emitDiagnostic(Info.getLocation(), DiagLevel,
|
2013-04-08 18:45:10 +00:00
|
|
|
State->diagBuf.str(),
|
2012-04-14 14:01:31 +00:00
|
|
|
Info.getRanges(),
|
|
|
|
llvm::makeArrayRef(Info.getFixItHints(),
|
|
|
|
Info.getNumFixItHints()),
|
2012-12-02 13:20:44 +00:00
|
|
|
&Info.getSourceManager(),
|
2012-04-14 14:01:31 +00:00
|
|
|
&Info);
|
|
|
|
}
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
void SDiagsWriter::EmitDiagnosticMessage(SourceLocation Loc,
|
|
|
|
PresumedLoc PLoc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
|
|
|
StringRef Message,
|
|
|
|
const SourceManager *SM,
|
|
|
|
DiagOrStoredDiag D) {
|
2013-04-08 18:45:10 +00:00
|
|
|
llvm::BitstreamWriter &Stream = State->Stream;
|
|
|
|
RecordData &Record = State->Record;
|
|
|
|
AbbreviationMap &Abbrevs = State->Abbrevs;
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
// Emit the RECORD_DIAG record.
|
|
|
|
Record.clear();
|
|
|
|
Record.push_back(RECORD_DIAG);
|
|
|
|
Record.push_back(Level);
|
|
|
|
AddLocToRecord(Loc, SM, PLoc, Record);
|
|
|
|
|
|
|
|
if (const Diagnostic *Info = D.dyn_cast<const Diagnostic*>()) {
|
|
|
|
// Emit the category string lazily and get the category ID.
|
|
|
|
unsigned DiagID = DiagnosticIDs::getCategoryNumberForDiag(Info->getID());
|
|
|
|
Record.push_back(getEmitCategory(DiagID));
|
|
|
|
// Emit the diagnostic flag string lazily and get the mapped ID.
|
|
|
|
Record.push_back(getEmitDiagnosticFlag(Level, Info->getID()));
|
|
|
|
} else {
|
|
|
|
Record.push_back(getEmitCategory());
|
|
|
|
Record.push_back(getEmitDiagnosticFlag(Level));
|
|
|
|
}
|
|
|
|
|
|
|
|
Record.push_back(Message.size());
|
|
|
|
Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG), Record, Message);
|
|
|
|
}
|
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
void
|
|
|
|
SDiagsRenderer::emitDiagnosticMessage(SourceLocation Loc,
|
|
|
|
PresumedLoc PLoc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
|
|
|
StringRef Message,
|
|
|
|
ArrayRef<clang::CharSourceRange> Ranges,
|
2012-08-15 20:02:54 +00:00
|
|
|
const SourceManager *SM,
|
2012-04-14 14:01:31 +00:00
|
|
|
DiagOrStoredDiag D) {
|
2012-12-02 13:20:44 +00:00
|
|
|
Writer.EmitDiagnosticMessage(Loc, PLoc, Level, Message, SM, D);
|
|
|
|
}
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
void SDiagsWriter::EnterDiagBlock() {
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.EnterSubblock(BLOCK_DIAG, 4);
|
2012-12-02 13:20:44 +00:00
|
|
|
}
|
2012-04-14 14:01:31 +00:00
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
void SDiagsWriter::ExitDiagBlock() {
|
2013-04-08 18:45:10 +00:00
|
|
|
State->Stream.ExitBlock();
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsRenderer::beginDiagnostic(DiagOrStoredDiag D,
|
|
|
|
DiagnosticsEngine::Level Level) {
|
2012-12-02 13:20:44 +00:00
|
|
|
if (Level == DiagnosticsEngine::Note)
|
|
|
|
Writer.EnterDiagBlock();
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsRenderer::endDiagnostic(DiagOrStoredDiag D,
|
|
|
|
DiagnosticsEngine::Level Level) {
|
2012-12-02 13:20:44 +00:00
|
|
|
// Only end note diagnostics here, because we can't be sure when we've seen
|
|
|
|
// the last note associated with a non-note diagnostic.
|
|
|
|
if (Level == DiagnosticsEngine::Note)
|
|
|
|
Writer.ExitDiagBlock();
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
void SDiagsWriter::EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges,
|
|
|
|
ArrayRef<FixItHint> Hints,
|
|
|
|
const SourceManager &SM) {
|
2013-04-08 18:45:10 +00:00
|
|
|
llvm::BitstreamWriter &Stream = State->Stream;
|
|
|
|
RecordData &Record = State->Record;
|
|
|
|
AbbreviationMap &Abbrevs = State->Abbrevs;
|
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
// Emit Source Ranges.
|
2012-12-02 13:20:44 +00:00
|
|
|
for (ArrayRef<CharSourceRange>::iterator I = Ranges.begin(), E = Ranges.end();
|
|
|
|
I != E; ++I)
|
|
|
|
if (I->isValid())
|
|
|
|
EmitCharSourceRange(*I, SM);
|
|
|
|
|
2012-04-14 14:01:31 +00:00
|
|
|
// Emit FixIts.
|
2012-12-02 13:20:44 +00:00
|
|
|
for (ArrayRef<FixItHint>::iterator I = Hints.begin(), E = Hints.end();
|
|
|
|
I != E; ++I) {
|
|
|
|
const FixItHint &Fix = *I;
|
|
|
|
if (Fix.isNull())
|
2012-04-14 14:01:31 +00:00
|
|
|
continue;
|
2012-12-02 13:20:44 +00:00
|
|
|
Record.clear();
|
|
|
|
Record.push_back(RECORD_FIXIT);
|
|
|
|
AddCharSourceRangeToRecord(Fix.RemoveRange, Record, SM);
|
|
|
|
Record.push_back(Fix.CodeToInsert.size());
|
|
|
|
Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FIXIT), Record,
|
|
|
|
Fix.CodeToInsert);
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
void SDiagsRenderer::emitCodeContext(SourceLocation Loc,
|
|
|
|
DiagnosticsEngine::Level Level,
|
|
|
|
SmallVectorImpl<CharSourceRange> &Ranges,
|
|
|
|
ArrayRef<FixItHint> Hints,
|
|
|
|
const SourceManager &SM) {
|
|
|
|
Writer.EmitCodeContext(Ranges, Hints, SM);
|
|
|
|
}
|
|
|
|
|
2012-08-15 20:02:54 +00:00
|
|
|
void SDiagsRenderer::emitNote(SourceLocation Loc, StringRef Message,
|
|
|
|
const SourceManager *SM) {
|
2012-12-02 13:20:44 +00:00
|
|
|
Writer.EnterDiagBlock();
|
|
|
|
PresumedLoc PLoc = SM ? SM->getPresumedLoc(Loc) : PresumedLoc();
|
|
|
|
Writer.EmitDiagnosticMessage(Loc, PLoc, DiagnosticsEngine::Note,
|
|
|
|
Message, SM, DiagOrStoredDiag());
|
|
|
|
Writer.ExitDiagBlock();
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void SDiagsWriter::finish() {
|
2013-04-08 18:45:10 +00:00
|
|
|
// The original instance is responsible for writing the file.
|
|
|
|
if (!OriginalInstance)
|
|
|
|
return;
|
|
|
|
|
2012-12-02 13:20:44 +00:00
|
|
|
// Finish off any diagnostic we were in the process of emitting.
|
2013-04-08 18:45:10 +00:00
|
|
|
if (State->EmittedAnyDiagBlocks)
|
2012-12-02 13:20:44 +00:00
|
|
|
ExitDiagBlock();
|
2012-04-14 14:01:31 +00:00
|
|
|
|
|
|
|
// Write the generated bitstream to "Out".
|
2013-04-08 18:45:10 +00:00
|
|
|
State->OS->write((char *)&State->Buffer.front(), State->Buffer.size());
|
|
|
|
State->OS->flush();
|
2012-12-02 13:20:44 +00:00
|
|
|
|
2013-04-08 18:45:10 +00:00
|
|
|
State->OS.reset(0);
|
2012-04-14 14:01:31 +00:00
|
|
|
}
|