Author: Mital Ashok Date: 2024-05-17T18:00:43+02:00 New Revision: 621d0f3e86ecc46c2df302041777e42dfc10171e
URL: https://github.com/llvm/llvm-project/commit/621d0f3e86ecc46c2df302041777e42dfc10171e DIFF: https://github.com/llvm/llvm-project/commit/621d0f3e86ecc46c2df302041777e42dfc10171e.diff LOG: [Clang][Sema] Fix last argument not being used when comparing function template specializations when one has an explicit object argument (#92263) Fixes #92188 Added: Modified: clang/docs/ReleaseNotes.rst clang/lib/Sema/SemaTemplateDeduction.cpp clang/test/SemaCXX/cxx2b-deducing-this.cpp Removed: ################################################################################ diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst index 85327576548cf..7af5869d21768 100644 --- a/clang/docs/ReleaseNotes.rst +++ b/clang/docs/ReleaseNotes.rst @@ -737,6 +737,8 @@ Bug Fixes to C++ Support templates during partial ordering when deducing template arguments from a function declaration or when taking the address of a function template. - Fix a bug with checking constrained non-type template parameters for equivalence. Fixes (#GH77377). +- Fix a bug where the last argument was not considered when considering the most viable function for + explicit object argument member functions. Fixes (#GH92188). Bug Fixes to AST Handling ^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/clang/lib/Sema/SemaTemplateDeduction.cpp b/clang/lib/Sema/SemaTemplateDeduction.cpp index d0b780c28eae9..41fd210f29d09 100644 --- a/clang/lib/Sema/SemaTemplateDeduction.cpp +++ b/clang/lib/Sema/SemaTemplateDeduction.cpp @@ -5638,7 +5638,8 @@ static bool isAtLeastAsSpecializedAs(Sema &S, SourceLocation Loc, /// function templates. /// /// \param NumCallArguments1 The number of arguments in the call to FT1, used -/// only when \c TPOC is \c TPOC_Call. +/// only when \c TPOC is \c TPOC_Call. Does not include the object argument when +/// calling a member function. /// /// \param RawObj1Ty The type of the object parameter of FT1 if a member /// function only used if \c TPOC is \c TPOC_Call and FT1 is a Function @@ -5707,7 +5708,11 @@ FunctionTemplateDecl *Sema::getMoreSpecializedTemplate( IsRValRef1); Args2.push_back(Obj2Ty); } - size_t NumComparedArguments = NumCallArguments1 + ShouldConvert1; + size_t NumComparedArguments = NumCallArguments1; + // Either added an argument above or the prototype includes an explicit + // object argument we need to count + if (Method1) + ++NumComparedArguments; Args1.insert(Args1.end(), Proto1->param_type_begin(), Proto1->param_type_end()); diff --git a/clang/test/SemaCXX/cxx2b-deducing-this.cpp b/clang/test/SemaCXX/cxx2b-deducing-this.cpp index aa64530bd5be3..cdb9d1324b974 100644 --- a/clang/test/SemaCXX/cxx2b-deducing-this.cpp +++ b/clang/test/SemaCXX/cxx2b-deducing-this.cpp @@ -836,3 +836,60 @@ int h() { }(); } } + +namespace GH92188 { +struct A { + template<auto N> + void operator+=(this auto &&, const char (&)[N]); + void operator+=(this auto &&, auto &&) = delete; + + void f1(this A &, auto &); + void f1(this A &, auto &&) = delete; + + void f2(this auto&); + void f2(this auto&&) = delete; + + void f3(auto&) &; + void f3(this A&, auto&&) = delete; + + void f4(auto&&) & = delete; + void f4(this A&, auto&); + + static void f5(auto&); + void f5(this A&, auto&&) = delete; + + static void f6(auto&&) = delete; + void f6(this A&, auto&); + + void implicit_this() { + int lval; + operator+=("123"); + f1(lval); + f2(); + f3(lval); + f4(lval); + f5(lval); + f6(lval); + } + + void operator-(this A&, auto&&) = delete; + friend void operator-(A&, auto&); + + void operator*(this A&, auto&); + friend void operator*(A&, auto&&) = delete; +}; + +void g() { + A a; + int lval; + a += "123"; + a.f1(lval); + a.f2(); + a.f3(lval); + a.f4(lval); + a.f5(lval); + a.f6(lval); + a - lval; + a * lval; +} +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits