llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-tidy Author: Baranov Victor (vbvictor) <details> <summary>Changes</summary> Fix false positives in `bugprone-crtp-constructor-accessibility` check on deleted constructors that cannot be used to construct objects, even if they have public or protected access. Closes https://github.com/llvm/llvm-project/issues/131737. --- Full diff: https://github.com/llvm/llvm-project/pull/132543.diff 3 Files Affected: - (modified) clang-tools-extra/clang-tidy/bugprone/CrtpConstructorAccessibilityCheck.cpp (+1-1) - (modified) clang-tools-extra/docs/ReleaseNotes.rst (+5) - (modified) clang-tools-extra/test/clang-tidy/checkers/bugprone/crtp-constructor-accessibility.cpp (+31) ``````````diff diff --git a/clang-tools-extra/clang-tidy/bugprone/CrtpConstructorAccessibilityCheck.cpp b/clang-tools-extra/clang-tidy/bugprone/CrtpConstructorAccessibilityCheck.cpp index 8eaf54fe0088a..28e8fe002d575 100644 --- a/clang-tools-extra/clang-tidy/bugprone/CrtpConstructorAccessibilityCheck.cpp +++ b/clang-tools-extra/clang-tidy/bugprone/CrtpConstructorAccessibilityCheck.cpp @@ -157,7 +157,7 @@ void CrtpConstructorAccessibilityCheck::check( } for (auto &&Ctor : CRTPDeclaration->ctors()) { - if (Ctor->getAccess() == AS_private) + if (Ctor->getAccess() == AS_private || Ctor->isDeleted()) continue; const bool IsPublic = Ctor->getAccess() == AS_public; diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index 72aa05eb4dcd1..4bbe4a693c811 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -127,6 +127,11 @@ New check aliases Changes in existing checks ^^^^^^^^^^^^^^^^^^^^^^^^^^ +- Improved :doc:`bugprone-crtp-constructor-accessibility + <clang-tidy/checks/bugprone/crtp-constructor-accessibility>` check by fixing + false positives on deleted constructors that cannot be used to construct + objects, even if they have public or protected access. + - Improved :doc:`bugprone-optional-value-conversion <clang-tidy/checks/bugprone/optional-value-conversion>` check to detect conversion in argument of ``std::make_optional``. diff --git a/clang-tools-extra/test/clang-tidy/checkers/bugprone/crtp-constructor-accessibility.cpp b/clang-tools-extra/test/clang-tidy/checkers/bugprone/crtp-constructor-accessibility.cpp index f33b8457cc8af..44cfcd136f238 100644 --- a/clang-tools-extra/test/clang-tidy/checkers/bugprone/crtp-constructor-accessibility.cpp +++ b/clang-tools-extra/test/clang-tidy/checkers/bugprone/crtp-constructor-accessibility.cpp @@ -253,3 +253,34 @@ void foo() { (void) A; } } // namespace no_warning_unsupported + +namespace public_copy_move_constructors_deleted { +template <typename T> +class CRTP +{ + CRTP() = default; + friend T; + public: + CRTP(const CRTP&) = delete; + CRTP(CRTP&&) = delete; +}; + +class A : CRTP<A> {}; + +} // namespace public_copy_move_constructors_deleted + +namespace public_copy_protected_move_constructor_deleted { +template <typename T> +class CRTP +{ + CRTP() = default; + friend T; + public: + CRTP(const CRTP&) = delete; + protected: + CRTP(CRTP&&) = delete; +}; + +class A : CRTP<A> {}; + +} // namespace public_copy_protected_move_constructor_deleted `````````` </details> https://github.com/llvm/llvm-project/pull/132543 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
