10b57cec5SDimitry Andric //===--- SerializedDiagnosticPrinter.cpp - Serializer for diagnostics -----===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric 90b57cec5SDimitry Andric #include "clang/Frontend/SerializedDiagnosticPrinter.h" 100b57cec5SDimitry Andric #include "clang/Basic/Diagnostic.h" 110b57cec5SDimitry Andric #include "clang/Basic/DiagnosticOptions.h" 120b57cec5SDimitry Andric #include "clang/Basic/SourceManager.h" 130b57cec5SDimitry Andric #include "clang/Frontend/DiagnosticRenderer.h" 140b57cec5SDimitry Andric #include "clang/Frontend/FrontendDiagnostic.h" 150b57cec5SDimitry Andric #include "clang/Frontend/SerializedDiagnosticReader.h" 160b57cec5SDimitry Andric #include "clang/Frontend/SerializedDiagnostics.h" 170b57cec5SDimitry Andric #include "clang/Frontend/TextDiagnosticPrinter.h" 180b57cec5SDimitry Andric #include "clang/Lex/Lexer.h" 190b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h" 200b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 210b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h" 220b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h" 230b57cec5SDimitry Andric #include "llvm/Bitstream/BitCodes.h" 240b57cec5SDimitry Andric #include "llvm/Bitstream/BitstreamReader.h" 250b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 260b57cec5SDimitry Andric #include <utility> 270b57cec5SDimitry Andric 280b57cec5SDimitry Andric using namespace clang; 290b57cec5SDimitry Andric using namespace clang::serialized_diags; 300b57cec5SDimitry Andric 310b57cec5SDimitry Andric namespace { 320b57cec5SDimitry Andric 330b57cec5SDimitry Andric class AbbreviationMap { 340b57cec5SDimitry Andric llvm::DenseMap<unsigned, unsigned> Abbrevs; 350b57cec5SDimitry Andric public: 360b57cec5SDimitry Andric AbbreviationMap() {} 370b57cec5SDimitry Andric 380b57cec5SDimitry Andric void set(unsigned recordID, unsigned abbrevID) { 390b57cec5SDimitry Andric assert(Abbrevs.find(recordID) == Abbrevs.end() 400b57cec5SDimitry Andric && "Abbreviation already set."); 410b57cec5SDimitry Andric Abbrevs[recordID] = abbrevID; 420b57cec5SDimitry Andric } 430b57cec5SDimitry Andric 440b57cec5SDimitry Andric unsigned get(unsigned recordID) { 450b57cec5SDimitry Andric assert(Abbrevs.find(recordID) != Abbrevs.end() && 460b57cec5SDimitry Andric "Abbreviation not set."); 470b57cec5SDimitry Andric return Abbrevs[recordID]; 480b57cec5SDimitry Andric } 490b57cec5SDimitry Andric }; 500b57cec5SDimitry Andric 510b57cec5SDimitry Andric typedef SmallVector<uint64_t, 64> RecordData; 520b57cec5SDimitry Andric typedef SmallVectorImpl<uint64_t> RecordDataImpl; 530b57cec5SDimitry Andric typedef ArrayRef<uint64_t> RecordDataRef; 540b57cec5SDimitry Andric 550b57cec5SDimitry Andric class SDiagsWriter; 560b57cec5SDimitry Andric 570b57cec5SDimitry Andric class SDiagsRenderer : public DiagnosticNoteRenderer { 580b57cec5SDimitry Andric SDiagsWriter &Writer; 590b57cec5SDimitry Andric public: 600b57cec5SDimitry Andric SDiagsRenderer(SDiagsWriter &Writer, const LangOptions &LangOpts, 610b57cec5SDimitry Andric DiagnosticOptions *DiagOpts) 620b57cec5SDimitry Andric : DiagnosticNoteRenderer(LangOpts, DiagOpts), Writer(Writer) {} 630b57cec5SDimitry Andric 640b57cec5SDimitry Andric ~SDiagsRenderer() override {} 650b57cec5SDimitry Andric 660b57cec5SDimitry Andric protected: 670b57cec5SDimitry Andric void emitDiagnosticMessage(FullSourceLoc Loc, PresumedLoc PLoc, 680b57cec5SDimitry Andric DiagnosticsEngine::Level Level, StringRef Message, 690b57cec5SDimitry Andric ArrayRef<CharSourceRange> Ranges, 700b57cec5SDimitry Andric DiagOrStoredDiag D) override; 710b57cec5SDimitry Andric 720b57cec5SDimitry Andric void emitDiagnosticLoc(FullSourceLoc Loc, PresumedLoc PLoc, 730b57cec5SDimitry Andric DiagnosticsEngine::Level Level, 740b57cec5SDimitry Andric ArrayRef<CharSourceRange> Ranges) override {} 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric void emitNote(FullSourceLoc Loc, StringRef Message) override; 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric void emitCodeContext(FullSourceLoc Loc, DiagnosticsEngine::Level Level, 790b57cec5SDimitry Andric SmallVectorImpl<CharSourceRange> &Ranges, 800b57cec5SDimitry Andric ArrayRef<FixItHint> Hints) override; 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric void beginDiagnostic(DiagOrStoredDiag D, 830b57cec5SDimitry Andric DiagnosticsEngine::Level Level) override; 840b57cec5SDimitry Andric void endDiagnostic(DiagOrStoredDiag D, 850b57cec5SDimitry Andric DiagnosticsEngine::Level Level) override; 860b57cec5SDimitry Andric }; 870b57cec5SDimitry Andric 880b57cec5SDimitry Andric typedef llvm::DenseMap<unsigned, unsigned> AbbrevLookup; 890b57cec5SDimitry Andric 900b57cec5SDimitry Andric class SDiagsMerger : SerializedDiagnosticReader { 910b57cec5SDimitry Andric SDiagsWriter &Writer; 920b57cec5SDimitry Andric AbbrevLookup FileLookup; 930b57cec5SDimitry Andric AbbrevLookup CategoryLookup; 940b57cec5SDimitry Andric AbbrevLookup DiagFlagLookup; 950b57cec5SDimitry Andric 960b57cec5SDimitry Andric public: 970b57cec5SDimitry Andric SDiagsMerger(SDiagsWriter &Writer) 980b57cec5SDimitry Andric : SerializedDiagnosticReader(), Writer(Writer) {} 990b57cec5SDimitry Andric 1000b57cec5SDimitry Andric std::error_code mergeRecordsFromFile(const char *File) { 1010b57cec5SDimitry Andric return readDiagnostics(File); 1020b57cec5SDimitry Andric } 1030b57cec5SDimitry Andric 1040b57cec5SDimitry Andric protected: 1050b57cec5SDimitry Andric std::error_code visitStartOfDiagnostic() override; 1060b57cec5SDimitry Andric std::error_code visitEndOfDiagnostic() override; 1070b57cec5SDimitry Andric std::error_code visitCategoryRecord(unsigned ID, StringRef Name) override; 1080b57cec5SDimitry Andric std::error_code visitDiagFlagRecord(unsigned ID, StringRef Name) override; 1090b57cec5SDimitry Andric std::error_code visitDiagnosticRecord( 1100b57cec5SDimitry Andric unsigned Severity, const serialized_diags::Location &Location, 1110b57cec5SDimitry Andric unsigned Category, unsigned Flag, StringRef Message) override; 1120b57cec5SDimitry Andric std::error_code visitFilenameRecord(unsigned ID, unsigned Size, 1130b57cec5SDimitry Andric unsigned Timestamp, 1140b57cec5SDimitry Andric StringRef Name) override; 1150b57cec5SDimitry Andric std::error_code visitFixitRecord(const serialized_diags::Location &Start, 1160b57cec5SDimitry Andric const serialized_diags::Location &End, 1170b57cec5SDimitry Andric StringRef CodeToInsert) override; 1180b57cec5SDimitry Andric std::error_code 1190b57cec5SDimitry Andric visitSourceRangeRecord(const serialized_diags::Location &Start, 1200b57cec5SDimitry Andric const serialized_diags::Location &End) override; 1210b57cec5SDimitry Andric 1220b57cec5SDimitry Andric private: 1230b57cec5SDimitry Andric std::error_code adjustSourceLocFilename(RecordData &Record, 1240b57cec5SDimitry Andric unsigned int offset); 1250b57cec5SDimitry Andric 1260b57cec5SDimitry Andric void adjustAbbrevID(RecordData &Record, AbbrevLookup &Lookup, 1270b57cec5SDimitry Andric unsigned NewAbbrev); 1280b57cec5SDimitry Andric 1290b57cec5SDimitry Andric void writeRecordWithAbbrev(unsigned ID, RecordData &Record); 1300b57cec5SDimitry Andric 1310b57cec5SDimitry Andric void writeRecordWithBlob(unsigned ID, RecordData &Record, StringRef Blob); 1320b57cec5SDimitry Andric }; 1330b57cec5SDimitry Andric 1340b57cec5SDimitry Andric class SDiagsWriter : public DiagnosticConsumer { 1350b57cec5SDimitry Andric friend class SDiagsRenderer; 1360b57cec5SDimitry Andric friend class SDiagsMerger; 1370b57cec5SDimitry Andric 1380b57cec5SDimitry Andric struct SharedState; 1390b57cec5SDimitry Andric 1400b57cec5SDimitry Andric explicit SDiagsWriter(std::shared_ptr<SharedState> State) 1410b57cec5SDimitry Andric : LangOpts(nullptr), OriginalInstance(false), MergeChildRecords(false), 1420b57cec5SDimitry Andric State(std::move(State)) {} 1430b57cec5SDimitry Andric 1440b57cec5SDimitry Andric public: 1450b57cec5SDimitry Andric SDiagsWriter(StringRef File, DiagnosticOptions *Diags, bool MergeChildRecords) 1460b57cec5SDimitry Andric : LangOpts(nullptr), OriginalInstance(true), 1470b57cec5SDimitry Andric MergeChildRecords(MergeChildRecords), 1480b57cec5SDimitry Andric State(std::make_shared<SharedState>(File, Diags)) { 1490b57cec5SDimitry Andric if (MergeChildRecords) 1500b57cec5SDimitry Andric RemoveOldDiagnostics(); 1510b57cec5SDimitry Andric EmitPreamble(); 1520b57cec5SDimitry Andric } 1530b57cec5SDimitry Andric 1540b57cec5SDimitry Andric ~SDiagsWriter() override {} 1550b57cec5SDimitry Andric 1560b57cec5SDimitry Andric void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, 1570b57cec5SDimitry Andric const Diagnostic &Info) override; 1580b57cec5SDimitry Andric 1590b57cec5SDimitry Andric void BeginSourceFile(const LangOptions &LO, const Preprocessor *PP) override { 1600b57cec5SDimitry Andric LangOpts = &LO; 1610b57cec5SDimitry Andric } 1620b57cec5SDimitry Andric 1630b57cec5SDimitry Andric void finish() override; 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric private: 1660b57cec5SDimitry Andric /// Build a DiagnosticsEngine to emit diagnostics about the diagnostics 1670b57cec5SDimitry Andric DiagnosticsEngine *getMetaDiags(); 1680b57cec5SDimitry Andric 1690b57cec5SDimitry Andric /// Remove old copies of the serialized diagnostics. This is necessary 1700b57cec5SDimitry Andric /// so that we can detect when subprocesses write diagnostics that we should 1710b57cec5SDimitry Andric /// merge into our own. 1720b57cec5SDimitry Andric void RemoveOldDiagnostics(); 1730b57cec5SDimitry Andric 1740b57cec5SDimitry Andric /// Emit the preamble for the serialized diagnostics. 1750b57cec5SDimitry Andric void EmitPreamble(); 1760b57cec5SDimitry Andric 1770b57cec5SDimitry Andric /// Emit the BLOCKINFO block. 1780b57cec5SDimitry Andric void EmitBlockInfoBlock(); 1790b57cec5SDimitry Andric 1800b57cec5SDimitry Andric /// Emit the META data block. 1810b57cec5SDimitry Andric void EmitMetaBlock(); 1820b57cec5SDimitry Andric 1830b57cec5SDimitry Andric /// Start a DIAG block. 1840b57cec5SDimitry Andric void EnterDiagBlock(); 1850b57cec5SDimitry Andric 1860b57cec5SDimitry Andric /// End a DIAG block. 1870b57cec5SDimitry Andric void ExitDiagBlock(); 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric /// Emit a DIAG record. 1900b57cec5SDimitry Andric void EmitDiagnosticMessage(FullSourceLoc Loc, PresumedLoc PLoc, 1910b57cec5SDimitry Andric DiagnosticsEngine::Level Level, StringRef Message, 1920b57cec5SDimitry Andric DiagOrStoredDiag D); 1930b57cec5SDimitry Andric 1940b57cec5SDimitry Andric /// Emit FIXIT and SOURCE_RANGE records for a diagnostic. 1950b57cec5SDimitry Andric void EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges, 1960b57cec5SDimitry Andric ArrayRef<FixItHint> Hints, 1970b57cec5SDimitry Andric const SourceManager &SM); 1980b57cec5SDimitry Andric 1990b57cec5SDimitry Andric /// Emit a record for a CharSourceRange. 2000b57cec5SDimitry Andric void EmitCharSourceRange(CharSourceRange R, const SourceManager &SM); 2010b57cec5SDimitry Andric 2020b57cec5SDimitry Andric /// Emit the string information for the category. 2030b57cec5SDimitry Andric unsigned getEmitCategory(unsigned category = 0); 2040b57cec5SDimitry Andric 2050b57cec5SDimitry Andric /// Emit the string information for diagnostic flags. 2060b57cec5SDimitry Andric unsigned getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel, 2070b57cec5SDimitry Andric unsigned DiagID = 0); 2080b57cec5SDimitry Andric 2090b57cec5SDimitry Andric unsigned getEmitDiagnosticFlag(StringRef DiagName); 2100b57cec5SDimitry Andric 2110b57cec5SDimitry Andric /// Emit (lazily) the file string and retrieved the file identifier. 2120b57cec5SDimitry Andric unsigned getEmitFile(const char *Filename); 2130b57cec5SDimitry Andric 2140b57cec5SDimitry Andric /// Add SourceLocation information the specified record. 2150b57cec5SDimitry Andric void AddLocToRecord(FullSourceLoc Loc, PresumedLoc PLoc, 2160b57cec5SDimitry Andric RecordDataImpl &Record, unsigned TokSize = 0); 2170b57cec5SDimitry Andric 2180b57cec5SDimitry Andric /// Add SourceLocation information the specified record. 2190b57cec5SDimitry Andric void AddLocToRecord(FullSourceLoc Loc, RecordDataImpl &Record, 2200b57cec5SDimitry Andric unsigned TokSize = 0) { 2210b57cec5SDimitry Andric AddLocToRecord(Loc, Loc.hasManager() ? Loc.getPresumedLoc() : PresumedLoc(), 2220b57cec5SDimitry Andric Record, TokSize); 2230b57cec5SDimitry Andric } 2240b57cec5SDimitry Andric 2250b57cec5SDimitry Andric /// Add CharSourceRange information the specified record. 2260b57cec5SDimitry Andric void AddCharSourceRangeToRecord(CharSourceRange R, RecordDataImpl &Record, 2270b57cec5SDimitry Andric const SourceManager &SM); 2280b57cec5SDimitry Andric 2290b57cec5SDimitry Andric /// Language options, which can differ from one clone of this client 2300b57cec5SDimitry Andric /// to another. 2310b57cec5SDimitry Andric const LangOptions *LangOpts; 2320b57cec5SDimitry Andric 2330b57cec5SDimitry Andric /// Whether this is the original instance (rather than one of its 2340b57cec5SDimitry Andric /// clones), responsible for writing the file at the end. 2350b57cec5SDimitry Andric bool OriginalInstance; 2360b57cec5SDimitry Andric 2370b57cec5SDimitry Andric /// Whether this instance should aggregate diagnostics that are 2380b57cec5SDimitry Andric /// generated from child processes. 2390b57cec5SDimitry Andric bool MergeChildRecords; 2400b57cec5SDimitry Andric 2410b57cec5SDimitry Andric /// State that is shared among the various clones of this diagnostic 2420b57cec5SDimitry Andric /// consumer. 2430b57cec5SDimitry Andric struct SharedState { 2440b57cec5SDimitry Andric SharedState(StringRef File, DiagnosticOptions *Diags) 2450b57cec5SDimitry Andric : DiagOpts(Diags), Stream(Buffer), OutputFile(File.str()), 2460b57cec5SDimitry Andric EmittedAnyDiagBlocks(false) {} 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric /// Diagnostic options. 2490b57cec5SDimitry Andric IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts; 2500b57cec5SDimitry Andric 2510b57cec5SDimitry Andric /// The byte buffer for the serialized content. 2520b57cec5SDimitry Andric SmallString<1024> Buffer; 2530b57cec5SDimitry Andric 2540b57cec5SDimitry Andric /// The BitStreamWriter for the serialized diagnostics. 2550b57cec5SDimitry Andric llvm::BitstreamWriter Stream; 2560b57cec5SDimitry Andric 2570b57cec5SDimitry Andric /// The name of the diagnostics file. 2580b57cec5SDimitry Andric std::string OutputFile; 2590b57cec5SDimitry Andric 2600b57cec5SDimitry Andric /// The set of constructed record abbreviations. 2610b57cec5SDimitry Andric AbbreviationMap Abbrevs; 2620b57cec5SDimitry Andric 2630b57cec5SDimitry Andric /// A utility buffer for constructing record content. 2640b57cec5SDimitry Andric RecordData Record; 2650b57cec5SDimitry Andric 2660b57cec5SDimitry Andric /// A text buffer for rendering diagnostic text. 2670b57cec5SDimitry Andric SmallString<256> diagBuf; 2680b57cec5SDimitry Andric 2690b57cec5SDimitry Andric /// The collection of diagnostic categories used. 2700b57cec5SDimitry Andric llvm::DenseSet<unsigned> Categories; 2710b57cec5SDimitry Andric 2720b57cec5SDimitry Andric /// The collection of files used. 2730b57cec5SDimitry Andric llvm::DenseMap<const char *, unsigned> Files; 2740b57cec5SDimitry Andric 2750b57cec5SDimitry Andric typedef llvm::DenseMap<const void *, std::pair<unsigned, StringRef> > 2760b57cec5SDimitry Andric DiagFlagsTy; 2770b57cec5SDimitry Andric 2780b57cec5SDimitry Andric /// Map for uniquing strings. 2790b57cec5SDimitry Andric DiagFlagsTy DiagFlags; 2800b57cec5SDimitry Andric 2810b57cec5SDimitry Andric /// Whether we have already started emission of any DIAG blocks. Once 2820b57cec5SDimitry Andric /// this becomes \c true, we never close a DIAG block until we know that we're 2830b57cec5SDimitry Andric /// starting another one or we're done. 2840b57cec5SDimitry Andric bool EmittedAnyDiagBlocks; 2850b57cec5SDimitry Andric 2860b57cec5SDimitry Andric /// Engine for emitting diagnostics about the diagnostics. 2870b57cec5SDimitry Andric std::unique_ptr<DiagnosticsEngine> MetaDiagnostics; 2880b57cec5SDimitry Andric }; 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric /// State shared among the various clones of this diagnostic consumer. 2910b57cec5SDimitry Andric std::shared_ptr<SharedState> State; 2920b57cec5SDimitry Andric }; 2930b57cec5SDimitry Andric } // end anonymous namespace 2940b57cec5SDimitry Andric 2950b57cec5SDimitry Andric namespace clang { 2960b57cec5SDimitry Andric namespace serialized_diags { 2970b57cec5SDimitry Andric std::unique_ptr<DiagnosticConsumer> 2980b57cec5SDimitry Andric create(StringRef OutputFile, DiagnosticOptions *Diags, bool MergeChildRecords) { 299*a7dea167SDimitry Andric return std::make_unique<SDiagsWriter>(OutputFile, Diags, MergeChildRecords); 3000b57cec5SDimitry Andric } 3010b57cec5SDimitry Andric 3020b57cec5SDimitry Andric } // end namespace serialized_diags 3030b57cec5SDimitry Andric } // end namespace clang 3040b57cec5SDimitry Andric 3050b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3060b57cec5SDimitry Andric // Serialization methods. 3070b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric /// Emits a block ID in the BLOCKINFO block. 3100b57cec5SDimitry Andric static void EmitBlockID(unsigned ID, const char *Name, 3110b57cec5SDimitry Andric llvm::BitstreamWriter &Stream, 3120b57cec5SDimitry Andric RecordDataImpl &Record) { 3130b57cec5SDimitry Andric Record.clear(); 3140b57cec5SDimitry Andric Record.push_back(ID); 3150b57cec5SDimitry Andric Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record); 3160b57cec5SDimitry Andric 3170b57cec5SDimitry Andric // Emit the block name if present. 3180b57cec5SDimitry Andric if (!Name || Name[0] == 0) 3190b57cec5SDimitry Andric return; 3200b57cec5SDimitry Andric 3210b57cec5SDimitry Andric Record.clear(); 3220b57cec5SDimitry Andric 3230b57cec5SDimitry Andric while (*Name) 3240b57cec5SDimitry Andric Record.push_back(*Name++); 3250b57cec5SDimitry Andric 3260b57cec5SDimitry Andric Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record); 3270b57cec5SDimitry Andric } 3280b57cec5SDimitry Andric 3290b57cec5SDimitry Andric /// Emits a record ID in the BLOCKINFO block. 3300b57cec5SDimitry Andric static void EmitRecordID(unsigned ID, const char *Name, 3310b57cec5SDimitry Andric llvm::BitstreamWriter &Stream, 3320b57cec5SDimitry Andric RecordDataImpl &Record){ 3330b57cec5SDimitry Andric Record.clear(); 3340b57cec5SDimitry Andric Record.push_back(ID); 3350b57cec5SDimitry Andric 3360b57cec5SDimitry Andric while (*Name) 3370b57cec5SDimitry Andric Record.push_back(*Name++); 3380b57cec5SDimitry Andric 3390b57cec5SDimitry Andric Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record); 3400b57cec5SDimitry Andric } 3410b57cec5SDimitry Andric 3420b57cec5SDimitry Andric void SDiagsWriter::AddLocToRecord(FullSourceLoc Loc, PresumedLoc PLoc, 3430b57cec5SDimitry Andric RecordDataImpl &Record, unsigned TokSize) { 3440b57cec5SDimitry Andric if (PLoc.isInvalid()) { 3450b57cec5SDimitry Andric // Emit a "sentinel" location. 3460b57cec5SDimitry Andric Record.push_back((unsigned)0); // File. 3470b57cec5SDimitry Andric Record.push_back((unsigned)0); // Line. 3480b57cec5SDimitry Andric Record.push_back((unsigned)0); // Column. 3490b57cec5SDimitry Andric Record.push_back((unsigned)0); // Offset. 3500b57cec5SDimitry Andric return; 3510b57cec5SDimitry Andric } 3520b57cec5SDimitry Andric 3530b57cec5SDimitry Andric Record.push_back(getEmitFile(PLoc.getFilename())); 3540b57cec5SDimitry Andric Record.push_back(PLoc.getLine()); 3550b57cec5SDimitry Andric Record.push_back(PLoc.getColumn()+TokSize); 3560b57cec5SDimitry Andric Record.push_back(Loc.getFileOffset()); 3570b57cec5SDimitry Andric } 3580b57cec5SDimitry Andric 3590b57cec5SDimitry Andric void SDiagsWriter::AddCharSourceRangeToRecord(CharSourceRange Range, 3600b57cec5SDimitry Andric RecordDataImpl &Record, 3610b57cec5SDimitry Andric const SourceManager &SM) { 3620b57cec5SDimitry Andric AddLocToRecord(FullSourceLoc(Range.getBegin(), SM), Record); 3630b57cec5SDimitry Andric unsigned TokSize = 0; 3640b57cec5SDimitry Andric if (Range.isTokenRange()) 3650b57cec5SDimitry Andric TokSize = Lexer::MeasureTokenLength(Range.getEnd(), 3660b57cec5SDimitry Andric SM, *LangOpts); 3670b57cec5SDimitry Andric 3680b57cec5SDimitry Andric AddLocToRecord(FullSourceLoc(Range.getEnd(), SM), Record, TokSize); 3690b57cec5SDimitry Andric } 3700b57cec5SDimitry Andric 3710b57cec5SDimitry Andric unsigned SDiagsWriter::getEmitFile(const char *FileName){ 3720b57cec5SDimitry Andric if (!FileName) 3730b57cec5SDimitry Andric return 0; 3740b57cec5SDimitry Andric 3750b57cec5SDimitry Andric unsigned &entry = State->Files[FileName]; 3760b57cec5SDimitry Andric if (entry) 3770b57cec5SDimitry Andric return entry; 3780b57cec5SDimitry Andric 3790b57cec5SDimitry Andric // Lazily generate the record for the file. 3800b57cec5SDimitry Andric entry = State->Files.size(); 3810b57cec5SDimitry Andric StringRef Name(FileName); 3820b57cec5SDimitry Andric RecordData::value_type Record[] = {RECORD_FILENAME, entry, 0 /* For legacy */, 3830b57cec5SDimitry Andric 0 /* For legacy */, Name.size()}; 3840b57cec5SDimitry Andric State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_FILENAME), Record, 3850b57cec5SDimitry Andric Name); 3860b57cec5SDimitry Andric 3870b57cec5SDimitry Andric return entry; 3880b57cec5SDimitry Andric } 3890b57cec5SDimitry Andric 3900b57cec5SDimitry Andric void SDiagsWriter::EmitCharSourceRange(CharSourceRange R, 3910b57cec5SDimitry Andric const SourceManager &SM) { 3920b57cec5SDimitry Andric State->Record.clear(); 3930b57cec5SDimitry Andric State->Record.push_back(RECORD_SOURCE_RANGE); 3940b57cec5SDimitry Andric AddCharSourceRangeToRecord(R, State->Record, SM); 3950b57cec5SDimitry Andric State->Stream.EmitRecordWithAbbrev(State->Abbrevs.get(RECORD_SOURCE_RANGE), 3960b57cec5SDimitry Andric State->Record); 3970b57cec5SDimitry Andric } 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric /// Emits the preamble of the diagnostics file. 4000b57cec5SDimitry Andric void SDiagsWriter::EmitPreamble() { 4010b57cec5SDimitry Andric // Emit the file header. 4020b57cec5SDimitry Andric State->Stream.Emit((unsigned)'D', 8); 4030b57cec5SDimitry Andric State->Stream.Emit((unsigned)'I', 8); 4040b57cec5SDimitry Andric State->Stream.Emit((unsigned)'A', 8); 4050b57cec5SDimitry Andric State->Stream.Emit((unsigned)'G', 8); 4060b57cec5SDimitry Andric 4070b57cec5SDimitry Andric EmitBlockInfoBlock(); 4080b57cec5SDimitry Andric EmitMetaBlock(); 4090b57cec5SDimitry Andric } 4100b57cec5SDimitry Andric 4110b57cec5SDimitry Andric static void AddSourceLocationAbbrev(llvm::BitCodeAbbrev &Abbrev) { 4120b57cec5SDimitry Andric using namespace llvm; 4130b57cec5SDimitry Andric Abbrev.Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // File ID. 4140b57cec5SDimitry Andric Abbrev.Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Line. 4150b57cec5SDimitry Andric Abbrev.Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Column. 4160b57cec5SDimitry Andric Abbrev.Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Offset; 4170b57cec5SDimitry Andric } 4180b57cec5SDimitry Andric 4190b57cec5SDimitry Andric static void AddRangeLocationAbbrev(llvm::BitCodeAbbrev &Abbrev) { 4200b57cec5SDimitry Andric AddSourceLocationAbbrev(Abbrev); 4210b57cec5SDimitry Andric AddSourceLocationAbbrev(Abbrev); 4220b57cec5SDimitry Andric } 4230b57cec5SDimitry Andric 4240b57cec5SDimitry Andric void SDiagsWriter::EmitBlockInfoBlock() { 4250b57cec5SDimitry Andric State->Stream.EnterBlockInfoBlock(); 4260b57cec5SDimitry Andric 4270b57cec5SDimitry Andric using namespace llvm; 4280b57cec5SDimitry Andric llvm::BitstreamWriter &Stream = State->Stream; 4290b57cec5SDimitry Andric RecordData &Record = State->Record; 4300b57cec5SDimitry Andric AbbreviationMap &Abbrevs = State->Abbrevs; 4310b57cec5SDimitry Andric 4320b57cec5SDimitry Andric // ==---------------------------------------------------------------------==// 4330b57cec5SDimitry Andric // The subsequent records and Abbrevs are for the "Meta" block. 4340b57cec5SDimitry Andric // ==---------------------------------------------------------------------==// 4350b57cec5SDimitry Andric 4360b57cec5SDimitry Andric EmitBlockID(BLOCK_META, "Meta", Stream, Record); 4370b57cec5SDimitry Andric EmitRecordID(RECORD_VERSION, "Version", Stream, Record); 4380b57cec5SDimitry Andric auto Abbrev = std::make_shared<BitCodeAbbrev>(); 4390b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_VERSION)); 4400b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); 4410b57cec5SDimitry Andric Abbrevs.set(RECORD_VERSION, Stream.EmitBlockInfoAbbrev(BLOCK_META, Abbrev)); 4420b57cec5SDimitry Andric 4430b57cec5SDimitry Andric // ==---------------------------------------------------------------------==// 4440b57cec5SDimitry Andric // The subsequent records and Abbrevs are for the "Diagnostic" block. 4450b57cec5SDimitry Andric // ==---------------------------------------------------------------------==// 4460b57cec5SDimitry Andric 4470b57cec5SDimitry Andric EmitBlockID(BLOCK_DIAG, "Diag", Stream, Record); 4480b57cec5SDimitry Andric EmitRecordID(RECORD_DIAG, "DiagInfo", Stream, Record); 4490b57cec5SDimitry Andric EmitRecordID(RECORD_SOURCE_RANGE, "SrcRange", Stream, Record); 4500b57cec5SDimitry Andric EmitRecordID(RECORD_CATEGORY, "CatName", Stream, Record); 4510b57cec5SDimitry Andric EmitRecordID(RECORD_DIAG_FLAG, "DiagFlag", Stream, Record); 4520b57cec5SDimitry Andric EmitRecordID(RECORD_FILENAME, "FileName", Stream, Record); 4530b57cec5SDimitry Andric EmitRecordID(RECORD_FIXIT, "FixIt", Stream, Record); 4540b57cec5SDimitry Andric 4550b57cec5SDimitry Andric // Emit abbreviation for RECORD_DIAG. 4560b57cec5SDimitry Andric Abbrev = std::make_shared<BitCodeAbbrev>(); 4570b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG)); 4580b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Diag level. 4590b57cec5SDimitry Andric AddSourceLocationAbbrev(*Abbrev); 4600b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Category. 4610b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID. 4620b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 16)); // Text size. 4630b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Diagnostc text. 4640b57cec5SDimitry Andric Abbrevs.set(RECORD_DIAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev)); 4650b57cec5SDimitry Andric 4660b57cec5SDimitry Andric // Emit abbreviation for RECORD_CATEGORY. 4670b57cec5SDimitry Andric Abbrev = std::make_shared<BitCodeAbbrev>(); 4680b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_CATEGORY)); 4690b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Category ID. 4700b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8)); // Text size. 4710b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Category text. 4720b57cec5SDimitry Andric Abbrevs.set(RECORD_CATEGORY, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev)); 4730b57cec5SDimitry Andric 4740b57cec5SDimitry Andric // Emit abbreviation for RECORD_SOURCE_RANGE. 4750b57cec5SDimitry Andric Abbrev = std::make_shared<BitCodeAbbrev>(); 4760b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_SOURCE_RANGE)); 4770b57cec5SDimitry Andric AddRangeLocationAbbrev(*Abbrev); 4780b57cec5SDimitry Andric Abbrevs.set(RECORD_SOURCE_RANGE, 4790b57cec5SDimitry Andric Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, Abbrev)); 4800b57cec5SDimitry Andric 4810b57cec5SDimitry Andric // Emit the abbreviation for RECORD_DIAG_FLAG. 4820b57cec5SDimitry Andric Abbrev = std::make_shared<BitCodeAbbrev>(); 4830b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_DIAG_FLAG)); 4840b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped Diag ID. 4850b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size. 4860b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // Flag name text. 4870b57cec5SDimitry Andric Abbrevs.set(RECORD_DIAG_FLAG, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, 4880b57cec5SDimitry Andric Abbrev)); 4890b57cec5SDimitry Andric 4900b57cec5SDimitry Andric // Emit the abbreviation for RECORD_FILENAME. 4910b57cec5SDimitry Andric Abbrev = std::make_shared<BitCodeAbbrev>(); 4920b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_FILENAME)); 4930b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 10)); // Mapped file ID. 4940b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Size. 4950b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); // Modification time. 4960b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size. 4970b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // File name text. 4980b57cec5SDimitry Andric Abbrevs.set(RECORD_FILENAME, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, 4990b57cec5SDimitry Andric Abbrev)); 5000b57cec5SDimitry Andric 5010b57cec5SDimitry Andric // Emit the abbreviation for RECORD_FIXIT. 5020b57cec5SDimitry Andric Abbrev = std::make_shared<BitCodeAbbrev>(); 5030b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(RECORD_FIXIT)); 5040b57cec5SDimitry Andric AddRangeLocationAbbrev(*Abbrev); 5050b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 16)); // Text size. 5060b57cec5SDimitry Andric Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); // FixIt text. 5070b57cec5SDimitry Andric Abbrevs.set(RECORD_FIXIT, Stream.EmitBlockInfoAbbrev(BLOCK_DIAG, 5080b57cec5SDimitry Andric Abbrev)); 5090b57cec5SDimitry Andric 5100b57cec5SDimitry Andric Stream.ExitBlock(); 5110b57cec5SDimitry Andric } 5120b57cec5SDimitry Andric 5130b57cec5SDimitry Andric void SDiagsWriter::EmitMetaBlock() { 5140b57cec5SDimitry Andric llvm::BitstreamWriter &Stream = State->Stream; 5150b57cec5SDimitry Andric AbbreviationMap &Abbrevs = State->Abbrevs; 5160b57cec5SDimitry Andric 5170b57cec5SDimitry Andric Stream.EnterSubblock(BLOCK_META, 3); 5180b57cec5SDimitry Andric RecordData::value_type Record[] = {RECORD_VERSION, VersionNumber}; 5190b57cec5SDimitry Andric Stream.EmitRecordWithAbbrev(Abbrevs.get(RECORD_VERSION), Record); 5200b57cec5SDimitry Andric Stream.ExitBlock(); 5210b57cec5SDimitry Andric } 5220b57cec5SDimitry Andric 5230b57cec5SDimitry Andric unsigned SDiagsWriter::getEmitCategory(unsigned int category) { 5240b57cec5SDimitry Andric if (!State->Categories.insert(category).second) 5250b57cec5SDimitry Andric return category; 5260b57cec5SDimitry Andric 5270b57cec5SDimitry Andric // We use a local version of 'Record' so that we can be generating 5280b57cec5SDimitry Andric // another record when we lazily generate one for the category entry. 5290b57cec5SDimitry Andric StringRef catName = DiagnosticIDs::getCategoryNameFromID(category); 5300b57cec5SDimitry Andric RecordData::value_type Record[] = {RECORD_CATEGORY, category, catName.size()}; 5310b57cec5SDimitry Andric State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_CATEGORY), Record, 5320b57cec5SDimitry Andric catName); 5330b57cec5SDimitry Andric 5340b57cec5SDimitry Andric return category; 5350b57cec5SDimitry Andric } 5360b57cec5SDimitry Andric 5370b57cec5SDimitry Andric unsigned SDiagsWriter::getEmitDiagnosticFlag(DiagnosticsEngine::Level DiagLevel, 5380b57cec5SDimitry Andric unsigned DiagID) { 5390b57cec5SDimitry Andric if (DiagLevel == DiagnosticsEngine::Note) 5400b57cec5SDimitry Andric return 0; // No flag for notes. 5410b57cec5SDimitry Andric 5420b57cec5SDimitry Andric StringRef FlagName = DiagnosticIDs::getWarningOptionForDiag(DiagID); 5430b57cec5SDimitry Andric return getEmitDiagnosticFlag(FlagName); 5440b57cec5SDimitry Andric } 5450b57cec5SDimitry Andric 5460b57cec5SDimitry Andric unsigned SDiagsWriter::getEmitDiagnosticFlag(StringRef FlagName) { 5470b57cec5SDimitry Andric if (FlagName.empty()) 5480b57cec5SDimitry Andric return 0; 5490b57cec5SDimitry Andric 5500b57cec5SDimitry Andric // Here we assume that FlagName points to static data whose pointer 5510b57cec5SDimitry Andric // value is fixed. This allows us to unique by diagnostic groups. 5520b57cec5SDimitry Andric const void *data = FlagName.data(); 5530b57cec5SDimitry Andric std::pair<unsigned, StringRef> &entry = State->DiagFlags[data]; 5540b57cec5SDimitry Andric if (entry.first == 0) { 5550b57cec5SDimitry Andric entry.first = State->DiagFlags.size(); 5560b57cec5SDimitry Andric entry.second = FlagName; 5570b57cec5SDimitry Andric 5580b57cec5SDimitry Andric // Lazily emit the string in a separate record. 5590b57cec5SDimitry Andric RecordData::value_type Record[] = {RECORD_DIAG_FLAG, entry.first, 5600b57cec5SDimitry Andric FlagName.size()}; 5610b57cec5SDimitry Andric State->Stream.EmitRecordWithBlob(State->Abbrevs.get(RECORD_DIAG_FLAG), 5620b57cec5SDimitry Andric Record, FlagName); 5630b57cec5SDimitry Andric } 5640b57cec5SDimitry Andric 5650b57cec5SDimitry Andric return entry.first; 5660b57cec5SDimitry Andric } 5670b57cec5SDimitry Andric 5680b57cec5SDimitry Andric void SDiagsWriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, 5690b57cec5SDimitry Andric const Diagnostic &Info) { 5700b57cec5SDimitry Andric // Enter the block for a non-note diagnostic immediately, rather than waiting 5710b57cec5SDimitry Andric // for beginDiagnostic, in case associated notes are emitted before we get 5720b57cec5SDimitry Andric // there. 5730b57cec5SDimitry Andric if (DiagLevel != DiagnosticsEngine::Note) { 5740b57cec5SDimitry Andric if (State->EmittedAnyDiagBlocks) 5750b57cec5SDimitry Andric ExitDiagBlock(); 5760b57cec5SDimitry Andric 5770b57cec5SDimitry Andric EnterDiagBlock(); 5780b57cec5SDimitry Andric State->EmittedAnyDiagBlocks = true; 5790b57cec5SDimitry Andric } 5800b57cec5SDimitry Andric 5810b57cec5SDimitry Andric // Compute the diagnostic text. 5820b57cec5SDimitry Andric State->diagBuf.clear(); 5830b57cec5SDimitry Andric Info.FormatDiagnostic(State->diagBuf); 5840b57cec5SDimitry Andric 5850b57cec5SDimitry Andric if (Info.getLocation().isInvalid()) { 5860b57cec5SDimitry Andric // Special-case diagnostics with no location. We may not have entered a 5870b57cec5SDimitry Andric // source file in this case, so we can't use the normal DiagnosticsRenderer 5880b57cec5SDimitry Andric // machinery. 5890b57cec5SDimitry Andric 5900b57cec5SDimitry Andric // Make sure we bracket all notes as "sub-diagnostics". This matches 5910b57cec5SDimitry Andric // the behavior in SDiagsRenderer::emitDiagnostic(). 5920b57cec5SDimitry Andric if (DiagLevel == DiagnosticsEngine::Note) 5930b57cec5SDimitry Andric EnterDiagBlock(); 5940b57cec5SDimitry Andric 5950b57cec5SDimitry Andric EmitDiagnosticMessage(FullSourceLoc(), PresumedLoc(), DiagLevel, 5960b57cec5SDimitry Andric State->diagBuf, &Info); 5970b57cec5SDimitry Andric 5980b57cec5SDimitry Andric if (DiagLevel == DiagnosticsEngine::Note) 5990b57cec5SDimitry Andric ExitDiagBlock(); 6000b57cec5SDimitry Andric 6010b57cec5SDimitry Andric return; 6020b57cec5SDimitry Andric } 6030b57cec5SDimitry Andric 6040b57cec5SDimitry Andric assert(Info.hasSourceManager() && LangOpts && 6050b57cec5SDimitry Andric "Unexpected diagnostic with valid location outside of a source file"); 6060b57cec5SDimitry Andric SDiagsRenderer Renderer(*this, *LangOpts, &*State->DiagOpts); 6070b57cec5SDimitry Andric Renderer.emitDiagnostic( 6080b57cec5SDimitry Andric FullSourceLoc(Info.getLocation(), Info.getSourceManager()), DiagLevel, 6090b57cec5SDimitry Andric State->diagBuf, Info.getRanges(), Info.getFixItHints(), &Info); 6100b57cec5SDimitry Andric } 6110b57cec5SDimitry Andric 6120b57cec5SDimitry Andric static serialized_diags::Level getStableLevel(DiagnosticsEngine::Level Level) { 6130b57cec5SDimitry Andric switch (Level) { 6140b57cec5SDimitry Andric #define CASE(X) case DiagnosticsEngine::X: return serialized_diags::X; 6150b57cec5SDimitry Andric CASE(Ignored) 6160b57cec5SDimitry Andric CASE(Note) 6170b57cec5SDimitry Andric CASE(Remark) 6180b57cec5SDimitry Andric CASE(Warning) 6190b57cec5SDimitry Andric CASE(Error) 6200b57cec5SDimitry Andric CASE(Fatal) 6210b57cec5SDimitry Andric #undef CASE 6220b57cec5SDimitry Andric } 6230b57cec5SDimitry Andric 6240b57cec5SDimitry Andric llvm_unreachable("invalid diagnostic level"); 6250b57cec5SDimitry Andric } 6260b57cec5SDimitry Andric 6270b57cec5SDimitry Andric void SDiagsWriter::EmitDiagnosticMessage(FullSourceLoc Loc, PresumedLoc PLoc, 6280b57cec5SDimitry Andric DiagnosticsEngine::Level Level, 6290b57cec5SDimitry Andric StringRef Message, 6300b57cec5SDimitry Andric DiagOrStoredDiag D) { 6310b57cec5SDimitry Andric llvm::BitstreamWriter &Stream = State->Stream; 6320b57cec5SDimitry Andric RecordData &Record = State->Record; 6330b57cec5SDimitry Andric AbbreviationMap &Abbrevs = State->Abbrevs; 6340b57cec5SDimitry Andric 6350b57cec5SDimitry Andric // Emit the RECORD_DIAG record. 6360b57cec5SDimitry Andric Record.clear(); 6370b57cec5SDimitry Andric Record.push_back(RECORD_DIAG); 6380b57cec5SDimitry Andric Record.push_back(getStableLevel(Level)); 6390b57cec5SDimitry Andric AddLocToRecord(Loc, PLoc, Record); 6400b57cec5SDimitry Andric 6410b57cec5SDimitry Andric if (const Diagnostic *Info = D.dyn_cast<const Diagnostic*>()) { 6420b57cec5SDimitry Andric // Emit the category string lazily and get the category ID. 6430b57cec5SDimitry Andric unsigned DiagID = DiagnosticIDs::getCategoryNumberForDiag(Info->getID()); 6440b57cec5SDimitry Andric Record.push_back(getEmitCategory(DiagID)); 6450b57cec5SDimitry Andric // Emit the diagnostic flag string lazily and get the mapped ID. 6460b57cec5SDimitry Andric Record.push_back(getEmitDiagnosticFlag(Level, Info->getID())); 6470b57cec5SDimitry Andric } else { 6480b57cec5SDimitry Andric Record.push_back(getEmitCategory()); 6490b57cec5SDimitry Andric Record.push_back(getEmitDiagnosticFlag(Level)); 6500b57cec5SDimitry Andric } 6510b57cec5SDimitry Andric 6520b57cec5SDimitry Andric Record.push_back(Message.size()); 6530b57cec5SDimitry Andric Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_DIAG), Record, Message); 6540b57cec5SDimitry Andric } 6550b57cec5SDimitry Andric 6560b57cec5SDimitry Andric void SDiagsRenderer::emitDiagnosticMessage( 6570b57cec5SDimitry Andric FullSourceLoc Loc, PresumedLoc PLoc, DiagnosticsEngine::Level Level, 6580b57cec5SDimitry Andric StringRef Message, ArrayRef<clang::CharSourceRange> Ranges, 6590b57cec5SDimitry Andric DiagOrStoredDiag D) { 6600b57cec5SDimitry Andric Writer.EmitDiagnosticMessage(Loc, PLoc, Level, Message, D); 6610b57cec5SDimitry Andric } 6620b57cec5SDimitry Andric 6630b57cec5SDimitry Andric void SDiagsWriter::EnterDiagBlock() { 6640b57cec5SDimitry Andric State->Stream.EnterSubblock(BLOCK_DIAG, 4); 6650b57cec5SDimitry Andric } 6660b57cec5SDimitry Andric 6670b57cec5SDimitry Andric void SDiagsWriter::ExitDiagBlock() { 6680b57cec5SDimitry Andric State->Stream.ExitBlock(); 6690b57cec5SDimitry Andric } 6700b57cec5SDimitry Andric 6710b57cec5SDimitry Andric void SDiagsRenderer::beginDiagnostic(DiagOrStoredDiag D, 6720b57cec5SDimitry Andric DiagnosticsEngine::Level Level) { 6730b57cec5SDimitry Andric if (Level == DiagnosticsEngine::Note) 6740b57cec5SDimitry Andric Writer.EnterDiagBlock(); 6750b57cec5SDimitry Andric } 6760b57cec5SDimitry Andric 6770b57cec5SDimitry Andric void SDiagsRenderer::endDiagnostic(DiagOrStoredDiag D, 6780b57cec5SDimitry Andric DiagnosticsEngine::Level Level) { 6790b57cec5SDimitry Andric // Only end note diagnostics here, because we can't be sure when we've seen 6800b57cec5SDimitry Andric // the last note associated with a non-note diagnostic. 6810b57cec5SDimitry Andric if (Level == DiagnosticsEngine::Note) 6820b57cec5SDimitry Andric Writer.ExitDiagBlock(); 6830b57cec5SDimitry Andric } 6840b57cec5SDimitry Andric 6850b57cec5SDimitry Andric void SDiagsWriter::EmitCodeContext(SmallVectorImpl<CharSourceRange> &Ranges, 6860b57cec5SDimitry Andric ArrayRef<FixItHint> Hints, 6870b57cec5SDimitry Andric const SourceManager &SM) { 6880b57cec5SDimitry Andric llvm::BitstreamWriter &Stream = State->Stream; 6890b57cec5SDimitry Andric RecordData &Record = State->Record; 6900b57cec5SDimitry Andric AbbreviationMap &Abbrevs = State->Abbrevs; 6910b57cec5SDimitry Andric 6920b57cec5SDimitry Andric // Emit Source Ranges. 6930b57cec5SDimitry Andric for (ArrayRef<CharSourceRange>::iterator I = Ranges.begin(), E = Ranges.end(); 6940b57cec5SDimitry Andric I != E; ++I) 6950b57cec5SDimitry Andric if (I->isValid()) 6960b57cec5SDimitry Andric EmitCharSourceRange(*I, SM); 6970b57cec5SDimitry Andric 6980b57cec5SDimitry Andric // Emit FixIts. 6990b57cec5SDimitry Andric for (ArrayRef<FixItHint>::iterator I = Hints.begin(), E = Hints.end(); 7000b57cec5SDimitry Andric I != E; ++I) { 7010b57cec5SDimitry Andric const FixItHint &Fix = *I; 7020b57cec5SDimitry Andric if (Fix.isNull()) 7030b57cec5SDimitry Andric continue; 7040b57cec5SDimitry Andric Record.clear(); 7050b57cec5SDimitry Andric Record.push_back(RECORD_FIXIT); 7060b57cec5SDimitry Andric AddCharSourceRangeToRecord(Fix.RemoveRange, Record, SM); 7070b57cec5SDimitry Andric Record.push_back(Fix.CodeToInsert.size()); 7080b57cec5SDimitry Andric Stream.EmitRecordWithBlob(Abbrevs.get(RECORD_FIXIT), Record, 7090b57cec5SDimitry Andric Fix.CodeToInsert); 7100b57cec5SDimitry Andric } 7110b57cec5SDimitry Andric } 7120b57cec5SDimitry Andric 7130b57cec5SDimitry Andric void SDiagsRenderer::emitCodeContext(FullSourceLoc Loc, 7140b57cec5SDimitry Andric DiagnosticsEngine::Level Level, 7150b57cec5SDimitry Andric SmallVectorImpl<CharSourceRange> &Ranges, 7160b57cec5SDimitry Andric ArrayRef<FixItHint> Hints) { 7170b57cec5SDimitry Andric Writer.EmitCodeContext(Ranges, Hints, Loc.getManager()); 7180b57cec5SDimitry Andric } 7190b57cec5SDimitry Andric 7200b57cec5SDimitry Andric void SDiagsRenderer::emitNote(FullSourceLoc Loc, StringRef Message) { 7210b57cec5SDimitry Andric Writer.EnterDiagBlock(); 7220b57cec5SDimitry Andric PresumedLoc PLoc = Loc.hasManager() ? Loc.getPresumedLoc() : PresumedLoc(); 7230b57cec5SDimitry Andric Writer.EmitDiagnosticMessage(Loc, PLoc, DiagnosticsEngine::Note, Message, 7240b57cec5SDimitry Andric DiagOrStoredDiag()); 7250b57cec5SDimitry Andric Writer.ExitDiagBlock(); 7260b57cec5SDimitry Andric } 7270b57cec5SDimitry Andric 7280b57cec5SDimitry Andric DiagnosticsEngine *SDiagsWriter::getMetaDiags() { 7290b57cec5SDimitry Andric // FIXME: It's slightly absurd to create a new diagnostics engine here, but 7300b57cec5SDimitry Andric // the other options that are available today are worse: 7310b57cec5SDimitry Andric // 7320b57cec5SDimitry Andric // 1. Teach DiagnosticsConsumers to emit diagnostics to the engine they are a 7330b57cec5SDimitry Andric // part of. The DiagnosticsEngine would need to know not to send 7340b57cec5SDimitry Andric // diagnostics back to the consumer that failed. This would require us to 7350b57cec5SDimitry Andric // rework ChainedDiagnosticsConsumer and teach the engine about multiple 7360b57cec5SDimitry Andric // consumers, which is difficult today because most APIs interface with 7370b57cec5SDimitry Andric // consumers rather than the engine itself. 7380b57cec5SDimitry Andric // 7390b57cec5SDimitry Andric // 2. Pass a DiagnosticsEngine to SDiagsWriter on creation - this would need 7400b57cec5SDimitry Andric // to be distinct from the engine the writer was being added to and would 7410b57cec5SDimitry Andric // normally not be used. 7420b57cec5SDimitry Andric if (!State->MetaDiagnostics) { 7430b57cec5SDimitry Andric IntrusiveRefCntPtr<DiagnosticIDs> IDs(new DiagnosticIDs()); 7440b57cec5SDimitry Andric auto Client = 7450b57cec5SDimitry Andric new TextDiagnosticPrinter(llvm::errs(), State->DiagOpts.get()); 746*a7dea167SDimitry Andric State->MetaDiagnostics = std::make_unique<DiagnosticsEngine>( 7470b57cec5SDimitry Andric IDs, State->DiagOpts.get(), Client); 7480b57cec5SDimitry Andric } 7490b57cec5SDimitry Andric return State->MetaDiagnostics.get(); 7500b57cec5SDimitry Andric } 7510b57cec5SDimitry Andric 7520b57cec5SDimitry Andric void SDiagsWriter::RemoveOldDiagnostics() { 7530b57cec5SDimitry Andric if (!llvm::sys::fs::remove(State->OutputFile)) 7540b57cec5SDimitry Andric return; 7550b57cec5SDimitry Andric 7560b57cec5SDimitry Andric getMetaDiags()->Report(diag::warn_fe_serialized_diag_merge_failure); 7570b57cec5SDimitry Andric // Disable merging child records, as whatever is in this file may be 7580b57cec5SDimitry Andric // misleading. 7590b57cec5SDimitry Andric MergeChildRecords = false; 7600b57cec5SDimitry Andric } 7610b57cec5SDimitry Andric 7620b57cec5SDimitry Andric void SDiagsWriter::finish() { 7630b57cec5SDimitry Andric // The original instance is responsible for writing the file. 7640b57cec5SDimitry Andric if (!OriginalInstance) 7650b57cec5SDimitry Andric return; 7660b57cec5SDimitry Andric 7670b57cec5SDimitry Andric // Finish off any diagnostic we were in the process of emitting. 7680b57cec5SDimitry Andric if (State->EmittedAnyDiagBlocks) 7690b57cec5SDimitry Andric ExitDiagBlock(); 7700b57cec5SDimitry Andric 7710b57cec5SDimitry Andric if (MergeChildRecords) { 7720b57cec5SDimitry Andric if (!State->EmittedAnyDiagBlocks) 7730b57cec5SDimitry Andric // We have no diagnostics of our own, so we can just leave the child 7740b57cec5SDimitry Andric // process' output alone 7750b57cec5SDimitry Andric return; 7760b57cec5SDimitry Andric 7770b57cec5SDimitry Andric if (llvm::sys::fs::exists(State->OutputFile)) 7780b57cec5SDimitry Andric if (SDiagsMerger(*this).mergeRecordsFromFile(State->OutputFile.c_str())) 7790b57cec5SDimitry Andric getMetaDiags()->Report(diag::warn_fe_serialized_diag_merge_failure); 7800b57cec5SDimitry Andric } 7810b57cec5SDimitry Andric 7820b57cec5SDimitry Andric std::error_code EC; 783*a7dea167SDimitry Andric auto OS = std::make_unique<llvm::raw_fd_ostream>(State->OutputFile.c_str(), 784*a7dea167SDimitry Andric EC, llvm::sys::fs::OF_None); 7850b57cec5SDimitry Andric if (EC) { 7860b57cec5SDimitry Andric getMetaDiags()->Report(diag::warn_fe_serialized_diag_failure) 7870b57cec5SDimitry Andric << State->OutputFile << EC.message(); 7880b57cec5SDimitry Andric return; 7890b57cec5SDimitry Andric } 7900b57cec5SDimitry Andric 7910b57cec5SDimitry Andric // Write the generated bitstream to "Out". 7920b57cec5SDimitry Andric OS->write((char *)&State->Buffer.front(), State->Buffer.size()); 7930b57cec5SDimitry Andric OS->flush(); 7940b57cec5SDimitry Andric } 7950b57cec5SDimitry Andric 7960b57cec5SDimitry Andric std::error_code SDiagsMerger::visitStartOfDiagnostic() { 7970b57cec5SDimitry Andric Writer.EnterDiagBlock(); 7980b57cec5SDimitry Andric return std::error_code(); 7990b57cec5SDimitry Andric } 8000b57cec5SDimitry Andric 8010b57cec5SDimitry Andric std::error_code SDiagsMerger::visitEndOfDiagnostic() { 8020b57cec5SDimitry Andric Writer.ExitDiagBlock(); 8030b57cec5SDimitry Andric return std::error_code(); 8040b57cec5SDimitry Andric } 8050b57cec5SDimitry Andric 8060b57cec5SDimitry Andric std::error_code 8070b57cec5SDimitry Andric SDiagsMerger::visitSourceRangeRecord(const serialized_diags::Location &Start, 8080b57cec5SDimitry Andric const serialized_diags::Location &End) { 8090b57cec5SDimitry Andric RecordData::value_type Record[] = { 8100b57cec5SDimitry Andric RECORD_SOURCE_RANGE, FileLookup[Start.FileID], Start.Line, Start.Col, 8110b57cec5SDimitry Andric Start.Offset, FileLookup[End.FileID], End.Line, End.Col, End.Offset}; 8120b57cec5SDimitry Andric Writer.State->Stream.EmitRecordWithAbbrev( 8130b57cec5SDimitry Andric Writer.State->Abbrevs.get(RECORD_SOURCE_RANGE), Record); 8140b57cec5SDimitry Andric return std::error_code(); 8150b57cec5SDimitry Andric } 8160b57cec5SDimitry Andric 8170b57cec5SDimitry Andric std::error_code SDiagsMerger::visitDiagnosticRecord( 8180b57cec5SDimitry Andric unsigned Severity, const serialized_diags::Location &Location, 8190b57cec5SDimitry Andric unsigned Category, unsigned Flag, StringRef Message) { 8200b57cec5SDimitry Andric RecordData::value_type Record[] = { 8210b57cec5SDimitry Andric RECORD_DIAG, Severity, FileLookup[Location.FileID], Location.Line, 8220b57cec5SDimitry Andric Location.Col, Location.Offset, CategoryLookup[Category], 8230b57cec5SDimitry Andric Flag ? DiagFlagLookup[Flag] : 0, Message.size()}; 8240b57cec5SDimitry Andric 8250b57cec5SDimitry Andric Writer.State->Stream.EmitRecordWithBlob( 8260b57cec5SDimitry Andric Writer.State->Abbrevs.get(RECORD_DIAG), Record, Message); 8270b57cec5SDimitry Andric return std::error_code(); 8280b57cec5SDimitry Andric } 8290b57cec5SDimitry Andric 8300b57cec5SDimitry Andric std::error_code 8310b57cec5SDimitry Andric SDiagsMerger::visitFixitRecord(const serialized_diags::Location &Start, 8320b57cec5SDimitry Andric const serialized_diags::Location &End, 8330b57cec5SDimitry Andric StringRef Text) { 8340b57cec5SDimitry Andric RecordData::value_type Record[] = {RECORD_FIXIT, FileLookup[Start.FileID], 8350b57cec5SDimitry Andric Start.Line, Start.Col, Start.Offset, 8360b57cec5SDimitry Andric FileLookup[End.FileID], End.Line, End.Col, 8370b57cec5SDimitry Andric End.Offset, Text.size()}; 8380b57cec5SDimitry Andric 8390b57cec5SDimitry Andric Writer.State->Stream.EmitRecordWithBlob( 8400b57cec5SDimitry Andric Writer.State->Abbrevs.get(RECORD_FIXIT), Record, Text); 8410b57cec5SDimitry Andric return std::error_code(); 8420b57cec5SDimitry Andric } 8430b57cec5SDimitry Andric 8440b57cec5SDimitry Andric std::error_code SDiagsMerger::visitFilenameRecord(unsigned ID, unsigned Size, 8450b57cec5SDimitry Andric unsigned Timestamp, 8460b57cec5SDimitry Andric StringRef Name) { 8470b57cec5SDimitry Andric FileLookup[ID] = Writer.getEmitFile(Name.str().c_str()); 8480b57cec5SDimitry Andric return std::error_code(); 8490b57cec5SDimitry Andric } 8500b57cec5SDimitry Andric 8510b57cec5SDimitry Andric std::error_code SDiagsMerger::visitCategoryRecord(unsigned ID, StringRef Name) { 8520b57cec5SDimitry Andric CategoryLookup[ID] = Writer.getEmitCategory(ID); 8530b57cec5SDimitry Andric return std::error_code(); 8540b57cec5SDimitry Andric } 8550b57cec5SDimitry Andric 8560b57cec5SDimitry Andric std::error_code SDiagsMerger::visitDiagFlagRecord(unsigned ID, StringRef Name) { 8570b57cec5SDimitry Andric DiagFlagLookup[ID] = Writer.getEmitDiagnosticFlag(Name); 8580b57cec5SDimitry Andric return std::error_code(); 8590b57cec5SDimitry Andric } 860