1// RUN: %clang_cc1 -fsyntax-only -verify %s -fblocks
2template<typename T>
3struct is_unary_block {
4  static const bool value = false;
5};
6
7template<typename T, typename U>
8struct is_unary_block<T (^)(U)> {
9  static const bool value = true;
10};
11
12int is_unary_block0[is_unary_block<int>::value ? -1 : 1];
13int is_unary_block1[is_unary_block<int (^)()>::value ? -1 : 1];
14int is_unary_block2[is_unary_block<int (^)(int, bool)>::value ? -1 : 1];
15int is_unary_block3[is_unary_block<int (^)(bool)>::value ? 1 : -1];
16int is_unary_block4[is_unary_block<int (^)(int)>::value ? 1 : -1];
17
18template<typename T>
19struct is_unary_block_with_same_return_type_as_argument_type {
20  static const bool value = false;
21};
22
23template<typename T>
24struct is_unary_block_with_same_return_type_as_argument_type<T (^)(T)> {
25  static const bool value = true;
26};
27
28int is_unary_block5[is_unary_block_with_same_return_type_as_argument_type<int>::value ? -1 : 1];
29int is_unary_block6[is_unary_block_with_same_return_type_as_argument_type<int (^)()>::value ? -1 : 1];
30int is_unary_block7[is_unary_block_with_same_return_type_as_argument_type<int (^)(int, bool)>::value ? -1 : 1];
31int is_unary_block8[is_unary_block_with_same_return_type_as_argument_type<int (^)(bool)>::value ? -1 : 1];
32int is_unary_block9[is_unary_block_with_same_return_type_as_argument_type<int (^)(int)>::value ? 1 : -1];
33int is_unary_block10[is_unary_block_with_same_return_type_as_argument_type<int (^)(int, ...)>::value ? -1 : 1];
34int is_unary_block11[is_unary_block_with_same_return_type_as_argument_type<int (^ const)(int)>::value ? -1 : 1];
35