RecursiveASTVisitorTestCallVisitor.cpp 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121
  1. //===- unittest/Tooling/RecursiveASTVisitorTestCallVisitor.cpp ------------===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is distributed under the University of Illinois Open Source
  6. // License. See LICENSE.TXT for details.
  7. //
  8. //===----------------------------------------------------------------------===//
  9. #include "TestVisitor.h"
  10. #include <stack>
  11. using namespace clang;
  12. namespace {
  13. class CXXMemberCallVisitor
  14. : public ExpectedLocationVisitor<CXXMemberCallVisitor> {
  15. public:
  16. bool VisitCXXMemberCallExpr(CXXMemberCallExpr *Call) {
  17. Match(Call->getMethodDecl()->getQualifiedNameAsString(),
  18. Call->getLocStart());
  19. return true;
  20. }
  21. };
  22. TEST(RecursiveASTVisitor, VisitsCallInTemplateInstantiation) {
  23. CXXMemberCallVisitor Visitor;
  24. Visitor.ExpectMatch("Y::x", 3, 3);
  25. EXPECT_TRUE(Visitor.runOver(
  26. "struct Y { void x(); };\n"
  27. "template<typename T> void y(T t) {\n"
  28. " t.x();\n"
  29. "}\n"
  30. "void foo() { y<Y>(Y()); }"));
  31. }
  32. TEST(RecursiveASTVisitor, VisitsCallInNestedFunctionTemplateInstantiation) {
  33. CXXMemberCallVisitor Visitor;
  34. Visitor.ExpectMatch("Y::x", 4, 5);
  35. EXPECT_TRUE(Visitor.runOver(
  36. "struct Y { void x(); };\n"
  37. "template<typename T> struct Z {\n"
  38. " template<typename U> static void f() {\n"
  39. " T().x();\n"
  40. " }\n"
  41. "};\n"
  42. "void foo() { Z<Y>::f<int>(); }"));
  43. }
  44. TEST(RecursiveASTVisitor, VisitsCallInNestedClassTemplateInstantiation) {
  45. CXXMemberCallVisitor Visitor;
  46. Visitor.ExpectMatch("A::x", 5, 7);
  47. EXPECT_TRUE(Visitor.runOver(
  48. "template <typename T1> struct X {\n"
  49. " template <typename T2> struct Y {\n"
  50. " void f() {\n"
  51. " T2 y;\n"
  52. " y.x();\n"
  53. " }\n"
  54. " };\n"
  55. "};\n"
  56. "struct A { void x(); };\n"
  57. "int main() {\n"
  58. " (new X<A>::Y<A>())->f();\n"
  59. "}"));
  60. }
  61. TEST(RecursiveASTVisitor, VisitsCallInPartialTemplateSpecialization) {
  62. CXXMemberCallVisitor Visitor;
  63. Visitor.ExpectMatch("A::x", 6, 20);
  64. EXPECT_TRUE(Visitor.runOver(
  65. "template <typename T1> struct X {\n"
  66. " template <typename T2, bool B> struct Y { void g(); };\n"
  67. "};\n"
  68. "template <typename T1> template <typename T2>\n"
  69. "struct X<T1>::Y<T2, true> {\n"
  70. " void f() { T2 y; y.x(); }\n"
  71. "};\n"
  72. "struct A { void x(); };\n"
  73. "int main() {\n"
  74. " (new X<A>::Y<A, true>())->f();\n"
  75. "}\n"));
  76. }
  77. TEST(RecursiveASTVisitor, VisitsExplicitTemplateSpecialization) {
  78. CXXMemberCallVisitor Visitor;
  79. Visitor.ExpectMatch("A::f", 4, 5);
  80. EXPECT_TRUE(Visitor.runOver(
  81. "struct A {\n"
  82. " void f() const {}\n"
  83. " template<class T> void g(const T& t) const {\n"
  84. " t.f();\n"
  85. " }\n"
  86. "};\n"
  87. "template void A::g(const A& a) const;\n"));
  88. }
  89. class CXXOperatorCallExprTraverser
  90. : public ExpectedLocationVisitor<CXXOperatorCallExprTraverser> {
  91. public:
  92. // Use Traverse, not Visit, to check that data recursion optimization isn't
  93. // bypassing the call of this function.
  94. bool TraverseCXXOperatorCallExpr(CXXOperatorCallExpr *CE) {
  95. Match(getOperatorSpelling(CE->getOperator()), CE->getExprLoc());
  96. return ExpectedLocationVisitor<CXXOperatorCallExprTraverser>::
  97. TraverseCXXOperatorCallExpr(CE);
  98. }
  99. };
  100. TEST(RecursiveASTVisitor, TraversesOverloadedOperator) {
  101. CXXOperatorCallExprTraverser Visitor;
  102. Visitor.ExpectMatch("()", 4, 9);
  103. EXPECT_TRUE(Visitor.runOver(
  104. "struct A {\n"
  105. " int operator()();\n"
  106. "} a;\n"
  107. "int k = a();\n"));
  108. }
  109. } // end anonymous namespace