diff --git a/clang-tools-extra/clang-tidy/bugprone/BranchCloneCheck.h b/clang-tools-extra/clang-tidy/bugprone/BranchCloneCheck.h index 03486cc40d876..599da14c136fd 100644 --- a/clang-tools-extra/clang-tidy/bugprone/BranchCloneCheck.h +++ b/clang-tools-extra/clang-tidy/bugprone/BranchCloneCheck.h @@ -27,6 +27,9 @@ class BranchCloneCheck : public ClangTidyCheck { : ClangTidyCheck(Name, Context) {} void registerMatchers(ast_matchers::MatchFinder *Finder) override; void check(const ast_matchers::MatchFinder::MatchResult &Result) override; + std::optional getCheckTraversalKind() const override { + return TK_IgnoreUnlessSpelledInSource; + } }; } // namespace clang::tidy::bugprone diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index a024bd604d16e..7fe2b97de8643 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -202,9 +202,10 @@ New check aliases Changes in existing checks ^^^^^^^^^^^^^^^^^^^^^^^^^^ -- Fixed false-positive in :doc:`bugprone-branch-clone - ` check by ignoring duplicated - switch cases marked with the ``[[fallthrough]]`` attribute. +- Fixed false-positives in :doc:`bugprone-branch-clone + ` check by ignoring auto-generated + code, template instances, implicit code patterns and duplicated switch cases + marked with the ``[[fallthrough]]`` attribute. - Improved :doc:`readability-redundant-string-cstr ` check to recognise diff --git a/clang-tools-extra/test/clang-tidy/checkers/bugprone/branch-clone.cpp b/clang-tools-extra/test/clang-tidy/checkers/bugprone/branch-clone.cpp index 1525ba2802d16..42231746149f2 100644 --- a/clang-tools-extra/test/clang-tidy/checkers/bugprone/branch-clone.cpp +++ b/clang-tools-extra/test/clang-tidy/checkers/bugprone/branch-clone.cpp @@ -1024,3 +1024,48 @@ void dontCrash() { SEMICOLON_CASE_COLON(3); } } + +namespace PR62693 { + class Object { + public: + template + bool ConvertableTo() const; + + template + void Handle(); + }; + + template + void update(Object &a) { + if (a.ConvertableTo()) { + a.Handle(); + } else { + a.Handle(); + } + } + + template + void update2(Object &a) { + if (a.ConvertableTo()) { + a.Handle(); + } else { + a.Handle(); + } + } + + void foo(Object &a) { + update(a); + update2(a); + } + + template + int branch_clone_in_template(T t) { + // CHECK-MESSAGES: :[[@LINE+2]]:5: warning: if with identical then and else branches [bugprone-branch-clone] + // CHECK-MESSAGES: :[[@LINE+3]]:7: note: else branch starts here + if (t) { + return 42; + } else { + return 42; + } + } +}