PR libstdc++/91371 make std::is_function handle other calling conventions

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

diff --git a/libstdc++-v3/testsuite/20_util/is_function/value.cc b/libstdc++-v3/testsuite/20_util/is_function/value.cc
index 6e88e77bf899f5099e3f2f22fca41c21761469ce..4a3bb7c57403ce842cba5a2812673adf969df9b2 100644 (file)
--- a/libstdc++-v3/testsuite/20_util/is_function/value.cc
+++ b/libstdc++-v3/testsuite/20_util/is_function/value.cc
@@ -1,6 +1,6 @@
-// { dg-options "-std=gnu++0x" }
+// { dg-do compile { target c++11 } }
 //
-// Copyright (C) 2011-2013 Free Software Foundation, Inc.
+// Copyright (C) 2011-2019 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,35 +18,40 @@
 // <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_function;
   using namespace __gnu_test;
 
   // Positive tests.
-  VERIFY( (test_category<is_function, int (int)>(true)) );
-  VERIFY( (test_category<is_function, ClassType (ClassType)>(true)) );
-  VERIFY( (test_category<is_function, float (int, float, int[], int&)>(true)) );
-  VERIFY( (test_category<is_function, int (int, ...)>(true)) );
+  static_assert(test_category<is_function, int (int)>(true), "");
+  static_assert(test_category<is_function, ClassType (ClassType)>(true), "");
+  static_assert(test_category<is_function,
+               float (int, float, int[], int&)>(true), "");
+  static_assert(test_category<is_function, int (int, ...)>(true), "");
+  static_assert(test_category<is_function, bool (ClassType) const>(true), "");
+  static_assert(test_category<is_function, ClassType () &>(true), "");
+  static_assert(test_category<is_function,
+               char (int, ClassType) const volatile &&>(true), "");
 
   // Negative tests.
-  VERIFY( (test_category<is_function, int&>(false)) );
-  VERIFY( (test_category<is_function, void>(false)) );
-  VERIFY( (test_category<is_function, const void>(false)) );
+  static_assert(test_category<is_function, int*>(false), "");
+  static_assert(test_category<is_function, int&>(false), "");
+  static_assert(test_category<is_function, void>(false), "");
+  static_assert(test_category<is_function, const void>(false), "");
+  static_assert(test_category<is_function, void*>(false), "");
+  static_assert(test_category<is_function, const void*>(false), "");
+  static_assert(test_category<is_function, void**>(false), "");
+  static_assert(test_category<is_function, std::nullptr_t>(false), "");
 
-  VERIFY( (test_category<is_function, AbstractClass>(false)) );
-  VERIFY( (test_category<is_function, int(&)(int)>(false)) );
+  static_assert(test_category<is_function, AbstractClass>(false), "");
+  static_assert(test_category<is_function, int(&)(int)>(false), "");
+  static_assert(test_category<is_function, int(*)(int)>(false), "");
   
   // Sanity check.
-  VERIFY( (test_category<is_function, ClassType>(false)) );
-}
-
-int main()
-{
-  test01();
-  return 0;
+  static_assert(test_category<is_function, ClassType>(false), "");
+  static_assert(test_category<is_function, IncompleteClass>(false), "");
+  static_assert(test_category<is_function, IncompleteUnion>(false), "");
 }