| //===- unittest/Tooling/RecursiveASTVisitorTests/Concept.cpp----------------==// |
| // |
| // 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 |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "TestVisitor.h" |
| #include "clang/AST/ExprConcepts.h" |
| |
| using namespace clang; |
| |
| namespace { |
| |
| struct ConceptVisitor : ExpectedLocationVisitor<ConceptVisitor> { |
| bool VisitConceptSpecializationExpr(ConceptSpecializationExpr *E) { |
| ++ConceptSpecializationExprsVisited; |
| return true; |
| } |
| bool TraverseConceptReference(const ConceptReference &R) { |
| ++ConceptReferencesTraversed; |
| return true; |
| } |
| |
| int ConceptSpecializationExprsVisited = 0; |
| int ConceptReferencesTraversed = 0; |
| }; |
| |
| TEST(RecursiveASTVisitor, ConstrainedParameter) { |
| ConceptVisitor Visitor; |
| EXPECT_TRUE(Visitor.runOver("template <typename T> concept Fooable = true;\n" |
| "template <Fooable T> void bar(T);", |
| ConceptVisitor::Lang_CXX2a)); |
| // Check that we visit the "Fooable T" template parameter's TypeConstraint's |
| // ImmediatelyDeclaredConstraint, which is a ConceptSpecializationExpr. |
| EXPECT_EQ(1, Visitor.ConceptSpecializationExprsVisited); |
| // There are two ConceptReference objects in the AST: the base subobject |
| // of the ConceptSpecializationExpr, and the base subobject of the |
| // TypeConstraint itself. To avoid traversing the concept and arguments |
| // multiple times, we only traverse one. |
| EXPECT_EQ(1, Visitor.ConceptReferencesTraversed); |
| } |
| |
| } // end anonymous namespace |