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
13using namespace clang::ast_matchers;
14
15namespace clang::tidy::bugprone {
16
17static unsigned getPointerLevel(const QualType &PtrType) {
18 if (!PtrType->isPointerType())
19 return 0U;
20
21 return 1U + getPointerLevel(PtrType: PtrType->castAs<PointerType>()->getPointeeType());
22}
23
24namespace {
25
26AST_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
53void 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
61std::optional<TraversalKind>
62MultiLevelImplicitPointerConversionCheck::getCheckTraversalKind() const {
63 return TK_AsIs;
64}
65
66void 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

source code of clang-tools-extra/clang-tidy/bugprone/MultiLevelImplicitPointerConversionCheck.cpp