PR libstdc++/60132, implement the remaining C++11 is_trivially_* traits

Message ID	CAFk2RUZqZaH5866i-KBx1qNpxXdtsCjdQ9b+5VcoMm6OKFu_uA@mail.gmail.com
State	New
Headers	show Return-Path: <gcc-patches-return-379955-incoming=patchwork.ozlabs.org@gcc.gnu.org> DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender :mime-version:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; q=dns; s=default; b=ZcxjNEEDRwJufVF5SU uOb7E0P4g9215iPiwfKZITMKZvryR0XwTe9szdCsf5PV3YUp6bCf0Ljunc/0soTR IE+2KO9Y9s68y1wRxb/SqT+mX9rnEgxb7mez1x/6/q91WosemqKEISDQc/FOI0nO a4L0KLmzWZwk0xumQ8nC3RL48= Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk Sender: gcc-patches-owner@gcc.gnu.org MIME-Version: 1.0 In-Reply-To: <20141008224510.GA4197@redhat.com> References: <CAFk2RUZyHMNXozS5sLgaxJ3o9JY30aH0qrnZPobwwFekcua3tQ@mail.gmail.com> <20141008224510.GA4197@redhat.com> Date: Thu, 9 Oct 2014 09:10:10 +0300 Message-ID: <CAFk2RUZqZaH5866i-KBx1qNpxXdtsCjdQ9b+5VcoMm6OKFu_uA@mail.gmail.com> Subject: Re: [PATCH] PR libstdc++/60132, implement the remaining C++11 is_trivially_* traits From: Ville Voutilainen <ville.voutilainen@gmail.com> To: Jonathan Wakely <jwakely@redhat.com> Cc: "gcc-patches@gcc.gnu.org" <gcc-patches@gcc.gnu.org>, libstdc++@gcc.gnu.org Content-Type: multipart/mixed; boundary=e89a8ff1ce22e7f6970504f748c7

diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index 6690044..d776efe 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -606,7 +606,11 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION : public integral_constant<bool, __is_trivial(_Tp)> { }; - // is_trivially_copyable (still unimplemented) + // is_trivially_copyable + template<typename _Tp> + struct is_trivially_copyable + : public integral_constant<bool, __is_trivially_copyable(_Tp)> + { }; /// is_standard_layout template<typename _Tp> @@ -1282,19 +1286,58 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION : public __is_nt_move_assignable_impl<_Tp> { }; - /// is_trivially_constructible (still unimplemented) + /// is_trivially_constructible + template<typename _Tp, typename... _Args> + struct is_trivially_constructible + : public __and_<is_constructible<_Tp, _Args...>, integral_constant<bool, + __is_trivially_constructible(_Tp, _Args...)>>::type + { }; - /// is_trivially_default_constructible (still unimplemented) - - /// is_trivially_copy_constructible (still unimplemented) + /// is_trivially_default_constructible + template<typename _Tp> + struct is_trivially_default_constructible + : public is_trivially_constructible<_Tp>::type + { }; - /// is_trivially_move_constructible (still unimplemented) + /// is_trivially_copy_constructible + template<typename _Tp> + struct is_trivially_copy_constructible + : public __and_<is_copy_constructible<_Tp>, + integral_constant<bool, + __is_trivially_constructible(_Tp, const _Tp&)>>::type + { }; + + /// is_trivially_move_constructible + template<typename _Tp> + struct is_trivially_move_constructible + : public __and_<is_move_constructible<_Tp>, + integral_constant<bool, + __is_trivially_constructible(_Tp, _Tp&&)>>::type + { }; - /// is_trivially_assignable (still unimplemented) + /// is_trivially_assignable + template<typename _Tp, typename _Up> + struct is_trivially_assignable + : public __and_<is_assignable<_Tp, _Up>, + integral_constant<bool, + __is_trivially_assignable(_Tp, _Up)>>::type + { }; - /// is_trivially_copy_assignable (still unimplemented) + /// is_trivially_copy_assignable + template<typename _Tp> + struct is_trivially_copy_assignable + : public __and_<is_copy_assignable<_Tp>, + integral_constant<bool, + __is_trivially_assignable(_Tp&, const _Tp&)>>::type + { }; - /// is_trivially_move_assignable (still unimplemented) + /// is_trivially_move_assignable + template<typename _Tp> + struct is_trivially_move_assignable + : public __and_<is_move_assignable<_Tp>, + integral_constant<bool, + __is_trivially_assignable(_Tp&, _Tp&&)>>::type + { }; /// is_trivially_destructible template<typename _Tp> diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_assignable/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_assignable/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..fa21d55 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_assignable/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_assignable<test_type, test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_assignable/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_assignable/requirements/typedefs.cc new file mode 100644 index 0000000..44c8acd --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_assignable/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_assignable<int, int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_assignable/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_assignable/value.cc new file mode 100644 index 0000000..0bf1d4b --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_assignable/value.cc @@ -0,0 +1,135 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCAssign +{ + HasTemplateCAssign& operator=(const HasTemplateCAssign&) = default; + template <class T> + HasTemplateCAssign& operator=(T&&); +}; + +struct MoveOnly +{ + MoveOnly& operator=(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2& operator=(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_assignable; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_assignable, + int, int>(false), ""); + static_assert(test_property<is_trivially_assignable, + int&, int>(true), ""); + static_assert(test_property<is_trivially_assignable, + int&, int&>(true), ""); + static_assert(test_property<is_trivially_assignable, + int&, int&&>(true), ""); + static_assert(test_property<is_trivially_assignable, + int&, const int&>(true), ""); + + static_assert(test_property<is_trivially_assignable, + TType, TType>(true), ""); + static_assert(test_property<is_trivially_assignable, + TType&, TType>(true), ""); + static_assert(test_property<is_trivially_assignable, + TType&, TType&>(true), ""); + static_assert(test_property<is_trivially_assignable, + TType&, TType&&>(true), ""); + static_assert(test_property<is_trivially_assignable, + TType&, const TType&>(true), ""); + static_assert(test_property<is_trivially_assignable, + PODType, PODType>(true), ""); + static_assert(test_property<is_trivially_assignable, + NType&, NType&>(false), ""); + static_assert(test_property<is_trivially_assignable, + SLType, SLType>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::Empty, assign::Empty>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::Abstract, assign::Abstract>(false), ""); + static_assert(test_property<is_trivially_assignable, + assign::Ellipsis, assign::Ellipsis>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::DelEllipsis, assign::DelEllipsis>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::Any, assign::Any>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::DelDef, assign::DelDef>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::DelCopy, assign::DelCopy>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::Nontrivial, assign::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_assignable, + assign::AnyAssign, assign::AnyAssign>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::DelAnyAssign, assign::DelAnyAssign>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::DelCopyAssign, assign::DelCopyAssign>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::MO, assign::MO>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::MO, assign::MO&&>(true), ""); + static_assert(test_property<is_trivially_assignable, + assign::MO, assign::MO&>(false), ""); + static_assert(test_property<is_trivially_assignable, + assign::MO, const assign::MO&>(false), ""); + static_assert(test_property<is_trivially_assignable, + CopyConsOnlyType, CopyConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_assignable, + CopyConsOnlyType, const CopyConsOnlyType&>(false), ""); + static_assert(test_property<is_trivially_assignable, + MoveConsOnlyType, MoveConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_assignable, + MoveConsOnlyType, MoveConsOnlyType&&>(false), ""); + static_assert(test_property<is_trivially_assignable, + HasTemplateCAssign, HasTemplateCAssign>(false), ""); + static_assert(test_property<is_trivially_assignable, + HasTemplateCAssign, const HasTemplateCAssign&>(true), ""); + static_assert(test_property<is_trivially_assignable, + ClassType, DerivedType>(true), ""); + static_assert(test_property<is_trivially_assignable, + ClassType, DerivedType&>(true), ""); + static_assert(test_property<is_trivially_assignable, + ClassType, DerivedType&&>(true), ""); + static_assert(test_property<is_trivially_assignable, + ClassType, const DerivedType&>(true), ""); + static_assert(test_property<is_trivially_assignable, + MoveOnly, MoveOnly>(true), ""); + static_assert(test_property<is_trivially_assignable, + MoveOnly, MoveOnly&&>(true), ""); + static_assert(test_property<is_trivially_assignable, + MoveOnly, MoveOnly&>(false), ""); + static_assert(test_property<is_trivially_assignable, + MoveOnly, const MoveOnly&>(false), ""); + static_assert(test_property<is_trivially_assignable, + MoveOnly2, MoveOnly2>(false), ""); +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_constructible/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_constructible/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..289d0c7 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_constructible/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_constructible<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_constructible/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_constructible/requirements/typedefs.cc new file mode 100644 index 0000000..73c18c0 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_constructible/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_constructible<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_constructible/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_constructible/value.cc new file mode 100644 index 0000000..a33dcca --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_constructible/value.cc @@ -0,0 +1,168 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCCtor +{ + HasTemplateCCtor(const HasTemplateCCtor&) = default; + template <class T> + HasTemplateCCtor(T&&); +}; + +struct MoveOnly +{ + MoveOnly(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_constructible; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_constructible, + int>(true), ""); + static_assert(test_property<is_trivially_constructible, + int, int>(true), ""); + static_assert(test_property<is_trivially_constructible, + int, int&>(true), ""); + static_assert(test_property<is_trivially_constructible, + int, int&&>(true), ""); + static_assert(test_property<is_trivially_constructible, + int, const int&>(true), ""); + static_assert(test_property<is_trivially_constructible, + PolymorphicClass>(false), ""); + static_assert(test_property<is_trivially_constructible, + PolymorphicClass, PolymorphicClass>(false), ""); + static_assert(test_property<is_trivially_constructible, + PolymorphicClass, PolymorphicClass&>(false), ""); + static_assert(test_property<is_trivially_constructible, + PolymorphicClass, PolymorphicClass&&>(false), ""); + static_assert(test_property<is_trivially_constructible, + PolymorphicClass, const PolymorphicClass&>(false), ""); + static_assert(test_property<is_trivially_constructible, + TType>(true), ""); + static_assert(test_property<is_trivially_constructible, + TType, TType>(true), ""); + static_assert(test_property<is_trivially_constructible, + TType, TType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + TType, TType&&>(true), ""); + static_assert(test_property<is_trivially_constructible, + TType, const TType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + TType, int, int>(false), ""); + static_assert(test_property<is_trivially_constructible, + PODType>(true), ""); + static_assert(test_property<is_trivially_constructible, + PODType, PODType>(true), ""); + static_assert(test_property<is_trivially_constructible, + PODType, PODType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + PODType, PODType&&>(true), ""); + static_assert(test_property<is_trivially_constructible, + PODType, const PODType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + PODType, int, int>(false), ""); + static_assert(test_property<is_trivially_constructible, + NType>(false), ""); + static_assert(test_property<is_trivially_constructible, + SLType>(false), ""); + static_assert(test_property<is_trivially_constructible, + LType>(false), ""); + static_assert(test_property<is_trivially_constructible, + LType, int>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::DelDef>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::Abstract>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::Ellipsis>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::DelEllipsis>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::Any>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::DelCopy>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::DelCopy, const construct::DelCopy&>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::DelDtor>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_constructible, + construct::UnusualCopy>(false), ""); + static_assert(test_property<is_trivially_constructible, + CopyConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_constructible, + CopyConsOnlyType, CopyConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_constructible, + CopyConsOnlyType, CopyConsOnlyType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + CopyConsOnlyType, CopyConsOnlyType&&>(false), ""); + static_assert(test_property<is_trivially_constructible, + CopyConsOnlyType, const CopyConsOnlyType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + MoveConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_constructible, + MoveConsOnlyType, MoveConsOnlyType>(true), ""); + static_assert(test_property<is_trivially_constructible, + MoveConsOnlyType, MoveConsOnlyType&>(false), ""); + static_assert(test_property<is_trivially_constructible, + MoveConsOnlyType, MoveConsOnlyType&&>(true), ""); + static_assert(test_property<is_trivially_constructible, + MoveConsOnlyType, const MoveConsOnlyType&>(false), ""); + static_assert(test_property<is_trivially_constructible, + ClassType, DerivedType>(true), ""); + static_assert(test_property<is_trivially_constructible, + ClassType, DerivedType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + ClassType, DerivedType&&>(true), ""); + static_assert(test_property<is_trivially_constructible, + ClassType, const DerivedType&>(true), ""); + static_assert(test_property<is_trivially_constructible, + HasTemplateCCtor>(false), ""); + static_assert(test_property<is_trivially_constructible, + HasTemplateCCtor, HasTemplateCCtor>(false), ""); + static_assert(test_property<is_trivially_constructible, + HasTemplateCCtor, const HasTemplateCCtor&>(true), ""); + static_assert(test_property<is_trivially_constructible, + MoveOnly>(false), ""); + static_assert(test_property<is_trivially_constructible, + MoveOnly, MoveOnly>(true), ""); + static_assert(test_property<is_trivially_constructible, + MoveOnly, MoveOnly&>(false), ""); + static_assert(test_property<is_trivially_constructible, + MoveOnly, MoveOnly&&>(true), ""); + static_assert(test_property<is_trivially_constructible, + MoveOnly, const MoveOnly&>(false), ""); + static_assert(test_property<is_trivially_constructible, + MoveOnly2>(false), ""); + + +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..01c1318 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_copy_assignable<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/requirements/typedefs.cc new file mode 100644 index 0000000..ee59a20 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_copy_assignable<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/value.cc new file mode 100644 index 0000000..597280f --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copy_assignable/value.cc @@ -0,0 +1,92 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCAssign +{ + HasTemplateCAssign& operator=(const HasTemplateCAssign&) = default; + template <class T> + HasTemplateCAssign& operator=(T&&); +}; + +struct MoveOnly +{ + MoveOnly& operator=(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2& operator=(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_copy_assignable; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_copy_assignable, + int>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + TType>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + PODType>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + NType>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + SLType>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::Empty>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::Abstract>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::Ellipsis>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::DelEllipsis>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::Any>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::DelDef>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::DelCopy>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::AnyAssign>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::DelAnyAssign>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::DelCopyAssign>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + assign::MO>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + CopyConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + MoveConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + HasTemplateCAssign>(true), ""); + static_assert(test_property<is_trivially_copy_assignable, + MoveOnly>(false), ""); + static_assert(test_property<is_trivially_copy_assignable, + MoveOnly2>(false), ""); +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..d413027 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_copy_constructible<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/requirements/typedefs.cc new file mode 100644 index 0000000..a5cc46a --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_copy_constructible<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/value.cc new file mode 100644 index 0000000..27d2899 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copy_constructible/value.cc @@ -0,0 +1,86 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCCtor +{ + HasTemplateCCtor(const HasTemplateCCtor&) = default; + template <class T> + HasTemplateCCtor(T&&); +}; + +struct MoveOnly +{ + MoveOnly(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_copy_constructible; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_copy_constructible, + int>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + TType>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + PODType>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + NType>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + SLType>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::DelDef>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::Abstract>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::Ellipsis>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::DelEllipsis>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::Any>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::DelCopy>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::DelDtor>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + construct::UnusualCopy>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + CopyConsOnlyType>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + MoveConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + HasTemplateCCtor>(true), ""); + static_assert(test_property<is_trivially_copy_constructible, + MoveOnly>(false), ""); + static_assert(test_property<is_trivially_copy_constructible, + MoveOnly2>(false), ""); +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copyable/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copyable/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..2069172 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copyable/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_copyable<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copyable/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copyable/requirements/typedefs.cc new file mode 100644 index 0000000..f2982c9 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copyable/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_copyable<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_copyable/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_copyable/value.cc new file mode 100644 index 0000000..a5669aa --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_copyable/value.cc @@ -0,0 +1,86 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCCtor +{ + HasTemplateCCtor(const HasTemplateCCtor&) = default; + template <class T> + HasTemplateCCtor(T&&); +}; + +struct MoveOnly +{ + MoveOnly(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_copyable; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_copyable, + int>(true), ""); + static_assert(test_property<is_trivially_copyable, + TType>(true), ""); + static_assert(test_property<is_trivially_copyable, + PODType>(true), ""); + static_assert(test_property<is_trivially_copyable, + NType>(false), ""); + static_assert(test_property<is_trivially_copyable, + SLType>(false), ""); + static_assert(test_property<is_trivially_copyable, + construct::DelDef>(true), ""); + static_assert(test_property<is_trivially_copyable, + construct::Abstract>(false), ""); + static_assert(test_property<is_trivially_copyable, + construct::Ellipsis>(true), ""); + static_assert(test_property<is_trivially_copyable, + construct::DelEllipsis>(true), ""); + static_assert(test_property<is_trivially_copyable, + construct::Any>(true), ""); + static_assert(test_property<is_trivially_copyable, + construct::DelCopy>(true), ""); + static_assert(test_property<is_trivially_copyable, + construct::DelDtor>(true), ""); + static_assert(test_property<is_trivially_copyable, + construct::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_copyable, + construct::UnusualCopy>(false), ""); + static_assert(test_property<is_trivially_copyable, + CopyConsOnlyType>(true), ""); + static_assert(test_property<is_trivially_copyable, + MoveConsOnlyType>(true), ""); + static_assert(test_property<is_trivially_copyable, + HasTemplateCCtor>(true), ""); + static_assert(test_property<is_trivially_copyable, + MoveOnly>(true), ""); + static_assert(test_property<is_trivially_copyable, + MoveOnly2>(true), ""); +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..d055f21 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_default_constructible<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/requirements/typedefs.cc new file mode 100644 index 0000000..525b137 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_default_constructible<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc new file mode 100644 index 0000000..9f587b3 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc @@ -0,0 +1,66 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCtor +{ + HasTemplateCtor() = default; + template <class T> + HasTemplateCtor(); +}; + +void test01() +{ + using std::is_trivially_default_constructible; + using namespace __gnu_test; + + static_assert(test_category<is_trivially_default_constructible, + int>(true), ""); + static_assert(test_category<is_trivially_default_constructible, + TType>(true), ""); + static_assert(test_category<is_trivially_default_constructible, + PODType>(true), ""); + static_assert(test_category<is_trivially_default_constructible, + NType>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + SLType>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::DelDef>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::Abstract>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::Ellipsis>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::DelEllipsis>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::Any>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::DelCopy>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::DelDtor>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + construct::Nontrivial>(false), ""); + static_assert(test_category<is_trivially_default_constructible, + HasTemplateCtor>(true), ""); +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..749c668 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_move_assignable<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/requirements/typedefs.cc new file mode 100644 index 0000000..1209578 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_move_assignable<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/value.cc new file mode 100644 index 0000000..5c33d1e --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_move_assignable/value.cc @@ -0,0 +1,92 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCAssign +{ + HasTemplateCAssign& operator=(const HasTemplateCAssign&) = default; + template <class T> + HasTemplateCAssign& operator=(T&&); +}; + +struct MoveOnly +{ + MoveOnly& operator=(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2& operator=(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_move_assignable; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_move_assignable, + int>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + TType>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + PODType>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + NType>(false), ""); + static_assert(test_property<is_trivially_move_assignable, + SLType>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::Empty>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::Abstract>(false), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::Ellipsis>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::DelEllipsis>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::Any>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::DelDef>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::DelCopy>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::AnyAssign>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::DelAnyAssign>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::DelCopyAssign>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + assign::MO>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + CopyConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_move_assignable, + MoveConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_move_assignable, + HasTemplateCAssign>(false), ""); + static_assert(test_property<is_trivially_move_assignable, + MoveOnly>(true), ""); + static_assert(test_property<is_trivially_move_assignable, + MoveOnly2>(false), ""); +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/requirements/explicit_instantiation.cc new file mode 100644 index 0000000..de93b3b --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/requirements/explicit_instantiation.cc @@ -0,0 +1,31 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-08 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +namespace std +{ + typedef short test_type; + template struct is_trivially_move_constructible<test_type>; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/requirements/typedefs.cc new file mode 100644 index 0000000..4fb6e7d --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/requirements/typedefs.cc @@ -0,0 +1,37 @@ +// { dg-options "-std=c++11" } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +// +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +// { dg-do compile } + +void test01() +{ + // Check for required typedefs + typedef std::is_trivially_move_constructible<int> test_type; + typedef test_type::value_type value_type; + typedef test_type::type type; + typedef test_type::type::value_type type_value_type; + typedef test_type::type::type type_type; +} diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/value.cc new file mode 100644 index 0000000..b67723f --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/value.cc @@ -0,0 +1,86 @@ +// { dg-options "-std=c++11" } +// { dg-do compile } +// +// 2014-10-07 Ville Voutilainen <ville.voutilainen@gmail.com> +// +// Copyright (C) 2014 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 +// <http://www.gnu.org/licenses/>. + +#include <type_traits> +#include <testsuite_tr1.h> + +struct HasTemplateCCtor +{ + HasTemplateCCtor(const HasTemplateCCtor&) = default; + template <class T> + HasTemplateCCtor(T&&); +}; + +struct MoveOnly +{ + MoveOnly(MoveOnly&&) = default; +}; + +struct MoveOnly2 +{ + MoveOnly2(MoveOnly2&&) = delete; +}; + +void test01() +{ + using std::is_trivially_move_constructible; + using namespace __gnu_test; + + static_assert(test_property<is_trivially_move_constructible, + int>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + TType>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + PODType>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + NType>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + SLType>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::DelDef>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::Abstract>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::Ellipsis>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::DelEllipsis>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::Any>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::DelCopy>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::DelDtor>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::Nontrivial>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + construct::UnusualCopy>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + CopyConsOnlyType>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + MoveConsOnlyType>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + HasTemplateCCtor>(false), ""); + static_assert(test_property<is_trivially_move_constructible, + MoveOnly>(true), ""); + static_assert(test_property<is_trivially_move_constructible, + MoveOnly2>(false), ""); +}

PR libstdc++/60132, implement the remaining C++11 is_trivially_* traits

Commit Message

Patch