mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-26 15:56:07 +00:00

Summary: YAML serialization was used in the Proof of Concept for simplicity. This patch replaces implements Protobuf (de) serialization of almost all types that need to be transferred over the protocol. Reviewers: sammccall Reviewed By: sammccall Subscribers: mgorny, ilya-biryukov, MaskRay, jkorous, arphaman, kadircet, usaxena95, cfe-commits Tags: #clang Differential Revision: https://reviews.llvm.org/D79862
205 lines
7.3 KiB
C++
205 lines
7.3 KiB
C++
//===--- TestTU.cpp - Scratch source files for testing --------------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "TestTU.h"
|
|
#include "Compiler.h"
|
|
#include "Diagnostics.h"
|
|
#include "TestFS.h"
|
|
#include "index/FileIndex.h"
|
|
#include "index/MemIndex.h"
|
|
#include "clang/AST/RecursiveASTVisitor.h"
|
|
#include "clang/Basic/Diagnostic.h"
|
|
#include "clang/Frontend/CompilerInvocation.h"
|
|
#include "clang/Frontend/Utils.h"
|
|
|
|
namespace clang {
|
|
namespace clangd {
|
|
|
|
ParseInputs TestTU::inputs() const {
|
|
std::string FullFilename = testPath(Filename),
|
|
FullHeaderName = testPath(HeaderFilename),
|
|
ImportThunk = testPath("import_thunk.h");
|
|
// We want to implicitly include HeaderFilename without messing up offsets.
|
|
// -include achieves this, but sometimes we want #import (to simulate a header
|
|
// guard without messing up offsets). In this case, use an intermediate file.
|
|
std::string ThunkContents = "#import \"" + FullHeaderName + "\"\n";
|
|
|
|
llvm::StringMap<std::string> Files(AdditionalFiles);
|
|
Files[FullFilename] = Code;
|
|
Files[FullHeaderName] = HeaderCode;
|
|
Files[ImportThunk] = ThunkContents;
|
|
|
|
ParseInputs Inputs;
|
|
auto &Argv = Inputs.CompileCommand.CommandLine;
|
|
Argv = {"clang"};
|
|
// FIXME: this shouldn't need to be conditional, but it breaks a
|
|
// GoToDefinition test for some reason (getMacroArgExpandedLocation fails).
|
|
if (!HeaderCode.empty()) {
|
|
Argv.push_back("-include");
|
|
Argv.push_back(ImplicitHeaderGuard ? ImportThunk : FullHeaderName);
|
|
// ms-compatibility changes the meaning of #import.
|
|
// The default is OS-dependent (on on windows), ensure it's off.
|
|
if (ImplicitHeaderGuard)
|
|
Inputs.CompileCommand.CommandLine.push_back("-fno-ms-compatibility");
|
|
}
|
|
Argv.insert(Argv.end(), ExtraArgs.begin(), ExtraArgs.end());
|
|
// Put the file name at the end -- this allows the extra arg (-xc++) to
|
|
// override the language setting.
|
|
Argv.push_back(FullFilename);
|
|
Inputs.CompileCommand.Filename = FullFilename;
|
|
Inputs.CompileCommand.Directory = testRoot();
|
|
Inputs.Contents = Code;
|
|
Inputs.FS = buildTestFS(Files);
|
|
Inputs.Opts = ParseOptions();
|
|
Inputs.Opts.BuildRecoveryAST = true;
|
|
Inputs.Opts.PreserveRecoveryASTType = true;
|
|
Inputs.Opts.ClangTidyOpts.Checks = ClangTidyChecks;
|
|
Inputs.Opts.ClangTidyOpts.WarningsAsErrors = ClangTidyWarningsAsErrors;
|
|
Inputs.Index = ExternalIndex;
|
|
if (Inputs.Index)
|
|
Inputs.Opts.SuggestMissingIncludes = true;
|
|
return Inputs;
|
|
}
|
|
|
|
ParsedAST TestTU::build() const {
|
|
auto Inputs = inputs();
|
|
StoreDiags Diags;
|
|
auto CI = buildCompilerInvocation(Inputs, Diags);
|
|
assert(CI && "Failed to build compilation invocation.");
|
|
auto Preamble =
|
|
buildPreamble(testPath(Filename), *CI, Inputs,
|
|
/*StoreInMemory=*/true, /*PreambleCallback=*/nullptr);
|
|
auto AST = ParsedAST::build(testPath(Filename), Inputs, std::move(CI),
|
|
Diags.take(), Preamble);
|
|
if (!AST.hasValue()) {
|
|
ADD_FAILURE() << "Failed to build code:\n" << Code;
|
|
llvm_unreachable("Failed to build TestTU!");
|
|
}
|
|
// Check for error diagnostics and report gtest failures (unless expected).
|
|
// This guards against accidental syntax errors silently subverting tests.
|
|
// error-ok is awfully primitive - using clang -verify would be nicer.
|
|
// Ownership and layering makes it pretty hard.
|
|
bool ErrorOk = [&, this] {
|
|
llvm::StringLiteral Marker = "error-ok";
|
|
if (llvm::StringRef(Code).contains(Marker) ||
|
|
llvm::StringRef(HeaderCode).contains(Marker))
|
|
return true;
|
|
for (const auto &KV : this->AdditionalFiles)
|
|
if (llvm::StringRef(KV.second).contains(Marker))
|
|
return true;
|
|
return false;
|
|
}();
|
|
if (!ErrorOk) {
|
|
for (const auto &D : AST->getDiagnostics())
|
|
if (D.Severity >= DiagnosticsEngine::Error) {
|
|
ADD_FAILURE()
|
|
<< "TestTU failed to build (suppress with /*error-ok*/): \n"
|
|
<< D << "\n\nFor code:\n"
|
|
<< Code;
|
|
break; // Just report first error for simplicity.
|
|
}
|
|
}
|
|
return std::move(*AST);
|
|
}
|
|
|
|
SymbolSlab TestTU::headerSymbols() const {
|
|
auto AST = build();
|
|
return std::get<0>(indexHeaderSymbols(/*Version=*/"null", AST.getASTContext(),
|
|
AST.getPreprocessorPtr(),
|
|
AST.getCanonicalIncludes()));
|
|
}
|
|
|
|
RefSlab TestTU::headerRefs() const {
|
|
auto AST = build();
|
|
return std::get<1>(indexMainDecls(AST));
|
|
}
|
|
|
|
std::unique_ptr<SymbolIndex> TestTU::index() const {
|
|
auto AST = build();
|
|
auto Idx = std::make_unique<FileIndex>(/*UseDex=*/true);
|
|
Idx->updatePreamble(testPath(Filename), /*Version=*/"null",
|
|
AST.getASTContext(), AST.getPreprocessorPtr(),
|
|
AST.getCanonicalIncludes());
|
|
Idx->updateMain(testPath(Filename), AST);
|
|
return std::move(Idx);
|
|
}
|
|
|
|
const Symbol &findSymbol(const SymbolSlab &Slab, llvm::StringRef QName) {
|
|
const Symbol *Result = nullptr;
|
|
for (const Symbol &S : Slab) {
|
|
if (QName != (S.Scope + S.Name).str())
|
|
continue;
|
|
if (Result) {
|
|
ADD_FAILURE() << "Multiple symbols named " << QName << ":\n"
|
|
<< *Result << "\n---\n"
|
|
<< S;
|
|
assert(false && "QName is not unique");
|
|
}
|
|
Result = &S;
|
|
}
|
|
if (!Result) {
|
|
ADD_FAILURE() << "No symbol named " << QName << " in "
|
|
<< ::testing::PrintToString(Slab);
|
|
assert(false && "No symbol with QName");
|
|
}
|
|
return *Result;
|
|
}
|
|
|
|
const NamedDecl &findDecl(ParsedAST &AST, llvm::StringRef QName) {
|
|
llvm::SmallVector<llvm::StringRef, 4> Components;
|
|
QName.split(Components, "::");
|
|
|
|
auto &Ctx = AST.getASTContext();
|
|
auto LookupDecl = [&Ctx](const DeclContext &Scope,
|
|
llvm::StringRef Name) -> const NamedDecl & {
|
|
auto LookupRes = Scope.lookup(DeclarationName(&Ctx.Idents.get(Name)));
|
|
assert(!LookupRes.empty() && "Lookup failed");
|
|
assert(LookupRes.size() == 1 && "Lookup returned multiple results");
|
|
return *LookupRes.front();
|
|
};
|
|
|
|
const DeclContext *Scope = Ctx.getTranslationUnitDecl();
|
|
for (auto NameIt = Components.begin(), End = Components.end() - 1;
|
|
NameIt != End; ++NameIt) {
|
|
Scope = &cast<DeclContext>(LookupDecl(*Scope, *NameIt));
|
|
}
|
|
return LookupDecl(*Scope, Components.back());
|
|
}
|
|
|
|
const NamedDecl &findDecl(ParsedAST &AST,
|
|
std::function<bool(const NamedDecl &)> Filter) {
|
|
struct Visitor : RecursiveASTVisitor<Visitor> {
|
|
decltype(Filter) F;
|
|
llvm::SmallVector<const NamedDecl *, 1> Decls;
|
|
bool VisitNamedDecl(const NamedDecl *ND) {
|
|
if (F(*ND))
|
|
Decls.push_back(ND);
|
|
return true;
|
|
}
|
|
} Visitor;
|
|
Visitor.F = Filter;
|
|
Visitor.TraverseDecl(AST.getASTContext().getTranslationUnitDecl());
|
|
if (Visitor.Decls.size() != 1) {
|
|
ADD_FAILURE() << Visitor.Decls.size() << " symbols matched.";
|
|
assert(Visitor.Decls.size() == 1);
|
|
}
|
|
return *Visitor.Decls.front();
|
|
}
|
|
|
|
const NamedDecl &findUnqualifiedDecl(ParsedAST &AST, llvm::StringRef Name) {
|
|
return findDecl(AST, [Name](const NamedDecl &ND) {
|
|
if (auto *ID = ND.getIdentifier())
|
|
if (ID->getName() == Name)
|
|
return true;
|
|
return false;
|
|
});
|
|
}
|
|
|
|
} // namespace clangd
|
|
} // namespace clang
|