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

	* testsuite/util/testsuite_tr1.h (test_category, test_property,
	test_relationship): constexpr in c++11 mode.
	* testsuite/20_util/add_lvalue_reference/value.cc: Use static_assert
	and change to dg-do compile testcase.
	* testsuite/20_util/add_rvalue_reference/value.cc: Likewise.
	* testsuite/20_util/aligned_storage/value.cc: Likewise.
	* testsuite/20_util/has_trivial_copy_assign/value.cc: Likewise.
	* testsuite/20_util/has_trivial_copy_constructor/value.cc: Likewise.
	* testsuite/20_util/has_trivial_default_constructor/value.cc: Likewise.
	* testsuite/20_util/is_compound/value.cc: Likewise.
	* testsuite/20_util/is_constructible/value.cc: Likewise.
	* testsuite/20_util/is_convertible/value.cc: Likewise.
	* testsuite/20_util/is_copy_assignable/value.cc: Likewise.
	* testsuite/20_util/is_copy_constructible/value.cc: Likewise.
	* testsuite/20_util/is_floating_point/value.cc: Likewise.
	* testsuite/20_util/is_function/value.cc: Likewise.
	* testsuite/20_util/is_fundamental/value.cc: Likewise.
	* testsuite/20_util/is_integral/value.cc: Likewise.
	* testsuite/20_util/is_literal_type/value.cc: Likewise.
	* testsuite/20_util/is_lvalue_reference/value.cc: Likewise.
	* testsuite/20_util/is_member_function_pointer/value.cc: Likewise.
	* testsuite/20_util/is_member_object_pointer/value.cc: Likewise.
	* testsuite/20_util/is_member_pointer/value.cc: Likewise.
	* testsuite/20_util/is_move_assignable/value.cc: Likewise.
	* testsuite/20_util/is_move_constructible/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_assignable/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_constructible/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_copy_assignable/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_copy_constructible/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_default_constructible/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_move_assignable/value.cc: Likewise.
	* testsuite/20_util/is_nothrow_move_constructible/value.cc: Likewise.
	* testsuite/20_util/is_null_pointer/value.cc: Likewise.
	* testsuite/20_util/is_object/value.cc: Likewise.
	* testsuite/20_util/is_pod/value.cc: Likewise.
	* testsuite/20_util/is_reference/value.cc: Likewise.
	* testsuite/20_util/is_rvalue_reference/value.cc: Likewise.
	* testsuite/20_util/is_scalar/value.cc: Likewise.
	* testsuite/20_util/is_signed/value.cc: Likewise.
	* testsuite/20_util/is_standard_layout/value.cc: Likewise.
	* testsuite/20_util/is_trivial/value.cc: Likewise.
	* testsuite/20_util/is_trivially_destructible/value.cc: Likewise.
	* testsuite/20_util/is_unsigned/value.cc: Likewise.
	* testsuite/20_util/make_signed/requirements/typedefs-2.cc: Likewise.
	* testsuite/20_util/make_unsigned/requirements/typedefs-1.cc: Likewise.
	* testsuite/20_util/make_unsigned/requirements/typedefs-2.cc: Likewise.
	* testsuite/20_util/remove_reference/value.cc: Likewise.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@205766 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 42 insertions, 40 deletions

diff --git a/libstdc++-v3/testsuite/20_util/is_nothrow_default_constructible/value.cc b/libstdc++-v3/testsuite/20_util/is_nothrow_default_constructible/value.cc
index e04ff0c8c5c..10ee4a474bf 100644
--- a/libstdc++-v3/testsuite/20_util/is_nothrow_default_constructible/value.cc
+++ b/libstdc++-v3/testsuite/20_util/is_nothrow_default_constructible/value.cc
@@ -1,4 +1,6 @@
-// { dg-options "-std=gnu++0x" }
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
 // 2004-12-29  Paolo Carlini  <pcarlini@suse.de>
 //
 // Copyright (C) 2004-2013 Free Software Foundation, Inc.
@@ -19,55 +21,55 @@
 // <http://www.gnu.org/licenses/>.
 
 #include <type_traits>
-#include <testsuite_hooks.h>
 #include <testsuite_tr1.h>
 
 void test01()
 {
-  bool test __attribute__((unused)) = true;
   using std::is_nothrow_default_constructible;
   using namespace __gnu_test;
 
   // Positive tests.  
-  VERIFY( (test_category<is_nothrow_default_constructible, int>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, float>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, EnumType>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, int*>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   int(*)(int)>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   int (ClassType::*)>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   int (ClassType::*) (int)>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, int[2]>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   EnumType[2][3][4]>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, int*[3]>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   int (ClassType::*[2][3])>(true)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, ClassType>(true)) );
+  static_assert(test_category<is_nothrow_default_constructible, int>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		float>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		EnumType>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int*>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int(*)(int)>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int (ClassType::*)>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int (ClassType::*) (int)>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int[2]>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		EnumType[2][3][4]>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int*[3]>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int (ClassType::*[2][3])>(true), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		ClassType>(true), "");
 
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   NoexceptDefaultClass>(true)) );
+  static_assert(test_category<is_nothrow_default_constructible,
+		NoexceptDefaultClass>(true), "");
 
   // Negative tests.
-  VERIFY( (test_category<is_nothrow_default_constructible, void>(false)) );
-  VERIFY( (test_category<is_nothrow_default_constructible, int[]>(false)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   float[][3]>(false)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   int(*[][2])(int)>(false)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   int (ClassType::*[][2][3]) (int)>(false)) );
-
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   ThrowDefaultClass>(false)) );
-  VERIFY( (test_category<is_nothrow_default_constructible,
-	   ExceptDefaultClass>(false)) );
-}
+  static_assert(test_category<is_nothrow_default_constructible,
+		void>(false), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int[]>(false), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		float[][3]>(false), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int(*[][2])(int)>(false), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		int (ClassType::*[][2][3]) (int)>(false), "");
 
-int main()
-{
-  test01();
-  return 0;
+  static_assert(test_category<is_nothrow_default_constructible,
+		ThrowDefaultClass>(false), "");
+  static_assert(test_category<is_nothrow_default_constructible,
+		ExceptDefaultClass>(false), "");
 }