]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/20_util/remove_cvref/value_ext.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / remove_cvref / value_ext.cc
CommitLineData
adba76a3
JW
1// { dg-do compile { target c++11 } }
2
8d9254fc 3// Copyright (C) 2018-2020 Free Software Foundation, Inc.
adba76a3
JW
4//
5// This file is part of the GNU ISO C++ Library. This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10//
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14// GNU General Public License for more details.
15//
16// You should have received a copy of the GNU General Public License along
17// with this library; see the file COPYING3. If not see
18// <http://www.gnu.org/licenses/>.
19
20#include <type_traits>
21#include <testsuite_tr1.h>
22
23void test01()
24{
25 using std::__remove_cvref_t;
26 using std::is_same;
27 using namespace __gnu_test;
28
29 static_assert(is_same<__remove_cvref_t<const volatile int>,
30 int>::value, "");
31 static_assert(is_same<__remove_cvref_t<const volatile int*>,
32 const volatile int*>::value, "");
33 static_assert(is_same<__remove_cvref_t<const volatile int&>,
34 int>::value, "");
35 static_assert(is_same<__remove_cvref_t<const volatile int&&>,
36 int>::value, "");
37 static_assert(is_same<__remove_cvref_t<const volatile ClassType>,
38 ClassType>::value, "");
39 static_assert(is_same<__remove_cvref_t<const volatile ClassType*>,
40 const volatile ClassType*>::value, "");
41 static_assert(is_same<__remove_cvref_t<const volatile ClassType&>,
42 ClassType>::value, "");
43 static_assert(is_same<__remove_cvref_t<const volatile ClassType&&>,
44 ClassType>::value, "");
45 static_assert(is_same<__remove_cvref_t<const int(&)[3]>,
46 int[3]>::value, "");
47 static_assert(is_same<__remove_cvref_t<const int(&)()>,
48 const int()>::value, "");
49}