summaryrefslogtreecommitdiff
path: root/test.cc
diff options
context:
space:
mode:
Diffstat (limited to 'test.cc')
-rw-r--r--test.cc18
1 files changed, 18 insertions, 0 deletions
diff --git a/test.cc b/test.cc
index 63f65f9..00990b6 100644
--- a/test.cc
+++ b/test.cc
@@ -8,6 +8,24 @@
int main() {
[] consteval {
+ static_assert(::zp::isptr<int> == false);
+ static_assert(::zp::isptr<int *> == true);
+ static_assert(::zp::isptr<int const *> == true);
+ static_assert(::zp::isptr<int volatile *> == true);
+ static_assert(::zp::isptr<int const volatile *> == true);
+ static_assert(::zp::isptr<int * const> == true);
+ static_assert(::zp::isptr<int const * const> == true);
+ static_assert(::zp::isptr<int volatile * const> == true);
+ static_assert(::zp::isptr<int const volatile * const> == true);
+ static_assert(::zp::isptr<int * volatile> == true);
+ static_assert(::zp::isptr<int const * volatile> == true);
+ static_assert(::zp::isptr<int volatile * volatile> == true);
+ static_assert(::zp::isptr<int const volatile * volatile> == true);
+ static_assert(::zp::isptr<int * const volatile> == true);
+ static_assert(::zp::isptr<int const * const volatile> == true);
+ static_assert(::zp::isptr<int volatile * const volatile> == true);
+ static_assert(::zp::isptr<int const volatile * const volatile> == true);
+
static_assert(::zp::typequ<::zp::sgn<int>, int> == true);
static_assert(::zp::typequ<::zp::sgn<int unsigned>,int> == true);