From ae29d0253f8333b228e24c6202f567ee9dca8da9 Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sun, 8 Dec 2013 09:44:48 +0000
Subject: [PATCH] explicit_instantiation.cc: New.

2013-12-08  Paolo Carlini  <paolo.carlini@oracle.com>

	* testsuite/20_util/add_const/requirements/explicit_instantiation.cc:
	New.
	* testsuite/20_util/add_const/value.cc: Likewise.
	* testsuite/20_util/add_cv/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/add_cv/value.cc: Likewise.
	* testsuite/20_util/add_pointer/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/add_pointer/value.cc: Likewise.
	* testsuite/20_util/add_volatile/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/add_volatile/value.cc: Likewise.
	* testsuite/20_util/alignment_of/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/alignment_of/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/alignment_of/value.cc: Likewise.
	* testsuite/20_util/extent/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/extent/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/extent/value.cc: Likewise.
	* testsuite/20_util/has_virtual_destructor/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/has_virtual_destructor/requirements/
	typedefs.cc: Likewise.
	* testsuite/20_util/has_virtual_destructor/value.cc: Likewise.
	* testsuite/20_util/is_abstract/requirements/explicit_instantiation.cc:
 	Likewise.
	* testsuite/20_util/is_abstract/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_abstract/value.cc: Likewise.
	* testsuite/20_util/is_arithmetic/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_arithmetic/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_arithmetic/value.cc: Likewise.
	* testsuite/20_util/is_array/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_array/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_array/value.cc: Likewise.
	* testsuite/20_util/is_base_of/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_base_of/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_base_of/value.cc: Likewise.
	* testsuite/20_util/is_class/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_class/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_class/value.cc: Likewise.
	* testsuite/20_util/is_const/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_const/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_const/value.cc: Likewise.
	* testsuite/20_util/is_empty/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_empty/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_empty/value.cc: Likewise.
	* testsuite/20_util/is_enum/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_enum/requirements/typedefs.cc
	* testsuite/20_util/is_enum/value.cc: Likewise.
	* testsuite/20_util/is_pointer/requirements/explicit_instantiation.cc
	* testsuite/20_util/is_pointer/value.cc: Likewise.
	* testsuite/20_util/is_polymorphic/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_polymorphic/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_polymorphic/value.cc: Likewise.
	* testsuite/20_util/is_same/requirements/explicit_instantiation.cc
	* testsuite/20_util/is_same/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_same/value.cc: Likewise.
	* testsuite/20_util/is_union/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_union/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_union/value.cc: Likewise.
	* testsuite/20_util/is_void/requirements/explicit_instantiation.cc
	* testsuite/20_util/is_void/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_void/value.cc: Likewise.
	* testsuite/20_util/is_volatile/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/is_volatile/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_volatile/value.cc: Likewise.
	* testsuite/20_util/rank/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/rank/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/rank/value.cc: Likewise.
	* testsuite/20_util/remove_all_extents/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/remove_all_extents/value.cc: Likewise.
	* testsuite/20_util/remove_const/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/remove_const/value.cc: Likewise.
	* testsuite/20_util/remove_cv/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/remove_cv/value.cc: Likewise.
	* testsuite/20_util/remove_extent/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/remove_extent/value.cc: Likewise.
	* testsuite/20_util/remove_pointer/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/remove_pointer/value.cc: Likewise.
	* testsuite/20_util/remove_volatile/requirements/
	explicit_instantiation.cc: Likewise.
	* testsuite/20_util/remove_volatile/value.cc: Likewise.

From-SVN: r205789
---
 libstdc++-v3/ChangeLog                             | 102 +++++++++++++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 libstdc++-v3/testsuite/20_util/add_const/value.cc  |  48 ++++++++++
 .../add_cv/requirements/explicit_instantiation.cc  |  29 ++++++
 libstdc++-v3/testsuite/20_util/add_cv/value.cc     |  49 ++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/add_pointer/value.cc         |  37 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/add_volatile/value.cc        |  49 ++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/alignment_of/requirements/typedefs.cc  |  34 +++++++
 .../testsuite/20_util/alignment_of/value.cc        |  36 ++++++++
 .../extent/requirements/explicit_instantiation.cc  |  29 ++++++
 .../20_util/extent/requirements/typedefs.cc        |  34 +++++++
 libstdc++-v3/testsuite/20_util/extent/value.cc     |  47 ++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../requirements/typedefs.cc                       |  34 +++++++
 .../20_util/has_virtual_destructor/value.cc        |  50 ++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_abstract/requirements/typedefs.cc   |  34 +++++++
 .../testsuite/20_util/is_abstract/value.cc         |  39 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_arithmetic/requirements/typedefs.cc |  34 +++++++
 .../testsuite/20_util/is_arithmetic/value.cc       |  51 +++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_array/requirements/typedefs.cc      |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_array/value.cc   |  44 +++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_base_of/requirements/typedefs.cc    |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_base_of/value.cc |  89 ++++++++++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_class/requirements/typedefs.cc      |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_class/value.cc   |  51 +++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_const/requirements/typedefs.cc      |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_const/value.cc   |  40 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_empty/requirements/typedefs.cc      |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_empty/value.cc   |  66 +++++++++++++
 .../is_enum/requirements/explicit_instantiation.cc |  29 ++++++
 .../20_util/is_enum/requirements/typedefs.cc       |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_enum/value.cc    |  49 ++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 libstdc++-v3/testsuite/20_util/is_pointer/value.cc |  35 +++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../is_polymorphic/requirements/typedefs.cc        |  34 +++++++
 .../testsuite/20_util/is_polymorphic/value.cc      |  46 ++++++++++
 .../is_same/requirements/explicit_instantiation.cc |  29 ++++++
 .../20_util/is_same/requirements/typedefs.cc       |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_same/value.cc    |  40 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_union/requirements/typedefs.cc      |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_union/value.cc   |  51 +++++++++++
 .../is_void/requirements/explicit_instantiation.cc |  29 ++++++
 .../20_util/is_void/requirements/typedefs.cc       |  34 +++++++
 libstdc++-v3/testsuite/20_util/is_void/value.cc    |  51 +++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../20_util/is_volatile/requirements/typedefs.cc   |  34 +++++++
 .../testsuite/20_util/is_volatile/value.cc         |  40 ++++++++
 .../rank/requirements/explicit_instantiation.cc    |  29 ++++++
 .../20_util/rank/requirements/typedefs.cc          |  34 +++++++
 libstdc++-v3/testsuite/20_util/rank/value.cc       |  37 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/remove_all_extents/value.cc  |  46 ++++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/remove_const/value.cc        |  37 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 libstdc++-v3/testsuite/20_util/remove_cv/value.cc  |  37 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/remove_extent/value.cc       |  45 +++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/remove_pointer/value.cc      |  38 ++++++++
 .../requirements/explicit_instantiation.cc         |  29 ++++++
 .../testsuite/20_util/remove_volatile/value.cc     |  38 ++++++++
 74 files changed, 2778 insertions(+)
 create mode 100644 libstdc++-v3/testsuite/20_util/add_const/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_const/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_cv/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_cv/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_pointer/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_pointer/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_volatile/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/add_volatile/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/alignment_of/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/alignment_of/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/alignment_of/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/extent/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/extent/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/extent/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/has_virtual_destructor/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_abstract/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_abstract/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_abstract/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_arithmetic/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_array/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_array/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_array/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_base_of/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_base_of/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_base_of/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_class/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_class/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_class/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_const/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_const/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_const/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_empty/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_empty/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_empty/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_enum/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_enum/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_enum/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_pointer/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_pointer/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_polymorphic/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_same/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_same/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_same/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_union/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_union/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_union/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_void/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_void/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_void/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_volatile/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_volatile/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/is_volatile/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/rank/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/rank/requirements/typedefs.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/rank/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_all_extents/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_all_extents/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_const/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_const/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_cv/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_cv/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_extent/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_extent/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_pointer/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_pointer/value.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_volatile/requirements/explicit_instantiation.cc
 create mode 100644 libstdc++-v3/testsuite/20_util/remove_volatile/value.cc

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index e437e5e..a814fd5 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,105 @@
+2013-12-08  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	* testsuite/20_util/add_const/requirements/explicit_instantiation.cc:
+	New.
+	* testsuite/20_util/add_const/value.cc: Likewise.
+	* testsuite/20_util/add_cv/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/add_cv/value.cc: Likewise.
+	* testsuite/20_util/add_pointer/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/add_pointer/value.cc: Likewise.
+	* testsuite/20_util/add_volatile/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/add_volatile/value.cc: Likewise.
+	* testsuite/20_util/alignment_of/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/alignment_of/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/alignment_of/value.cc: Likewise.
+	* testsuite/20_util/extent/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/extent/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/extent/value.cc: Likewise.
+	* testsuite/20_util/has_virtual_destructor/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/has_virtual_destructor/requirements/
+	typedefs.cc: Likewise.
+	* testsuite/20_util/has_virtual_destructor/value.cc: Likewise.
+	* testsuite/20_util/is_abstract/requirements/explicit_instantiation.cc:
+ 	Likewise.
+	* testsuite/20_util/is_abstract/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_abstract/value.cc: Likewise.
+	* testsuite/20_util/is_arithmetic/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/is_arithmetic/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_arithmetic/value.cc: Likewise.
+	* testsuite/20_util/is_array/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/is_array/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_array/value.cc: Likewise.
+	* testsuite/20_util/is_base_of/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/is_base_of/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_base_of/value.cc: Likewise.
+	* testsuite/20_util/is_class/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/is_class/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_class/value.cc: Likewise.
+	* testsuite/20_util/is_const/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/is_const/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_const/value.cc: Likewise.
+	* testsuite/20_util/is_empty/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/is_empty/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_empty/value.cc: Likewise.
+	* testsuite/20_util/is_enum/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/is_enum/requirements/typedefs.cc
+	* testsuite/20_util/is_enum/value.cc: Likewise.
+	* testsuite/20_util/is_pointer/requirements/explicit_instantiation.cc
+	* testsuite/20_util/is_pointer/value.cc: Likewise.
+	* testsuite/20_util/is_polymorphic/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/is_polymorphic/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_polymorphic/value.cc: Likewise.
+	* testsuite/20_util/is_same/requirements/explicit_instantiation.cc
+	* testsuite/20_util/is_same/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_same/value.cc: Likewise.
+	* testsuite/20_util/is_union/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/is_union/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_union/value.cc: Likewise.
+	* testsuite/20_util/is_void/requirements/explicit_instantiation.cc
+	* testsuite/20_util/is_void/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_void/value.cc: Likewise.
+	* testsuite/20_util/is_volatile/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/is_volatile/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/is_volatile/value.cc: Likewise.
+	* testsuite/20_util/rank/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/rank/requirements/typedefs.cc: Likewise.
+	* testsuite/20_util/rank/value.cc: Likewise.
+	* testsuite/20_util/remove_all_extents/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/remove_all_extents/value.cc: Likewise.
+	* testsuite/20_util/remove_const/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/remove_const/value.cc: Likewise.
+	* testsuite/20_util/remove_cv/requirements/explicit_instantiation.cc:
+	Likewise.
+	* testsuite/20_util/remove_cv/value.cc: Likewise.
+	* testsuite/20_util/remove_extent/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/remove_extent/value.cc: Likewise.
+	* testsuite/20_util/remove_pointer/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/remove_pointer/value.cc: Likewise.
+	* testsuite/20_util/remove_volatile/requirements/
+	explicit_instantiation.cc: Likewise.
+	* testsuite/20_util/remove_volatile/value.cc: Likewise.
+
 2013-12-06  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	* testsuite/util/testsuite_tr1.h (test_category, test_property,
diff --git a/libstdc++-v3/testsuite/20_util/add_const/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/add_const/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..815008a
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_const/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 add_const<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_const/value.cc b/libstdc++-v3/testsuite/20_util/add_const/value.cc
new file mode 100644
index 0000000..d300e4c
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_const/value.cc
@@ -0,0 +1,48 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::add_const;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<add_const<int>::type, const int>::value, "");
+  static_assert(is_same<add_const<volatile int>::type,
+		const volatile int>::value, "");
+  static_assert(is_same<add_const<int*>::type, int* const>::value, "");
+  static_assert(is_same<add_const<int&>::type, int&>::value, "");
+  static_assert(is_same<add_const<int (int)>::type, int (int)>::value, "");
+  static_assert(is_same<add_const<const int>::type, const int>::value, "");
+  static_assert(is_same<add_const<ClassType>::type,
+		const ClassType>::value, "");
+  static_assert(is_same<add_const<volatile ClassType>::type,
+		const volatile ClassType>::value, "");
+  static_assert(is_same<add_const<ClassType*>::type,
+		ClassType* const>::value, "");
+  static_assert(is_same<add_const<ClassType&>::type, ClassType&>::value, "");
+  static_assert(is_same<add_const<ClassType (ClassType)>::type,
+		ClassType (ClassType)>::value, "");
+  static_assert(is_same<add_const<const ClassType>::type,
+		const ClassType>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_cv/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/add_cv/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..1eaeeb7
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_cv/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 add_cv<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_cv/value.cc b/libstdc++-v3/testsuite/20_util/add_cv/value.cc
new file mode 100644
index 0000000..c36f13c
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_cv/value.cc
@@ -0,0 +1,49 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::add_cv;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<add_cv<int>::type, const volatile int>::value, "");
+  static_assert(is_same<add_cv<const int>::type,
+		const volatile int>::value, "");
+  static_assert(is_same<add_cv<int*>::type, int* const volatile>::value, "");
+  static_assert(is_same<add_cv<int&>::type, int&>::value, "");
+  static_assert(is_same<add_cv<int (int)>::type, int (int)>::value, "");
+  static_assert(is_same<add_cv<const volatile int>::type,
+		const volatile int>::value, "");
+  static_assert(is_same<add_cv<ClassType>::type,
+		const volatile ClassType>::value, "");
+  static_assert(is_same<add_cv<volatile ClassType>::type,
+		const volatile ClassType>::value, "");
+  static_assert(is_same<add_cv<ClassType*>::type,
+		ClassType* const volatile>::value, "");
+  static_assert(is_same<add_cv<ClassType&>::type, ClassType&>::value, "");
+  static_assert(is_same<add_cv<ClassType (ClassType)>::type,
+		ClassType (ClassType)>::value, "");
+  static_assert(is_same<add_cv<const volatile ClassType>::type,
+		const volatile ClassType>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_pointer/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/add_pointer/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..68a8caf
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_pointer/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 add_pointer<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_pointer/value.cc b/libstdc++-v3/testsuite/20_util/add_pointer/value.cc
new file mode 100644
index 0000000..de43d6b
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_pointer/value.cc
@@ -0,0 +1,37 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::add_pointer;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<add_pointer<int>::type, int*>::value, "");
+  static_assert(is_same<add_pointer<int*>::type, int**>::value, "");
+  static_assert(is_same<add_pointer<const int>::type, const int*>::value, "");
+  static_assert(is_same<add_pointer<int&>::type, int*>::value, "");
+  static_assert(is_same<add_pointer<ClassType*>::type,
+		ClassType**>::value, "");
+  static_assert(is_same<add_pointer<ClassType>::type, ClassType*>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_volatile/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/add_volatile/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..cfc657c
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_volatile/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 add_volatile<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/add_volatile/value.cc b/libstdc++-v3/testsuite/20_util/add_volatile/value.cc
new file mode 100644
index 0000000..b78b14e
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/add_volatile/value.cc
@@ -0,0 +1,49 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::add_volatile;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<add_volatile<int>::type, volatile int>::value, "");
+  static_assert(is_same<add_volatile<const int>::type,
+		const volatile int>::value, "");
+  static_assert(is_same<add_volatile<int*>::type, int* volatile>::value, "");
+  static_assert(is_same<add_volatile<int&>::type, int&>::value, "");
+  static_assert(is_same<add_volatile<int (int)>::type, int (int)>::value, "");
+  static_assert(is_same<add_volatile<volatile int>::type,
+		volatile int>::value, "");
+  static_assert(is_same<add_volatile<ClassType>::type,
+		volatile ClassType>::value, "");
+  static_assert(is_same<add_volatile<const ClassType>::type,
+		const volatile ClassType>::value, "");
+  static_assert(is_same<add_volatile<ClassType*>::type,
+		ClassType* volatile>::value, "");
+  static_assert(is_same<add_volatile<ClassType&>::type, ClassType&>::value, "");
+  static_assert(is_same<add_volatile<ClassType (ClassType)>::type,
+		ClassType (ClassType)>::value, "");
+  static_assert(is_same<add_volatile<volatile ClassType>::type,
+		volatile ClassType>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/alignment_of/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/alignment_of/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..0cee459
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/alignment_of/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 alignment_of<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/alignment_of/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/alignment_of/requirements/typedefs.cc
new file mode 100644
index 0000000..e471471
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/alignment_of/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::alignment_of<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/alignment_of/value.cc b/libstdc++-v3/testsuite/20_util/alignment_of/value.cc
new file mode 100644
index 0000000..29b8719
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/alignment_of/value.cc
@@ -0,0 +1,36 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::alignment_of;
+  using namespace __gnu_test;
+
+  static_assert(test_property<alignment_of, char>(__alignof__(char)), "");
+  static_assert(test_property<alignment_of, short>(__alignof__(short)), "");
+  static_assert(test_property<alignment_of, int>(__alignof__(int)), "");
+  static_assert(test_property<alignment_of, double>(__alignof__(double)), "");
+  static_assert(test_property<alignment_of, int[4]>(__alignof__(int[4])), "");
+  static_assert(test_property<alignment_of,
+		ClassType>(__alignof__(ClassType)), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/extent/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/extent/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..dddbfbe7
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/extent/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 extent<test_type, 2>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/extent/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/extent/requirements/typedefs.cc
new file mode 100644
index 0000000..c59c66b
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/extent/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::extent<int, 1>                 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/extent/value.cc b/libstdc++-v3/testsuite/20_util/extent/value.cc
new file mode 100644
index 0000000..1f1c0dd
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/extent/value.cc
@@ -0,0 +1,47 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::extent;
+  using namespace __gnu_test;
+
+  static_assert(test_property<extent, int, 0>(0), "");
+  static_assert(test_property<extent, int[2], 0>(2), "");
+  static_assert(test_property<extent, int[2][4], 0>(2), "");
+  static_assert(test_property<extent, int[][4], 0>(0), "");
+  static_assert(extent<int, 1>::value == 0, "");
+  static_assert(extent<int[2], 1>::value == 0, "");
+  static_assert(extent<int[2][4], 1>::value == 4, "");
+  static_assert(extent<int[][4], 1>::value == 4, "");
+  static_assert(extent<int[10][4][6][8][12][2], 4>::value == 12, "");
+  static_assert(test_property<extent, ClassType, 0>(0), "");
+  static_assert(test_property<extent, ClassType[2], 0>(2), "");
+  static_assert(test_property<extent, ClassType[2][4], 0>(2), "");
+  static_assert(test_property<extent, ClassType[][4], 0>(0), "");
+  static_assert(extent<ClassType, 1>::value == 0, "");
+  static_assert(extent<ClassType[2], 1>::value == 0, "");
+  static_assert(extent<ClassType[2][4], 1>::value == 4, "");
+  static_assert(extent<ClassType[][4], 1>::value == 4, "");
+  static_assert(extent<ClassType[10][4][6][8][12][2], 4>::value == 12, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..af5871f
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 has_virtual_destructor<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/typedefs.cc
new file mode 100644
index 0000000..1e4bd32
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/has_virtual_destructor/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::has_virtual_destructor<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/has_virtual_destructor/value.cc b/libstdc++-v3/testsuite/20_util/has_virtual_destructor/value.cc
new file mode 100644
index 0000000..7ab6a5d
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/has_virtual_destructor/value.cc
@@ -0,0 +1,50 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 <iostream>
+#include <testsuite_tr1.h>
+
+void test01()
+{
+  using std::has_virtual_destructor;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<has_virtual_destructor,
+		VirtualDestructorClass>(true), "");
+  static_assert(test_category<has_virtual_destructor, std::iostream>(true), "");
+  static_assert(test_category<has_virtual_destructor,
+		std::streambuf>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<has_virtual_destructor,
+		PolymorphicClass>(false), "");
+  static_assert(test_category<has_virtual_destructor,
+		DerivedPolymorphic>(false), "");
+  static_assert(test_category<has_virtual_destructor,
+		AbstractClass>(false), "");
+  static_assert(test_category<has_virtual_destructor, void>(false), "");
+  static_assert(test_category<has_virtual_destructor, int (int)>(false), "");
+  static_assert(test_category<has_virtual_destructor, int&>(false), "");
+  static_assert(test_category<has_virtual_destructor, EnumType>(false), "");
+  static_assert(test_category<has_virtual_destructor, ClassType>(false), "");
+  static_assert(test_category<has_virtual_destructor, DerivedType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_abstract/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_abstract/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..5a7a766
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_abstract/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_abstract<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_abstract/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_abstract/requirements/typedefs.cc
new file mode 100644
index 0000000..3c75324
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_abstract/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_abstract<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_abstract/value.cc b/libstdc++-v3/testsuite/20_util/is_abstract/value.cc
new file mode 100644
index 0000000..8f01419
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_abstract/value.cc
@@ -0,0 +1,39 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_abstract;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<is_abstract, AbstractClass>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<is_abstract, void>(false), "");
+  static_assert(test_category<is_abstract, int (int)>(false), "");
+  static_assert(test_category<is_abstract, int&>(false), "");
+  
+  // Sanity check.
+  static_assert(test_category<is_abstract, ClassType>(false), "");  
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..c9642c8
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_arithmetic<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/typedefs.cc
new file mode 100644
index 0000000..3086694
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_arithmetic/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_arithmetic<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_arithmetic/value.cc b/libstdc++-v3/testsuite/20_util/is_arithmetic/value.cc
new file mode 100644
index 0000000..5150882
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_arithmetic/value.cc
@@ -0,0 +1,51 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_arithmetic;
+  using namespace __gnu_test;
+
+  static_assert(test_category<is_arithmetic, void>(false), "");
+
+  static_assert(test_category<is_arithmetic, char>(true), "");
+  static_assert(test_category<is_arithmetic, signed char>(true), "");
+  static_assert(test_category<is_arithmetic, unsigned char>(true), "");
+#ifdef _GLIBCXX_USE_WCHAR_T
+  static_assert(test_category<is_arithmetic, wchar_t>(true), "");
+#endif
+  static_assert(test_category<is_arithmetic, short>(true), "");
+  static_assert(test_category<is_arithmetic, unsigned short>(true), "");
+  static_assert(test_category<is_arithmetic, int>(true), "");
+  static_assert(test_category<is_arithmetic, unsigned int>(true), "");
+  static_assert(test_category<is_arithmetic, long>(true), "");
+  static_assert(test_category<is_arithmetic, unsigned long>(true), "");
+  static_assert(test_category<is_arithmetic, long long>(true), "");
+  static_assert(test_category<is_arithmetic, unsigned long long>(true), "");
+  static_assert(test_category<is_arithmetic, float>(true), "");
+  static_assert(test_category<is_arithmetic, double>(true), "");
+  static_assert(test_category<is_arithmetic, long double>(true), "");
+
+  // Sanity check.
+  static_assert(test_category<is_arithmetic, ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_array/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_array/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..1ae681f
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_array/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_array<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_array/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_array/requirements/typedefs.cc
new file mode 100644
index 0000000..b9fcb85
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_array/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_array<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_array/value.cc b/libstdc++-v3/testsuite/20_util/is_array/value.cc
new file mode 100644
index 0000000..a8e336d
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_array/value.cc
@@ -0,0 +1,44 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_array;
+  using namespace __gnu_test;
+
+  static_assert(test_category<is_array, int[2]>(true), "");
+  static_assert(test_category<is_array, int[]>(true), "");
+  static_assert(test_category<is_array, int[2][3]>(true), "");
+  static_assert(test_category<is_array, int[][3]>(true), "");
+  static_assert(test_category<is_array, float*[2]>(true), "");
+  static_assert(test_category<is_array, float*[]>(true), "");
+  static_assert(test_category<is_array, float*[2][3]>(true), "");
+  static_assert(test_category<is_array, float*[][3]>(true), "");
+  static_assert(test_category<is_array, ClassType[2]>(true), "");
+  static_assert(test_category<is_array, ClassType[]>(true), "");
+  static_assert(test_category<is_array, ClassType[2][3]>(true), "");
+  static_assert(test_category<is_array, ClassType[][3]>(true), "");
+
+  // Sanity check.
+  static_assert(test_category<is_array, ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_base_of/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_base_of/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..1564e0a
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_base_of/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_base_of<test_type, test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_base_of/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_base_of/requirements/typedefs.cc
new file mode 100644
index 0000000..d39b007
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_base_of/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_base_of<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_base_of/value.cc b/libstdc++-v3/testsuite/20_util/is_base_of/value.cc
new file mode 100644
index 0000000..cacee4c
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_base_of/value.cc
@@ -0,0 +1,89 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+class HiddenCons
+{
+  HiddenCons();
+  HiddenCons(const HiddenCons&);
+};
+
+class DerivedHiddenCons
+: private HiddenCons
+{
+  DerivedHiddenCons();
+  DerivedHiddenCons(const DerivedHiddenCons&);
+};
+
+class MultiDerivedHiddenCons
+: private HiddenCons, private __gnu_test::ClassType 
+{
+  MultiDerivedHiddenCons();
+  MultiDerivedHiddenCons(const MultiDerivedHiddenCons&);
+};
+
+void test01()
+{
+  using std::is_base_of;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_relationship<is_base_of, AbstractClass,
+		AbstractClass>(true), "");
+  static_assert(test_relationship<is_base_of, ClassType,
+		DerivedType>(true), "");
+  static_assert(test_relationship<is_base_of, ClassType,
+		const DerivedType>(true), "");
+  static_assert(test_relationship<is_base_of, volatile ClassType,
+		volatile DerivedType>(true), "");
+  static_assert(test_relationship<is_base_of, PolymorphicClass,
+		DerivedPolymorphic>(true), "");
+  static_assert(test_relationship<is_base_of, HiddenCons,
+		DerivedHiddenCons>(true), "");
+  static_assert(test_relationship<is_base_of, HiddenCons,
+		MultiDerivedHiddenCons>(true), "");
+  static_assert(test_relationship<is_base_of, ClassType,
+		MultiDerivedHiddenCons>(true), "");
+
+  // Negative tests.
+  static_assert(test_relationship<is_base_of, int, int>(false), "");
+  static_assert(test_relationship<is_base_of, EnumType, EnumType>(false), "");
+  static_assert(test_relationship<is_base_of, UnionType, UnionType>(false), "");
+  static_assert(test_relationship<is_base_of, int, const int>(false), "");
+  static_assert(test_relationship<is_base_of, volatile UnionType,
+		UnionType>(false), "");
+  static_assert(test_relationship<is_base_of, int&, ClassType>(false), "");
+  static_assert(test_relationship<is_base_of, AbstractClass,
+		ClassType>(false), "");
+  static_assert(test_relationship<is_base_of, ClassType,
+		AbstractClass>(false), "");
+  static_assert(test_relationship<is_base_of, DerivedType,
+		ClassType>(false), "");
+  static_assert(test_relationship<is_base_of, DerivedPolymorphic,
+		PolymorphicClass>(false), "");
+  static_assert(test_relationship<is_base_of, DerivedHiddenCons,
+		HiddenCons>(false), "");
+  static_assert(test_relationship<is_base_of, MultiDerivedHiddenCons,
+		HiddenCons>(false), "");
+  static_assert(test_relationship<is_base_of, MultiDerivedHiddenCons,
+		ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_class/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_class/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..884f487
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_class/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_class<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_class/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_class/requirements/typedefs.cc
new file mode 100644
index 0000000..1cd8d99
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_class/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_class<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_class/value.cc b/libstdc++-v3/testsuite/20_util/is_class/value.cc
new file mode 100644
index 0000000..d3a4add
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_class/value.cc
@@ -0,0 +1,51 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_class;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<is_class, ClassType>(true), "");
+  static_assert(test_category<is_class, DerivedType>(true), "");
+  static_assert(test_category<is_class, ConvType>(true), "");
+  static_assert(test_category<is_class, AbstractClass>(true), "");
+  static_assert(test_category<is_class, PolymorphicClass>(true), "");
+  static_assert(test_category<is_class, DerivedPolymorphic>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<is_class, UnionType>(false), "");
+  static_assert(test_category<is_class, void>(false), "");
+  static_assert(test_category<is_class, int>(false), "");
+  static_assert(test_category<is_class, float>(false), "");
+  static_assert(test_category<is_class, int[2]>(false), "");
+  static_assert(test_category<is_class, int*>(false), "");
+  static_assert(test_category<is_class, int(*)(int)>(false), "");
+  static_assert(test_category<is_class, float&>(false), "");
+  static_assert(test_category<is_class, float(&)(float)>(false), "");
+  static_assert(test_category<is_class, int (ClassType::*)>(false), "");
+  static_assert(test_category<is_class, int (ClassType::*) (int)>(false), "");
+  static_assert(test_category<is_class, int (int)>(false), "");
+  static_assert(test_category<is_class, EnumType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_const/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_const/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..c5ee542
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_const/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_const<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_const/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_const/requirements/typedefs.cc
new file mode 100644
index 0000000..6a5d3bf
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_const/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_const<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_const/value.cc b/libstdc++-v3/testsuite/20_util/is_const/value.cc
new file mode 100644
index 0000000..82f18e0
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_const/value.cc
@@ -0,0 +1,40 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_const;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_property<is_const, const int>(true), "");
+  static_assert(test_property<is_const, const volatile int>(true), "");
+  static_assert(test_property<is_const, cClassType>(true), "");
+  static_assert(test_property<is_const, cvClassType>(true), "");
+
+  // Negative tests.
+  static_assert(test_property<is_const, int>(false), "");
+  static_assert(test_property<is_const, volatile int>(false), "");
+  static_assert(test_property<is_const, ClassType>(false), "");
+  static_assert(test_property<is_const, vClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_empty/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_empty/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..75aff62
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_empty/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_empty<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_empty/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_empty/requirements/typedefs.cc
new file mode 100644
index 0000000..d7102eb
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_empty/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_empty<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_empty/value.cc b/libstdc++-v3/testsuite/20_util/is_empty/value.cc
new file mode 100644
index 0000000..3334bd52
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_empty/value.cc
@@ -0,0 +1,66 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+class EmptyClassOne
+{ typedef int type; };
+
+class EmptyClassTwo
+{ static int data; };
+
+class EmptyClassThree
+{ int f(); };
+
+class NonEmptyClassOne
+{ int data; };
+
+class NonEmptyClassTwo
+{
+  virtual int f();
+  virtual ~NonEmptyClassTwo();
+};
+
+void test01()
+{
+  using std::is_empty;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<is_empty, ClassType>(true), "");
+  static_assert(test_category<is_empty, EmptyClassOne>(true), "");
+  static_assert(test_category<is_empty, EmptyClassTwo>(true), "");
+  static_assert(test_category<is_empty, EmptyClassThree>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<is_empty, void>(false), "");
+  static_assert(test_category<is_empty, float>(false), "");
+  static_assert(test_category<is_empty, int[4]>(false), "");
+  static_assert(test_category<is_empty, int*>(false), "");
+  static_assert(test_category<is_empty, int&>(false), "");
+  static_assert(test_category<is_empty, int (ClassType::*)>(false), "");
+  static_assert(test_category<is_empty, EnumType>(false), "");
+  static_assert(test_category<is_empty, int (int)>(false), "");
+
+  static_assert(test_category<is_empty, AbstractClass>(false), "");
+  static_assert(test_category<is_empty, NonEmptyClassOne>(false), "");
+  static_assert(test_category<is_empty, NonEmptyClassTwo>(false), "");  
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_enum/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_enum/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..f467bc2
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_enum/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_enum<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_enum/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_enum/requirements/typedefs.cc
new file mode 100644
index 0000000..6c18666
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_enum/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_enum<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_enum/value.cc b/libstdc++-v3/testsuite/20_util/is_enum/value.cc
new file mode 100644
index 0000000..c418f76
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_enum/value.cc
@@ -0,0 +1,49 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_enum;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<is_enum, EnumType>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<is_enum, void>(false), "");
+  static_assert(test_category<is_enum, int>(false), "");
+  static_assert(test_category<is_enum, float>(false), "");
+  static_assert(test_category<is_enum, int[2]>(false), "");
+  static_assert(test_category<is_enum, int*>(false), "");
+  static_assert(test_category<is_enum, int(*)(int)>(false), "");
+  static_assert(test_category<is_enum, float&>(false), "");
+  static_assert(test_category<is_enum, float(&)(float)>(false), "");
+  static_assert(test_category<is_enum, int (ClassType::*)>(false), "");
+  static_assert(test_category<is_enum, int (ClassType::*) (int)>(false), "");
+  static_assert(test_category<is_enum, int (int)>(false), "");
+
+  static_assert(test_category<is_enum, ConvType>(false), "");
+
+  // Sanity check.
+  static_assert(test_category<is_enum, ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_pointer/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_pointer/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..109b038
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_pointer/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_pointer<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_pointer/value.cc b/libstdc++-v3/testsuite/20_util/is_pointer/value.cc
new file mode 100644
index 0000000..f211518
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_pointer/value.cc
@@ -0,0 +1,35 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_pointer;
+  using namespace __gnu_test;
+
+  static_assert(test_category<is_pointer, int*>(true), "");
+  static_assert(test_category<is_pointer, ClassType*>(true), "");
+  static_assert(test_category<is_pointer, int(*)(int)>(true), "");
+
+  // Sanity check.
+  static_assert(test_category<is_pointer, ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..fd21435
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_polymorphic<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/typedefs.cc
new file mode 100644
index 0000000..1a35c52
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_polymorphic/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_polymorphic<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_polymorphic/value.cc b/libstdc++-v3/testsuite/20_util/is_polymorphic/value.cc
new file mode 100644
index 0000000..9a7a5e3
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_polymorphic/value.cc
@@ -0,0 +1,46 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 <iostream>
+#include <testsuite_tr1.h>
+
+void test01()
+{
+  using std::is_polymorphic;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<is_polymorphic, PolymorphicClass>(true), "");
+  static_assert(test_category<is_polymorphic, DerivedPolymorphic>(true), "");
+  static_assert(test_category<is_polymorphic, AbstractClass>(true), "");
+  static_assert(test_category<is_polymorphic,
+		VirtualDestructorClass>(true), "");
+  static_assert(test_category<is_polymorphic, std::iostream>(true), "");
+  static_assert(test_category<is_polymorphic, std::streambuf>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<is_polymorphic, void>(false), "");
+  static_assert(test_category<is_polymorphic, int (int)>(false), "");
+  static_assert(test_category<is_polymorphic, int&>(false), "");
+  static_assert(test_category<is_polymorphic, EnumType>(false), "");
+  static_assert(test_category<is_polymorphic, ClassType>(false), "");
+  static_assert(test_category<is_polymorphic, DerivedType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_same/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_same/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..5f46875
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_same/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_same<test_type, test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_same/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_same/requirements/typedefs.cc
new file mode 100644
index 0000000..b035cf8
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_same/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_same<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_same/value.cc b/libstdc++-v3/testsuite/20_util/is_same/value.cc
new file mode 100644
index 0000000..3a46f29
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_same/value.cc
@@ -0,0 +1,40 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_same;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_relationship<is_same, int, int>(true), "");
+  static_assert(test_relationship<is_same, const int, const int>(true), "");
+  static_assert(test_relationship<is_same, int&, int&>(true), "");
+  static_assert(test_relationship<is_same, ClassType, ClassType>(true), "");
+
+  // Negative tests.
+  static_assert(test_relationship<is_same, void, int>(false), "");
+  static_assert(test_relationship<is_same, int, const int>(false), "");
+  static_assert(test_relationship<is_same, int, int&>(false), "");
+  static_assert(test_relationship<is_same, int, ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_union/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_union/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..1786bf7
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_union/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_union<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_union/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_union/requirements/typedefs.cc
new file mode 100644
index 0000000..3b574c4
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_union/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_union<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_union/value.cc b/libstdc++-v3/testsuite/20_util/is_union/value.cc
new file mode 100644
index 0000000..b8a3835
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_union/value.cc
@@ -0,0 +1,51 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_union;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_category<is_union, UnionType>(true), "");
+
+  // Negative tests.
+  static_assert(test_category<is_union, ClassType>(false), "");
+  static_assert(test_category<is_union, DerivedType>(false), "");
+  static_assert(test_category<is_union, ConvType>(false), "");
+  static_assert(test_category<is_union, AbstractClass>(false), "");
+  static_assert(test_category<is_union, PolymorphicClass>(false), "");
+  static_assert(test_category<is_union, DerivedPolymorphic>(false), "");
+  static_assert(test_category<is_union, void>(false), "");
+  static_assert(test_category<is_union, int>(false), "");
+  static_assert(test_category<is_union, float>(false), "");
+  static_assert(test_category<is_union, int[2]>(false), "");
+  static_assert(test_category<is_union, int*>(false), "");
+  static_assert(test_category<is_union, int(*)(int)>(false), "");
+  static_assert(test_category<is_union, float&>(false), "");
+  static_assert(test_category<is_union, float(&)(float)>(false), "");
+  static_assert(test_category<is_union, int (ClassType::*)>(false), "");
+  static_assert(test_category<is_union, int (ClassType::*) (int)>(false), "");
+  static_assert(test_category<is_union, int (int)>(false), "");
+  static_assert(test_category<is_union, EnumType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_void/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_void/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..7823bb2
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_void/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_void<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_void/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_void/requirements/typedefs.cc
new file mode 100644
index 0000000..6242d5e
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_void/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_void<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_void/value.cc b/libstdc++-v3/testsuite/20_util/is_void/value.cc
new file mode 100644
index 0000000..d8ea251
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_void/value.cc
@@ -0,0 +1,51 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_void;
+  using namespace __gnu_test;
+
+  static_assert(test_category<is_void, void>(true), "");
+  
+  static_assert(test_category<is_void, char>(false), "");
+  static_assert(test_category<is_void, signed char>(false), "");
+  static_assert(test_category<is_void, unsigned char>(false), "");
+#ifdef _GLIBCXX_USE_WCHAR_T
+  static_assert(test_category<is_void, wchar_t>(false), "");
+#endif
+  static_assert(test_category<is_void, short>(false), "");
+  static_assert(test_category<is_void, unsigned short>(false), "");
+  static_assert(test_category<is_void, int>(false), "");
+  static_assert(test_category<is_void, unsigned int>(false), "");
+  static_assert(test_category<is_void, long>(false), "");
+  static_assert(test_category<is_void, unsigned long>(false), "");
+  static_assert(test_category<is_void, long long>(false), "");
+  static_assert(test_category<is_void, unsigned long long>(false), "");
+  static_assert(test_category<is_void, float>(false), "");
+  static_assert(test_category<is_void, double>(false), "");
+  static_assert(test_category<is_void, long double>(false), "");
+
+  // Sanity check.
+  static_assert(test_category<is_void, ClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_volatile/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/is_volatile/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..94c4784
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_volatile/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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_volatile<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/is_volatile/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/is_volatile/requirements/typedefs.cc
new file mode 100644
index 0000000..45abc85
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_volatile/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::is_volatile<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_volatile/value.cc b/libstdc++-v3/testsuite/20_util/is_volatile/value.cc
new file mode 100644
index 0000000..6f7a8d3
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_volatile/value.cc
@@ -0,0 +1,40 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::is_volatile;
+  using namespace __gnu_test;
+
+  // Positive tests.
+  static_assert(test_property<is_volatile, volatile int>(true), "");
+  static_assert(test_property<is_volatile, const volatile int>(true), "");
+  static_assert(test_property<is_volatile, vClassType>(true), "");
+  static_assert(test_property<is_volatile, cvClassType>(true), "");
+
+  // Negative tests.
+  static_assert(test_property<is_volatile, int>(false), "");
+  static_assert(test_property<is_volatile, const int>(false), "");
+  static_assert(test_property<is_volatile, ClassType>(false), "");
+  static_assert(test_property<is_volatile, cClassType>(false), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/rank/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/rank/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..6c895c0
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/rank/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 rank<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/rank/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/rank/requirements/typedefs.cc
new file mode 100644
index 0000000..e1015bd
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/rank/requirements/typedefs.cc
@@ -0,0 +1,34 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::rank<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/rank/value.cc b/libstdc++-v3/testsuite/20_util/rank/value.cc
new file mode 100644
index 0000000..de27bb8
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/rank/value.cc
@@ -0,0 +1,37 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::rank;
+  using namespace __gnu_test;
+
+  static_assert(test_property<rank, int>(0), "");
+  static_assert(test_property<rank, int[2]>(1), "");
+  static_assert(test_property<rank, int[][4]>(2), "");
+  static_assert(test_property<rank, int[2][2][4][4][6][6]>(6), "");
+  static_assert(test_property<rank, ClassType>(0), "");
+  static_assert(test_property<rank, ClassType[2]>(1), "");
+  static_assert(test_property<rank, ClassType[][4]>(2), "");
+  static_assert(test_property<rank, ClassType[2][2][4][4][6][6]>(6), "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_all_extents/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_all_extents/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..7a01f47
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_all_extents/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 remove_all_extents<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_all_extents/value.cc b/libstdc++-v3/testsuite/20_util/remove_all_extents/value.cc
new file mode 100644
index 0000000..6de6385
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_all_extents/value.cc
@@ -0,0 +1,46 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::remove_all_extents;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<remove_all_extents<int>::type, int>::value, "");
+  static_assert(is_same<remove_all_extents<int[2]>::type, int>::value, "");
+  static_assert(is_same<remove_all_extents<int[2][3]>::type, int>::value, "");
+  static_assert(is_same<remove_all_extents<int[][3]>::type, int>::value, "");
+  static_assert(is_same<remove_all_extents<const int[2][3]>::type,
+		const int>::value, "");
+  static_assert(is_same<remove_all_extents<ClassType>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_all_extents<ClassType[2]>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_all_extents<ClassType[2][3]>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_all_extents<ClassType[][3]>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_all_extents<const ClassType[2][3]>::type,
+		const ClassType>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_const/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_const/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..5974a56
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_const/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 remove_const<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_const/value.cc b/libstdc++-v3/testsuite/20_util/remove_const/value.cc
new file mode 100644
index 0000000..dfc8edf
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_const/value.cc
@@ -0,0 +1,37 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::remove_const;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<remove_const<const volatile int>::type,
+		volatile int>::value, "");
+  static_assert(is_same<remove_const<const int*>::type, const int*>::value, "");
+  static_assert(is_same<remove_const<const volatile ClassType>::type,
+		volatile ClassType>::value, "");
+  static_assert(is_same<remove_const<const ClassType*>::type,
+		const ClassType*>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_cv/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_cv/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..3ef3f1f
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_cv/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 remove_cv<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_cv/value.cc b/libstdc++-v3/testsuite/20_util/remove_cv/value.cc
new file mode 100644
index 0000000..b1c59b8
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_cv/value.cc
@@ -0,0 +1,37 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::remove_cv;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<remove_cv<const volatile int>::type, int>::value, "");
+  static_assert(is_same<remove_cv<const volatile int*>::type,
+		const volatile int*>::value, "");
+  static_assert(is_same<remove_cv<const volatile ClassType>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_cv<const volatile ClassType*>::type,
+		const volatile ClassType*>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_extent/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_extent/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..0097100
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_extent/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 remove_extent<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_extent/value.cc b/libstdc++-v3/testsuite/20_util/remove_extent/value.cc
new file mode 100644
index 0000000..ddbbd6a
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_extent/value.cc
@@ -0,0 +1,45 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::remove_extent;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<remove_extent<int>::type, int>::value, "");
+  static_assert(is_same<remove_extent<int[2]>::type, int>::value, "");
+  static_assert(is_same<remove_extent<int[2][3]>::type, int[3]>::value, "");
+  static_assert(is_same<remove_extent<int[][3]>::type, int[3]>::value, "");
+  static_assert(is_same<remove_extent<const int[2]>::type,
+		const int>::value, "");
+  static_assert(is_same<remove_extent<ClassType>::type, ClassType>::value, "");
+  static_assert(is_same<remove_extent<ClassType[2]>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_extent<ClassType[2][3]>::type,
+		ClassType[3]>::value, "");
+  static_assert(is_same<remove_extent<ClassType[][3]>::type,
+		ClassType[3]>::value, "");
+  static_assert(is_same<remove_extent<const ClassType[2]>::type,
+		const ClassType>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_pointer/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_pointer/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..1cac985
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_pointer/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 remove_pointer<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_pointer/value.cc b/libstdc++-v3/testsuite/20_util/remove_pointer/value.cc
new file mode 100644
index 0000000..a032811
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_pointer/value.cc
@@ -0,0 +1,38 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::remove_pointer;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<remove_pointer<int*>::type, int>::value, "");
+  static_assert(is_same<remove_pointer<int>::type, int>::value, "");
+  static_assert(is_same<remove_pointer<const int*>::type,
+		const int>::value, "");
+  static_assert(is_same<remove_pointer<int**>::type, int*>::value, "");
+  static_assert(is_same<remove_pointer<ClassType*>::type,
+		ClassType>::value, "");
+  static_assert(is_same<remove_pointer<ClassType>::type, ClassType>::value, "");
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_volatile/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/remove_volatile/requirements/explicit_instantiation.cc
new file mode 100644
index 0000000..1f39bec
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_volatile/requirements/explicit_instantiation.cc
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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 remove_volatile<test_type>;
+}
diff --git a/libstdc++-v3/testsuite/20_util/remove_volatile/value.cc b/libstdc++-v3/testsuite/20_util/remove_volatile/value.cc
new file mode 100644
index 0000000..9a58296
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/remove_volatile/value.cc
@@ -0,0 +1,38 @@
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+void test01()
+{
+  using std::remove_volatile;
+  using std::is_same;
+  using namespace __gnu_test;
+
+  static_assert(is_same<remove_volatile<const volatile int>::type,
+		const int>::value, "");
+  static_assert(is_same<remove_volatile<volatile int*>::type,
+		volatile int*>::value, "");
+  static_assert(is_same<remove_volatile<const volatile ClassType>::type,
+		const ClassType>::value, "");
+  static_assert(is_same<remove_volatile<volatile ClassType*>::type,
+		volatile ClassType*>::value, "");
+}
-- 
2.7.4