clang-tools 10.0.0

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
24 class NarrowingConversionsCheck : public ClangTidyCheck {
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
clang::tidy::cppcoreguidelines::NarrowingConversionsCheck::NarrowingConversionsCheck
NarrowingConversionsCheck(StringRef Name, ClangTidyContext *Context)
Definition: NarrowingConversionsCheck.cpp:25
clang::tidy::ClangTidyCheck
Base class for all clang-tidy checks.
Definition: ClangTidyCheck.h:47
Name
static constexpr llvm::StringLiteral Name
Definition: UppercaseLiteralSuffixCheck.cpp:27
clang
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
Definition: ApplyReplacements.h:27
clang::tidy::cppcoreguidelines::NarrowingConversionsCheck
Checks for narrowing conversions, e.g: int i = 0; i += 0.1;.
Definition: NarrowingConversionsCheck.h:24
clang::tidy::ClangTidyContext
Every ClangTidyCheck reports errors through a DiagnosticsEngine provided by this context.
Definition: ClangTidyDiagnosticConsumer.h:77
clang::tidy::cppcoreguidelines::NarrowingConversionsCheck::check
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
Definition: NarrowingConversionsCheck.cpp:436
clang::tidy::cppcoreguidelines::NarrowingConversionsCheck::registerMatchers
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
Definition: NarrowingConversionsCheck.cpp:32