Home | History | Annotate | Download | only in meta.unary.comp
      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 // pointer
     13 
     14 #include <type_traits>
     15 
     16 template <class T>
     17 void test_pointer_imp()
     18 {
     19     static_assert(!std::is_reference<T>::value, "");
     20     static_assert(!std::is_arithmetic<T>::value, "");
     21     static_assert(!std::is_fundamental<T>::value, "");
     22     static_assert( std::is_object<T>::value, "");
     23     static_assert( std::is_scalar<T>::value, "");
     24     static_assert( std::is_compound<T>::value, "");
     25     static_assert(!std::is_member_pointer<T>::value, "");
     26 }
     27 
     28 template <class T>
     29 void test_pointer()
     30 {
     31     test_pointer_imp<T>();
     32     test_pointer_imp<const T>();
     33     test_pointer_imp<volatile T>();
     34     test_pointer_imp<const volatile T>();
     35 }
     36 
     37 int main()
     38 {
     39     test_pointer<void*>();
     40     test_pointer<int*>();
     41     test_pointer<const int*>();
     42     test_pointer<void (*)(int)>();
     43 }
     44