caio/clice
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Resolver can handle DependentTemplateSpecializationType now.

Browse Source
This commit is contained in:
ykiko
2024-09-07 12:30:41 +08:00
parent 4e331bc8a2
commit 37d67aa7be
3 changed files with 104 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

72
tests/Resolver.cpp
View File

@@ -180,5 +180,77 @@ struct test {
ASSERT_EQ(T->getDecl()->getName(), "X");
}
TEST(DependentNameResolver, template_alias_dependent_name) {
const char* code = R"(
template <typename ...Ts>
struct type_list {};
template <typename T1>
struct A {
using type = type_list<T1>;
};
template <typename T2>
using B = A<T2>;
template <typename X>
struct test {
using result = typename B<X>::type;
};
)";
Visitor visitor(code);
clang::QualType result = visitor.test();
// result->dump();
auto TST = result->getAs<clang::TemplateSpecializationType>();
ASSERT_TRUE(TST);
ASSERT_EQ(TST->getTemplateName().getAsTemplateDecl()->getName(), "type_list");
auto args = TST->template_arguments();
ASSERT_EQ(args.size(), 1);
auto T = llvm::dyn_cast<clang::TemplateTypeParmType>(args[0].getAsType());
ASSERT_TRUE(T);
ASSERT_EQ(T->getDecl()->getName(), "X");
}
TEST(DependentNameResolver, dependent_member_template) {
const char* code = R"(
template <typename... Ts>
struct type_list {};
template <typename T1, typename U1>
struct A {
using type = type_list<T1, U1>;
};
template <typename T2>
struct B {
template <typename U2>
using type = typename A<T2, U2>::type;
};
template <typename X, typename Y>
struct test {
using result = typename B<X>::template type<Y>;
};
)";
Visitor visitor(code);
clang::QualType result = visitor.test();
auto TST = result->getAs<clang::TemplateSpecializationType>();
ASSERT_TRUE(TST);
ASSERT_EQ(TST->getTemplateName().getAsTemplateDecl()->getName(), "type_list");
auto args = TST->template_arguments();
ASSERT_EQ(args.size(), 2);
auto X = llvm::dyn_cast<clang::TemplateTypeParmType>(args[0].getAsType());
ASSERT_TRUE(X);
ASSERT_EQ(X->getDecl()->getName(), "X");
auto Y = llvm::dyn_cast<clang::TemplateTypeParmType>(args[1].getAsType());
ASSERT_TRUE(Y);
ASSERT_EQ(Y->getDecl()->getName(), "Y");
}
} // namespace