Update copyright years.

[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / pair / astuple / astuple.cc

diff --git a/libstdc++-v3/testsuite/20_util/pair/astuple/astuple.cc b/libstdc++-v3/testsuite/20_util/pair/astuple/astuple.cc
index 32c22b884eba087702ab471ff30fe51aa93c54ac..40cb56ff5807aa0f651ee8afcc23ac909a7a24bf 100644 (file)
--- a/libstdc++-v3/testsuite/20_util/pair/astuple/astuple.cc
+++ b/libstdc++-v3/testsuite/20_util/pair/astuple/astuple.cc
@@ -1,7 +1,6 @@
-// { dg-do compile }
-// { dg-options "-std=gnu++11" }
+// { dg-do compile { target c++11 } }
 
-// Copyright (C) 2013 Free Software Foundation, Inc.
+// Copyright (C) 2013-2020 Free Software Foundation, Inc.
 //
 // This file is part of the GNU ISO C++ Library.  This library is free
 // software; you can redistribute it and/or modify it under the
@@ -18,16 +17,23 @@
 // with this library; see the file COPYING3.  If not see
 // <http://www.gnu.org/licenses/>.
 
+// NB: Don't include any other headers in this file.
+// LWG 2212 requires <utility> to define tuple_size<cv T> and
+// tuple_element<cv T> specializations.
 #include <utility>
-#include <type_traits>
 
 typedef std::pair<int, long> test_type;
 
 static_assert( std::tuple_size<test_type>::value == 2, "size is 2" );
+static_assert( std::tuple_size<const test_type>::value == 2, "size is 2" );
+static_assert( std::tuple_size<volatile test_type>::value == 2, "size is 2" );
+static_assert( std::tuple_size<const volatile test_type>::value == 2,
+               "size is 2" );
 
 template<std::size_t N, typename T>
   using Tuple_elt = typename std::tuple_element<N, T>::type;
 
+// This relies on the fact that <utility> includes <type_traits>:
 using std::is_same;
 
 static_assert( is_same<Tuple_elt<0, test_type>, test_type::first_type>::value,
@@ -35,3 +41,27 @@ static_assert( is_same<Tuple_elt<0, test_type>, test_type::first_type>::value,
 
 static_assert( is_same<Tuple_elt<1, test_type>, test_type::second_type>::value,
                "second type is long" );
+
+static_assert( is_same<Tuple_elt<0, const test_type>,
+               const test_type::first_type>::value,
+               "first type is const int" );
+
+static_assert( is_same<Tuple_elt<1, const test_type>,
+               const test_type::second_type>::value,
+               "second type is const long" );
+
+static_assert( is_same<Tuple_elt<0, volatile test_type>,
+               volatile test_type::first_type>::value,
+               "first type is volatile int" );
+
+static_assert( is_same<Tuple_elt<1, volatile test_type>,
+               volatile test_type::second_type>::value,
+               "second type is volatile long" );
+
+static_assert( is_same<Tuple_elt<0, const volatile test_type>,
+               const volatile test_type::first_type>::value,
+               "first type is const volatile int" );
+
+static_assert( is_same<Tuple_elt<1, const volatile test_type>,
+               const volatile test_type::second_type>::value,
+               "second type is const volatile long" );