Home | History | Annotate | Download | only in meta.unary.cat
      1 //===----------------------------------------------------------------------===//
      2 //
      3 //                     The LLVM Compiler Infrastructure
      4 //
      5 // This file is dual licensed under the MIT and the University of Illinois Open
      6 // Source Licenses. See LICENSE.TXT for details.
      7 //
      8 //===----------------------------------------------------------------------===//
      9 
     10 // type_traits
     11 
     12 // enum
     13 
     14 #include <type_traits>
     15 
     16 template <class T>
     17 void test_enum_imp()
     18 {
     19     static_assert(!std::is_void<T>::value, "");
     20 #if _LIBCPP_STD_VER > 11
     21     static_assert(!std::is_null_pointer<T>::value, "");
     22 #endif
     23     static_assert(!std::is_integral<T>::value, "");
     24     static_assert(!std::is_floating_point<T>::value, "");
     25     static_assert(!std::is_array<T>::value, "");
     26     static_assert(!std::is_pointer<T>::value, "");
     27     static_assert(!std::is_lvalue_reference<T>::value, "");
     28     static_assert(!std::is_rvalue_reference<T>::value, "");
     29     static_assert(!std::is_member_object_pointer<T>::value, "");
     30     static_assert(!std::is_member_function_pointer<T>::value, "");
     31     static_assert( std::is_enum<T>::value, "");
     32     static_assert(!std::is_union<T>::value, "");
     33     static_assert(!std::is_class<T>::value, "");
     34     static_assert(!std::is_function<T>::value, "");
     35 }
     36 
     37 template <class T>
     38 void test_enum()
     39 {
     40     test_enum_imp<T>();
     41     test_enum_imp<const T>();
     42     test_enum_imp<volatile T>();
     43     test_enum_imp<const volatile T>();
     44 }
     45 
     46 enum Enum {zero, one};
     47 
     48 int main()
     49 {
     50     test_enum<Enum>();
     51 }
     52