aboutsummaryrefslogtreecommitdiff
path: root/test/SemaCXX/compare-cxx2a.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/SemaCXX/compare-cxx2a.cpp')
-rw-r--r--test/SemaCXX/compare-cxx2a.cpp327
1 files changed, 292 insertions, 35 deletions
diff --git a/test/SemaCXX/compare-cxx2a.cpp b/test/SemaCXX/compare-cxx2a.cpp
index 61d35021cc13..89597587d571 100644
--- a/test/SemaCXX/compare-cxx2a.cpp
+++ b/test/SemaCXX/compare-cxx2a.cpp
@@ -1,30 +1,42 @@
// Force x86-64 because some of our heuristics are actually based
// on integer sizes.
-// RUN: %clang_cc1 -triple x86_64-apple-darwin -fsyntax-only -pedantic -verify -Wsign-compare -std=c++2a %s
+// RUN: %clang_cc1 -triple x86_64-apple-darwin -fcxx-exceptions -fsyntax-only -pedantic -verify -Wsign-compare -std=c++2a %s
+
+#include "Inputs/std-compare.h"
+
+#define ASSERT_TYPE(...) static_assert(__is_same(__VA_ARGS__))
+#define ASSERT_EXPR_TYPE(Expr, Expect) static_assert(__is_same(decltype(Expr), Expect));
+
+void self_compare() {
+ int a;
+ int *b = nullptr;
+
+ (void)(a <=> a); // expected-warning {{self-comparison always evaluates to 'std::strong_ordering::equal'}}
+ (void)(b <=> b); // expected-warning {{self-comparison always evaluates to 'std::strong_ordering::equal'}}
+}
void test0(long a, unsigned long b) {
- enum EnumA {A};
+ enum EnumA : int {A};
enum EnumB {B};
enum EnumC {C = 0x10000};
- // (a,b)
- // FIXME: <=> should never produce -Wsign-compare warnings. All the possible error
- // cases involve narrowing conversions and so are ill-formed.
- (void)(a <=> (unsigned long) b); // expected-warning {{comparison of integers of different signs}}
+ (void)((short)a <=> (unsigned short)b);
+
+ // (a,b)
+ (void)(a <=> (unsigned long)b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
(void)(a <=> (unsigned int) b);
(void)(a <=> (unsigned short) b);
(void)(a <=> (unsigned char) b);
- (void)((long) a <=> b); // expected-warning {{comparison of integers of different signs}}
- (void)((int) a <=> b); // expected-warning {{comparison of integers of different signs}}
- (void)((short) a <=> b); // expected-warning {{comparison of integers of different signs}}
- (void)((signed char) a <=> b); // expected-warning {{comparison of integers of different signs}}
- (void)((long) a <=> (unsigned long) b); // expected-warning {{comparison of integers of different signs}}
- (void)((int) a <=> (unsigned int) b); // expected-warning {{comparison of integers of different signs}}
+ (void)((long)a <=> b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((int)a <=> b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((short)a <=> b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((signed char)a <=> b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((long)a <=> (unsigned long)b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((int)a <=> (unsigned int)b); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
(void)((short) a <=> (unsigned short) b);
(void)((signed char) a <=> (unsigned char) b);
-#if 0
// (A,b)
(void)(A <=> (unsigned long) b);
(void)(A <=> (unsigned int) b);
@@ -40,7 +52,7 @@ void test0(long a, unsigned long b) {
(void)((signed char) A <=> (unsigned char) b);
// (a,B)
- (void)(a <=> (unsigned long) B);
+ (void)(a <=> (unsigned long) B); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'long' to 'unsigned long'}}
(void)(a <=> (unsigned int) B);
(void)(a <=> (unsigned short) B);
(void)(a <=> (unsigned char) B);
@@ -48,8 +60,8 @@ void test0(long a, unsigned long b) {
(void)((int) a <=> B);
(void)((short) a <=> B);
(void)((signed char) a <=> B);
- (void)((long) a <=> (unsigned long) B);
- (void)((int) a <=> (unsigned int) B);
+ (void)((long) a <=> (unsigned long) B); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'long' to 'unsigned long'}}
+ (void)((int) a <=> (unsigned int) B); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'int' to 'unsigned int'}}
(void)((short) a <=> (unsigned short) B);
(void)((signed char) a <=> (unsigned char) B);
@@ -68,7 +80,7 @@ void test0(long a, unsigned long b) {
(void)((signed char) C <=> (unsigned char) b);
// (a,C)
- (void)(a <=> (unsigned long) C);
+ (void)(a <=> (unsigned long) C); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'long' to 'unsigned long'}}
(void)(a <=> (unsigned int) C);
(void)(a <=> (unsigned short) C);
(void)(a <=> (unsigned char) C);
@@ -76,11 +88,10 @@ void test0(long a, unsigned long b) {
(void)((int) a <=> C);
(void)((short) a <=> C); // expected-warning {{comparison of constant 'C' (65536) with expression of type 'short' is always 'std::strong_ordering::less'}}
(void)((signed char) a <=> C); // expected-warning {{comparison of constant 'C' (65536) with expression of type 'signed char' is always 'std::strong_ordering::less'}}
- (void)((long) a <=> (unsigned long) C);
- (void)((int) a <=> (unsigned int) C);
+ (void)((long) a <=> (unsigned long) C); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'long' to 'unsigned long'}}
+ (void)((int) a <=> (unsigned int) C); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'int' to 'unsigned int'}}
(void)((short) a <=> (unsigned short) C);
(void)((signed char) a <=> (unsigned char) C);
-#endif
// (0x80000,b)
(void)(0x80000 <=> (unsigned long) b);
@@ -97,7 +108,7 @@ void test0(long a, unsigned long b) {
(void)((signed char) 0x80000 <=> (unsigned char) b);
// (a,0x80000)
- (void)(a <=> (unsigned long) 0x80000); // expected-warning {{comparison of integers of different signs}}
+ (void)(a <=> (unsigned long)0x80000); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
(void)(a <=> (unsigned int) 0x80000);
(void)(a <=> (unsigned short) 0x80000);
(void)(a <=> (unsigned char) 0x80000);
@@ -105,19 +116,23 @@ void test0(long a, unsigned long b) {
(void)((int) a <=> 0x80000);
(void)((short) a <=> 0x80000); // expected-warning {{comparison of constant 524288 with expression of type 'short' is always 'std::strong_ordering::less'}}
(void)((signed char) a <=> 0x80000); // expected-warning {{comparison of constant 524288 with expression of type 'signed char' is always 'std::strong_ordering::less'}}
- (void)((long) a <=> (unsigned long) 0x80000); // expected-warning {{comparison of integers of different signs}}
- (void)((int) a <=> (unsigned int) 0x80000); // expected-warning {{comparison of integers of different signs}}
+ (void)((long)a <=> (unsigned long)0x80000); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((int)a <=> (unsigned int)0x80000); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
(void)((short) a <=> (unsigned short) 0x80000);
(void)((signed char) a <=> (unsigned char) 0x80000);
}
-void test5(bool b) {
- (void) (b <=> -10); // expected-warning{{comparison of constant -10 with expression of type 'bool' is always 'std::strong_ordering::greater'}}
- (void) (b <=> -1); // expected-warning{{comparison of constant -1 with expression of type 'bool' is always 'std::strong_ordering::greater'}}
- (void) (b <=> 0);
- (void) (b <=> 1);
- (void) (b <=> 2); // expected-warning{{comparison of constant 2 with expression of type 'bool' is always 'std::strong_ordering::less'}}
- (void) (b <=> 10); // expected-warning{{comparison of constant 10 with expression of type 'bool' is always 'std::strong_ordering::less'}}
+void test5(bool b, bool b2) {
+ enum EnumA { A };
+ (void)(b <=> b2); // OK
+ (void)(true <=> b); // OK
+ (void)(b <=> -10); // expected-error {{invalid operands to binary expression ('bool' and 'int')}}
+ (void)(b <=> char(1)); // expected-error {{invalid operands to binary expression ('bool' and 'char')}}
+ (void)(b <=> A); // expected-error {{invalid operands to binary expression ('bool' and 'EnumA')}}
+
+ // FIXME: Should this be accepted when narrowing doesn't occur?
+ (void)(b <=> 0); // expected-error {{invalid operands to binary expression ('bool' and 'int')}}
+ (void)(b <=> 1); // expected-error {{invalid operands to binary expression ('bool' and 'int')}}
}
void test6(signed char sc) {
@@ -134,13 +149,13 @@ void test7(unsigned long other) {
(void)((unsigned long)other <=> (unsigned)(0xffff'ffff));
// Common unsigned, other signed, constant unsigned
- (void)((int)other <=> (unsigned long)(0xffff'ffff'ffff'ffff)); // expected-warning{{different signs}}
- (void)((int)other <=> (unsigned long)(0x0000'0000'ffff'ffff)); // expected-warning{{different signs}}
- (void)((int)other <=> (unsigned long)(0x0000'0000'0fff'ffff)); // expected-warning{{different signs}}
- (void)((int)other <=> (unsigned)(0x8000'0000)); // expected-warning{{different signs}}
+ (void)((int)other <=> (unsigned long)(0xffff'ffff'ffff'ffff)); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((int)other <=> (unsigned long)(0x0000'0000'ffff'ffff)); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((int)other <=> (unsigned long)(0x0000'0000'0fff'ffff)); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
+ (void)((int)other <=> (unsigned)(0x8000'0000)); // expected-error {{argument to 'operator<=>' cannot be narrowed}}
// Common unsigned, other unsigned, constant signed
- (void)((unsigned long)other <=> (int)(0xffff'ffff)); // expected-warning{{different signs}}
+ (void)((unsigned long)other <=> (int)(0xffff'ffff)); // expected-error {{argument to 'operator<=>' evaluates to -1, which cannot be narrowed to type 'unsigned long'}}
// Common unsigned, other signed, constant signed
// Should not be possible as the common type should also be signed.
@@ -164,3 +179,245 @@ void test7(unsigned long other) {
(void)((unsigned char)other <=> (unsigned short)(0x100)); // expected-warning{{less}}
(void)((unsigned short)other <=> (unsigned char)(0xff));
}
+
+void test8(void *vp, const void *cvp, int *ip) {
+ (void)(vp <=> cvp); // OK, void* comparisons are allowed.
+ (void)(vp <=> ip);
+ (void)(ip <=> cvp);
+}
+
+void test9(long double ld, double d, float f, int i, long long ll) {
+ (void)(f <=> ll); // OK, floating-point to integer is OK
+ (void)(d <=> ld);
+ (void)(i <=> f);
+}
+
+typedef int *INTPTR;
+void test_typedef_bug(int *x, INTPTR y) {
+ (void)(x <=> y);
+}
+
+using nullptr_t = decltype(nullptr);
+
+struct Class {};
+struct ClassB : Class {};
+struct Class2 {};
+using FnTy = void(int);
+using FnTy2 = long(int);
+using MemFnTy = void (Class::*)() const;
+using MemFnTyB = void (ClassB::*)() const;
+using MemFnTy2 = void (Class::*)();
+using MemFnTy3 = void (Class2::*)() const;
+using MemDataTy = long(Class::*);
+
+void test_nullptr(int *x, FnTy *fp, MemFnTy memp, MemDataTy memdp) {
+ auto r1 = (nullptr <=> nullptr);
+ ASSERT_EXPR_TYPE(r1, std::strong_equality);
+
+ auto r2 = (nullptr <=> x);
+ ASSERT_EXPR_TYPE(r2, std::strong_equality);
+
+ auto r3 = (fp <=> nullptr);
+ ASSERT_EXPR_TYPE(r3, std::strong_equality);
+
+ auto r4 = (0 <=> fp);
+ ASSERT_EXPR_TYPE(r4, std::strong_equality);
+
+ auto r5 = (nullptr <=> memp);
+ ASSERT_EXPR_TYPE(r5, std::strong_equality);
+
+ auto r6 = (0 <=> memdp);
+ ASSERT_EXPR_TYPE(r6, std::strong_equality);
+
+ auto r7 = (0 <=> nullptr);
+ ASSERT_EXPR_TYPE(r7, std::strong_equality);
+}
+
+void test_compatible_pointer(FnTy *f1, FnTy2 *f2, MemFnTy mf1, MemFnTyB mfb,
+ MemFnTy2 mf2, MemFnTy3 mf3) {
+ (void)(f1 <=> f2); // expected-error {{distinct pointer types}}
+
+ auto r1 = (mf1 <=> mfb); // OK
+ ASSERT_EXPR_TYPE(r1, std::strong_equality);
+ ASSERT_EXPR_TYPE((mf1 <=> mfb), std::strong_equality);
+
+ (void)(mf1 <=> mf2); // expected-error {{distinct pointer types}}
+ (void)(mf3 <=> mf1); // expected-error {{distinct pointer types}}
+}
+
+// Test that variable narrowing is deferred for value dependent expressions
+template <int Val>
+auto test_template_overflow() {
+ // expected-error@+1 {{argument to 'operator<=>' evaluates to -1, which cannot be narrowed to type 'unsigned long'}}
+ return (Val <=> (unsigned long)0);
+}
+template auto test_template_overflow<0>();
+template auto test_template_overflow<-1>(); // expected-note {{requested here}}
+
+void test_enum_integral_compare() {
+ enum EnumA : int {A, ANeg = -1, AMax = __INT_MAX__};
+ enum EnumB : unsigned {B, BMax = __UINT32_MAX__ };
+ enum EnumC : int {C = -1, C0 = 0};
+
+ (void)(A <=> C); // expected-error {{invalid operands to binary expression ('EnumA' and 'EnumC')}}
+
+ (void)(A <=> (unsigned)0);
+ (void)((unsigned)0 <=> A);
+ (void)(ANeg <=> (unsigned)0); // expected-error {{argument to 'operator<=>' evaluates to -1, which cannot be narrowed to type 'unsigned int'}}
+ (void)((unsigned)0 <=> ANeg); // expected-error {{cannot be narrowed}}
+
+ (void)(B <=> 42);
+ (void)(42 <=> B);
+ (void)(B <=> (unsigned long long)42);
+ (void)(B <=> -1); // expected-error {{argument to 'operator<=>' evaluates to -1, which cannot be narrowed to type 'unsigned int'}}
+ (void)(BMax <=> (unsigned long)-1);
+
+ (void)(C0 <=> (unsigned)42);
+ (void)(C <=> (unsigned)42); // expected-error {{argument to 'operator<=>' evaluates to -1, which cannot be narrowed to type 'unsigned int'}}
+}
+
+namespace EnumCompareTests {
+
+enum class EnumA { A, A2 };
+enum class EnumB { B };
+enum class EnumC : unsigned { C };
+
+void test_enum_enum_compare_no_builtin() {
+ auto r1 = (EnumA::A <=> EnumA::A2); // OK
+ ASSERT_EXPR_TYPE(r1, std::strong_ordering);
+ (void)(EnumA::A <=> EnumA::A); // expected-warning {{self-comparison always evaluates to 'std::strong_ordering::equal'}}
+ (void)(EnumA::A <=> EnumB::B); // expected-error {{invalid operands to binary expression ('EnumCompareTests::EnumA' and 'EnumCompareTests::EnumB')}}
+ (void)(EnumB::B <=> EnumA::A); // expected-error {{invalid operands}}
+}
+
+template <int>
+struct Tag {};
+// expected-note@+1 {{candidate}}
+Tag<0> operator<=>(EnumA, EnumA) {
+ return {};
+}
+Tag<1> operator<=>(EnumA, EnumB) {
+ return {};
+}
+
+void test_enum_ovl_provided() {
+ auto r1 = (EnumA::A <=> EnumA::A);
+ ASSERT_EXPR_TYPE(r1, Tag<0>);
+ auto r2 = (EnumA::A <=> EnumB::B);
+ ASSERT_EXPR_TYPE(r2, Tag<1>);
+ (void)(EnumB::B <=> EnumA::A); // expected-error {{invalid operands to binary expression ('EnumCompareTests::EnumB' and 'EnumCompareTests::EnumA')}}
+}
+
+void enum_float_test() {
+ enum EnumA { A };
+ (void)(A <=> (float)0); // expected-error {{invalid operands to binary expression ('EnumA' and 'float')}}
+ (void)((double)0 <=> A); // expected-error {{invalid operands to binary expression ('double' and 'EnumA')}}
+ (void)((long double)0 <=> A); // expected-error {{invalid operands to binary expression ('long double' and 'EnumA')}}
+}
+
+enum class Bool1 : bool { Zero,
+ One };
+enum Bool2 : bool { B2_Zero,
+ B2_One };
+
+void test_bool_enum(Bool1 A1, Bool1 A2, Bool2 B1, Bool2 B2) {
+ (void)(A1 <=> A2);
+ (void)(B1 <=> B2);
+}
+
+} // namespace EnumCompareTests
+
+namespace TestUserDefinedConvSeq {
+
+template <class T, T Val>
+struct Conv {
+ constexpr operator T() const { return Val; }
+ operator T() { return Val; }
+};
+
+void test_user_conv() {
+ {
+ using C = Conv<int, 0>;
+ C c;
+ const C cc;
+ (void)(0 <=> c);
+ (void)(c <=> -1);
+ (void)((unsigned)0 <=> cc);
+ (void)((unsigned)0 <=> c); // expected-error {{argument to 'operator<=>' cannot be narrowed from type 'int' to 'unsigned int'}}
+ }
+ {
+ using C = Conv<int, -1>;
+ C c;
+ const C cc;
+ (void)(c <=> 0);
+ (void)(cc <=> (unsigned)0); // expected-error {{argument to 'operator<=>' evaluates to -1, which cannot be narrowed to type 'unsigned int'}}
+ (void)(c <=> (unsigned)0); // expected-error {{cannot be narrowed from type 'int' to 'unsigned int'}}
+ }
+}
+
+} // namespace TestUserDefinedConvSeq
+
+void test_array_conv() {
+ int arr[5];
+ int *ap = arr + 2;
+ int arr2[3];
+ (void)(arr <=> arr); // expected-error {{invalid operands to binary expression ('int [5]' and 'int [5]')}}
+ (void)(+arr <=> arr);
+}
+
+void test_mixed_float_int(float f, double d, long double ld) {
+ extern int i;
+ extern unsigned u;
+ extern long l;
+ extern short s;
+ extern unsigned short us;
+ auto r1 = (f <=> i);
+ ASSERT_EXPR_TYPE(r1, std::partial_ordering);
+
+ auto r2 = (us <=> ld);
+ ASSERT_EXPR_TYPE(r2, std::partial_ordering);
+
+ auto r3 = (s <=> f);
+ ASSERT_EXPR_TYPE(r3, std::partial_ordering);
+
+ auto r4 = (0.0 <=> i);
+ ASSERT_EXPR_TYPE(r4, std::partial_ordering);
+}
+
+namespace NullptrTest {
+using nullptr_t = decltype(nullptr);
+void foo(nullptr_t x, nullptr_t y) {
+ auto r = x <=> y;
+ ASSERT_EXPR_TYPE(r, std::strong_equality);
+}
+} // namespace NullptrTest
+
+namespace ComplexTest {
+
+enum class StrongE {};
+enum WeakE { E_One,
+ E_Two };
+
+void test_diag(_Complex int ci, _Complex float cf, _Complex double cd, int i, float f, StrongE E1, WeakE E2, int *p) {
+ (void)(ci <=> (_Complex int &)ci);
+ (void)(ci <=> cf);
+ (void)(ci <=> i);
+ (void)(ci <=> f);
+ (void)(cf <=> i);
+ (void)(cf <=> f);
+ (void)(ci <=> p); // expected-error {{invalid operands}}
+ (void)(ci <=> E1); // expected-error {{invalid operands}}
+ (void)(E2 <=> cf); // expected-error {{invalid operands}}
+}
+
+void test_int(_Complex int x, _Complex int y) {
+ auto r = x <=> y;
+ ASSERT_EXPR_TYPE(r, std::strong_equality);
+}
+
+void test_double(_Complex double x, _Complex double y) {
+ auto r = x <=> y;
+ ASSERT_EXPR_TYPE(r, std::weak_equality);
+}
+
+} // namespace ComplexTest
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-09 02:46:18 +0000