xref: /llvm-project/libcxx/test/std/utilities/meta/meta.unary/meta.unary.comp/integral.pass.cpp (revision 8f972cb0fd0cf2513a1134a5f37b3c059376ca47)
1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // type_traits
10 
11 // integral
12 
13 #include <type_traits>
14 
15 #include "test_macros.h"
16 
17 template <class T>
test_integral_imp()18 void test_integral_imp()
19 {
20     static_assert(!std::is_reference<T>::value, "");
21     static_assert( std::is_arithmetic<T>::value, "");
22     static_assert( std::is_fundamental<T>::value, "");
23     static_assert( std::is_object<T>::value, "");
24     static_assert( std::is_scalar<T>::value, "");
25     static_assert(!std::is_compound<T>::value, "");
26     static_assert(!std::is_member_pointer<T>::value, "");
27 }
28 
29 template <class T>
test_integral()30 void test_integral()
31 {
32     test_integral_imp<T>();
33     test_integral_imp<const T>();
34     test_integral_imp<volatile T>();
35     test_integral_imp<const volatile T>();
36 }
37 
main(int,char **)38 int main(int, char**)
39 {
40     test_integral<bool>();
41     test_integral<char>();
42     test_integral<signed char>();
43     test_integral<unsigned char>();
44     test_integral<wchar_t>();
45     test_integral<short>();
46     test_integral<unsigned short>();
47     test_integral<int>();
48     test_integral<unsigned int>();
49     test_integral<long>();
50     test_integral<unsigned long>();
51     test_integral<long long>();
52     test_integral<unsigned long long>();
53 #ifndef TEST_HAS_NO_INT128
54     test_integral<__int128_t>();
55     test_integral<__uint128_t>();
56 #endif
57 
58   return 0;
59 }
60