2018-08-15 00:03:32 +08:00
|
|
|
//===--- Diagnostics.cpp -----------------------------------------*- C++-*-===//
|
2018-03-12 23:28:22 +08:00
|
|
|
//
|
2019-01-19 16:50:56 +08:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2018-03-12 23:28:22 +08:00
|
|
|
//
|
2018-08-15 00:03:32 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
2018-03-12 23:28:22 +08:00
|
|
|
|
|
|
|
#include "Diagnostics.h"
|
2019-04-17 20:35:16 +08:00
|
|
|
#include "../clang-tidy/ClangTidyDiagnosticConsumer.h"
|
2018-03-12 23:28:22 +08:00
|
|
|
#include "Compiler.h"
|
|
|
|
#include "Logger.h"
|
2019-04-18 23:17:07 +08:00
|
|
|
#include "Protocol.h"
|
2018-03-12 23:28:22 +08:00
|
|
|
#include "SourceCode.h"
|
2019-04-17 20:35:16 +08:00
|
|
|
#include "clang/Basic/AllDiagnostics.h"
|
2019-04-29 18:25:44 +08:00
|
|
|
#include "clang/Basic/Diagnostic.h"
|
2019-04-17 20:35:16 +08:00
|
|
|
#include "clang/Basic/DiagnosticIDs.h"
|
2019-04-29 18:25:44 +08:00
|
|
|
#include "clang/Basic/FileManager.h"
|
2018-03-12 23:28:22 +08:00
|
|
|
#include "clang/Basic/SourceManager.h"
|
|
|
|
#include "clang/Lex/Lexer.h"
|
2019-06-13 20:31:36 +08:00
|
|
|
#include "clang/Lex/Token.h"
|
2019-04-29 18:25:44 +08:00
|
|
|
#include "llvm/ADT/ArrayRef.h"
|
2019-07-30 18:26:51 +08:00
|
|
|
#include "llvm/ADT/DenseSet.h"
|
2019-04-29 18:25:44 +08:00
|
|
|
#include "llvm/ADT/StringRef.h"
|
|
|
|
#include "llvm/ADT/Twine.h"
|
2018-03-12 23:28:22 +08:00
|
|
|
#include "llvm/Support/Capacity.h"
|
|
|
|
#include "llvm/Support/Path.h"
|
2019-04-29 18:25:44 +08:00
|
|
|
#include "llvm/Support/ScopedPrinter.h"
|
|
|
|
#include "llvm/Support/Signals.h"
|
2019-05-24 18:26:23 +08:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2018-03-12 23:28:22 +08:00
|
|
|
#include <algorithm>
|
2019-05-24 18:26:23 +08:00
|
|
|
#include <cstddef>
|
2018-03-12 23:28:22 +08:00
|
|
|
|
|
|
|
namespace clang {
|
|
|
|
namespace clangd {
|
|
|
|
namespace {
|
|
|
|
|
2019-04-17 20:35:16 +08:00
|
|
|
const char *getDiagnosticCode(unsigned ID) {
|
|
|
|
switch (ID) {
|
|
|
|
#define DIAG(ENUM, CLASS, DEFAULT_MAPPING, DESC, GROPU, SFINAE, NOWERROR, \
|
|
|
|
SHOWINSYSHEADER, CATEGORY) \
|
|
|
|
case clang::diag::ENUM: \
|
|
|
|
return #ENUM;
|
|
|
|
#include "clang/Basic/DiagnosticASTKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticAnalysisKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticCommentKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticCommonKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticDriverKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticFrontendKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticLexKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticParseKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticRefactoringKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticSemaKinds.inc"
|
|
|
|
#include "clang/Basic/DiagnosticSerializationKinds.inc"
|
|
|
|
#undef DIAG
|
|
|
|
default:
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
bool mentionsMainFile(const Diag &D) {
|
|
|
|
if (D.InsideMainFile)
|
|
|
|
return true;
|
|
|
|
// Fixes are always in the main file.
|
|
|
|
if (!D.Fixes.empty())
|
|
|
|
return true;
|
|
|
|
for (auto &N : D.Notes) {
|
|
|
|
if (N.InsideMainFile)
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Checks whether a location is within a half-open range.
|
|
|
|
// Note that clang also uses closed source ranges, which this can't handle!
|
|
|
|
bool locationInRange(SourceLocation L, CharSourceRange R,
|
|
|
|
const SourceManager &M) {
|
|
|
|
assert(R.isCharRange());
|
|
|
|
if (!R.isValid() || M.getFileID(R.getBegin()) != M.getFileID(R.getEnd()) ||
|
|
|
|
M.getFileID(R.getBegin()) != M.getFileID(L))
|
|
|
|
return false;
|
|
|
|
return L != R.getEnd() && M.isPointWithin(L, R.getBegin(), R.getEnd());
|
|
|
|
}
|
|
|
|
|
|
|
|
// Clang diags have a location (shown as ^) and 0 or more ranges (~~~~).
|
|
|
|
// LSP needs a single range.
|
|
|
|
Range diagnosticRange(const clang::Diagnostic &D, const LangOptions &L) {
|
|
|
|
auto &M = D.getSourceManager();
|
|
|
|
auto Loc = M.getFileLoc(D.getLocation());
|
|
|
|
for (const auto &CR : D.getRanges()) {
|
|
|
|
auto R = Lexer::makeFileCharRange(CR, M, L);
|
|
|
|
if (locationInRange(Loc, R, M))
|
|
|
|
return halfOpenToRange(M, R);
|
|
|
|
}
|
|
|
|
// The range may be given as a fixit hint instead.
|
|
|
|
for (const auto &F : D.getFixItHints()) {
|
|
|
|
auto R = Lexer::makeFileCharRange(F.RemoveRange, M, L);
|
|
|
|
if (locationInRange(Loc, R, M))
|
|
|
|
return halfOpenToRange(M, R);
|
|
|
|
}
|
2019-06-13 20:31:36 +08:00
|
|
|
// If the token at the location is not a comment, we use the token.
|
|
|
|
// If we can't get the token at the location, fall back to using the location
|
|
|
|
auto R = CharSourceRange::getCharRange(Loc);
|
|
|
|
Token Tok;
|
|
|
|
if (!Lexer::getRawToken(Loc, Tok, M, L, true) && Tok.isNot(tok::comment)) {
|
|
|
|
R = CharSourceRange::getTokenRange(Tok.getLocation(), Tok.getEndLoc());
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
return halfOpenToRange(M, R);
|
|
|
|
}
|
|
|
|
|
2019-07-30 18:26:51 +08:00
|
|
|
// Returns whether the \p D is modified.
|
|
|
|
bool adjustDiagFromHeader(Diag &D, const clang::Diagnostic &Info,
|
2019-04-29 18:25:44 +08:00
|
|
|
const LangOptions &LangOpts) {
|
2019-07-30 18:26:51 +08:00
|
|
|
// We only report diagnostics with at least error severity from headers.
|
|
|
|
if (D.Severity < DiagnosticsEngine::Level::Error)
|
|
|
|
return false;
|
|
|
|
|
2019-04-29 18:25:44 +08:00
|
|
|
const SourceLocation &DiagLoc = Info.getLocation();
|
|
|
|
const SourceManager &SM = Info.getSourceManager();
|
|
|
|
SourceLocation IncludeInMainFile;
|
|
|
|
auto GetIncludeLoc = [&SM](SourceLocation SLoc) {
|
|
|
|
return SM.getIncludeLoc(SM.getFileID(SLoc));
|
|
|
|
};
|
|
|
|
for (auto IncludeLocation = GetIncludeLoc(DiagLoc); IncludeLocation.isValid();
|
|
|
|
IncludeLocation = GetIncludeLoc(IncludeLocation))
|
|
|
|
IncludeInMainFile = IncludeLocation;
|
|
|
|
if (IncludeInMainFile.isInvalid())
|
2019-07-30 18:26:51 +08:00
|
|
|
return false;
|
2019-04-29 18:25:44 +08:00
|
|
|
|
|
|
|
// Update diag to point at include inside main file.
|
|
|
|
D.File = SM.getFileEntryForID(SM.getMainFileID())->getName().str();
|
|
|
|
D.Range.start = sourceLocToPosition(SM, IncludeInMainFile);
|
|
|
|
D.Range.end = sourceLocToPosition(
|
|
|
|
SM, Lexer::getLocForEndOfToken(IncludeInMainFile, 0, SM, LangOpts));
|
2019-07-30 18:26:51 +08:00
|
|
|
D.InsideMainFile = true;
|
2019-04-29 18:25:44 +08:00
|
|
|
|
|
|
|
// Add a note that will point to real diagnostic.
|
|
|
|
const auto *FE = SM.getFileEntryForID(SM.getFileID(DiagLoc));
|
|
|
|
D.Notes.emplace_back();
|
|
|
|
Note &N = D.Notes.back();
|
|
|
|
N.AbsFile = FE->tryGetRealPathName();
|
|
|
|
N.File = FE->getName();
|
|
|
|
N.Message = "error occurred here";
|
|
|
|
N.Range = diagnosticRange(Info, LangOpts);
|
|
|
|
|
|
|
|
// Update message to mention original file.
|
|
|
|
D.Message = llvm::Twine("in included file: ", D.Message).str();
|
2019-07-30 18:26:51 +08:00
|
|
|
return true;
|
2019-04-29 18:25:44 +08:00
|
|
|
}
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
bool isInsideMainFile(const clang::Diagnostic &D) {
|
|
|
|
if (!D.hasSourceManager())
|
|
|
|
return false;
|
|
|
|
|
2019-07-19 16:33:39 +08:00
|
|
|
return clangd::isInsideMainFile(D.getLocation(), D.getSourceManager());
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
bool isNote(DiagnosticsEngine::Level L) {
|
|
|
|
return L == DiagnosticsEngine::Note || L == DiagnosticsEngine::Remark;
|
|
|
|
}
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::StringRef diagLeveltoString(DiagnosticsEngine::Level Lvl) {
|
2018-03-12 23:28:22 +08:00
|
|
|
switch (Lvl) {
|
|
|
|
case DiagnosticsEngine::Ignored:
|
|
|
|
return "ignored";
|
|
|
|
case DiagnosticsEngine::Note:
|
|
|
|
return "note";
|
|
|
|
case DiagnosticsEngine::Remark:
|
|
|
|
return "remark";
|
|
|
|
case DiagnosticsEngine::Warning:
|
|
|
|
return "warning";
|
|
|
|
case DiagnosticsEngine::Error:
|
|
|
|
return "error";
|
|
|
|
case DiagnosticsEngine::Fatal:
|
|
|
|
return "fatal error";
|
|
|
|
}
|
|
|
|
llvm_unreachable("unhandled DiagnosticsEngine::Level");
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Prints a single diagnostic in a clang-like manner, the output includes
|
|
|
|
/// location, severity and error message. An example of the output message is:
|
|
|
|
///
|
|
|
|
/// main.cpp:12:23: error: undeclared identifier
|
|
|
|
///
|
|
|
|
/// For main file we only print the basename and for all other files we print
|
|
|
|
/// the filename on a separate line to provide a slightly more readable output
|
|
|
|
/// in the editors:
|
|
|
|
///
|
|
|
|
/// dir1/dir2/dir3/../../dir4/header.h:12:23
|
|
|
|
/// error: undeclared identifier
|
2019-01-07 23:45:19 +08:00
|
|
|
void printDiag(llvm::raw_string_ostream &OS, const DiagBase &D) {
|
2018-03-12 23:28:22 +08:00
|
|
|
if (D.InsideMainFile) {
|
|
|
|
// Paths to main files are often taken from compile_command.json, where they
|
|
|
|
// are typically absolute. To reduce noise we print only basename for them,
|
|
|
|
// it should not be confusing and saves space.
|
2019-01-07 23:45:19 +08:00
|
|
|
OS << llvm::sys::path::filename(D.File) << ":";
|
2018-03-12 23:28:22 +08:00
|
|
|
} else {
|
|
|
|
OS << D.File << ":";
|
|
|
|
}
|
|
|
|
// Note +1 to line and character. clangd::Range is zero-based, but when
|
|
|
|
// printing for users we want one-based indexes.
|
|
|
|
auto Pos = D.Range.start;
|
|
|
|
OS << (Pos.line + 1) << ":" << (Pos.character + 1) << ":";
|
|
|
|
// The non-main-file paths are often too long, putting them on a separate
|
|
|
|
// line improves readability.
|
|
|
|
if (D.InsideMainFile)
|
|
|
|
OS << " ";
|
|
|
|
else
|
|
|
|
OS << "\n";
|
|
|
|
OS << diagLeveltoString(D.Severity) << ": " << D.Message;
|
|
|
|
}
|
|
|
|
|
2018-08-04 04:43:28 +08:00
|
|
|
/// Capitalizes the first word in the diagnostic's message.
|
|
|
|
std::string capitalize(std::string Message) {
|
|
|
|
if (!Message.empty())
|
2019-01-07 23:45:19 +08:00
|
|
|
Message[0] = llvm::toUpper(Message[0]);
|
2018-08-04 04:43:28 +08:00
|
|
|
return Message;
|
|
|
|
}
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
/// Returns a message sent to LSP for the main diagnostic in \p D.
|
2019-04-18 23:17:07 +08:00
|
|
|
/// This message may include notes, if they're not emited in some other way.
|
2018-03-12 23:28:22 +08:00
|
|
|
/// Example output:
|
|
|
|
///
|
|
|
|
/// no matching function for call to 'foo'
|
|
|
|
///
|
|
|
|
/// main.cpp:3:5: note: candidate function not viable: requires 2 arguments
|
|
|
|
///
|
|
|
|
/// dir1/dir2/dir3/../../dir4/header.h:12:23
|
|
|
|
/// note: candidate function not viable: requires 3 arguments
|
2019-04-18 23:17:07 +08:00
|
|
|
std::string mainMessage(const Diag &D, const ClangdDiagnosticOptions &Opts) {
|
2018-03-12 23:28:22 +08:00
|
|
|
std::string Result;
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::raw_string_ostream OS(Result);
|
2018-03-12 23:28:22 +08:00
|
|
|
OS << D.Message;
|
2019-04-18 23:17:07 +08:00
|
|
|
if (Opts.DisplayFixesCount && !D.Fixes.empty())
|
2019-02-01 00:09:25 +08:00
|
|
|
OS << " (" << (D.Fixes.size() > 1 ? "fixes" : "fix") << " available)";
|
2019-04-18 23:17:07 +08:00
|
|
|
// If notes aren't emitted as structured info, add them to the message.
|
|
|
|
if (!Opts.EmitRelatedLocations)
|
|
|
|
for (auto &Note : D.Notes) {
|
|
|
|
OS << "\n\n";
|
|
|
|
printDiag(OS, Note);
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
OS.flush();
|
2018-08-04 04:43:28 +08:00
|
|
|
return capitalize(std::move(Result));
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns a message sent to LSP for the note of the main diagnostic.
|
2019-04-18 23:17:07 +08:00
|
|
|
std::string noteMessage(const Diag &Main, const DiagBase &Note,
|
|
|
|
const ClangdDiagnosticOptions &Opts) {
|
2018-03-12 23:28:22 +08:00
|
|
|
std::string Result;
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::raw_string_ostream OS(Result);
|
2018-03-12 23:28:22 +08:00
|
|
|
OS << Note.Message;
|
2019-04-18 23:17:07 +08:00
|
|
|
// If the client doesn't support structured links between the note and the
|
|
|
|
// original diagnostic, then emit the main diagnostic to give context.
|
|
|
|
if (!Opts.EmitRelatedLocations) {
|
|
|
|
OS << "\n\n";
|
|
|
|
printDiag(OS, Main);
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
OS.flush();
|
2018-08-04 04:43:28 +08:00
|
|
|
return capitalize(std::move(Result));
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
|
|
|
} // namespace
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const DiagBase &D) {
|
2018-11-20 18:58:48 +08:00
|
|
|
OS << "[";
|
2018-03-12 23:28:22 +08:00
|
|
|
if (!D.InsideMainFile)
|
2018-11-20 18:58:48 +08:00
|
|
|
OS << D.File << ":";
|
|
|
|
OS << D.Range.start << "-" << D.Range.end << "] ";
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
return OS << D.Message;
|
|
|
|
}
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Fix &F) {
|
2018-03-12 23:28:22 +08:00
|
|
|
OS << F.Message << " {";
|
|
|
|
const char *Sep = "";
|
|
|
|
for (const auto &Edit : F.Edits) {
|
|
|
|
OS << Sep << Edit;
|
|
|
|
Sep = ", ";
|
|
|
|
}
|
|
|
|
return OS << "}";
|
|
|
|
}
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Diag &D) {
|
2018-03-12 23:28:22 +08:00
|
|
|
OS << static_cast<const DiagBase &>(D);
|
|
|
|
if (!D.Notes.empty()) {
|
|
|
|
OS << ", notes: {";
|
|
|
|
const char *Sep = "";
|
|
|
|
for (auto &Note : D.Notes) {
|
|
|
|
OS << Sep << Note;
|
|
|
|
Sep = ", ";
|
|
|
|
}
|
|
|
|
OS << "}";
|
|
|
|
}
|
|
|
|
if (!D.Fixes.empty()) {
|
|
|
|
OS << ", fixes: {";
|
|
|
|
const char *Sep = "";
|
|
|
|
for (auto &Fix : D.Fixes) {
|
|
|
|
OS << Sep << Fix;
|
|
|
|
Sep = ", ";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return OS;
|
|
|
|
}
|
|
|
|
|
[clangd] Embed fixes as CodeAction, instead of clangd_fixes. Clean up serialization.
Summary:
CodeAction provides us with a standard way of representing fixes inline, so
use it, replacing our existing ad-hoc extension.
After this, it's easy to serialize diagnostics using the structured
toJSON/Protocol.h mechanism rather than assembling JSON ad-hoc.
Reviewers: hokein, arphaman
Subscribers: ilya-biryukov, ioeric, MaskRay, jkorous, kadircet, cfe-commits
Differential Revision: https://reviews.llvm.org/D53391
llvm-svn: 345119
2018-10-24 15:59:38 +08:00
|
|
|
CodeAction toCodeAction(const Fix &F, const URIForFile &File) {
|
|
|
|
CodeAction Action;
|
|
|
|
Action.title = F.Message;
|
|
|
|
Action.kind = CodeAction::QUICKFIX_KIND;
|
|
|
|
Action.edit.emplace();
|
|
|
|
Action.edit->changes.emplace();
|
|
|
|
(*Action.edit->changes)[File.uri()] = {F.Edits.begin(), F.Edits.end()};
|
|
|
|
return Action;
|
|
|
|
}
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
void toLSPDiags(
|
|
|
|
const Diag &D, const URIForFile &File, const ClangdDiagnosticOptions &Opts,
|
|
|
|
llvm::function_ref<void(clangd::Diagnostic, llvm::ArrayRef<Fix>)> OutFn) {
|
2018-03-12 23:28:22 +08:00
|
|
|
auto FillBasicFields = [](const DiagBase &D) -> clangd::Diagnostic {
|
|
|
|
clangd::Diagnostic Res;
|
|
|
|
Res.range = D.Range;
|
|
|
|
Res.severity = getSeverity(D.Severity);
|
|
|
|
return Res;
|
|
|
|
};
|
|
|
|
|
2019-04-18 23:17:07 +08:00
|
|
|
clangd::Diagnostic Main = FillBasicFields(D);
|
|
|
|
Main.code = D.Name;
|
|
|
|
switch (D.Source) {
|
|
|
|
case Diag::Clang:
|
|
|
|
Main.source = "clang";
|
|
|
|
break;
|
|
|
|
case Diag::ClangTidy:
|
|
|
|
Main.source = "clang-tidy";
|
|
|
|
break;
|
|
|
|
case Diag::Unknown:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (Opts.EmbedFixesInDiagnostics) {
|
|
|
|
Main.codeActions.emplace();
|
|
|
|
for (const auto &Fix : D.Fixes)
|
|
|
|
Main.codeActions->push_back(toCodeAction(Fix, File));
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
2019-04-18 23:17:07 +08:00
|
|
|
if (Opts.SendDiagnosticCategory && !D.Category.empty())
|
|
|
|
Main.category = D.Category;
|
2018-03-12 23:28:22 +08:00
|
|
|
|
2019-04-18 23:17:07 +08:00
|
|
|
Main.message = mainMessage(D, Opts);
|
|
|
|
if (Opts.EmitRelatedLocations) {
|
|
|
|
Main.relatedInformation.emplace();
|
|
|
|
for (auto &Note : D.Notes) {
|
|
|
|
if (!Note.AbsFile) {
|
|
|
|
vlog("Dropping note from unknown file: {0}", Note);
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
DiagnosticRelatedInformation RelInfo;
|
|
|
|
RelInfo.location.range = Note.Range;
|
|
|
|
RelInfo.location.uri =
|
|
|
|
URIForFile::canonicalize(*Note.AbsFile, File.file());
|
|
|
|
RelInfo.message = noteMessage(D, Note, Opts);
|
|
|
|
Main.relatedInformation->push_back(std::move(RelInfo));
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
2019-04-18 23:17:07 +08:00
|
|
|
OutFn(std::move(Main), D.Fixes);
|
|
|
|
|
|
|
|
// If we didn't emit the notes as relatedLocations, emit separate diagnostics
|
|
|
|
// so the user can find the locations easily.
|
|
|
|
if (!Opts.EmitRelatedLocations)
|
|
|
|
for (auto &Note : D.Notes) {
|
|
|
|
if (!Note.InsideMainFile)
|
|
|
|
continue;
|
|
|
|
clangd::Diagnostic Res = FillBasicFields(Note);
|
|
|
|
Res.message = noteMessage(D, Note, Opts);
|
|
|
|
OutFn(std::move(Res), llvm::ArrayRef<Fix>());
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
int getSeverity(DiagnosticsEngine::Level L) {
|
|
|
|
switch (L) {
|
|
|
|
case DiagnosticsEngine::Remark:
|
|
|
|
return 4;
|
|
|
|
case DiagnosticsEngine::Note:
|
|
|
|
return 3;
|
|
|
|
case DiagnosticsEngine::Warning:
|
|
|
|
return 2;
|
|
|
|
case DiagnosticsEngine::Fatal:
|
|
|
|
case DiagnosticsEngine::Error:
|
|
|
|
return 1;
|
|
|
|
case DiagnosticsEngine::Ignored:
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
llvm_unreachable("Unknown diagnostic level!");
|
|
|
|
}
|
|
|
|
|
2019-04-17 20:35:16 +08:00
|
|
|
std::vector<Diag> StoreDiags::take(const clang::tidy::ClangTidyContext *Tidy) {
|
|
|
|
// Fill in name/source now that we have all the context needed to map them.
|
|
|
|
for (auto &Diag : Output) {
|
|
|
|
if (const char *ClangDiag = getDiagnosticCode(Diag.ID)) {
|
2019-04-18 04:12:03 +08:00
|
|
|
// Warnings controlled by -Wfoo are better recognized by that name.
|
|
|
|
StringRef Warning = DiagnosticIDs::getWarningOptionForDiag(Diag.ID);
|
|
|
|
if (!Warning.empty()) {
|
|
|
|
Diag.Name = ("-W" + Warning).str();
|
|
|
|
} else {
|
|
|
|
StringRef Name(ClangDiag);
|
|
|
|
// Almost always an error, with a name like err_enum_class_reference.
|
|
|
|
// Drop the err_ prefix for brevity.
|
|
|
|
Name.consume_front("err_");
|
|
|
|
Diag.Name = Name;
|
|
|
|
}
|
2019-04-17 20:35:16 +08:00
|
|
|
Diag.Source = Diag::Clang;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (Tidy != nullptr) {
|
|
|
|
std::string TidyDiag = Tidy->getCheckName(Diag.ID);
|
|
|
|
if (!TidyDiag.empty()) {
|
|
|
|
Diag.Name = std::move(TidyDiag);
|
|
|
|
Diag.Source = Diag::ClangTidy;
|
2019-04-18 04:15:08 +08:00
|
|
|
// clang-tidy bakes the name into diagnostic messages. Strip it out.
|
|
|
|
// It would be much nicer to make clang-tidy not do this.
|
|
|
|
auto CleanMessage = [&](std::string &Msg) {
|
|
|
|
StringRef Rest(Msg);
|
|
|
|
if (Rest.consume_back("]") && Rest.consume_back(Diag.Name) &&
|
|
|
|
Rest.consume_back(" ["))
|
|
|
|
Msg.resize(Rest.size());
|
|
|
|
};
|
|
|
|
CleanMessage(Diag.Message);
|
2019-04-29 18:25:44 +08:00
|
|
|
for (auto &Note : Diag.Notes)
|
2019-04-18 04:15:08 +08:00
|
|
|
CleanMessage(Note.Message);
|
2019-07-01 16:05:53 +08:00
|
|
|
for (auto &Fix : Diag.Fixes)
|
|
|
|
CleanMessage(Fix.Message);
|
2019-04-17 20:35:16 +08:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2019-07-05 20:57:56 +08:00
|
|
|
// Deduplicate clang-tidy diagnostics -- some clang-tidy checks may emit
|
|
|
|
// duplicated messages due to various reasons (e.g. the check doesn't handle
|
|
|
|
// template instantiations well; clang-tidy alias checks).
|
|
|
|
std::set<std::pair<Range, std::string>> SeenDiags;
|
|
|
|
llvm::erase_if(Output, [&](const Diag& D) {
|
|
|
|
return !SeenDiags.emplace(D.Range, D.Message).second;
|
|
|
|
});
|
2019-04-17 20:35:16 +08:00
|
|
|
return std::move(Output);
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
|
|
|
|
void StoreDiags::BeginSourceFile(const LangOptions &Opts,
|
|
|
|
const Preprocessor *) {
|
|
|
|
LangOpts = Opts;
|
|
|
|
}
|
|
|
|
|
|
|
|
void StoreDiags::EndSourceFile() {
|
|
|
|
flushLastDiag();
|
2018-10-20 23:30:37 +08:00
|
|
|
LangOpts = None;
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
|
|
|
|
2019-05-24 18:26:23 +08:00
|
|
|
/// Sanitizes a piece for presenting it in a synthesized fix message. Ensures
|
|
|
|
/// the result is not too large and does not contain newlines.
|
|
|
|
static void writeCodeToFixMessage(llvm::raw_ostream &OS, llvm::StringRef Code) {
|
|
|
|
constexpr unsigned MaxLen = 50;
|
|
|
|
|
|
|
|
// Only show the first line if there are many.
|
|
|
|
llvm::StringRef R = Code.split('\n').first;
|
|
|
|
// Shorten the message if it's too long.
|
|
|
|
R = R.take_front(MaxLen);
|
|
|
|
|
|
|
|
OS << R;
|
|
|
|
if (R.size() != Code.size())
|
|
|
|
OS << "…";
|
|
|
|
}
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
void StoreDiags::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
|
|
|
|
const clang::Diagnostic &Info) {
|
|
|
|
DiagnosticConsumer::HandleDiagnostic(DiagLevel, Info);
|
|
|
|
|
|
|
|
if (!LangOpts || !Info.hasSourceManager()) {
|
|
|
|
IgnoreDiagnostics::log(DiagLevel, Info);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool InsideMainFile = isInsideMainFile(Info);
|
2019-07-30 18:26:51 +08:00
|
|
|
SourceManager &SM = Info.getSourceManager();
|
2018-03-12 23:28:22 +08:00
|
|
|
|
|
|
|
auto FillDiagBase = [&](DiagBase &D) {
|
|
|
|
D.Range = diagnosticRange(Info, *LangOpts);
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::SmallString<64> Message;
|
2018-03-12 23:28:22 +08:00
|
|
|
Info.FormatDiagnostic(Message);
|
|
|
|
D.Message = Message.str();
|
|
|
|
D.InsideMainFile = InsideMainFile;
|
2019-07-30 18:26:51 +08:00
|
|
|
D.File = SM.getFilename(Info.getLocation());
|
2019-04-18 23:17:07 +08:00
|
|
|
D.AbsFile = getCanonicalPath(
|
|
|
|
SM.getFileEntryForID(SM.getFileID(Info.getLocation())), SM);
|
2018-03-12 23:28:22 +08:00
|
|
|
D.Severity = DiagLevel;
|
2018-08-15 06:21:40 +08:00
|
|
|
D.Category = DiagnosticIDs::getCategoryNameFromID(
|
|
|
|
DiagnosticIDs::getCategoryNumberForDiag(Info.getID()))
|
|
|
|
.str();
|
2018-03-12 23:28:22 +08:00
|
|
|
return D;
|
|
|
|
};
|
|
|
|
|
2018-04-04 01:35:57 +08:00
|
|
|
auto AddFix = [&](bool SyntheticMessage) -> bool {
|
2018-03-12 23:28:22 +08:00
|
|
|
assert(!Info.getFixItHints().empty() &&
|
|
|
|
"diagnostic does not have attached fix-its");
|
|
|
|
if (!InsideMainFile)
|
|
|
|
return false;
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::SmallVector<TextEdit, 1> Edits;
|
2018-03-12 23:28:22 +08:00
|
|
|
for (auto &FixIt : Info.getFixItHints()) {
|
2019-02-22 17:43:56 +08:00
|
|
|
// Follow clang's behavior, don't apply FixIt to the code in macros,
|
|
|
|
// we are less certain it is the right fix.
|
|
|
|
if (FixIt.RemoveRange.getBegin().isMacroID() ||
|
|
|
|
FixIt.RemoveRange.getEnd().isMacroID())
|
|
|
|
return false;
|
2019-07-30 18:26:51 +08:00
|
|
|
if (!isInsideMainFile(FixIt.RemoveRange.getBegin(), SM))
|
2018-03-12 23:28:22 +08:00
|
|
|
return false;
|
2019-07-30 18:26:51 +08:00
|
|
|
Edits.push_back(toTextEdit(FixIt, SM, *LangOpts));
|
2018-03-12 23:28:22 +08:00
|
|
|
}
|
|
|
|
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::SmallString<64> Message;
|
2018-04-04 01:35:57 +08:00
|
|
|
// If requested and possible, create a message like "change 'foo' to 'bar'".
|
|
|
|
if (SyntheticMessage && Info.getNumFixItHints() == 1) {
|
|
|
|
const auto &FixIt = Info.getFixItHint(0);
|
|
|
|
bool Invalid = false;
|
2019-07-30 18:26:51 +08:00
|
|
|
llvm::StringRef Remove =
|
|
|
|
Lexer::getSourceText(FixIt.RemoveRange, SM, *LangOpts, &Invalid);
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::StringRef Insert = FixIt.CodeToInsert;
|
2018-04-04 01:35:57 +08:00
|
|
|
if (!Invalid) {
|
2019-01-07 23:45:19 +08:00
|
|
|
llvm::raw_svector_ostream M(Message);
|
2019-05-24 18:26:23 +08:00
|
|
|
if (!Remove.empty() && !Insert.empty()) {
|
|
|
|
M << "change '";
|
|
|
|
writeCodeToFixMessage(M, Remove);
|
|
|
|
M << "' to '";
|
|
|
|
writeCodeToFixMessage(M, Insert);
|
|
|
|
M << "'";
|
|
|
|
} else if (!Remove.empty()) {
|
|
|
|
M << "remove '";
|
|
|
|
writeCodeToFixMessage(M, Remove);
|
|
|
|
M << "'";
|
|
|
|
} else if (!Insert.empty()) {
|
|
|
|
M << "insert '";
|
|
|
|
writeCodeToFixMessage(M, Insert);
|
|
|
|
M << "'";
|
|
|
|
}
|
2018-04-04 01:35:57 +08:00
|
|
|
// Don't allow source code to inject newlines into diagnostics.
|
|
|
|
std::replace(Message.begin(), Message.end(), '\n', ' ');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (Message.empty()) // either !SytheticMessage, or we failed to make one.
|
|
|
|
Info.FormatDiagnostic(Message);
|
2018-03-12 23:28:22 +08:00
|
|
|
LastDiag->Fixes.push_back(Fix{Message.str(), std::move(Edits)});
|
|
|
|
return true;
|
|
|
|
};
|
|
|
|
|
|
|
|
if (!isNote(DiagLevel)) {
|
|
|
|
// Handle the new main diagnostic.
|
|
|
|
flushLastDiag();
|
|
|
|
|
2019-05-19 12:19:14 +08:00
|
|
|
if (Adjuster) {
|
|
|
|
DiagLevel = Adjuster(DiagLevel, Info);
|
|
|
|
if (DiagLevel == DiagnosticsEngine::Ignored) {
|
|
|
|
LastPrimaryDiagnosticWasSuppressed = true;
|
|
|
|
return;
|
|
|
|
}
|
2019-05-19 12:06:52 +08:00
|
|
|
}
|
|
|
|
LastPrimaryDiagnosticWasSuppressed = false;
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
LastDiag = Diag();
|
2019-03-06 18:51:38 +08:00
|
|
|
LastDiag->ID = Info.getID();
|
2018-03-12 23:28:22 +08:00
|
|
|
FillDiagBase(*LastDiag);
|
2019-07-30 18:26:51 +08:00
|
|
|
LastDiagWasAdjusted = false;
|
|
|
|
if (!InsideMainFile)
|
|
|
|
LastDiagWasAdjusted = adjustDiagFromHeader(*LastDiag, Info, *LangOpts);
|
2018-03-12 23:28:22 +08:00
|
|
|
|
|
|
|
if (!Info.getFixItHints().empty())
|
2018-04-04 01:35:57 +08:00
|
|
|
AddFix(true /* try to invent a message instead of repeating the diag */);
|
2019-01-28 22:01:55 +08:00
|
|
|
if (Fixer) {
|
|
|
|
auto ExtraFixes = Fixer(DiagLevel, Info);
|
|
|
|
LastDiag->Fixes.insert(LastDiag->Fixes.end(), ExtraFixes.begin(),
|
|
|
|
ExtraFixes.end());
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
} else {
|
|
|
|
// Handle a note to an existing diagnostic.
|
2019-05-19 12:06:52 +08:00
|
|
|
|
|
|
|
// If a diagnostic was suppressed due to the suppression filter,
|
|
|
|
// also suppress notes associated with it.
|
|
|
|
if (LastPrimaryDiagnosticWasSuppressed) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2018-03-12 23:28:22 +08:00
|
|
|
if (!LastDiag) {
|
|
|
|
assert(false && "Adding a note without main diagnostic");
|
|
|
|
IgnoreDiagnostics::log(DiagLevel, Info);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!Info.getFixItHints().empty()) {
|
|
|
|
// A clang note with fix-it is not a separate diagnostic in clangd. We
|
|
|
|
// attach it as a Fix to the main diagnostic instead.
|
2018-04-04 01:35:57 +08:00
|
|
|
if (!AddFix(false /* use the note as the message */))
|
2018-03-12 23:28:22 +08:00
|
|
|
IgnoreDiagnostics::log(DiagLevel, Info);
|
|
|
|
} else {
|
|
|
|
// A clang note without fix-its corresponds to clangd::Note.
|
|
|
|
Note N;
|
|
|
|
FillDiagBase(N);
|
|
|
|
|
|
|
|
LastDiag->Notes.push_back(std::move(N));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void StoreDiags::flushLastDiag() {
|
|
|
|
if (!LastDiag)
|
|
|
|
return;
|
2019-07-30 18:26:51 +08:00
|
|
|
if (mentionsMainFile(*LastDiag) &&
|
|
|
|
(!LastDiagWasAdjusted ||
|
|
|
|
// Only report the first diagnostic coming from each particular header.
|
2019-04-29 18:25:44 +08:00
|
|
|
IncludeLinesWithErrors.insert(LastDiag->Range.start.line).second)) {
|
2018-03-12 23:28:22 +08:00
|
|
|
Output.push_back(std::move(*LastDiag));
|
2019-04-29 18:25:44 +08:00
|
|
|
} else {
|
|
|
|
vlog("Dropped diagnostic: {0}: {1}", LastDiag->File, LastDiag->Message);
|
|
|
|
}
|
2018-03-12 23:28:22 +08:00
|
|
|
LastDiag.reset();
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace clangd
|
|
|
|
} // namespace clang
|