diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2019-10-31 14:07:11 +0000 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2019-10-31 14:07:11 +0000 |
| commit | 756f73a1942b0bf2c1c13b986ff6e9638453bef9 (patch) | |
| tree | 6aa97457b7b323dbf995f57451b17efb12b59d64 /libstdc++-v3/testsuite/20_util | |
| parent | fead72473604d595392d0de82f210781d9518f1e (diff) | |
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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@277672 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/testsuite/20_util')
| -rw-r--r-- | libstdc++-v3/testsuite/20_util/add_pointer/value.cc | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/libstdc++-v3/testsuite/20_util/add_pointer/value.cc b/libstdc++-v3/testsuite/20_util/add_pointer/value.cc index acf9442851f..66d94783c11 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() |