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