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