1 // RUN: %clang_cc1 -fblocks -fsyntax-only -verify %s
2 // rdar: // 6182276
3
foo(T t,T1 r)4 template <typename T, typename T1> void foo(T t, T1 r)
5 {
6 T block_arg;
7 __block T1 byref_block_arg;
8
9 T1 (^block)(T) = ^ T1 (T arg) {
10 byref_block_arg = arg;
11 block_arg = arg; // expected-error {{variable is not assignable (missing __block type specifier)}}
12 return block_arg+arg; };
13 }
14
15 // rdar://10466373
noret(T t,T1 r)16 template <typename T, typename T1> void noret(T t, T1 r)
17 {
18 (void) ^{
19 if (1)
20 return t;
21 else if (2)
22 return r; // expected-error {{return type 'double' must match previous return type 'float' when block literal has unspecified explicit return type}}
23 };
24 }
25
main(void)26 int main(void)
27 {
28 foo(100, 'a'); // expected-note {{in instantiation of function template specialization 'foo<int, char>' requested here}}
29
30 noret((float)0.0, double(0.0)); // expected-note {{in instantiation of function template specialization 'noret<float, double>' requested here}}
31 }
32
33 namespace rdar41200624 {
34 template <class T>
35 struct S {
36 int (^p)() = ^{ return 0; };
37 T (^t)() = ^{ return T{}; };
38 T s = ^{ return T{}; }();
39 };
40 S<int> x;
41 }
42