clang-tools  10.0.0svn
NarrowingConversionsCheck.h
Go to the documentation of this file.
1 //===--- NarrowingConversionsCheck.h - clang-tidy----------------*- C++ -*-===//
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-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CPPCOREGUIDELINES_NARROWING_CONVERSIONS_H
10 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CPPCOREGUIDELINES_NARROWING_CONVERSIONS_H
11 
12 #include "../ClangTidy.h"
13 
14 namespace clang {
15 namespace tidy {
16 namespace cppcoreguidelines {
17 
18 /// Checks for narrowing conversions, e.g:
19 /// int i = 0;
20 /// i += 0.1;
21 ///
22 /// For the user-facing documentation see:
23 /// http://clang.llvm.org/extra/clang-tidy/checks/cppcoreguidelines-narrowing-conversions.html
25 public:
26  NarrowingConversionsCheck(StringRef Name, ClangTidyContext *Context);
27 
28  void registerMatchers(ast_matchers::MatchFinder *Finder) override;
29  void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
30 
31 private:
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  const 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 handleImplicitCast(const ASTContext &Context,
89  const ImplicitCastExpr &Cast);
90 
91  void handleBinaryOperator(const ASTContext &Context,
92  const BinaryOperator &Op);
93 
94  const bool WarnOnFloatingPointNarrowingConversion;
95  const bool PedanticMode;
96 };
97 
98 } // namespace cppcoreguidelines
99 } // namespace tidy
100 } // namespace clang
101 
102 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CPPCOREGUIDELINES_NARROWING_CONVERSIONS_H
NarrowingConversionsCheck(StringRef Name, ClangTidyContext *Context)
Base class for all clang-tidy checks.
static constexpr llvm::StringLiteral Name
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
Checks for narrowing conversions, e.g: int i = 0; i += 0.1;.
Every ClangTidyCheck reports errors through a DiagnosticsEngine provided by this context.
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.