mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
Print diagnostic groups as part of the LLVM printer in the same manner as the
Swift one does, always. Make `-print-diagnostic-groups` an inert option, since we
always print diagnostic group names with the `[#GroupName]` syntax.
As part of this, we no longer render the diagnostic group name as part
of the diagnostic *text*, instead leaving it up to the diagnostic
renderer to handle the category appropriately. Update all of the tests
that were depending on `-print-diagnostic-groups` putting it into the
text to instead use the `{{documentation-file=<file name>}}`
diagnostic verification syntax.
219 lines
7.2 KiB
C++
219 lines
7.2 KiB
C++
//===--- PrintingDiagnosticConsumer.cpp - Print Text Diagnostics ----------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2020 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file implements the PrintingDiagnosticConsumer class.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "swift/Frontend/PrintingDiagnosticConsumer.h"
|
|
#include "swift/AST/ASTBridging.h"
|
|
#include "swift/AST/DiagnosticBridge.h"
|
|
#include "swift/AST/DiagnosticEngine.h"
|
|
#include "swift/Basic/ColorUtils.h"
|
|
#include "swift/Basic/LLVM.h"
|
|
#include "swift/Basic/SourceManager.h"
|
|
#include "swift/Bridging/ASTGen.h"
|
|
#include "llvm/ADT/SmallString.h"
|
|
#include "llvm/ADT/StringRef.h"
|
|
#include "llvm/ADT/Twine.h"
|
|
#include "llvm/Support/MemoryBuffer.h"
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
using namespace swift;
|
|
|
|
// MARK: Main DiagnosticConsumer entrypoint.
|
|
void PrintingDiagnosticConsumer::handleDiagnostic(SourceManager &SM,
|
|
const DiagnosticInfo &Info) {
|
|
if (Info.Kind == DiagnosticKind::Error) {
|
|
DidErrorOccur = true;
|
|
}
|
|
|
|
if (SuppressOutput)
|
|
return;
|
|
|
|
if (Info.IsChildNote)
|
|
return;
|
|
|
|
switch (FormattingStyle) {
|
|
case DiagnosticOptions::FormattingStyle::Swift: {
|
|
#if SWIFT_BUILD_SWIFT_SYNTAX
|
|
// Use the swift-syntax formatter.
|
|
auto bufferStack = DiagnosticBridge::getSourceBufferStack(SM, Info.Loc);
|
|
if (!bufferStack.empty()) {
|
|
if (Info.Kind != DiagnosticKind::Note)
|
|
DiagBridge.flush(Stream, /*includeTrailingBreak=*/true,
|
|
/*forceColors=*/ForceColors);
|
|
|
|
DiagBridge.enqueueDiagnostic(SM, Info, bufferStack.front());
|
|
break;
|
|
}
|
|
#endif
|
|
|
|
// Fall through when we don't have the new diagnostics renderer available.
|
|
// This also happens if the location of the diagnostic is invalid, because
|
|
// the new rendered cannot cope with that.
|
|
LLVM_FALLTHROUGH;
|
|
}
|
|
|
|
case DiagnosticOptions::FormattingStyle::LLVM:
|
|
printDiagnostic(SM, Info);
|
|
for (auto ChildInfo : Info.ChildDiagnosticInfo) {
|
|
printDiagnostic(SM, *ChildInfo);
|
|
}
|
|
break;
|
|
}
|
|
}
|
|
|
|
void PrintingDiagnosticConsumer::flush(bool includeTrailingBreak) {
|
|
#if SWIFT_BUILD_SWIFT_SYNTAX
|
|
DiagBridge.flush(Stream, includeTrailingBreak,
|
|
/*forceColors=*/ForceColors);
|
|
#endif
|
|
}
|
|
|
|
bool PrintingDiagnosticConsumer::finishProcessing() {
|
|
// If there's an in-flight snippet, flush it.
|
|
flush(false);
|
|
|
|
#if SWIFT_BUILD_SWIFT_SYNTAX
|
|
// Print out footnotes for any category that was referenced.
|
|
DiagBridge.printCategoryFootnotes(Stream, ForceColors);
|
|
#endif
|
|
|
|
return false;
|
|
}
|
|
|
|
// MARK: LLVM style diagnostic printing
|
|
void PrintingDiagnosticConsumer::printDiagnostic(SourceManager &SM,
|
|
const DiagnosticInfo &Info) {
|
|
|
|
// Determine what kind of diagnostic we're emitting.
|
|
llvm::SourceMgr::DiagKind SMKind;
|
|
switch (Info.Kind) {
|
|
case DiagnosticKind::Error:
|
|
SMKind = llvm::SourceMgr::DK_Error;
|
|
break;
|
|
case DiagnosticKind::Warning:
|
|
SMKind = llvm::SourceMgr::DK_Warning;
|
|
break;
|
|
|
|
case DiagnosticKind::Note:
|
|
SMKind = llvm::SourceMgr::DK_Note;
|
|
break;
|
|
|
|
case DiagnosticKind::Remark:
|
|
SMKind = llvm::SourceMgr::DK_Remark;
|
|
break;
|
|
}
|
|
|
|
// Translate ranges.
|
|
SmallVector<llvm::SMRange, 2> Ranges;
|
|
for (auto R : Info.Ranges)
|
|
Ranges.push_back(getRawRange(SM, R));
|
|
|
|
// Translate fix-its.
|
|
SmallVector<llvm::SMFixIt, 2> FixIts;
|
|
for (DiagnosticInfo::FixIt F : Info.FixIts)
|
|
FixIts.push_back(getRawFixIt(SM, F));
|
|
|
|
// Display the diagnostic.
|
|
ColoredStream coloredErrs{Stream};
|
|
raw_ostream &out = ForceColors ? coloredErrs : Stream;
|
|
const llvm::SourceMgr &rawSM = SM.getLLVMSourceMgr();
|
|
|
|
// Actually substitute the diagnostic arguments into the diagnostic text.
|
|
llvm::SmallString<256> Text;
|
|
{
|
|
llvm::raw_svector_ostream Out(Text);
|
|
DiagnosticEngine::formatDiagnosticText(Out, Info.FormatString,
|
|
Info.FormatArgs);
|
|
|
|
if (!Info.Category.empty())
|
|
Out << " [#" << Info.Category << "]";
|
|
}
|
|
|
|
auto Msg = SM.GetMessage(Info.Loc, SMKind, Text, Ranges, FixIts,
|
|
EmitMacroExpansionFiles);
|
|
rawSM.PrintMessage(out, Msg, ForceColors);
|
|
}
|
|
|
|
llvm::SMDiagnostic
|
|
SourceManager::GetMessage(SourceLoc Loc, llvm::SourceMgr::DiagKind Kind,
|
|
const Twine &Msg,
|
|
ArrayRef<llvm::SMRange> Ranges,
|
|
ArrayRef<llvm::SMFixIt> FixIts,
|
|
bool EmitMacroExpansionFiles) const {
|
|
|
|
// First thing to do: find the current buffer containing the specified
|
|
// location to pull out the source line.
|
|
SmallVector<std::pair<unsigned, unsigned>, 4> ColRanges;
|
|
std::pair<unsigned, unsigned> LineAndCol;
|
|
StringRef BufferID = "<unknown>";
|
|
std::string LineStr;
|
|
|
|
if (Loc.isValid()) {
|
|
BufferID = getDisplayNameForLoc(Loc, EmitMacroExpansionFiles);
|
|
auto CurMB = LLVMSourceMgr.getMemoryBuffer(findBufferContainingLoc(Loc));
|
|
|
|
// Scan backward to find the start of the line.
|
|
const char *LineStart = Loc.Value.getPointer();
|
|
const char *BufStart = CurMB->getBufferStart();
|
|
while (LineStart != BufStart && LineStart[-1] != '\n' &&
|
|
LineStart[-1] != '\r')
|
|
--LineStart;
|
|
|
|
// Get the end of the line.
|
|
const char *LineEnd = Loc.Value.getPointer();
|
|
const char *BufEnd = CurMB->getBufferEnd();
|
|
while (LineEnd != BufEnd && LineEnd[0] != '\n' && LineEnd[0] != '\r')
|
|
++LineEnd;
|
|
LineStr = std::string(LineStart, LineEnd);
|
|
|
|
// Convert any ranges to column ranges that only intersect the line of the
|
|
// location.
|
|
for (unsigned i = 0, e = Ranges.size(); i != e; ++i) {
|
|
llvm::SMRange R = Ranges[i];
|
|
if (!R.isValid()) continue;
|
|
|
|
// If the line doesn't contain any part of the range, then ignore it.
|
|
if (R.Start.getPointer() > LineEnd || R.End.getPointer() < LineStart)
|
|
continue;
|
|
|
|
// Ignore pieces of the range that go onto other lines.
|
|
if (R.Start.getPointer() < LineStart)
|
|
R.Start = llvm::SMLoc::getFromPointer(LineStart);
|
|
if (R.End.getPointer() > LineEnd)
|
|
R.End = llvm::SMLoc::getFromPointer(LineEnd);
|
|
|
|
// Translate from SMLoc ranges to column ranges.
|
|
// FIXME: Handle multibyte characters.
|
|
ColRanges.push_back(std::make_pair(R.Start.getPointer()-LineStart,
|
|
R.End.getPointer()-LineStart));
|
|
}
|
|
|
|
LineAndCol = getPresumedLineAndColumnForLoc(Loc);
|
|
}
|
|
|
|
return llvm::SMDiagnostic(LLVMSourceMgr, Loc.Value, BufferID,
|
|
LineAndCol.first,
|
|
LineAndCol.second-1, Kind, Msg.str(),
|
|
LineStr, ColRanges, FixIts);
|
|
}
|
|
|
|
// These must come after the declaration of AnnotatedSourceSnippet due to the
|
|
// `currentSnippet` member.
|
|
PrintingDiagnosticConsumer::PrintingDiagnosticConsumer(
|
|
llvm::raw_ostream &stream)
|
|
: Stream(stream) {}
|
|
|
|
PrintingDiagnosticConsumer::~PrintingDiagnosticConsumer() {}
|