llvm/clang-tools-extra/clang-tidy/bugprone/RedundantBranchConditionCheck.cpp

//===--- RedundantBranchConditionCheck.cpp - clang-tidy -------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "RedundantBranchConditionCheck.h"
#include "../utils/Aliasing.h"
#include "clang/AST/ASTContext.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Analysis/Analyses/ExprMutationAnalyzer.h"
#include "clang/Lex/Lexer.h"

usingnamespaceclang::ast_matchers;
hasPtrOrReferenceInFunc;

namespace clang::tidy::bugprone {

static const char CondVarStr[] = …;
static const char OuterIfStr[] = …;
static const char InnerIfStr[] = …;
static const char OuterIfVar1Str[] = …;
static const char OuterIfVar2Str[] = …;
static const char InnerIfVar1Str[] = …;
static const char InnerIfVar2Str[] = …;
static const char FuncStr[] = …;

/// Returns whether `Var` is changed in range (`PrevS`..`NextS`).
static bool isChangedBefore(const Stmt *S, const Stmt *NextS, const Stmt *PrevS,
                            const VarDecl *Var, ASTContext *Context) { … }

void RedundantBranchConditionCheck::registerMatchers(MatchFinder *Finder) { … }

void RedundantBranchConditionCheck::check(const MatchFinder::MatchResult &Result) { … }

} // namespace clang::tidy::bugprone