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
|
// RUN: %clang_cc1 -fblocks -fsyntax-only -verify %s
// rdar: // 6182276
template <typename T, typename T1> void foo(T t, T1 r)
{
T block_arg;
__block T1 byref_block_arg;
T1 (^block)(T) = ^ T1 (T arg) {
byref_block_arg = arg;
block_arg = arg; // expected-error {{variable is not assignable (missing __block type specifier)}}
return block_arg+arg; };
}
// rdar://10466373
template <typename T, typename T1> void noret(T t, T1 r)
{
(void) ^{
if (1)
return t;
else if (2)
return r; // expected-error {{return type 'double' must match previous return type 'float' when block literal has unspecified explicit return type}}
};
}
int main(void)
{
foo(100, 'a'); // expected-note {{in instantiation of function template specialization 'foo<int, char>' requested here}}
noret((float)0.0, double(0.0)); // expected-note {{in instantiation of function template specialization 'noret<float, double>' requested here}}
}
namespace rdar41200624 {
template <class T>
struct S {
int (^p)() = ^{ return 0; };
T (^t)() = ^{ return T{}; };
T s = ^{ return T{}; }();
};
S<int> x;
}
|
