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 using namespace std;
17
18 class Class {};
19
20 enum Enum1 {};
21 #if __cplusplus >= 201103L
22 enum class Enum2 : int {};
23 #else
24 enum Enum2 {};
25 #endif
26
27 template <class T>
test()28 void test()
29 {
30 static_assert(!std::is_void<T>::value, "");
31 #if _LIBCPP_STD_VER > 11
32 static_assert(!std::is_null_pointer<T>::value, "");
33 #endif
34 static_assert(!std::is_integral<T>::value, "");
35 static_assert(!std::is_floating_point<T>::value, "");
36 static_assert(!std::is_array<T>::value, "");
37 static_assert(!std::is_pointer<T>::value, "");
38 static_assert(!std::is_lvalue_reference<T>::value, "");
39 static_assert(!std::is_rvalue_reference<T>::value, "");
40 static_assert(!std::is_member_object_pointer<T>::value, "");
41 static_assert(!std::is_member_function_pointer<T>::value, "");
42 static_assert(!std::is_enum<T>::value, "");
43 static_assert(!std::is_union<T>::value, "");
44 static_assert(!std::is_class<T>::value, "");
45 static_assert( std::is_function<T>::value, "");
46 }
47
48 // Since we can't actually add the const volatile and ref qualifiers once
49 // later let's use a macro to do it.
50 #define TEST_REGULAR(...) \
51 test<__VA_ARGS__>(); \
52 test<__VA_ARGS__ const>(); \
53 test<__VA_ARGS__ volatile>(); \
54 test<__VA_ARGS__ const volatile>()
55
56
57 #define TEST_REF_QUALIFIED(...) \
58 test<__VA_ARGS__ &>(); \
59 test<__VA_ARGS__ const &>(); \
60 test<__VA_ARGS__ volatile &>(); \
61 test<__VA_ARGS__ const volatile &>(); \
62 test<__VA_ARGS__ &&>(); \
63 test<__VA_ARGS__ const &&>(); \
64 test<__VA_ARGS__ volatile &&>(); \
65 test<__VA_ARGS__ const volatile &&>()
66
67
main()68 int main()
69 {
70 TEST_REGULAR( void () );
71 TEST_REGULAR( void (int) );
72 TEST_REGULAR( int (double) );
73 TEST_REGULAR( int (double, char) );
74 TEST_REGULAR( void (...) );
75 TEST_REGULAR( void (int, ...) );
76 TEST_REGULAR( int (double, ...) );
77 TEST_REGULAR( int (double, char, ...) );
78 #if __cplusplus >= 201103L
79 TEST_REF_QUALIFIED( void () );
80 TEST_REF_QUALIFIED( void (int) );
81 TEST_REF_QUALIFIED( int (double) );
82 TEST_REF_QUALIFIED( int (double, char) );
83 TEST_REF_QUALIFIED( void (...) );
84 TEST_REF_QUALIFIED( void (int, ...) );
85 TEST_REF_QUALIFIED( int (double, ...) );
86 TEST_REF_QUALIFIED( int (double, char, ...) );
87 #endif
88 }
89