1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//                     The LLVM Compiler Infrastructure
4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// type_traits
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// rank
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits>
15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T, unsigned A>
17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_rank()
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static_assert( std::rank<T>::value == A, "");
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static_assert( std::rank<const T>::value == A, "");
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static_assert( std::rank<volatile T>::value == A, "");
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static_assert( std::rank<const volatile T>::value == A, "");
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Class
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantpublic:
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    ~Class();
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant};
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<void, 0>();
34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<int&, 0>();
35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<Class, 0>();
36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<int*, 0>();
37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<const int*, 0>();
38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<int, 0>();
39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<double, 0>();
40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<bool, 0>();
41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<unsigned, 0>();
42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<char[3], 1>();
44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<char[][3], 2>();
45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_rank<char[][4][3], 3>();
46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
47