Fariborz Jahanian | 5750b81 | 2010-07-09 21:27:28 +0000 | [diff] [blame] | 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 | |
Fariborz Jahanian | 0586520 | 2011-12-03 17:47:53 +0000 | [diff] [blame] | 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) |
Fariborz Jahanian | 649657e | 2011-12-03 23:53:56 +0000 | [diff] [blame] | 22 | return r; // expected-error {{return type 'double' must match previous return type 'float' when block literal has unspecified explicit return type}} |
Fariborz Jahanian | 0586520 | 2011-12-03 17:47:53 +0000 | [diff] [blame] | 23 | }; |
| 24 | } |
| 25 | |
Fariborz Jahanian | 5750b81 | 2010-07-09 21:27:28 +0000 | [diff] [blame] | 26 | int main(void) |
| 27 | { |
| 28 | foo(100, 'a'); // expected-note {{in instantiation of function template specialization 'foo<int, char>' requested here}} |
Fariborz Jahanian | 0586520 | 2011-12-03 17:47:53 +0000 | [diff] [blame] | 29 | |
| 30 | noret((float)0.0, double(0.0)); // expected-note {{in instantiation of function template specialization 'noret<float, double>' requested here}} |
Fariborz Jahanian | 5750b81 | 2010-07-09 21:27:28 +0000 | [diff] [blame] | 31 | } |
| 32 | |