112 lines · c
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_NARROWINGCONVERSIONSCHECK_H10#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_NARROWINGCONVERSIONSCHECK_H11 12#include "../ClangTidyCheck.h"13 14namespace clang::tidy::bugprone {15 16/// Checks for narrowing conversions, e.g:17/// int i = 0;18/// i += 0.1;19///20/// For the user-facing documentation see:21/// https://clang.llvm.org/extra/clang-tidy/checks/bugprone/narrowing-conversions.html22class NarrowingConversionsCheck : public ClangTidyCheck {23public:24 NarrowingConversionsCheck(StringRef Name, ClangTidyContext *Context);25 26 void storeOptions(ClangTidyOptions::OptionMap &Opts) override;27 28 void registerMatchers(ast_matchers::MatchFinder *Finder) override;29 void check(const ast_matchers::MatchFinder::MatchResult &Result) override;30 31private:32 void diagNarrowType(SourceLocation SourceLoc, const Expr &Lhs,33 const Expr &Rhs);34 35 void diagNarrowTypeToSignedInt(SourceLocation SourceLoc, const Expr &Lhs,36 const Expr &Rhs);37 38 void diagNarrowIntegerConstant(SourceLocation SourceLoc, const Expr &Lhs,39 const Expr &Rhs, const llvm::APSInt &Value);40 41 void diagNarrowIntegerConstantToSignedInt(SourceLocation SourceLoc,42 const Expr &Lhs, const Expr &Rhs,43 const llvm::APSInt &Value,44 uint64_t HexBits);45 46 void diagNarrowConstant(SourceLocation SourceLoc, const Expr &Lhs,47 const Expr &Rhs);48 49 void diagConstantCast(SourceLocation SourceLoc, const Expr &Lhs,50 const Expr &Rhs);51 52 void diagNarrowTypeOrConstant(const ASTContext &Context,53 SourceLocation SourceLoc, const Expr &Lhs,54 const Expr &Rhs);55 56 void handleIntegralCast(const ASTContext &Context, SourceLocation SourceLoc,57 const Expr &Lhs, const Expr &Rhs);58 59 void handleIntegralToBoolean(const ASTContext &Context,60 SourceLocation SourceLoc, const Expr &Lhs,61 const Expr &Rhs);62 63 void handleIntegralToFloating(const ASTContext &Context,64 SourceLocation SourceLoc, const Expr &Lhs,65 const Expr &Rhs);66 67 void handleFloatingToIntegral(const ASTContext &Context,68 SourceLocation SourceLoc, const Expr &Lhs,69 const Expr &Rhs);70 71 void handleFloatingToBoolean(const ASTContext &Context,72 SourceLocation SourceLoc, const Expr &Lhs,73 const Expr &Rhs);74 75 void handleBooleanToSignedIntegral(const ASTContext &Context,76 SourceLocation SourceLoc, const Expr &Lhs,77 const Expr &Rhs);78 79 void handleFloatingCast(const ASTContext &Context, SourceLocation SourceLoc,80 const Expr &Lhs, const Expr &Rhs);81 82 void handleBinaryOperator(const ASTContext &Context, SourceLocation SourceLoc,83 const Expr &Lhs, const Expr &Rhs);84 85 bool handleConditionalOperator(const ASTContext &Context, const Expr &Lhs,86 const Expr &Rhs);87 88 void handleConditionalOperatorArgument(const ASTContext &Context,89 const Expr &Lhs, const Expr *Arg);90 void handleImplicitCast(const ASTContext &Context,91 const ImplicitCastExpr &Cast);92 93 void handleBinaryOperator(const ASTContext &Context,94 const BinaryOperator &Op);95 96 bool isWarningInhibitedByEquivalentSize(const ASTContext &Context,97 const BuiltinType &FromType,98 const BuiltinType &ToType) const;99 100 const bool WarnOnIntegerNarrowingConversion;101 const bool WarnOnIntegerToFloatingPointNarrowingConversion;102 const bool WarnOnFloatingPointNarrowingConversion;103 const bool WarnWithinTemplateInstantiation;104 const bool WarnOnEquivalentBitWidth;105 const StringRef IgnoreConversionFromTypes;106 const bool PedanticMode;107};108 109} // namespace clang::tidy::bugprone110 111#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_NARROWINGCONVERSIONSCHECK_H112