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
|
//===- 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
|
