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