clang-tidy/bugprone/SignedCharMisuseCheck.h

0001 //===--- SignedCharMisuseCheck.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_SIGNEDCHARMISUSECHECK_H
0010 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_SIGNEDCHARMISUSECHECK_H
0011
0012 #include "../ClangTidyCheck.h"
0013
0014 namespace clang::tidy::bugprone {
0015
0016 /// Finds those ``signed char`` -> integer conversions which might indicate a
0017 /// programming error. The basic problem with the ``signed char``, that it might
0018 /// store the non-ASCII characters as negative values. This behavior can cause a
0019 /// misunderstanding of the written code both when an explicit and when an
0020 /// implicit conversion happens.
0021 ///
0022 /// For the user-facing documentation see:
0023 /// http://clang.llvm.org/extra/clang-tidy/checks/bugprone/signed-char-misuse.html
0024 class SignedCharMisuseCheck : public ClangTidyCheck {
0025 public:
0026   SignedCharMisuseCheck(StringRef Name, ClangTidyContext *Context);
0027
0028   void storeOptions(ClangTidyOptions::OptionMap &Opts) override;
0029   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
0030   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
0031
0032 private:
0033   ast_matchers::internal::BindableMatcher<clang::Stmt> charCastExpression(
0034       bool IsSigned,
0035       const ast_matchers::internal::Matcher<clang::QualType> &IntegerType,
0036       const std::string &CastBindName) const;
0037
0038   const StringRef CharTypdefsToIgnoreList;
0039   const bool DiagnoseSignedUnsignedCharComparisons;
0040 };
0041
0042 } // namespace clang::tidy::bugprone
0043
0044 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_SIGNEDCHARMISUSECHECK_H