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 // array
13 
14 #include <type_traits>
15 
16 template <class T>
test_array_imp()17 void test_array_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>
test_array()29 void test_array()
30 {
31     test_array_imp<T>();
32     test_array_imp<const T>();
33     test_array_imp<volatile T>();
34     test_array_imp<const volatile T>();
35 }
36 
37 typedef char array[3];
38 typedef const char const_array[3];
39 typedef char incomplete_array[];
40 
main()41 int main()
42 {
43     test_array<array>();
44     test_array<const_array>();
45     test_array<incomplete_array>();
46 }
47