https://github.com/jwidauer updated https://github.com/llvm/llvm-project/pull/182577
>From 6e11f5d5c6256beb6425e4c13e35a096e9c4f3e8 Mon Sep 17 00:00:00 2001 From: Jakob Widauer <[email protected]> Date: Fri, 20 Feb 2026 20:17:30 +0100 Subject: [PATCH] [clang-tidy] Fix erroneous warning to make deleted function public --- .../modernize/UseEqualsDeleteCheck.cpp | 21 ++++- clang-tools-extra/docs/ReleaseNotes.rst | 5 + .../checkers/modernize/use-equals-delete.cpp | 93 ++++++++++++++----- 3 files changed, 94 insertions(+), 25 deletions(-) diff --git a/clang-tools-extra/clang-tidy/modernize/UseEqualsDeleteCheck.cpp b/clang-tools-extra/clang-tidy/modernize/UseEqualsDeleteCheck.cpp index 25140152219cf..f0466852ef5c3 100644 --- a/clang-tools-extra/clang-tidy/modernize/UseEqualsDeleteCheck.cpp +++ b/clang-tools-extra/clang-tidy/modernize/UseEqualsDeleteCheck.cpp @@ -39,6 +39,21 @@ AST_MATCHER(CXXMethodDecl, isSpecialFunction) { return isa<CXXDestructorDecl>(Node) || Node.isCopyAssignmentOperator() || Node.isMoveAssignmentOperator(); } + +AST_MATCHER(CXXMethodDecl, hasPublicOverload) { + const DeclContext::lookup_result LookupResult = + Node.getParent()->lookup(Node.getNameInfo().getName()); + + if (LookupResult.isSingleResult()) + return false; // No overloads + + static constexpr auto IsPublicOverload = [](const Decl *Overload) { + return isa<CXXMethodDecl, FunctionTemplateDecl>(Overload) && + Overload->getAccess() == AS_public; + }; + + return llvm::any_of(LookupResult, IsPublicOverload); +} } // namespace static constexpr char SpecialFunction[] = "SpecialFunction"; @@ -66,8 +81,12 @@ void UseEqualsDeleteCheck::registerMatchers(MatchFinder *Finder) { .bind(SpecialFunction), this); + // Add a matcher for deleted private member functions, with a public overload, + // to recommend moving them to the public section. Finder->addMatcher( - cxxMethodDecl(isDeleted(), unless(isPublic())).bind(DeletedNotPublic), + cxxMethodDecl(isDeleted(), unless(isPublic()), + anyOf(hasPublicOverload(), isSpecialFunction())) + .bind(DeletedNotPublic), this); } diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index 22992c5a1d5d8..341e3f8b2b700 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -212,6 +212,11 @@ Changes in existing checks - Improved :doc:`modernize-redundant-void-arg <clang-tidy/checks/modernize/redundant-void-arg>` check to work in C23. +- Improved :doc:`modernize-use-equals-delete + <clang-tidy/checks/modernize/use-equals-delete>` check by only warning on + private deleted functions, if they do not have a public overload or are a + special member function. + - Improved :doc:`modernize-use-std-format <clang-tidy/checks/modernize/use-std-format>` check by fixing a crash when an argument is part of a macro expansion. diff --git a/clang-tools-extra/test/clang-tidy/checkers/modernize/use-equals-delete.cpp b/clang-tools-extra/test/clang-tidy/checkers/modernize/use-equals-delete.cpp index 061a2722b1ac7..940e7e0443b19 100644 --- a/clang-tools-extra/test/clang-tidy/checkers/modernize/use-equals-delete.cpp +++ b/clang-tools-extra/test/clang-tidy/checkers/modernize/use-equals-delete.cpp @@ -194,28 +194,73 @@ class C { namespace PR33759 { - class Number { - private: - Number(); - ~Number(); - - public: - static Number& getNumber() { - static Number number; - return number; - } - - int getIntValue() { return (int)someFloat; } - float getFloatValue() { return someFloat; } - private: - float someFloat; - }; - - class Number2 { - private: - Number2(); - ~Number2(); - public: - static Number& getNumber(); - }; +class Number { + private: + Number(); + ~Number(); + + public: + static Number& getNumber() { + static Number number; + return number; + } + + int getIntValue() { return (int)someFloat; } + float getFloatValue() { return someFloat; } + private: + float someFloat; +}; + +class Number2 { + private: + Number2(); + ~Number2(); + public: + static Number& getNumber(); +}; +} + +namespace PR54276 { + +class PrivateDeletedFunctionWithPublicOverload { + public: + void foo() {} + private: + void foo(int) = delete; + // CHECK-MESSAGES: :[[@LINE-1]]:10: warning: deleted member function should be public [modernize-use-equals-delete] +}; + +class PrivateDeletedFunctionWithPrivateOverload { + private: + void foo() {} + void foo(int) = delete; +}; + +class PrivateDeletedFunctionTemplateWithPublicOverload { + public: + template<typename T> + void foo(T) {} + private: + template<typename T> + void foo(T, int) = delete; + // CHECK-MESSAGES: :[[@LINE-1]]:10: warning: deleted member function should be public [modernize-use-equals-delete] +}; + +class PrivateDeletedFunctionTemplateWithPrivateOverload { + private: + template<typename T> + void foo(T) {} + template<typename T> + void foo(T, int) = delete; +}; + +class PrivateDeletedFunctionTemplateWithProtectedOverload { + protected: + template<typename T> + void foo(T) {} + private: + template<typename T> + void foo(T, int) = delete; +}; + } _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
