1 | //===--- MultiLevelImplicitPointerConversionCheck.cpp - clang-tidy --------===// |
---|---|
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 | #include "MultiLevelImplicitPointerConversionCheck.h" |
10 | #include "clang/AST/ASTContext.h" |
11 | #include "clang/ASTMatchers/ASTMatchFinder.h" |
12 | |
13 | using namespace clang::ast_matchers; |
14 | |
15 | namespace clang::tidy::bugprone { |
16 | |
17 | static unsigned getPointerLevel(const QualType &PtrType) { |
18 | if (!PtrType->isPointerType()) |
19 | return 0U; |
20 | |
21 | return 1U + getPointerLevel(PtrType: PtrType->castAs<PointerType>()->getPointeeType()); |
22 | } |
23 | |
24 | namespace { |
25 | |
26 | AST_MATCHER(ImplicitCastExpr, isMultiLevelPointerConversion) { |
27 | const QualType TargetType = Node.getType() |
28 | .getCanonicalType() |
29 | .getNonReferenceType() |
30 | .getUnqualifiedType(); |
31 | const QualType SourceType = Node.getSubExpr() |
32 | ->getType() |
33 | .getCanonicalType() |
34 | .getNonReferenceType() |
35 | .getUnqualifiedType(); |
36 | |
37 | if (TargetType == SourceType) |
38 | return false; |
39 | |
40 | const unsigned TargetPtrLevel = getPointerLevel(PtrType: TargetType); |
41 | if (0U == TargetPtrLevel) |
42 | return false; |
43 | |
44 | const unsigned SourcePtrLevel = getPointerLevel(PtrType: SourceType); |
45 | if (0U == SourcePtrLevel) |
46 | return false; |
47 | |
48 | return SourcePtrLevel != TargetPtrLevel; |
49 | } |
50 | |
51 | } // namespace |
52 | |
53 | void MultiLevelImplicitPointerConversionCheck::registerMatchers( |
54 | MatchFinder *Finder) { |
55 | Finder->addMatcher( |
56 | NodeMatch: implicitCastExpr(hasCastKind(Kind: CK_BitCast), isMultiLevelPointerConversion()) |
57 | .bind(ID: "expr"), |
58 | Action: this); |
59 | } |
60 | |
61 | std::optional<TraversalKind> |
62 | MultiLevelImplicitPointerConversionCheck::getCheckTraversalKind() const { |
63 | return TK_AsIs; |
64 | } |
65 | |
66 | void MultiLevelImplicitPointerConversionCheck::check( |
67 | const MatchFinder::MatchResult &Result) { |
68 | const auto *MatchedExpr = Result.Nodes.getNodeAs<ImplicitCastExpr>(ID: "expr"); |
69 | QualType Target = MatchedExpr->getType().getDesugaredType(*Result.Context); |
70 | QualType Source = |
71 | MatchedExpr->getSubExpr()->getType().getDesugaredType(*Result.Context); |
72 | |
73 | diag(MatchedExpr->getExprLoc(), "multilevel pointer conversion from %0 to " |
74 | "%1, please use explicit cast") |
75 | << Source << Target; |
76 | } |
77 | |
78 | } // namespace clang::tidy::bugprone |
79 |