From adba76a3912e1297d337e2870bceaad19a61b6f5 Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Thu, 3 May 2018 16:12:19 +0100 Subject: [PATCH] Add tests for std::remove_cvref * testsuite/20_util/remove_cvref/requirements/alias_decl.cc: New. * testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc: New. * testsuite/20_util/remove_cvref/value.cc: New. * testsuite/20_util/remove_cvref/value_ext.cc: New. From-SVN: r259896 --- libstdc++-v3/ChangeLog | 6 +++ .../remove_cvref/requirements/alias_decl.cc | 37 ++++++++++++++ .../requirements/explicit_instantiation.cc | 29 +++++++++++ .../testsuite/20_util/remove_cvref/value.cc | 50 +++++++++++++++++++ .../20_util/remove_cvref/value_ext.cc | 49 ++++++++++++++++++ 5 files changed, 171 insertions(+) create mode 100644 libstdc++-v3/testsuite/20_util/remove_cvref/requirements/alias_decl.cc create mode 100644 libstdc++-v3/testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc create mode 100644 libstdc++-v3/testsuite/20_util/remove_cvref/value.cc create mode 100644 libstdc++-v3/testsuite/20_util/remove_cvref/value_ext.cc diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 3b12844d02d..f3473016fd5 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,5 +1,11 @@ 2018-05-03 Jonathan Wakely + * testsuite/20_util/remove_cvref/requirements/alias_decl.cc: New. + * testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc: + New. + * testsuite/20_util/remove_cvref/value.cc: New. + * testsuite/20_util/remove_cvref/value_ext.cc: New. + PR libstdc++/84087 LWG DR 2268 basic_string default arguments * include/bits/basic_string.h [_GLIBCXX_USE_CXX11_ABI=1] (append(const basic_string&, size_type, size_type) diff --git a/libstdc++-v3/testsuite/20_util/remove_cvref/requirements/alias_decl.cc b/libstdc++-v3/testsuite/20_util/remove_cvref/requirements/alias_decl.cc new file mode 100644 index 00000000000..1b2f67f75f6 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/remove_cvref/requirements/alias_decl.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=gnu++2a" } +// { dg-do compile { target c++2a } } + +// Copyright (C) 2018 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 +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include + +using namespace std; + +static_assert (is_same::type, + remove_cvref_t>(), + "remove_cvref_t" ); + +static_assert (is_same::type, + remove_cvref_t>(), + "remove_cvref_t" ); + +static_assert (is_same::type, + remove_cvref_t>(), + "remove_cvref_t" ); diff --git a/libstdc++-v3/testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc new file mode 100644 index 00000000000..5dac5c7e33b --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc @@ -0,0 +1,29 @@ +// { dg-options "-std=gnu++2a" } +// { dg-do compile { target c++2a } } + +// Copyright (C) 2018 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 +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include + +namespace std +{ + typedef short test_type; + template struct remove_cvref; +} diff --git a/libstdc++-v3/testsuite/20_util/remove_cvref/value.cc b/libstdc++-v3/testsuite/20_util/remove_cvref/value.cc new file mode 100644 index 00000000000..534464c4333 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/remove_cvref/value.cc @@ -0,0 +1,50 @@ +// { dg-options "-std=gnu++2a" } +// { dg-do compile { target c++2a } } + +// Copyright (C) 2018 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 +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. +// +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +#include +#include + +void test01() +{ + using std::remove_cvref; + using std::is_same; + using namespace __gnu_test; + + static_assert(is_same::type, + int>::value, ""); + static_assert(is_same::type, + const volatile int*>::value, ""); + static_assert(is_same::type, + int>::value, ""); + static_assert(is_same::type, + int>::value, ""); + static_assert(is_same::type, + ClassType>::value, ""); + static_assert(is_same::type, + const volatile ClassType*>::value, ""); + static_assert(is_same::type, + ClassType>::value, ""); + static_assert(is_same::type, + ClassType>::value, ""); + static_assert(is_same::type, + int[3]>::value, ""); + static_assert(is_same::type, + const int()>::value, ""); +} diff --git a/libstdc++-v3/testsuite/20_util/remove_cvref/value_ext.cc b/libstdc++-v3/testsuite/20_util/remove_cvref/value_ext.cc new file mode 100644 index 00000000000..9790b95dc91 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/remove_cvref/value_ext.cc @@ -0,0 +1,49 @@ +// { dg-do compile { target c++11 } } + +// Copyright (C) 2018 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 +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. +// +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +#include +#include + +void test01() +{ + using std::__remove_cvref_t; + using std::is_same; + using namespace __gnu_test; + + static_assert(is_same<__remove_cvref_t, + int>::value, ""); + static_assert(is_same<__remove_cvref_t, + const volatile int*>::value, ""); + static_assert(is_same<__remove_cvref_t, + int>::value, ""); + static_assert(is_same<__remove_cvref_t, + int>::value, ""); + static_assert(is_same<__remove_cvref_t, + ClassType>::value, ""); + static_assert(is_same<__remove_cvref_t, + const volatile ClassType*>::value, ""); + static_assert(is_same<__remove_cvref_t, + ClassType>::value, ""); + static_assert(is_same<__remove_cvref_t, + ClassType>::value, ""); + static_assert(is_same<__remove_cvref_t, + int[3]>::value, ""); + static_assert(is_same<__remove_cvref_t, + const int()>::value, ""); +} -- 2.30.2