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_volatile
     13 
     14 #include <type_traits>
     15 #include "test_macros.h"
     16 
     17 template <class T>
     18 void test_is_volatile()
     19 {
     20     static_assert(!std::is_volatile<T>::value, "");
     21     static_assert(!std::is_volatile<const T>::value, "");
     22     static_assert( std::is_volatile<volatile T>::value, "");
     23     static_assert( std::is_volatile<const volatile T>::value, "");
     24 #if TEST_STD_VER > 14
     25     static_assert(!std::is_volatile_v<T>, "");
     26     static_assert(!std::is_volatile_v<const T>, "");
     27     static_assert( std::is_volatile_v<volatile T>, "");
     28     static_assert( std::is_volatile_v<const volatile T>, "");
     29 #endif
     30 }
     31 
     32 struct A; // incomplete
     33 
     34 int main()
     35 {
     36     test_is_volatile<void>();
     37     test_is_volatile<int>();
     38     test_is_volatile<double>();
     39     test_is_volatile<int*>();
     40     test_is_volatile<const int*>();
     41     test_is_volatile<char[3]>();
     42     test_is_volatile<char[]>();
     43 
     44     test_is_volatile<A>();
     45 
     46     static_assert(!std::is_volatile<int&>::value, "");
     47     static_assert(!std::is_volatile<volatile int&>::value, "");
     48 }
     49