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
|
// RUN: clang-cc -fsyntax-only -verify %s
template<typename T, typename U>
struct X0 {
void f(T x, U y) {
x + y; // expected-error{{invalid operands}}
}
};
struct X1 { };
template struct X0<int, float>;
template struct X0<int*, int>;
template struct X0<int X1::*, int>; // expected-note{{instantiation of}}
template<typename T>
struct X2 {
void f(T);
T g(T x, T y) {
/* DeclStmt */;
T *xp = &x, &yr = y; // expected-error{{pointer to a reference}}
/* NullStmt */;
}
};
template struct X2<int>;
template struct X2<int&>; // expected-note{{instantiation of}}
template<typename T>
struct X3 {
void f(T) {
Label:
T x;
goto Label;
}
};
template struct X3<int>;
template <typename T> struct X4 {
T f() const {
return; // expected-warning{{non-void function 'f' should return a value}}
}
T g() const {
return 1; // expected-warning{{void function 'g' should not return a value}}
}
};
template struct X4<void>; // expected-note{{in instantiation of template class 'X4<void>' requested here}}
template struct X4<int>; // expected-note{{in instantiation of template class 'X4<int>' requested here}}
struct Incomplete; // expected-note{{forward declaration}}
template<typename T> struct X5 {
T f() { } // expected-error{{incomplete result type}}
};
void test_X5(X5<Incomplete> x5); // okay!
template struct X5<Incomplete>; // expected-note{{instantiation}}
template<typename T, typename U, typename V> struct X6 {
U f(T t, U u, V v) {
// IfStmt
if (t > 0)
return u;
else {
if (t < 0)
return v; // expected-error{{incompatible type}}
}
return v;
}
};
struct ConvertibleToInt {
operator int() const;
};
template struct X6<ConvertibleToInt, float, char>;
template struct X6<bool, int, int*>; // expected-note{{instantiation}}
template <typename T> struct X7 {
void f() {
void *v = this;
}
};
template struct X7<int>;
template<typename T> struct While0 {
void f(T t) {
while (t) {
}
while (T t2 = T()) ;
}
};
template struct While0<float>;
template<typename T> struct Do0 {
void f(T t) {
do {
} while (t); // expected-error{{not contextually}}
do {
} while (T t2 = T());
}
};
struct NotConvertibleToBool { };
template struct Do0<ConvertibleToInt>;
template struct Do0<NotConvertibleToBool>; // expected-note{{instantiation}}
template<typename T> struct For0 {
void f(T f, T l) {
for (; f != l; ++f) {
}
}
};
template struct For0<int*>;
|
