clang-tidy/readability/ElseAfterReturnCheck.h

0001 //===--- ElseAfterReturnCheck.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_READABILITY_ELSEAFTERRETURNCHECK_H
0010 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_READABILITY_ELSEAFTERRETURNCHECK_H
0011
0012 #include "../ClangTidyCheck.h"
0013 #include "llvm/ADT/DenseMap.h"
0014
0015 namespace clang::tidy::readability {
0016
0017 /// Flags the usages of `else` after `return`.
0018 ///
0019 /// http://llvm.org/docs/CodingStandards.html#don-t-use-else-after-a-return
0020 class ElseAfterReturnCheck : public ClangTidyCheck {
0021 public:
0022   ElseAfterReturnCheck(StringRef Name, ClangTidyContext *Context);
0023
0024   void storeOptions(ClangTidyOptions::OptionMap &Opts) override;
0025   void registerPPCallbacks(const SourceManager &SM, Preprocessor *PP,
0026                            Preprocessor *ModuleExpanderPP) override;
0027   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
0028   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
0029   std::optional<TraversalKind> getCheckTraversalKind() const override {
0030     return TK_IgnoreUnlessSpelledInSource;
0031   }
0032
0033   using ConditionalBranchMap =
0034       llvm::DenseMap<FileID, SmallVector<SourceRange, 1>>;
0035
0036 private:
0037   const bool WarnOnUnfixable;
0038   const bool WarnOnConditionVariables;
0039   ConditionalBranchMap PPConditionals;
0040 };
0041
0042 } // namespace clang::tidy::readability
0043
0044 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_READABILITY_ELSEAFTERRETURNCHECK_H