diff gcc/testsuite/g++.dg/cpp2a/spaceship-scalar1.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp2a/spaceship-scalar1.C	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,66 @@
+// { dg-do run { target c++2a } }
+
+#include <compare>
+
+#define assert(X) do { if (!(X)) __builtin_abort(); } while(0)
+
+int main()
+{
+  {
+    constexpr auto v = 1 <=> 2;
+    static_assert (__is_same_as (decltype (v), const std::strong_ordering));
+    static_assert (!is_eq (v));
+    static_assert (is_neq (v));
+    static_assert (is_lt (v));
+    static_assert (is_lteq (v));
+    static_assert (!is_gt (v));
+    static_assert (!is_gteq (v));
+  }
+
+  {
+    enum E { a = 0 };
+    constexpr auto v = E::a <=> 1;
+    static_assert (__is_same_as (decltype (v), const std::strong_ordering));
+    static_assert (!is_eq (v));
+    static_assert (is_neq (v));
+    static_assert (is_lt (v));
+    static_assert (is_lteq (v));
+    static_assert (!is_gt (v));
+    static_assert (!is_gteq (v));
+  }
+
+  {
+    enum class E { a, b };
+    constexpr auto v = E::a <=> E::b;
+    static_assert (__is_same_as (decltype (v), const std::strong_ordering));
+    static_assert (!is_eq (v));
+    static_assert (is_neq (v));
+    static_assert (is_lt (v));
+    static_assert (is_lteq (v));
+    static_assert (!is_gt (v));
+    static_assert (!is_gteq (v));
+  }
+
+  {
+    int ar[2];
+    constexpr auto v = &ar[1] <=> &ar[0];
+    static_assert (__is_same_as (decltype (v), const std::strong_ordering));
+    static_assert (!is_eq (v));
+    static_assert (is_neq (v));
+    static_assert (!is_lt (v));
+    static_assert (!is_lteq (v));
+    static_assert (is_gt (v));
+    static_assert (is_gteq (v));
+  }
+
+  {
+    constexpr auto v = 3.14 <=> 3.14;
+    static_assert (__is_same_as (decltype (v), const std::partial_ordering));
+    static_assert (is_eq (v));
+    static_assert (!is_neq (v));
+    static_assert (!is_lt (v));
+    static_assert (is_lteq (v));
+    static_assert (!is_gt (v));
+    static_assert (is_gteq (v));
+  }
+}