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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
|
// RUN: %clang_cc1 -fsyntax-only -std=c++11 -Winvalid-noreturn %s -verify
template<typename T>
void test_attributes() {
auto nrl = []() [[noreturn]] {}; // expected-error{{lambda declared 'noreturn' should not return}}
}
template void test_attributes<int>(); // expected-note{{in instantiation of function}}
template<typename T>
void call_with_zero() {
[](T *ptr) -> T& { return *ptr; }(0);
}
template void call_with_zero<int>();
template<typename T>
T captures(T x, T y) {
auto lambda = [=, &y] () -> T {
T i = x;
return i + y;
};
return lambda();
}
struct X {
X(const X&);
};
X operator+(X, X);
X operator-(X, X);
template int captures(int, int);
template X captures(X, X);
template<typename T>
int infer_result(T x, T y) {
auto lambda = [=](bool b) { return x + y; };
return lambda(true); // expected-error{{no viable conversion from 'X' to 'int'}}
}
template int infer_result(int, int);
template int infer_result(X, X); // expected-note{{in instantiation of function template specialization 'infer_result<X>' requested here}}
// Make sure that lambda's operator() can be used from templates.
template<typename F>
void accept_lambda(F f) {
f(1);
}
template<typename T>
void pass_lambda(T x) {
accept_lambda([&x](T y) { return x + y; });
}
template void pass_lambda(int);
namespace std {
class type_info;
}
namespace p2 {
struct P {
virtual ~P();
};
template<typename T>
struct Boom {
Boom(const Boom&) {
T* x = 1; // expected-error{{cannot initialize a variable of type 'int *' with an rvalue of type 'int'}} \
// expected-error{{cannot initialize a variable of type 'float *' with an rvalue of type 'int'}}
}
void tickle() const;
};
template<typename R, typename T>
void odr_used(R &r, Boom<T> boom) {
const std::type_info &ti
= typeid([=,&r] () -> R& { // expected-error{{lambda expression in an unevaluated operand}}
boom.tickle(); // expected-note{{in instantiation of member function}}
return r;
}());
}
template void odr_used(int&, Boom<int>); // expected-note{{in instantiation of function template specialization}}
template<typename R, typename T>
void odr_used2(R &r, Boom<T> boom) {
const std::type_info &ti
= typeid([=,&r] () -> R& {
boom.tickle(); // expected-note{{in instantiation of member function}}
return r;
}());
}
template void odr_used2(P&, Boom<float>);
}
namespace p5 {
struct NonConstCopy {
NonConstCopy(const NonConstCopy&) = delete;
NonConstCopy(NonConstCopy&);
};
template<typename T>
void double_capture(T &nc) {
[=] () mutable {
[=] () mutable {
T nc2(nc);
}();
}();
}
template void double_capture(NonConstCopy&);
}
namespace NonLocalLambdaInstantation {
template<typename T>
struct X {
static int value;
};
template<typename T>
int X<T>::value = []{ return T(); }(); // expected-error{{cannot initialize a variable of type 'int' with an rvalue of type 'int *'}}
template int X<int>::value;
template int X<float>::value;
template int X<int*>::value; // expected-note{{in instantiation of static data member }}
template<typename T>
void defaults(int x = []{ return T(); }()) { }; // expected-error{{cannot initialize a parameter of type 'int' with an rvalue of type 'int *'}} \
// expected-note{{passing argument to parameter 'x' here}}
void call_defaults() {
defaults<int>();
defaults<float>();
defaults<int*>(); // expected-note{{in instantiation of default function argument expression for 'defaults<int *>' required here}}
}
template<typename T>
struct X2 {
int x = []{ return T(); }(); // expected-error{{cannot initialize a member subobject of type 'int' with an rvalue of type 'int *'}}
};
X2<int> x2i;
X2<float> x2f;
X2<int*> x2ip; // expected-note{{in instantiation of template class 'NonLocalLambdaInstantation::X2<int *>' requested here}}
}
|
