| 1 | // RUN: %clang_cc1 -fblocks -fsyntax-only -verify %s |
|---|
| 2 | // rdar: // 6182276 |
|---|
| 3 | |
|---|
| 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 |
|---|
| 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 | |
|---|
| 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 | |
|---|