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, 15 insertions, 21 deletions

diff --git a/libstdc++-v3/testsuite/20_util/is_literal_type/value.cc b/libstdc++-v3/testsuite/20_util/is_literal_type/value.cc
index 067ff766f68..703707c3b2b 100644
--- a/libstdc++-v3/testsuite/20_util/is_literal_type/value.cc
+++ b/libstdc++-v3/testsuite/20_util/is_literal_type/value.cc
@@ -1,4 +1,6 @@
-// { dg-options "-std=gnu++0x" }
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
 // 2010-03-23  Paolo Carlini  <paolo.carlini@oracle.com>
 //
 // Copyright (C) 2010-2013 Free Software Foundation, Inc.
@@ -19,36 +21,28 @@
 // <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_literal_type;
   using namespace __gnu_test;
 
-  VERIFY( (test_category<is_literal_type, int>(true)) );
-  VERIFY( (test_category<is_literal_type, unsigned char>(true)) );
-
-  VERIFY( (test_category<is_literal_type, TType>(true)) );
-  VERIFY( (test_category<is_literal_type, PODType>(true)) );
+  static_assert(test_category<is_literal_type, int>(true), "");
+  static_assert(test_category<is_literal_type, unsigned char>(true), "");
 
-  VERIFY( (test_category<is_literal_type, NType>(false)) );
-  VERIFY( (test_category<is_literal_type, SLType>(false)) );
+  static_assert(test_category<is_literal_type, TType>(true), "");
+  static_assert(test_category<is_literal_type, PODType>(true), "");
 
-  VERIFY( (test_category<is_literal_type, LType>(true)) );
-  VERIFY( (test_category<is_literal_type, LType[5]>(true)) );
+  static_assert(test_category<is_literal_type, NType>(false), "");
+  static_assert(test_category<is_literal_type, SLType>(false), "");
 
-  VERIFY( (test_category<is_literal_type, NLType>(false)) );
-  VERIFY( (test_category<is_literal_type, NLType[5]>(false)) );
+  static_assert(test_category<is_literal_type, LType>(true), "");
+  static_assert(test_category<is_literal_type, LType[5]>(true), "");
 
-  VERIFY( (test_category<is_literal_type, LTypeDerived>(true)) );
-  VERIFY( (test_category<is_literal_type, LTypeDerived[5]>(true)) );
-}
+  static_assert(test_category<is_literal_type, NLType>(false), "");
+  static_assert(test_category<is_literal_type, NLType[5]>(false), "");
 
-int main()
-{
-  test01();
-  return 0;
+  static_assert(test_category<is_literal_type, LTypeDerived>(true), "");
+  static_assert(test_category<is_literal_type, LTypeDerived[5]>(true), "");
 }