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