testsuite_tr1.h (test_category, [...]): constexpr in c++11 mode.

[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / is_reference / value.cc

diff --git a/libstdc++-v3/testsuite/20_util/is_reference/value.cc b/libstdc++-v3/testsuite/20_util/is_reference/value.cc
index 14958935df8b73f1f0f72f025930c6a558cb3c7e..36c0c3530c20644556a0e4762b0faa2c15413fde 100644 (file)
--- a/libstdc++-v3/testsuite/20_util/is_reference/value.cc
+++ b/libstdc++-v3/testsuite/20_util/is_reference/value.cc
@@ -1,4 +1,6 @@
-// { dg-options "-std=gnu++0x" }
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
 // 2007-06-02  Paolo Carlini  <pcarlini@suse.de>
 //
 // Copyright (C) 2007-2013 Free Software Foundation, Inc.
@@ -19,28 +21,21 @@
 // <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_reference;
   using namespace __gnu_test;
 
-  VERIFY( (test_category<is_reference, int&>(true)) );
-  VERIFY( (test_category<is_reference, ClassType&>(true)) );
-  VERIFY( (test_category<is_reference, int(&)(int)>(true)) );
-  VERIFY( (test_category<is_reference, int&&>(true)) );
-  VERIFY( (test_category<is_reference, ClassType&&>(true)) );
-  VERIFY( (test_category<is_reference, int(&&)(int)>(true)) );
+  static_assert(test_category<is_reference, int&>(true), "");
+  static_assert(test_category<is_reference, ClassType&>(true), "");
+  static_assert(test_category<is_reference, int(&)(int)>(true), "");
+  static_assert(test_category<is_reference, int&&>(true), "");
+  static_assert(test_category<is_reference, ClassType&&>(true), "");
+  static_assert(test_category<is_reference, int(&&)(int)>(true), "");
 
   // Sanity check.
-  VERIFY( (test_category<is_reference, ClassType>(false)) );
+  static_assert(test_category<is_reference, ClassType>(false), "");
 }
 
-int main()
-{
-  test01();
-  return 0;
-}