[clang] Revert tests missed in b997ff4 (PR #69974)
Utkarsh Saxena via cfe-commits
cfe-commits at lists.llvm.org
Mon Oct 23 14:51:41 PDT 2023
https://github.com/usx95 updated https://github.com/llvm/llvm-project/pull/69974
>From b100ca6f219fda1fed5b92aba8471aa9a6ef8906 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena <usx at google.com>
Date: Mon, 23 Oct 2023 18:02:35 +0200
Subject: [PATCH 1/4] Revert "[STLExtras] Undo C++20 hack"
This reverts commit e558be51bab051d1471d92e967f8a2aecc13567a.
---
llvm/include/llvm/ADT/STLExtras.h | 14 +++++++++-----
1 file changed, 9 insertions(+), 5 deletions(-)
diff --git a/llvm/include/llvm/ADT/STLExtras.h b/llvm/include/llvm/ADT/STLExtras.h
index fade92d458675f2..d0b79fa91c03130 100644
--- a/llvm/include/llvm/ADT/STLExtras.h
+++ b/llvm/include/llvm/ADT/STLExtras.h
@@ -1291,11 +1291,15 @@ class indexed_accessor_range_base {
}
/// Compare this range with another.
- template <typename OtherT> bool operator==(const OtherT &rhs) const {
- return std::equal(begin(), end(), rhs.begin(), rhs.end());
- }
- template <typename OtherT> bool operator!=(const OtherT &rhs) const {
- return !(*this == rhs);
+ template <typename OtherT>
+ friend bool operator==(const indexed_accessor_range_base &lhs,
+ const OtherT &rhs) {
+ return std::equal(lhs.begin(), lhs.end(), rhs.begin(), rhs.end());
+ }
+ template <typename OtherT>
+ friend bool operator!=(const indexed_accessor_range_base &lhs,
+ const OtherT &rhs) {
+ return !(lhs == rhs);
}
/// Return the size of this range.
>From 69426793f377a7449a08cd2e8c9a6def5e63b583 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena <usx at google.com>
Date: Mon, 23 Oct 2023 18:05:03 +0200
Subject: [PATCH 2/4] Revert "[clang] Handle templated operators with reversed
arguments (#69595)"
This reverts commit 47747da6340b00e301d3656f95ecf9b04a6ec2bb.
---
clang/docs/ReleaseNotes.rst | 21 ---------------------
clang/lib/Sema/SemaOverload.cpp | 28 ++++++++++------------------
2 files changed, 10 insertions(+), 39 deletions(-)
diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst
index c292e012c4548d9..f71b458597e1833 100644
--- a/clang/docs/ReleaseNotes.rst
+++ b/clang/docs/ReleaseNotes.rst
@@ -37,27 +37,6 @@ These changes are ones which we think may surprise users when upgrading to
Clang |release| because of the opportunity they pose for disruption to existing
code bases.
-- Fix a bug in reversed argument for templated operators.
- This breaks code in C++20 which was previously accepted in C++17. Eg:
-
- .. code-block:: cpp
-
- struct P {};
- template<class S> bool operator==(const P&, const S&);
-
- struct A : public P {};
- struct B : public P {};
-
- // This equality is now ambiguous in C++20.
- bool ambiguous(A a, B b) { return a == b; }
-
- template<class S> bool operator!=(const P&, const S&);
- // Ok. Found a matching operator!=.
- bool fine(A a, B b) { return a == b; }
-
- To reduce such widespread breakages, as an extension, Clang accepts this code
- with an existing warning ``-Wambiguous-reversed-operator`` warning.
- Fixes `GH <https://github.com/llvm/llvm-project/issues/53954>`_.
C/C++ Language Potentially Breaking Changes
-------------------------------------------
diff --git a/clang/lib/Sema/SemaOverload.cpp b/clang/lib/Sema/SemaOverload.cpp
index d2475459fa4f4f7..db386fef0661c05 100644
--- a/clang/lib/Sema/SemaOverload.cpp
+++ b/clang/lib/Sema/SemaOverload.cpp
@@ -7685,7 +7685,7 @@ bool Sema::CheckNonDependentConversions(
QualType ParamType = ParamTypes[I + Offset];
if (!ParamType->isDependentType()) {
unsigned ConvIdx = PO == OverloadCandidateParamOrder::Reversed
- ? Args.size() - 1 - (ThisConversions + I)
+ ? 0
: (ThisConversions + I);
Conversions[ConvIdx]
= TryCopyInitialization(*this, Args[I], ParamType,
@@ -10082,19 +10082,11 @@ getImplicitObjectParamType(ASTContext &Context, const FunctionDecl *F) {
return M->getFunctionObjectParameterReferenceType();
}
-// As a Clang extension, allow ambiguity among F1 and F2 if they represent
-// represent the same entity.
-static bool allowAmbiguity(ASTContext &Context, const FunctionDecl *F1,
- const FunctionDecl *F2) {
+static bool haveSameParameterTypes(ASTContext &Context, const FunctionDecl *F1,
+ const FunctionDecl *F2) {
if (declaresSameEntity(F1, F2))
return true;
- if (F1->isTemplateInstantiation() && F2->isTemplateInstantiation() &&
- declaresSameEntity(F1->getPrimaryTemplate(), F2->getPrimaryTemplate())) {
- return true;
- }
- // TODO: It is not clear whether comparing parameters is necessary (i.e.
- // different functions with same params). Consider removing this (as no test
- // fail w/o it).
+
auto NextParam = [&](const FunctionDecl *F, unsigned &I, bool First) {
if (First) {
if (std::optional<QualType> T = getImplicitObjectParamType(Context, F))
@@ -10279,14 +10271,14 @@ bool clang::isBetterOverloadCandidate(
case ImplicitConversionSequence::Worse:
if (Cand1.Function && Cand2.Function &&
Cand1.isReversed() != Cand2.isReversed() &&
- allowAmbiguity(S.Context, Cand1.Function, Cand2.Function)) {
+ haveSameParameterTypes(S.Context, Cand1.Function, Cand2.Function)) {
// Work around large-scale breakage caused by considering reversed
// forms of operator== in C++20:
//
- // When comparing a function against a reversed function, if we have a
- // better conversion for one argument and a worse conversion for the
- // other, the implicit conversion sequences are treated as being equally
- // good.
+ // When comparing a function against a reversed function with the same
+ // parameter types, if we have a better conversion for one argument and
+ // a worse conversion for the other, the implicit conversion sequences
+ // are treated as being equally good.
//
// This prevents a comparison function from being considered ambiguous
// with a reversed form that is written in the same way.
@@ -14457,7 +14449,7 @@ ExprResult Sema::CreateOverloadedBinOp(SourceLocation OpLoc,
llvm::SmallVector<FunctionDecl*, 4> AmbiguousWith;
for (OverloadCandidate &Cand : CandidateSet) {
if (Cand.Viable && Cand.Function && Cand.isReversed() &&
- allowAmbiguity(Context, Cand.Function, FnDecl)) {
+ haveSameParameterTypes(Context, Cand.Function, FnDecl)) {
for (unsigned ArgIdx = 0; ArgIdx < 2; ++ArgIdx) {
if (CompareImplicitConversionSequences(
*this, OpLoc, Cand.Conversions[ArgIdx],
>From b83252be2c1085f8138315fa70ede5245c9b1ad3 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena <usx at google.com>
Date: Mon, 23 Oct 2023 23:45:39 +0200
Subject: [PATCH 3/4] Revert tests missed in
b997ff41c11cc69cfcb6c8a3ed39ed47229cf891
---
.../over.match.oper/p3-2a.cpp | 51 -------------------
1 file changed, 51 deletions(-)
diff --git a/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp b/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp
index 016eaf7f52876d5..2b6ba7021830936 100644
--- a/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp
+++ b/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp
@@ -324,57 +324,6 @@ bool x = X() == X(); // expected-warning {{ambiguous}}
}
} // namespace P2468R2
-namespace GH53954{
-namespace friend_template_1 {
-struct P {
- template <class T>
- friend bool operator==(const P&, const T&); // expected-note {{candidate}} \
- // expected-note {{ambiguous candidate function with reversed arguments}}
-};
-struct A : public P {};
-struct B : public P {};
-bool check(A a, B b) { return a == b; } // expected-warning {{use of overloaded operator '==' (with operand types 'A' and 'B') to be ambiguous}}
-}
-
-namespace friend_template_2 {
-struct P {
- template <class T>
- friend bool operator==(const T&, const P&); // expected-note {{candidate}} \
- // expected-note {{ambiguous candidate function with reversed arguments}}
-};
-struct A : public P {};
-struct B : public P {};
-bool check(A a, B b) { return a == b; } // expected-warning {{use of overloaded operator '==' (with operand types 'A' and 'B') to be ambiguous}}
-}
-
-namespace member_template {
-struct P {
- template<class S>
- bool operator==(const S &) const; // expected-note {{candidate}} \
- // expected-note {{ambiguous candidate function with reversed arguments}}
-};
-struct A : public P {};
-struct B : public P {};
-bool check(A a, B b) { return a == b; } // expected-warning {{use of overloaded operator '==' (with operand types 'A' and 'B') to be ambiguous}}
-}
-
-namespace non_member_template_1 {
-struct P {};
-template<class S>
-bool operator==(const P&, const S &); // expected-note {{candidate}} \
- // expected-note {{ambiguous candidate function with reversed arguments}}
-
-struct A : public P {};
-struct B : public P {};
-bool check(A a, B b) { return a == b; } // expected-warning {{use of overloaded operator '==' (with operand types 'A' and 'B') to be ambiguous}}
-
-template<class S>
-bool operator!=(const P&, const S &);
-bool fine(A a, B b) { return a == b; } // Ok. Found a matching operator!=.
-}
-}
-
-
namespace ADL_GH68901{
namespace test1 {
namespace A {
>From d787ba27520952d4553700bfce6cba8aea11abd4 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena <usx at google.com>
Date: Mon, 23 Oct 2023 23:51:26 +0200
Subject: [PATCH 4/4] revert more tests
---
.../over.match.funcs/over.match.oper/p3-2a.cpp | 11 -----------
1 file changed, 11 deletions(-)
diff --git a/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp b/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp
index 2b6ba7021830936..d83a176ec07eec9 100644
--- a/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp
+++ b/clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3-2a.cpp
@@ -426,17 +426,6 @@ bool i(X x) {
} // namespace test2
} // namespace function_scope_operator_eqeq
-namespace non_member_template_2 {
-struct P {};
-template<class S>
-bool operator==(const S&, const P&); // expected-note {{candidate}} \
- // expected-note {{ambiguous candidate function with reversed arguments}}
-
-struct A : public P {};
-struct B : public P {};
-bool check(A a, B b) { return a == b; } // expected-warning {{use of overloaded operator '==' (with operand types 'A' and 'B') to be ambiguous}}
-}
-
#else // NO_ERRORS
namespace problem_cases {
More information about the cfe-commits
mailing list