git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

type_traits (is_reference, [...]): Remove. 

2007-06-02  Paolo Carlini  <pcarlini@suse.de>

	* include/tr1_impl/type_traits (is_reference, add_reference,
	remove_reference): Remove.
	* include/tr1/type_traits (is_reference, add_reference,
	remove_reference): Add.
	* include/std/type_traits (is_lvalue_reference, is_rvalue_reference,
	is_reference, remove_reference, add_lvalue_reference,
	add_rvalue_reference): Add.
	* include/tr1_impl/boost_shared_ptr.h (operator*): Adjust.
	* testsuite/20_util/add_lvalue_reference/requirements/
	explicit_instantiation.cc: New.
	* testsuite/20_util/add_lvalue_reference/value.cc: Likewise.
	* testsuite/20_util/add_rvalue_reference/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/add_rvalue_reference/value.cc: Likewise.
	* testsuite/20_util/is_lvalue_reference/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_lvalue_reference/requirements/
	typedefs.cc: Likewise.
	* testsuite/20_util/is_lvalue_reference/value.cc: Likewise.
	* testsuite/20_util/is_rvalue_reference/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_rvalue_reference/requirements/
	typedefs.cc: Likewise.
	* testsuite/20_util/is_rvalue_reference/value.cc: Likewise.
	* testsuite/20_util/is_reference/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_reference/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_reference/value.cc: Likewise.
	* testsuite/20_util/remove_reference/requirements/
	explicit_instantiation.cc: New.
	* testsuite/20_util/remove_reference/value.cc: Likewise.

	* testsuite/tr1/4_metaprogramming/add_const/requirements/
	typedefs.cc: Move...
	* testsuite/tr1/4_metaprogramming/add_const/value.cc: ... here.
	* testsuite/tr1/4_metaprogramming/add_cv/requirements/
	typedefs.cc: Move...
	* testsuite/tr1/4_metaprogramming/add_cv/value.cc: ... here.
	* testsuite/tr1/4_metaprogramming/add_pointer/requirements/
	typedefs.cc: Move...
	* testsuite/tr1/4_metaprogramming/add_pointer/value.cc: ... here.
	* testsuite/tr1/4_metaprogramming/add_reference/requirements/
	typedefs.cc: Move...
	* testsuite/tr1/4_metaprogramming/add_reference/value.cc: ... here.
	* testsuite/tr1/4_metaprogramming/add_volatile/requirements/
	typedefs.cc: Move...
	* testsuite/tr1/4_metaprogramming/add_volatile/value.cc: ... here.
	* testsuite/tr1/4_metaprogramming/aligned_storage/requirements/
	typedefs.cc: Move...
	* testsuite/tr1/4_metaprogramming/aligned_storage/value.cc: ... here.

From-SVN: r125283
This commit is contained in:
Paolo Carlini 2007-06-02 17:24:09 +00:00 committed by Paolo Carlini
parent 4620d81e72
commit 4a27a739a2
28 changed files with 828 additions and 59 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
libstdc++-v3/ChangeLog
View File

@ -1,3 +1,56 @@
2007-06-02 Paolo Carlini <pcarlini@suse.de>
* include/tr1_impl/type_traits (is_reference, add_reference,
remove_reference): Remove.
* include/tr1/type_traits (is_reference, add_reference,
remove_reference): Add.
* include/std/type_traits (is_lvalue_reference, is_rvalue_reference,
is_reference, remove_reference, add_lvalue_reference,
add_rvalue_reference): Add.
* include/tr1_impl/boost_shared_ptr.h (operator*): Adjust.
* testsuite/20_util/add_lvalue_reference/requirements/
explicit_instantiation.cc: New.
* testsuite/20_util/add_lvalue_reference/value.cc: Likewise.
* testsuite/20_util/add_rvalue_reference/requirements/
explicit_instantiation.cc: Likewise.
* testsuite/20_util/add_rvalue_reference/value.cc: Likewise.
* testsuite/20_util/is_lvalue_reference/requirements/
explicit_instantiation.cc: Likewise.
* testsuite/20_util/is_lvalue_reference/requirements/
typedefs.cc: Likewise.
* testsuite/20_util/is_lvalue_reference/value.cc: Likewise.
* testsuite/20_util/is_rvalue_reference/requirements/
explicit_instantiation.cc: Likewise.
* testsuite/20_util/is_rvalue_reference/requirements/
typedefs.cc: Likewise.
* testsuite/20_util/is_rvalue_reference/value.cc: Likewise.
* testsuite/20_util/is_reference/requirements/
explicit_instantiation.cc: Likewise.
* testsuite/20_util/is_reference/requirements/typedefs.cc: Likewise.
* testsuite/20_util/is_reference/value.cc: Likewise.
* testsuite/20_util/remove_reference/requirements/
explicit_instantiation.cc: New.
* testsuite/20_util/remove_reference/value.cc: Likewise.
* testsuite/tr1/4_metaprogramming/add_const/requirements/
typedefs.cc: Move...
* testsuite/tr1/4_metaprogramming/add_const/value.cc: ... here.
* testsuite/tr1/4_metaprogramming/add_cv/requirements/
typedefs.cc: Move...
* testsuite/tr1/4_metaprogramming/add_cv/value.cc: ... here.
* testsuite/tr1/4_metaprogramming/add_pointer/requirements/
typedefs.cc: Move...
* testsuite/tr1/4_metaprogramming/add_pointer/value.cc: ... here.
* testsuite/tr1/4_metaprogramming/add_reference/requirements/
typedefs.cc: Move...
* testsuite/tr1/4_metaprogramming/add_reference/value.cc: ... here.
* testsuite/tr1/4_metaprogramming/add_volatile/requirements/
typedefs.cc: Move...
* testsuite/tr1/4_metaprogramming/add_volatile/value.cc: ... here.
* testsuite/tr1/4_metaprogramming/aligned_storage/requirements/
typedefs.cc: Move...
* testsuite/tr1/4_metaprogramming/aligned_storage/value.cc: ... here.
2007-06-02 Paolo Bonzini <bonzini@gnu.org> 2007-06-02 Paolo Bonzini <bonzini@gnu.org>
* configure: Regenerate. * configure: Regenerate.

77
libstdc++-v3/include/std/type_traits
View File

@ -62,6 +62,77 @@
namespace std namespace std
{ {
// Primary classification traits.
template<typename>
struct is_lvalue_reference
: public false_type { };
template<typename _Tp>
struct is_lvalue_reference<_Tp&>
: public true_type { };
template<typename>
struct is_rvalue_reference
: public false_type { };
template<typename _Tp>
struct is_rvalue_reference<_Tp&&>
: public true_type { };
// Secondary classification traits.
template<typename _Tp>
struct is_reference
: public integral_constant<bool, (is_lvalue_reference<_Tp>::value
|| is_rvalue_reference<_Tp>::value)>
{ };
// Reference transformations.
template<typename _Tp>
struct remove_reference
{ typedef _Tp type; };
template<typename _Tp>
struct remove_reference<_Tp&>
{ typedef _Tp type; };
template<typename _Tp>
struct remove_reference<_Tp&&>
{ typedef _Tp type; };
template<typename _Tp,
bool = is_object<_Tp>::value || is_function<_Tp>::value,
bool = is_rvalue_reference<_Tp>::value>
struct __add_lvalue_reference_helper
{ typedef _Tp type; };
template<typename _Tp>
struct __add_lvalue_reference_helper<_Tp, true, false>
{ typedef _Tp& type; };
template<typename _Tp>
struct __add_lvalue_reference_helper<_Tp, false, true>
{ typedef typename remove_reference<_Tp>::type& type; };
template<typename _Tp>
struct add_lvalue_reference
: public __add_lvalue_reference_helper<_Tp>
{ };
template<typename _Tp,
bool = is_object<_Tp>::value || is_function<_Tp>::value>
struct __add_rvalue_reference_helper
{ typedef _Tp type; };
template<typename _Tp>
struct __add_rvalue_reference_helper<_Tp, true>
{ typedef _Tp&& type; };
template<typename _Tp>
struct add_rvalue_reference
: public __add_rvalue_reference_helper<_Tp>
{ };
// Scalar properties and transformations.
template<typename _Tp, template<typename _Tp,
bool = is_integral<_Tp>::value, bool = is_integral<_Tp>::value,
bool = is_floating_point<_Tp>::value> bool = is_floating_point<_Tp>::value>
@ -88,6 +159,7 @@ namespace std
&& !is_signed<_Tp>::value)> && !is_signed<_Tp>::value)>
{ }; { };
// Member introspection.
template<typename _Tp> template<typename _Tp>
struct is_pod struct is_pod
: public integral_constant<bool, __is_pod(_Tp)> : public integral_constant<bool, __is_pod(_Tp)>
@ -133,8 +205,7 @@ namespace std
: public integral_constant<bool, __is_base_of(_Base, _Derived)> : public integral_constant<bool, __is_base_of(_Base, _Derived)>
{ }; { };
// XXX FIXME // Relationships between types.
// The C++0x specifications are different, see N2255.
template<typename _From, typename _To> template<typename _From, typename _To>
struct __is_convertible_simple struct __is_convertible_simple
: public __sfinae_types : public __sfinae_types
@ -178,6 +249,8 @@ namespace std
|| (__is_int_or_cref<_To>::__value || (__is_int_or_cref<_To>::__value
&& !is_void<_From>::value)); }; && !is_void<_From>::value)); };
// XXX FIXME
// The C++0x specifications are different, see N2255.
template<typename _From, typename _To> template<typename _From, typename _To>
struct is_convertible struct is_convertible
: public integral_constant<bool, : public integral_constant<bool,

60
libstdc++-v3/include/tr1/type_traits
View File

@ -75,22 +75,12 @@ namespace tr1
_DEFINE_SPEC_##_Order##_HELPER(_Trait<_Type const volatile>, _Value) _DEFINE_SPEC_##_Order##_HELPER(_Trait<_Type const volatile>, _Value)
template<typename> template<typename>
struct is_signed struct is_reference
: public false_type { }; : public false_type { };
_DEFINE_SPEC(0, is_signed, signed char, true)
_DEFINE_SPEC(0, is_signed, short, true)
_DEFINE_SPEC(0, is_signed, int, true)
_DEFINE_SPEC(0, is_signed, long, true)
_DEFINE_SPEC(0, is_signed, long long, true)
template<typename> template<typename _Tp>
struct is_unsigned struct is_reference<_Tp&>
: public false_type { }; : public true_type { };
_DEFINE_SPEC(0, is_unsigned, unsigned char, true)
_DEFINE_SPEC(0, is_unsigned, unsigned short, true)
_DEFINE_SPEC(0, is_unsigned, unsigned int, true)
_DEFINE_SPEC(0, is_unsigned, unsigned long, true)
_DEFINE_SPEC(0, is_unsigned, unsigned long long, true)
template<typename _Tp> template<typename _Tp>
struct is_pod struct is_pod
@ -132,6 +122,24 @@ namespace tr1
: public integral_constant<bool, is_pod<_Tp>::value> : public integral_constant<bool, is_pod<_Tp>::value>
{ }; { };
template<typename>
struct is_signed
: public false_type { };
_DEFINE_SPEC(0, is_signed, signed char, true)
_DEFINE_SPEC(0, is_signed, short, true)
_DEFINE_SPEC(0, is_signed, int, true)
_DEFINE_SPEC(0, is_signed, long, true)
_DEFINE_SPEC(0, is_signed, long long, true)
template<typename>
struct is_unsigned
: public false_type { };
_DEFINE_SPEC(0, is_unsigned, unsigned char, true)
_DEFINE_SPEC(0, is_unsigned, unsigned short, true)
_DEFINE_SPEC(0, is_unsigned, unsigned int, true)
_DEFINE_SPEC(0, is_unsigned, unsigned long, true)
_DEFINE_SPEC(0, is_unsigned, unsigned long long, true)
template<typename _Base, typename _Derived> template<typename _Base, typename _Derived>
struct __is_base_of_helper struct __is_base_of_helper
{ {
@ -198,6 +206,30 @@ namespace tr1
__is_convertible_helper<_From, _To>::__value> __is_convertible_helper<_From, _To>::__value>
{ }; { };
/// @brief reference modifications [4.7.2].
template<typename _Tp>
struct remove_reference
{ typedef _Tp type; };
template<typename _Tp>
struct remove_reference<_Tp&>
{ typedef _Tp type; };
// NB: Careful with reference to void.
template<typename _Tp, bool = (is_void<_Tp>::value
|| is_reference<_Tp>::value)>
struct __add_reference_helper
{ typedef _Tp& type; };
template<typename _Tp>
struct __add_reference_helper<_Tp, true>
{ typedef _Tp type; };
template<typename _Tp>
struct add_reference
: public __add_reference_helper<_Tp>
{ };
#undef _DEFINE_SPEC_0_HELPER #undef _DEFINE_SPEC_0_HELPER
#undef _DEFINE_SPEC #undef _DEFINE_SPEC
#undef _DEFINE_SPEC_BODY #undef _DEFINE_SPEC_BODY

6
libstdc++-v3/include/tr1_impl/boost_shared_ptr.h
View File

@ -647,7 +647,11 @@ _GLIBCXX_BEGIN_NAMESPACE_TR1
{ __shared_ptr(__p, __d).swap(*this); } { __shared_ptr(__p, __d).swap(*this); }
// Allow class instantiation when _Tp is [cv-qual] void. // Allow class instantiation when _Tp is [cv-qual] void.
typename add_reference<_Tp>::type #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
typename std::add_lvalue_reference<_Tp>::type
#else
typename std::tr1::add_reference<_Tp>::type
#endif
operator*() const // never throws operator*() const // never throws
{ {
_GLIBCXX_DEBUG_ASSERT(_M_ptr != 0); _GLIBCXX_DEBUG_ASSERT(_M_ptr != 0);

32
libstdc++-v3/include/tr1_impl/type_traits
View File

@ -132,14 +132,6 @@ _GLIBCXX_BEGIN_NAMESPACE_TR1
: public false_type { }; : public false_type { };
_DEFINE_SPEC(1, is_pointer, _Tp*, true) _DEFINE_SPEC(1, is_pointer, _Tp*, true)
template<typename>
struct is_reference
: public false_type { };
template<typename _Tp>
struct is_reference<_Tp&>
: public true_type { };
template<typename> template<typename>
struct is_member_object_pointer struct is_member_object_pointer
: public false_type { }; : public false_type { };
@ -343,30 +335,6 @@ _GLIBCXX_BEGIN_NAMESPACE_TR1
add_const<typename add_volatile<_Tp>::type>::type type; add_const<typename add_volatile<_Tp>::type>::type type;
}; };
/// @brief reference modifications [4.7.2].
template<typename _Tp>
struct remove_reference
{ typedef _Tp type; };
template<typename _Tp>
struct remove_reference<_Tp&>
{ typedef _Tp type; };
// NB: Careful with reference to void.
template<typename _Tp, bool = (is_void<_Tp>::value
|| is_reference<_Tp>::value)>
struct __add_reference_helper
{ typedef _Tp& type; };
template<typename _Tp>
struct __add_reference_helper<_Tp, true>
{ typedef _Tp type; };
template<typename _Tp>
struct add_reference
: public __add_reference_helper<_Tp>
{ };
/// @brief array modifications [4.7.3]. /// @brief array modifications [4.7.3].
template<typename _Tp> template<typename _Tp>
struct remove_extent struct remove_extent

40
libstdc++-v3/testsuite/20_util/add_lvalue_reference/requirements/explicit_instantiation.cc Normal file
View File

@ -0,0 +1,40 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
// NB: This file is for testing type_traits with NO OTHER INCLUDES.
#include <type_traits>
namespace std
{
typedef short test_type;
template struct add_lvalue_reference<test_type>;
}

50
libstdc++-v3/testsuite/20_util/add_lvalue_reference/value.cc Normal file
View File

@ -0,0 +1,50 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
#include <type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::add_lvalue_reference;
using std::is_same;
using namespace __gnu_test;
VERIFY( (is_same<add_lvalue_reference<int>::type, int&>::value) );
VERIFY( (is_same<add_lvalue_reference<int&>::type, int&>::value) );
VERIFY( (is_same<add_lvalue_reference<const int>::type, const int&>::value) );
VERIFY( (is_same<add_lvalue_reference<int*>::type, int*&>::value) );
VERIFY( (is_same<add_lvalue_reference<ClassType&>::type, ClassType&>::value) );
VERIFY( (is_same<add_lvalue_reference<ClassType>::type, ClassType&>::value) );
VERIFY( (is_same<add_lvalue_reference<int(int)>::type, int(&)(int)>::value) );
VERIFY( (is_same<add_lvalue_reference<int&&>::type, int&>::value) );
VERIFY( (is_same<add_lvalue_reference<ClassType&&>::type, ClassType&>::value) );
VERIFY( (is_same<add_lvalue_reference<void>::type, void>::value) );
VERIFY( (is_same<add_lvalue_reference<const void>::type, const void>::value) );
}
int main()
{
test01();
return 0;
}

40
libstdc++-v3/testsuite/20_util/add_rvalue_reference/requirements/explicit_instantiation.cc Normal file
View File

@ -0,0 +1,40 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
// NB: This file is for testing type_traits with NO OTHER INCLUDES.
#include <type_traits>
namespace std
{
typedef short test_type;
template struct add_rvalue_reference<test_type>;
}

48
libstdc++-v3/testsuite/20_util/add_rvalue_reference/value.cc Normal file
View File

@ -0,0 +1,48 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
#include <type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::add_rvalue_reference;
using std::is_same;
using namespace __gnu_test;
VERIFY( (is_same<add_rvalue_reference<int>::type, int&&>::value) );
VERIFY( (is_same<add_rvalue_reference<int&&>::type, int&&>::value) );
VERIFY( (is_same<add_rvalue_reference<const int>::type, const int&&>::value) );
VERIFY( (is_same<add_rvalue_reference<int*>::type, int*&&>::value) );
VERIFY( (is_same<add_rvalue_reference<ClassType&&>::type, ClassType&&>::value) );
VERIFY( (is_same<add_rvalue_reference<ClassType>::type, ClassType&&>::value) );
VERIFY( (is_same<add_rvalue_reference<int(int)>::type, int(&&)(int)>::value) );
VERIFY( (is_same<add_rvalue_reference<void>::type, void>::value) );
VERIFY( (is_same<add_rvalue_reference<const void>::type, const void>::value) );
}
int main()
{
test01();
return 0;
}

40
libstdc++-v3/testsuite/20_util/is_lvalue_reference/requirements/explicit_instantiation.cc Normal file
View File

@ -0,0 +1,40 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
// NB: This file is for testing type_traits with NO OTHER INCLUDES.
#include <type_traits>
namespace std
{
typedef short test_type;
template struct is_lvalue_reference<test_type>;
}

37
libstdc++-v3/testsuite/20_util/is_lvalue_reference/requirements/typedefs.cc Normal file
View File

@ -0,0 +1,37 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
//
// 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_lvalue_reference<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;
}

45
libstdc++-v3/testsuite/20_util/is_lvalue_reference/value.cc Normal file
View File

@ -0,0 +1,45 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
#include <type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::is_lvalue_reference;
using namespace __gnu_test;
VERIFY( (test_category<is_lvalue_reference, int&>(true)) );
VERIFY( (test_category<is_lvalue_reference, ClassType&>(true)) );
VERIFY( (test_category<is_lvalue_reference, int(&)(int)>(true)) );
// Sanity check.
VERIFY( (test_category<is_lvalue_reference, int&&>(false)) );
VERIFY( (test_category<is_lvalue_reference, ClassType>(false)) );
}
int main()
{
test01();
return 0;
}

40
libstdc++-v3/testsuite/20_util/is_reference/requirements/explicit_instantiation.cc Normal file
View File

@ -0,0 +1,40 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
// NB: This file is for testing type_traits with NO OTHER INCLUDES.
#include <type_traits>
namespace std
{
typedef short test_type;
template struct is_reference<test_type>;
}

37
libstdc++-v3/testsuite/20_util/is_reference/requirements/typedefs.cc Normal file
View File

@ -0,0 +1,37 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
//
// 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_reference<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;
}

47
libstdc++-v3/testsuite/20_util/is_reference/value.cc Normal file
View File

@ -0,0 +1,47 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
#include <type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::is_reference;
using namespace __gnu_test;
VERIFY( (test_category<is_reference, int&>(true)) );
VERIFY( (test_category<is_reference, ClassType&>(true)) );
VERIFY( (test_category<is_reference, int(&)(int)>(true)) );
VERIFY( (test_category<is_reference, int&&>(true)) );
VERIFY( (test_category<is_reference, ClassType&&>(true)) );
VERIFY( (test_category<is_reference, int(&&)(int)>(true)) );
// Sanity check.
VERIFY( (test_category<is_reference, ClassType>(false)) );
}
int main()
{
test01();
return 0;
}

40
libstdc++-v3/testsuite/20_util/is_rvalue_reference/requirements/explicit_instantiation.cc Normal file
View File

@ -0,0 +1,40 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
// NB: This file is for testing type_traits with NO OTHER INCLUDES.
#include <type_traits>
namespace std
{
typedef short test_type;
template struct is_rvalue_reference<test_type>;
}

37
libstdc++-v3/testsuite/20_util/is_rvalue_reference/requirements/typedefs.cc Normal file
View File

@ -0,0 +1,37 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
//
// 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_rvalue_reference<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;
}

45
libstdc++-v3/testsuite/20_util/is_rvalue_reference/value.cc Normal file
View File

@ -0,0 +1,45 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
#include <type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::is_rvalue_reference;
using namespace __gnu_test;
VERIFY( (test_category<is_rvalue_reference, int&&>(true)) );
VERIFY( (test_category<is_rvalue_reference, ClassType&&>(true)) );
VERIFY( (test_category<is_rvalue_reference, int(&&)(int)>(true)) );
// Sanity check.
VERIFY( (test_category<is_rvalue_reference, int&>(false)) );
VERIFY( (test_category<is_rvalue_reference, ClassType>(false)) );
}
int main()
{
test01();
return 0;
}

4
libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc
View File

@ -49,8 +49,8 @@ void test01()
// { dg-error "instantiated from here" "" { target *-*-* } 41 } // { dg-error "instantiated from here" "" { target *-*-* } 41 }
// { dg-error "instantiated from here" "" { target *-*-* } 43 } // { dg-error "instantiated from here" "" { target *-*-* } 43 }
// { dg-error "invalid use of incomplete type" "" { target *-*-* } 424 } // { dg-error "invalid use of incomplete type" "" { target *-*-* } 497 }
// { dg-error "declaration of" "" { target *-*-* } 390 } // { dg-error "declaration of" "" { target *-*-* } 463 }
// { dg-excess-errors "At global scope" } // { dg-excess-errors "At global scope" }
// { dg-excess-errors "In instantiation of" } // { dg-excess-errors "In instantiation of" }

4
libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc
View File

@ -49,8 +49,8 @@ void test01()
// { dg-error "instantiated from here" "" { target *-*-* } 41 } // { dg-error "instantiated from here" "" { target *-*-* } 41 }
// { dg-error "instantiated from here" "" { target *-*-* } 43 } // { dg-error "instantiated from here" "" { target *-*-* } 43 }
// { dg-error "invalid use of incomplete type" "" { target *-*-* } 345 } // { dg-error "invalid use of incomplete type" "" { target *-*-* } 418 }
// { dg-error "declaration of" "" { target *-*-* } 311 } // { dg-error "declaration of" "" { target *-*-* } 384 }
// { dg-excess-errors "At global scope" } // { dg-excess-errors "At global scope" }
// { dg-excess-errors "In instantiation of" } // { dg-excess-errors "In instantiation of" }

40
libstdc++-v3/testsuite/20_util/remove_reference/requirements/explicit_instantiation.cc Normal file
View File

@ -0,0 +1,40 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
// NB: This file is for testing type_traits with NO OTHER INCLUDES.
#include <type_traits>
namespace std
{
typedef short test_type;
template struct remove_reference<test_type>;
}

53
libstdc++-v3/testsuite/20_util/remove_reference/value.cc Normal file
View File

@ -0,0 +1,53 @@
// { dg-options "-std=gnu++0x" }
// 2007-06-02 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2007 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 2, 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 COPYING. If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.
#include <type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::remove_reference;
using std::is_same;
using namespace __gnu_test;
VERIFY( (is_same<remove_reference<int&>::type, int>::value) );
VERIFY( (is_same<remove_reference<int>::type, int>::value) );
VERIFY( (is_same<remove_reference<const int&>::type, const int>::value) );
VERIFY( (is_same<remove_reference<int*&>::type, int*>::value) );
VERIFY( (is_same<remove_reference<ClassType&>::type, ClassType>::value) );
VERIFY( (is_same<remove_reference<ClassType>::type, ClassType>::value) );
VERIFY( (is_same<remove_reference<int(&)(int)>::type, int(int)>::value) );
VERIFY( (is_same<remove_reference<int&&>::type, int>::value) );
VERIFY( (is_same<remove_reference<int>::type, int>::value) );
VERIFY( (is_same<remove_reference<const int&&>::type, const int>::value) );
VERIFY( (is_same<remove_reference<int*&&>::type, int*>::value) );
VERIFY( (is_same<remove_reference<ClassType&&>::type, ClassType>::value) );
VERIFY( (is_same<remove_reference<ClassType>::type, ClassType>::value) );
VERIFY( (is_same<remove_reference<int(&&)(int)>::type, int(int)>::value) );
}
int main()
{
test01();
return 0;
}

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/add_const/requirements/typedefs.cc → libstdc++-v3/testsuite/tr1/4_metaprogramming/add_const/value.cc
View File

@ -1,6 +1,6 @@
// 2004-12-16 Paolo Carlini <pcarlini@suse.de> // 2004-12-16 Paolo Carlini <pcarlini@suse.de>
// //
// Copyright (C) 2004 Free Software Foundation, Inc. // Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
// //
// This file is part of the GNU ISO C++ Library. This library is free // 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 // software; you can redistribute it and/or modify it under the

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/add_cv/requirements/typedefs.cc → libstdc++-v3/testsuite/tr1/4_metaprogramming/add_cv/value.cc
View File

@ -1,6 +1,6 @@
// 2004-12-16 Paolo Carlini <pcarlini@suse.de> // 2004-12-16 Paolo Carlini <pcarlini@suse.de>
// //
// Copyright (C) 2004 Free Software Foundation, Inc. // Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
// //
// This file is part of the GNU ISO C++ Library. This library is free // 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 // software; you can redistribute it and/or modify it under the

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/add_pointer/requirements/typedefs.cc → libstdc++-v3/testsuite/tr1/4_metaprogramming/add_pointer/value.cc
View File

@ -1,6 +1,6 @@
// 2004-12-12 Paolo Carlini <pcarlini@suse.de> // 2004-12-12 Paolo Carlini <pcarlini@suse.de>
// //
// Copyright (C) 2004 Free Software Foundation, Inc. // Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
// //
// This file is part of the GNU ISO C++ Library. This library is free // 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 // software; you can redistribute it and/or modify it under the

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/add_reference/requirements/typedefs.cc → libstdc++-v3/testsuite/tr1/4_metaprogramming/add_reference/value.cc
View File

@ -1,6 +1,6 @@
// 2004-12-08 Paolo Carlini <pcarlini@suse.de> // 2004-12-08 Paolo Carlini <pcarlini@suse.de>
// //
// Copyright (C) 2004, 2005, 2006 Free Software Foundation, Inc. // Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
// //
// This file is part of the GNU ISO C++ Library. This library is free // 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 // software; you can redistribute it and/or modify it under the

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/add_volatile/requirements/typedefs.cc → libstdc++-v3/testsuite/tr1/4_metaprogramming/add_volatile/value.cc
View File

@ -1,6 +1,6 @@
// 2004-12-16 Paolo Carlini <pcarlini@suse.de> // 2004-12-16 Paolo Carlini <pcarlini@suse.de>
// //
// Copyright (C) 2004 Free Software Foundation, Inc. // Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
// //
// This file is part of the GNU ISO C++ Library. This library is free // 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 // software; you can redistribute it and/or modify it under the

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/aligned_storage/requirements/typedefs.cc → libstdc++-v3/testsuite/tr1/4_metaprogramming/aligned_storage/value.cc
View File

@ -1,6 +1,6 @@
// 2005-01-11 Paolo Carlini <pcarlini@suse.de> // 2005-01-11 Paolo Carlini <pcarlini@suse.de>
// //
// Copyright (C) 2005 Free Software Foundation, Inc. // Copyright (C) 2005, 2006, 2007 Free Software Foundation, Inc.
// //
// This file is part of the GNU ISO C++ Library. This library is free // 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 // software; you can redistribute it and/or modify it under the