clang-tidy/bugprone/BranchCloneCheck.h

0001 //===--- BranchCloneCheck.h - clang-tidy ------------------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008
0009 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_BRANCHCLONECHECK_H
0010 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_BRANCHCLONECHECK_H
0011
0012 #include "../ClangTidyCheck.h"
0013
0014 namespace clang::tidy::bugprone {
0015
0016 /// A check for detecting if/else if/else chains where two or more branches are
0017 /// Type I clones of each other (that is, they contain identical code), for
0018 /// detecting switch statements where two or more consecutive branches are
0019 /// Type I clones of each other, and for detecting conditional operators where
0020 /// the true and false expressions are Type I clones of each other.
0021 ///
0022 /// For the user-facing documentation see:
0023 /// http://clang.llvm.org/extra/clang-tidy/checks/bugprone/branch-clone.html
0024 class BranchCloneCheck : public ClangTidyCheck {
0025 public:
0026   BranchCloneCheck(StringRef Name, ClangTidyContext *Context)
0027       : ClangTidyCheck(Name, Context) {}
0028   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
0029   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
0030   std::optional<TraversalKind> getCheckTraversalKind() const override {
0031     return TK_IgnoreUnlessSpelledInSource;
0032   }
0033 };
0034
0035 } // namespace clang::tidy::bugprone
0036
0037 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_BRANCHCLONECHECK_H