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 #include "test_macros.h"
     16 
     17 template <class T>
     18 void test_enum_imp()
     19 {
     20     static_assert(!std::is_void<T>::value, "");
     21 #if TEST_STD_VER > 11
     22     static_assert(!std::is_null_pointer<T>::value, "");
     23 #endif
     24     static_assert(!std::is_integral<T>::value, "");
     25     static_assert(!std::is_floating_point<T>::value, "");
     26     static_assert(!std::is_array<T>::value, "");
     27     static_assert(!std::is_pointer<T>::value, "");
     28     static_assert(!std::is_lvalue_reference<T>::value, "");
     29     static_assert(!std::is_rvalue_reference<T>::value, "");
     30     static_assert(!std::is_member_object_pointer<T>::value, "");
     31     static_assert(!std::is_member_function_pointer<T>::value, "");
     32     static_assert( std::is_enum<T>::value, "");
     33     static_assert(!std::is_union<T>::value, "");
     34     static_assert(!std::is_class<T>::value, "");
     35     static_assert(!std::is_function<T>::value, "");
     36 }
     37 
     38 template <class T>
     39 void test_enum()
     40 {
     41     test_enum_imp<T>();
     42     test_enum_imp<const T>();
     43     test_enum_imp<volatile T>();
     44     test_enum_imp<const volatile T>();
     45 }
     46 
     47 enum Enum {zero, one};
     48 struct incomplete_type;
     49 
     50 int main()
     51 {
     52     test_enum<Enum>();
     53 
     54 //  LWG#2582
     55     static_assert(!std::is_enum<incomplete_type>::value, "");
     56 }
     57