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