A check for detecting if/else if/else chains where two or more branches are Type I clones of each other (that is, they contain identical code), for detecting switch statements where two or more consecutive branches are Type I clones of each other, and for detecting conditional operators where the true and false expressions are Type I clones of each other. More...

#include <BranchCloneCheck.h>

Inheritance diagram for clang::tidy::bugprone::BranchCloneCheck:

[legend]

Public Member Functions
	BranchCloneCheck (StringRef Name, ClangTidyContext *Context)
void	registerMatchers (ast_matchers::MatchFinder *Finder) override
void	check (const ast_matchers::MatchFinder::MatchResult &Result) override
std::optional< TraversalKind >	getCheckTraversalKind () const override

Detailed Description

A check for detecting if/else if/else chains where two or more branches are Type I clones of each other (that is, they contain identical code), for detecting switch statements where two or more consecutive branches are Type I clones of each other, and for detecting conditional operators where the true and false expressions are Type I clones of each other.

For the user-facing documentation see: https://clang.llvm.org/extra/clang-tidy/checks/bugprone/branch-clone.html

Definition at line 24 of file BranchCloneCheck.h.

Constructor & Destructor Documentation

◆ BranchCloneCheck()

clang::tidy::bugprone::BranchCloneCheck::BranchCloneCheck	(	StringRef	Name,
		ClangTidyContext *	Context )

inline

Definition at line 26 of file BranchCloneCheck.h.

Member Function Documentation

◆ check()

void clang::tidy::bugprone::BranchCloneCheck::check ( const ast_matchers::MatchFinder::MatchResult & Result )

override

Definition at line 313 of file BranchCloneCheck.cpp.

References clang::tidy::utils::areStatementsIdentical(), areSwitchBranchesIdentical(), isFallthroughSwitchBranch(), and clang::tidy::bugprone::isIdenticalStmt().

◆ getCheckTraversalKind()

std::optional< TraversalKind > clang::tidy::bugprone::BranchCloneCheck::getCheckTraversalKind ( ) const

inlineoverride

Definition at line 30 of file BranchCloneCheck.h.

◆ registerMatchers()

void clang::tidy::bugprone::BranchCloneCheck::registerMatchers ( ast_matchers::MatchFinder * Finder )