1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
//===- 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<std::string> &Args,
const DeclarationMatcher &NodeMatch,
StringRef ExpectedPrinted,
PrintingPolicyAdjuster PolicyAdjuster) {
return PrintedNodeMatches<QualType>(Code, Args, NodeMatch, ExpectedPrinted,
"", PrintType, PolicyAdjuster);
}
} // unnamed namespace
TEST(TypePrinter, TemplateId) {
std::string Code = R"cpp(
namespace N {
template <typename> struct Type {};
template <typename T>
void Foo(const Type<T> &Param);
}
)cpp";
auto Matcher = parmVarDecl(hasType(qualType().bind("id")));
ASSERT_TRUE(PrintedTypeMatches(
Code, {}, Matcher, "const Type<T> &",
[](PrintingPolicy &Policy) { Policy.FullyQualifiedName = false; }));
ASSERT_TRUE(PrintedTypeMatches(
Code, {}, Matcher, "const N::Type<T> &",
[](PrintingPolicy &Policy) { Policy.FullyQualifiedName = true; }));
}
TEST(TypePrinter, TemplateId2) {
std::string Code = R"cpp(
template <template <typename ...> class TemplatedType>
void func(TemplatedType<int> Param);
)cpp";
auto Matcher = parmVarDecl(hasType(qualType().bind("id")));
// Regression test ensuring we do not segfault getting the QualType as a
// string.
ASSERT_TRUE(PrintedTypeMatches(Code, {}, Matcher, "<int>",
[](PrintingPolicy &Policy) {
Policy.FullyQualifiedName = true;
Policy.PrintCanonicalTypes = true;
}));
}
TEST(TypePrinter, ParamsUglified) {
llvm::StringLiteral Code = R"cpp(
template <typename _Tp, template <typename> class __f>
const __f<_Tp&> *A = nullptr;
)cpp";
auto Clean = [](PrintingPolicy &Policy) {
Policy.CleanUglifiedParameters = true;
};
ASSERT_TRUE(PrintedTypeMatches(Code, {},
varDecl(hasType(qualType().bind("id"))),
"const __f<_Tp &> *", nullptr));
ASSERT_TRUE(PrintedTypeMatches(Code, {},
varDecl(hasType(qualType().bind("id"))),
"const f<Tp &> *", Clean));
}
TEST(TypePrinter, TemplateIdWithNTTP) {
constexpr char Code[] = R"cpp(
template <int N>
struct Str {
constexpr Str(char const (&s)[N]) { __builtin_memcpy(value, s, N); }
char value[N];
};
template <Str> class ASCII {};
ASCII<"this nontype template argument is too long to print"> x;
)cpp";
auto Matcher = classTemplateSpecializationDecl(
hasName("ASCII"), has(cxxConstructorDecl(
isMoveConstructor(),
has(parmVarDecl(hasType(qualType().bind("id")))))));
ASSERT_TRUE(PrintedTypeMatches(
Code, {"-std=c++20"}, Matcher,
R"(ASCII<{"this nontype template argument is [...]"}> &&)",
[](PrintingPolicy &Policy) {
Policy.EntireContentsOfLargeArray = false;
}));
ASSERT_TRUE(PrintedTypeMatches(
Code, {"-std=c++20"}, Matcher,
R"(ASCII<{"this nontype template argument is too long to print"}> &&)",
[](PrintingPolicy &Policy) {
Policy.EntireContentsOfLargeArray = true;
}));
}
|
