From: Jonathan Wakely <jwakely@redhat.com>
Date: Thu, 31 Oct 2019 14:07:11 +0000 (+0000)
Subject: Improve tests for std::add_pointer
X-Git-Tag: misc/cutover-git~1636
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b9ff4d7c489e2003dc1e2c7d5d6cf38a2a94c247;p=thirdparty%2Fgcc.git

Improve tests for std::add_pointer

The type trait depends on is_void so the tests should check those cases.

	* testsuite/20_util/add_pointer/value.cc: Check void types.

From-SVN: r277672
---

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index d51a7d4714b3..2a4728951170 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,5 +1,7 @@
 2019-10-31  Jonathan Wakely  <jwakely@redhat.com>
 
+	* testsuite/20_util/add_pointer/value.cc: Check void types.
+
 	* include/bits/range_access.h (__sizable): Rename to __sentinel_size.
 	Remove workaround for PR c++/92268 and remove redundant requirements
 	that are already checked by sized_sentinel_for.
diff --git a/libstdc++-v3/testsuite/20_util/add_pointer/value.cc b/libstdc++-v3/testsuite/20_util/add_pointer/value.cc
index acf9442851f4..66d94783c11e 100644
--- a/libstdc++-v3/testsuite/20_util/add_pointer/value.cc
+++ b/libstdc++-v3/testsuite/20_util/add_pointer/value.cc
@@ -31,8 +31,14 @@ void test01()
   static_assert(is_same<add_pointer<const int>::type, const int*>::value, "");
   static_assert(is_same<add_pointer<int&>::type, int*>::value, "");
   static_assert(is_same<add_pointer<ClassType*>::type,
-		ClassType**>::value, "");
+			ClassType**>::value, "");
   static_assert(is_same<add_pointer<ClassType>::type, ClassType*>::value, "");
+  static_assert(is_same<add_pointer<void>::type, void*>::value, "");
+  static_assert(is_same<add_pointer<const void>::type, const void*>::value, "");
+  static_assert(is_same<add_pointer<volatile void>::type,
+			volatile void*>::value, "");
+  static_assert(is_same<add_pointer<const volatile void>::type,
+			const volatile void*>::value, "");
 }
 
 void test02()