Home | History | Annotate | Download | only in meta.unary.prop
      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>
     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>
     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 
     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[3]>();
     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