test/SemaTemplate/temp_class_spec_blocks.cpp

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