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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
// RUN: %clang_cc1 -ast-print %s | FileCheck %s
namespace N {
template<typename T, typename U> void f(U);
template<int> void f();
}
void g() {
// CHECK: N::f<int>(3.14
N::f<int>(3.14);
// CHECK: N::f<double>
void (*fp)(int) = N::f<double>;
}
// (NNS qualified) DeclRefExpr.
namespace DRE {
template <typename T>
void foo();
void test() {
// CHECK: DRE::foo<int>;
DRE::foo<int>;
// CHECK: DRE::template foo<int>;
DRE::template foo<int>;
// CHECK: DRE::foo<int>();
DRE::foo<int>();
// CHECK: DRE::template foo<int>();
DRE::template foo<int>();
}
} // namespace DRE
// MemberExpr.
namespace ME {
struct S {
template <typename T>
void mem();
};
void test() {
S s;
// CHECK: s.mem<int>();
s.mem<int>();
// CHECK: s.template mem<int>();
s.template mem<int>();
}
} // namespace ME
// UnresolvedLookupExpr.
namespace ULE {
template <typename T>
int foo();
template <typename T>
void test() {
// CHECK: ULE::foo<T>;
ULE::foo<T>;
// CHECK: ULE::template foo<T>;
ULE::template foo<T>;
}
} // namespace ULE
// UnresolvedMemberExpr.
namespace UME {
struct S {
template <typename T>
void mem();
};
template <typename U>
void test() {
S s;
// CHECK: s.mem<U>();
s.mem<U>();
// CHECK: s.template mem<U>();
s.template mem<U>();
}
} // namespace UME
// DependentScopeDeclRefExpr.
namespace DSDRE {
template <typename T>
struct S;
template <typename T>
void test() {
// CHECK: S<T>::foo;
S<T>::foo;
// CHECK: S<T>::template foo<>;
S<T>::template foo<>;
// CHECK: S<T>::template foo<T>;
S<T>::template foo<T>;
}
} // namespace DSDRE
// DependentScopeMemberExpr.
namespace DSME {
template <typename T>
struct S;
template <typename T>
void test() {
S<T> s;
// CHECK: s.foo;
s.foo;
// CHECK: s.template foo<>;
s.template foo<>;
// CHECK: s.template foo<T>;
s.template foo<T>;
}
} // namespace DSME
|
