hokein created this revision.
hokein added a reviewer: sammccall.
Herald added subscribers: usaxena95, kadircet, arphaman, jkorous, MaskRay,
ilya-biryukov.
Herald added a project: clang.
hokein updated this revision to Diff 245645.
hokein added a comment.
Fix an accident change.
FindTarget doesn't report the TemplatePattern for incomplete
specialization.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D74900
Files:
clang-tools-extra/clangd/FindTarget.cpp
clang-tools-extra/clangd/unittests/FindTargetTests.cpp
clang-tools-extra/clangd/unittests/XRefsTests.cpp
Index: clang-tools-extra/clangd/unittests/XRefsTests.cpp
===================================================================
--- clang-tools-extra/clangd/unittests/XRefsTests.cpp
+++ clang-tools-extra/clangd/unittests/XRefsTests.cpp
@@ -954,6 +954,12 @@
class [[Fo^o]] {};
void func([[Foo]]<int>);
)cpp",
+
+ R"cpp(
+ template <typename T>
+ class [[Foo]] {};
+ void func([[Fo^o]]<int>);
+ )cpp",
};
for (const char *Test : Tests) {
Annotations T(Test);
Index: clang-tools-extra/clangd/unittests/FindTargetTests.cpp
===================================================================
--- clang-tools-extra/clangd/unittests/FindTargetTests.cpp
+++ clang-tools-extra/clangd/unittests/FindTargetTests.cpp
@@ -309,6 +309,16 @@
{"template<> class Foo<42>", Rel::TemplateInstantiation},
{"class Foo", Rel::TemplatePattern});
+ Code = R"cpp(
+ template<typename T> class Foo {};
+ // The "Foo<int>" SpecializationDecl is incomplete, there is no
+ // instantiation happening.
+ void func([[Foo<int>]] *);
+ )cpp";
+ EXPECT_DECLS("TemplateSpecializationTypeLoc",
+ {"class Foo", Rel::TemplatePattern},
+ {"template<> class Foo<int>", Rel::TemplateInstantiation});
+
Code = R"cpp(
// Explicit specialization.
template<int x> class Foo{};
Index: clang-tools-extra/clangd/FindTarget.cpp
===================================================================
--- clang-tools-extra/clangd/FindTarget.cpp
+++ clang-tools-extra/clangd/FindTarget.cpp
@@ -139,7 +139,13 @@
const NamedDecl *getTemplatePattern(const NamedDecl *D) {
if (const CXXRecordDecl *CRD = dyn_cast<CXXRecordDecl>(D)) {
- return CRD->getTemplateInstantiationPattern();
+ if (const auto *Result = CRD->getTemplateInstantiationPattern())
+ return Result;
+ // getTemplateInstantiationPattern returns null if the Specialization is
+ // incomplete (e.g. the type didn't need to be complete), fall back to the
+ // primary template.
+ if (const auto *Spec = dyn_cast<ClassTemplateSpecializationDecl>(CRD))
+ return Spec->getSpecializedTemplate()->getTemplatedDecl();
} else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
return FD->getTemplateInstantiationPattern();
} else if (auto *VD = dyn_cast<VarDecl>(D)) {
Index: clang-tools-extra/clangd/unittests/XRefsTests.cpp
===================================================================
--- clang-tools-extra/clangd/unittests/XRefsTests.cpp
+++ clang-tools-extra/clangd/unittests/XRefsTests.cpp
@@ -954,6 +954,12 @@
class [[Fo^o]] {};
void func([[Foo]]<int>);
)cpp",
+
+ R"cpp(
+ template <typename T>
+ class [[Foo]] {};
+ void func([[Fo^o]]<int>);
+ )cpp",
};
for (const char *Test : Tests) {
Annotations T(Test);
Index: clang-tools-extra/clangd/unittests/FindTargetTests.cpp
===================================================================
--- clang-tools-extra/clangd/unittests/FindTargetTests.cpp
+++ clang-tools-extra/clangd/unittests/FindTargetTests.cpp
@@ -309,6 +309,16 @@
{"template<> class Foo<42>", Rel::TemplateInstantiation},
{"class Foo", Rel::TemplatePattern});
+ Code = R"cpp(
+ template<typename T> class Foo {};
+ // The "Foo<int>" SpecializationDecl is incomplete, there is no
+ // instantiation happening.
+ void func([[Foo<int>]] *);
+ )cpp";
+ EXPECT_DECLS("TemplateSpecializationTypeLoc",
+ {"class Foo", Rel::TemplatePattern},
+ {"template<> class Foo<int>", Rel::TemplateInstantiation});
+
Code = R"cpp(
// Explicit specialization.
template<int x> class Foo{};
Index: clang-tools-extra/clangd/FindTarget.cpp
===================================================================
--- clang-tools-extra/clangd/FindTarget.cpp
+++ clang-tools-extra/clangd/FindTarget.cpp
@@ -139,7 +139,13 @@
const NamedDecl *getTemplatePattern(const NamedDecl *D) {
if (const CXXRecordDecl *CRD = dyn_cast<CXXRecordDecl>(D)) {
- return CRD->getTemplateInstantiationPattern();
+ if (const auto *Result = CRD->getTemplateInstantiationPattern())
+ return Result;
+ // getTemplateInstantiationPattern returns null if the Specialization is
+ // incomplete (e.g. the type didn't need to be complete), fall back to the
+ // primary template.
+ if (const auto *Spec = dyn_cast<ClassTemplateSpecializationDecl>(CRD))
+ return Spec->getSpecializedTemplate()->getTemplatedDecl();
} else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
return FD->getTemplateInstantiationPattern();
} else if (auto *VD = dyn_cast<VarDecl>(D)) {
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
