diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2021-10-05 10:38:03 +0100 |
---|---|---|
committer | Jonathan Wakely <jwakely@redhat.com> | 2021-10-05 15:56:55 +0100 |
commit | 824e0855732c601e0866d0e8a9264a85f758213e (patch) | |
tree | 88803b8024cc33a47c56d8e716c4f55657eb6331 | |
parent | 313193edfc3986c40dedce3d0b41455d0bcdbe43 (diff) | |
download | gcc-824e0855732c601e0866d0e8a9264a85f758213e.zip gcc-824e0855732c601e0866d0e8a9264a85f758213e.tar.gz gcc-824e0855732c601e0866d0e8a9264a85f758213e.tar.bz2 |
libstdc++: Add test for std::cmp_greater
This was omitted from the commit that added these comparisons.
libstdc++-v3/ChangeLog:
* testsuite/20_util/integer_comparisons/greater.cc: New test.
-rw-r--r-- | libstdc++-v3/testsuite/20_util/integer_comparisons/greater.cc | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/20_util/integer_comparisons/greater.cc b/libstdc++-v3/testsuite/20_util/integer_comparisons/greater.cc new file mode 100644 index 0000000..e564d8d --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/integer_comparisons/greater.cc @@ -0,0 +1,61 @@ +// { dg-options "-std=gnu++20" } +// { dg-do run { target c++20 } } + +#include <utility> +#include <limits> +#include <testsuite_hooks.h> + +void +test01() +{ + unsigned int u = std::numeric_limits<unsigned int>::max(); + int s = -1; + VERIFY( !std::cmp_greater(s, u) ); + VERIFY( std::cmp_greater(u, s) ); + u = (unsigned) std::numeric_limits<int>::max() + 1U; + VERIFY( !std::cmp_greater(s, u) ); + VERIFY( std::cmp_greater(u, s) ); +} + +constexpr bool +test02() +{ + unsigned int u = std::numeric_limits<unsigned int>::max(); + int s = -1; + if (std::cmp_greater(s, u)) + throw 1; + if (!std::cmp_greater(u, s)) + throw 2; + return true; +} + +void +test03() +{ + short ss = -1; + int s = -1; + VERIFY( !std::cmp_greater(s, ss) ); + VERIFY( !std::cmp_greater(ss, s) ); + + unsigned int u = (unsigned int) -1; + VERIFY( !std::cmp_greater(s, u) ); + VERIFY( std::cmp_greater(u, s) ); + VERIFY( !std::cmp_greater(ss, u) ); + VERIFY( std::cmp_greater(u, ss) ); + + unsigned long long ul = (unsigned long long) -1; + VERIFY( !std::cmp_greater(s, ul) ); + VERIFY( std::cmp_greater(ul, s) ); + VERIFY( !std::cmp_greater(ss, ul) ); + VERIFY( std::cmp_greater(ul, ss) ); + VERIFY( !std::cmp_greater(u, ul) ); + VERIFY( std::cmp_greater(ul, u) ); +} + +int +main() +{ + test01(); + static_assert( test02() ); + test03(); +} |