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 // is_signed
13 
14 #include <type_traits>
15 
16 template <class T>
test_is_signed()17 void test_is_signed()
18 {
19     static_assert( std::is_signed<T>::value, "");
20     static_assert( std::is_signed<const T>::value, "");
21     static_assert( std::is_signed<volatile T>::value, "");
22     static_assert( std::is_signed<const volatile T>::value, "");
23 }
24 
25 template <class T>
test_is_not_signed()26 void test_is_not_signed()
27 {
28     static_assert(!std::is_signed<T>::value, "");
29     static_assert(!std::is_signed<const T>::value, "");
30     static_assert(!std::is_signed<volatile T>::value, "");
31     static_assert(!std::is_signed<const volatile T>::value, "");
32 }
33 
34 class Class
35 {
36 public:
37     ~Class();
38 };
39 
main()40 int main()
41 {
42     test_is_not_signed<void>();
43     test_is_not_signed<int&>();
44     test_is_not_signed<Class>();
45     test_is_not_signed<int*>();
46     test_is_not_signed<const int*>();
47     test_is_not_signed<char[3]>();
48     test_is_not_signed<char[]>();
49     test_is_not_signed<bool>();
50     test_is_not_signed<unsigned>();
51 
52     test_is_signed<int>();
53     test_is_signed<double>();
54 
55 #ifndef _LIBCPP_HAS_NO_INT128
56     test_is_signed<__int128_t>();
57     test_is_not_signed<__uint128_t>();
58 #endif
59 }
60