1 // RUN: clang-cc -fsyntax-only -verify %s 2 template<typename T> 3 struct is_pointer { 4 static const bool value = false; 5 }; 6 7 template<typename T> 8 struct is_pointer<T*> { 9 static const bool value = true; 10 }; 11 12 template<typename T> 13 struct is_pointer<const T*> { 14 static const bool value = true; 15 }; 16 17 int array0[is_pointer<int>::value? -1 : 1]; 18 int array1[is_pointer<int*>::value? 1 : -1]; 19 int array2[is_pointer<const int*>::value? 1 : -1]; // expected-error{{partial ordering}} \ 20 // expected-error{{negative}} 21 22 template<typename T> 23 struct is_lvalue_reference { 24 static const bool value = false; 25 }; 26 27 template<typename T> 28 struct is_lvalue_reference<T&> { 29 static const bool value = true; 30 }; 31 32 int lvalue_ref0[is_lvalue_reference<int>::value? -1 : 1]; 33 int lvalue_ref1[is_lvalue_reference<const int&>::value? 1 : -1]; 34 35 template<typename T, typename U> 36 struct is_same { 37 static const bool value = false; 38 }; 39 40 template<typename T> 41 struct is_same<T, T> { 42 static const bool value = true; 43 }; 44 45 typedef int INT; 46 typedef INT* int_ptr; 47 48 int is_same0[is_same<int, int>::value? 1 : -1]; 49 int is_same1[is_same<int, INT>::value? 1 : -1]; 50 int is_same2[is_same<const int, int>::value? -1 : 1]; 51 int is_same3[is_same<int_ptr, int>::value? -1 : 1]; 52 53 template<typename T> 54 struct remove_reference { 55 typedef T type; 56 }; 57 58 template<typename T> 59 struct remove_reference<T&> { 60 typedef T type; 61 }; 62 63 int remove_ref0[is_same<remove_reference<int>::type, int>::value? 1 : -1]; 64 int remove_ref1[is_same<remove_reference<int&>::type, int>::value? 1 : -1]; 65 66 template<typename T> 67 struct is_incomplete_array { 68 static const bool value = false; 69 }; 70 71 template<typename T> 72 struct is_incomplete_array<T[]> { 73 static const bool value = true; 74 }; 75 76 int incomplete_array0[is_incomplete_array<int>::value ? -1 : 1]; 77 int incomplete_array1[is_incomplete_array<int[1]>::value ? -1 : 1]; 78 int incomplete_array2[is_incomplete_array<bool[]>::value ? 1 : -1]; 79 int incomplete_array3[is_incomplete_array<int[]>::value ? 1 : -1]; 80 81 template<typename T> 82 struct is_array_with_4_elements { 83 static const bool value = false; 84 }; 85 86 template<typename T> 87 struct is_array_with_4_elements<T[4]> { 88 static const bool value = true; 89 }; 90 91 int array_with_4_elements0[is_array_with_4_elements<int[]>::value ? -1 : 1]; 92 int array_with_4_elements1[is_array_with_4_elements<int[1]>::value ? -1 : 1]; 93 int array_with_4_elements2[is_array_with_4_elements<int[4]>::value ? 1 : -1]; 94 int array_with_4_elements3[is_array_with_4_elements<int[4][2]>::value ? 1 : -1]; 95 96 template<typename T> 97 struct get_array_size; 98 99 template<typename T, unsigned N> 100 struct get_array_size<T[N]> { 101 static const unsigned value = N; 102 }; 103 104 int array_size0[get_array_size<int[12]>::value == 12? 1 : -1]; 105 106 template<typename T> 107 struct is_unary_function { 108 static const bool value = false; 109 }; 110 111 template<typename T, typename U> 112 struct is_unary_function<T (*)(U)> { 113 static const bool value = true; 114 }; 115 116 int is_unary_function0[is_unary_function<int>::value ? -1 : 1]; 117 int is_unary_function1[is_unary_function<int (*)()>::value ? -1 : 1]; 118 int is_unary_function2[is_unary_function<int (*)(int, bool)>::value ? -1 : 1]; 119 int is_unary_function3[is_unary_function<int (*)(bool)>::value ? 1 : -1]; 120 int is_unary_function4[is_unary_function<int (*)(int)>::value ? 1 : -1]; 121 122 template<typename T> 123 struct is_unary_function_with_same_return_type_as_argument_type { 124 static const bool value = false; 125 }; 126 127 template<typename T> 128 struct is_unary_function_with_same_return_type_as_argument_type<T (*)(T)> { 129 static const bool value = true; 130 }; 131 132 int is_unary_function5[is_unary_function_with_same_return_type_as_argument_type<int>::value ? -1 : 1]; 133 int is_unary_function6[is_unary_function_with_same_return_type_as_argument_type<int (*)()>::value ? -1 : 1]; 134 int is_unary_function7[is_unary_function_with_same_return_type_as_argument_type<int (*)(int, bool)>::value ? -1 : 1]; 135 int is_unary_function8[is_unary_function_with_same_return_type_as_argument_type<int (*)(bool)>::value ? -1 : 1]; 136 int is_unary_function9[is_unary_function_with_same_return_type_as_argument_type<int (*)(int)>::value ? 1 : -1]; 137 int is_unary_function10[is_unary_function_with_same_return_type_as_argument_type<int (*)(int, ...)>::value ? -1 : 1]; 138 int is_unary_function11[is_unary_function_with_same_return_type_as_argument_type<int (* const)(int)>::value ? -1 : 1]; 139 140 template<typename T> 141 struct is_binary_function { 142 static const bool value = false; 143 }; 144 145 template<typename R, typename T1, typename T2> 146 struct is_binary_function<R(T1, T2)> { 147 static const bool value = true; 148 }; 149 150 int is_binary_function0[is_binary_function<int(float, double)>::value? 1 : -1]; 151