X-Git-Url: http://git.ipfire.org/?a=blobdiff_plain;f=libstdc%2B%2B-v3%2Ftestsuite%2F20_util%2Fis_floating_point%2Fvalue.cc;h=5dbdbf84d9908b8b9db11a46a0f586c28c3d9671;hb=99dee82307f1e163e150c9c810452979994047ce;hp=df9cfcaa5bc97f563e725318976e2f826b53d3e6;hpb=fd1e62c239e732536345e8c6102669923455dd89;p=thirdparty%2Fgcc.git

diff --git a/libstdc++-v3/testsuite/20_util/is_floating_point/value.cc b/libstdc++-v3/testsuite/20_util/is_floating_point/value.cc
index df9cfcaa5bc9..5dbdbf84d990 100644
--- a/libstdc++-v3/testsuite/20_util/is_floating_point/value.cc
+++ b/libstdc++-v3/testsuite/20_util/is_floating_point/value.cc
@@ -1,6 +1,7 @@
-// { dg-options "-std=gnu++0x" }
+// { dg-options "-Wno-pedantic" }
+// { dg-do compile { target c++11 } }
 //
-// Copyright (C) 2011 Free Software Foundation, Inc.
+// Copyright (C) 2011-2021 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
@@ -18,51 +19,47 @@
 // <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_floating_point;
   using namespace __gnu_test;
 
-  VERIFY( (test_category<is_floating_point, void>(false)) );
-  VERIFY( (test_category<is_floating_point, char>(false)) );
-  VERIFY( (test_category<is_floating_point, signed char>(false)) );
-  VERIFY( (test_category<is_floating_point, unsigned char>(false)) );
+  static_assert(test_category<is_floating_point, void>(false), "");
+  static_assert(test_category<is_floating_point, char>(false), "");
+  static_assert(test_category<is_floating_point, signed char>(false), "");
+  static_assert(test_category<is_floating_point, unsigned char>(false), "");
 #ifdef _GLIBCXX_USE_WCHAR_T
-  VERIFY( (test_category<is_floating_point, wchar_t>(false)) );
+  static_assert(test_category<is_floating_point, wchar_t>(false), "");
 #endif
-  VERIFY( (test_category<is_floating_point, short>(false)) );
-  VERIFY( (test_category<is_floating_point, unsigned short>(false)) );
-  VERIFY( (test_category<is_floating_point, int>(false)) );
-  VERIFY( (test_category<is_floating_point, unsigned int>(false)) );
-  VERIFY( (test_category<is_floating_point, long>(false)) );
-  VERIFY( (test_category<is_floating_point, unsigned long>(false)) );
-  VERIFY( (test_category<is_floating_point, long long>(false)) );
-  VERIFY( (test_category<is_floating_point, unsigned long long>(false)) );
+  static_assert(test_category<is_floating_point, short>(false), "");
+  static_assert(test_category<is_floating_point, unsigned short>(false), "");
+  static_assert(test_category<is_floating_point, int>(false), "");
+  static_assert(test_category<is_floating_point, unsigned int>(false), "");
+  static_assert(test_category<is_floating_point, long>(false), "");
+  static_assert(test_category<is_floating_point, unsigned long>(false), "");
+  static_assert(test_category<is_floating_point, long long>(false), "");
+  static_assert(test_category<is_floating_point,
+		unsigned long long>(false), "");
 
-  VERIFY( (test_category<is_floating_point, float>(true)) );
-  VERIFY( (test_category<is_floating_point, double>(true)) );
-  VERIFY( (test_category<is_floating_point, long double>(true)) );
+  static_assert(test_category<is_floating_point, float>(true), "");
+  static_assert(test_category<is_floating_point, double>(true), "");
+  static_assert(test_category<is_floating_point, long double>(true), "");
 
+#ifndef __STRICT_ANSI__
   // GNU Extensions.
 #ifdef _GLIBCXX_USE_FLOAT128
-  VERIFY( (test_category<is_floating_point, __float128>(true)) );
+  static_assert(test_category<is_floating_point, __float128>(true), "");
 #endif
 
 #ifdef _GLIBCXX_USE_INT128
-  VERIFY( (test_category<is_floating_point, __int128>(false)) );
-  VERIFY( (test_category<is_floating_point, unsigned __int128>(false)) );
+  static_assert(test_category<is_floating_point, __int128>(false), "");
+  static_assert(test_category<is_floating_point,
+		unsigned __int128>(false), "");
+#endif
 #endif
 
   // Sanity check.
-  VERIFY( (test_category<is_floating_point, ClassType>(false)) );
-}
-
-int main()
-{
-  test01();
-  return 0;
+  static_assert(test_category<is_floating_point, ClassType>(false), "");
 }