diff --git a/clang/lib/AST/TypePrinter.cpp b/clang/lib/AST/TypePrinter.cpp --- a/clang/lib/AST/TypePrinter.cpp +++ b/clang/lib/AST/TypePrinter.cpp @@ -1456,7 +1456,7 @@ void TypePrinter::printTemplateSpecializationBefore( const TemplateSpecializationType *T, raw_ostream &OS) { - printTemplateId(T, OS, false); + printTemplateId(T, OS, Policy.FullyQualifiedName); } void TypePrinter::printTemplateSpecializationAfter( diff --git a/clang/unittests/AST/CMakeLists.txt b/clang/unittests/AST/CMakeLists.txt --- a/clang/unittests/AST/CMakeLists.txt +++ b/clang/unittests/AST/CMakeLists.txt @@ -29,6 +29,7 @@ SourceLocationTest.cpp StmtPrinterTest.cpp StructuralEquivalenceTest.cpp + TypePrinterTest.cpp ) clang_target_link_libraries(ASTTests diff --git a/clang/unittests/AST/TypePrinterTest.cpp b/clang/unittests/AST/TypePrinterTest.cpp new file mode 100644 --- /dev/null +++ b/clang/unittests/AST/TypePrinterTest.cpp @@ -0,0 +1,66 @@ +//===- unittests/AST/TypePrinterTest.cpp --- Type printer tests -----------===// +// +// 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 +// +//===----------------------------------------------------------------------===// +// +// This file contains tests for QualType::print() and related methods. +// +//===----------------------------------------------------------------------===// + +#include "ASTPrint.h" +#include "clang/AST/ASTContext.h" +#include "clang/ASTMatchers/ASTMatchFinder.h" +#include "clang/Tooling/Tooling.h" +#include "llvm/ADT/SmallString.h" +#include "gtest/gtest.h" + +using namespace clang; +using namespace ast_matchers; +using namespace tooling; + +namespace { + +static void PrintType(raw_ostream &Out, const ASTContext *Context, + const QualType *T, + PrintingPolicyAdjuster PolicyAdjuster) { + assert(T && !T->isNull() && "Expected non-null Type"); + PrintingPolicy Policy = Context->getPrintingPolicy(); + if (PolicyAdjuster) + PolicyAdjuster(Policy); + T->print(Out, Policy); +} + +::testing::AssertionResult +PrintedTypeMatches(StringRef Code, const std::vector &Args, + const DeclarationMatcher &NodeMatch, + StringRef ExpectedPrinted, + PrintingPolicyAdjuster PolicyAdjuster) { + return PrintedNodeMatches(Code, Args, NodeMatch, ExpectedPrinted, + "", PrinterType{PrintType}, + PolicyAdjuster); +} + +} // unnamed namespace + +TEST(TypePrinter, TemplateId) { + std::string Code = R"cpp( + namespace N { + template struct Type {}; + + template + void Foo(const Type &Param); + } + )cpp"; + auto Matcher = parmVarDecl(hasType(qualType().bind("id"))); + + ASSERT_TRUE(PrintedTypeMatches( + Code, {}, Matcher, "const Type &", + [](PrintingPolicy &Policy) { Policy.FullyQualifiedName = false; })); + + ASSERT_TRUE(PrintedTypeMatches( + Code, {}, Matcher, "const N::Type &", + [](PrintingPolicy &Policy) { Policy.FullyQualifiedName = true; })); +} \ No newline at end of file