From: Tomasz Kamiński <tkaminsk@redhat.com>
Date: Thu, 28 Aug 2025 13:48:03 +0000 (+0200)
Subject: libstdc++: Test comparing ordering with type convertible to any pointer.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f4b96998f1c1aa22c70462d018f8a3d4a8ec214a;p=thirdparty%2Fgcc.git

libstdc++: Test comparing ordering with type convertible to any pointer.

libstdc++-v3/ChangeLog:

	* testsuite/18_support/comparisons/categories/zero_neg.cc: New test.

Reviewed-by: Jonathan Wakely <jwakely@redhat.com>
Signed-off-by: Tomasz Kamiński <tkaminsk@redhat.com>
---

diff --git a/libstdc++-v3/testsuite/18_support/comparisons/categories/zero_neg.cc b/libstdc++-v3/testsuite/18_support/comparisons/categories/zero_neg.cc
index 2e6b9c14ddbe..ce0ca8efa6f5 100644
--- a/libstdc++-v3/testsuite/18_support/comparisons/categories/zero_neg.cc
+++ b/libstdc++-v3/testsuite/18_support/comparisons/categories/zero_neg.cc
@@ -23,6 +23,16 @@
 // C++20 [cmp.categories.pre]
 // "an argument other than a literal 0 is undefined"
 
+struct PtrConv
+{
+  template<typename T>
+  consteval operator T*()
+  { return nullptr; }
+
+  consteval operator std::nullptr_t()
+  { return nullptr; }
+};
+
 void
 test01()
 {
@@ -48,6 +58,12 @@ test01()
   std::partial_ordering::equivalent == nullptr;
   std::weak_ordering::equivalent == nullptr;
   std::strong_ordering::equivalent == nullptr;
+
+  constexpr PtrConv c;
+  // requires two user-defined conversion
+  std::partial_ordering::equivalent == c; // { dg-error "no match for 'operator=='" }
+  std::weak_ordering::equivalent == c;    // { dg-error "no match for 'operator=='" }
+  std::strong_ordering::equivalent == c;  // { dg-error "no match for 'operator=='" }
 }
 
 // { dg-prune-output "reinterpret_cast.* is not a constant expression" }