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 // function
     13 
     14 #include <type_traits>
     15 
     16 template <class T>
     17 void test_function_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_function()
     30 {
     31     test_function_imp<T>();
     32     test_function_imp<const T>();
     33     test_function_imp<volatile T>();
     34     test_function_imp<const volatile T>();
     35 }
     36 
     37 int main()
     38 {
     39     test_function<void ()>();
     40     test_function<void (int)>();
     41     test_function<int (double)>();
     42     test_function<int (double, char)>();
     43 }
     44