2 // { dg-options "-std=gnu++11" }
4 // Copyright (C) 2011-2016 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
22 #include <type_traits>
23 #include <testsuite_hooks.h>
28 bool test
__attribute__((unused
)) = true;
32 typedef array
<int, len
> array_type
;
34 static_assert(is_same
<tuple_element
<0, array_type
>::type
, int>::value
, "" );
35 static_assert(is_same
<tuple_element
<1, array_type
>::type
, int>::value
, "" );
36 static_assert(is_same
<tuple_element
<2, array_type
>::type
, int>::value
, "");
38 static_assert(is_same
<tuple_element
<0, const array_type
>::type
,
39 const int>::value
, "");
40 static_assert(is_same
<tuple_element
<1, const array_type
>::type
,
41 const int>::value
, "");
42 static_assert(is_same
<tuple_element
<2, const array_type
>::type
,
43 const int>::value
, "");
45 static_assert(is_same
<tuple_element
<0, volatile array_type
>::type
,
46 volatile int>::value
, "");
47 static_assert(is_same
<tuple_element
<1, volatile array_type
>::type
,
48 volatile int>::value
, "");
49 static_assert( (is_same
<tuple_element
<2, volatile array_type
>::type
,
50 volatile int>::value
== true), "" );
52 static_assert(is_same
<tuple_element
<0, const volatile array_type
>::type
,
53 const volatile int>::value
, "");
54 static_assert(is_same
<tuple_element
<1, const volatile array_type
>::type
,
55 const volatile int>::value
, "");
56 static_assert(is_same
<tuple_element
<2, const volatile array_type
>::type
,
57 const volatile int>::value
, "");