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