passing all tests

Author: ahanamuk

stl/inc/utility

@@ -695,6 +695,7 @@ _NODISCARD constexpr bool cmp_greater_equal(const _Ty1 _Left, const _Ty2 _Right)
     return !_STD cmp_less(_Left, _Right);
 }
 
+#if defined(__cpp_impl_three_way_comparison) && defined(__cpp_lib_concepts)
 // STRUCT TEMPLATE _Synth_three_way
 template <class _Ty = void>
 struct _Synth_three_way {
@@ -744,6 +745,7 @@ struct _Synth_three_way<void> {
 // ALIAS TEMPLATE _Synth_three_way_result
 template <class _Ty1, class _Ty2 = _Ty1>
 using _Synth_three_way_result = decltype(_Synth_three_way{}(_STD declval<_Ty1&>(), _STD declval<_Ty2&>()));
+#endif // defined(__cpp_impl_three_way_comparison) && defined(__cpp_lib_concepts)
 
 // FUNCTION TEMPLATE in_range
 template <class _Ty>

tests/std/tests/P0896R4_P1614R2_spaceship/test.cpp

@@ -44,13 +44,23 @@ void unordered_containers_test(Container something, Container something_equal, C
 }
 
 void ordering_test_cases() {
-    // {
-    //     // array
-    //     std::array<int, 3> a1 = {100, 100, 100};
-    //     std::array<int, 3> a2 = {100, 100, 100};
-    //     std::array<int, 3> b1 = {200, 200};
-    //     ordered_containers_test(a1, a2, b1);
-    // }
+    { // constexpr array
+        constexpr std::array<int, 5> a0{{2, 8, 9, 1, 9}};
+        constexpr std::array<int, 3> a1{{2, 8, 9}};
+        constexpr std::array<int, 5> a2{{2, 8, 9, 1, 8}};
+
+        assert((a0 <=> a0) == 0);
+        assert((a1 <=> a1) == 0);
+        assert((a2 <=> a0) < 0);
+        assert((a0 <=> a2) > 0);
+    }
+    {
+        // array
+        std::array<int, 3> a1 = {100, 100, 100};
+        std::array<int, 3> a2 = {100, 100, 100};
+        std::array<int, 3> b1 = {200, 200};
+        ordered_containers_test(a1, a2, b1);
+    }
     { // deque
         std::deque<int> a1(3, 100);
         std::deque<int> a2(3, 100);

tests/std/tests/P1023R0_constexpr_for_array_comparisons/test.cpp

@@ -11,13 +11,6 @@ constexpr array<int, 3> a1{{2, 8, 9}};
 constexpr array<int, 5> a2{{2, 8, 9, 1, 8}};
 constexpr array<int, 0> a3{};
 
-constexpr void test_operator_spaceship() {
-    assert((a0 <=> a0) == 0);
-    assert((a1 <=> a1) == 0);
-    assert((a2 <=> a0) < 0);
-    assert((a0 <=> a2) > 0);
-}
-
 constexpr void test_operator_eq() {
     assert(a0 == a0);
     assert(a1 == a1);
@@ -63,7 +56,6 @@ constexpr void test_operator_geq() {
 }
 
 constexpr bool test() {
-    test_operator_spaceship();
     test_operator_eq();
     test_operator_neq();
     test_operator_lt();