clang-tools 19.0.0git
MultipleNewInOneExpressionCheck.cpp
Go to the documentation of this file.
1//===--- MultipleNewInOneExpressionCheck.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
10#include "clang/AST/ASTContext.h"
11#include "clang/ASTMatchers/ASTMatchFinder.h"
12#include "clang/Lex/Lexer.h"
13
14using namespace clang::ast_matchers;
15
16namespace clang::tidy::bugprone {
17
18namespace {
19
20// Determine if the result of an expression is "stored" in some way.
21// It is true if the value is stored into a variable or used as initialization
22// or passed to a function or constructor.
23// For this use case compound assignments are not counted as a "store" (the 'E'
24// expression should have pointer type).
25bool isExprValueStored(const Expr *E, ASTContext &C) {
26 E = E->IgnoreParenCasts();
27 // Get first non-paren, non-cast parent.
28 ParentMapContext &PMap = C.getParentMapContext();
29 DynTypedNodeList P = PMap.getParents(*E);
30 if (P.size() != 1)
31 return false;
32 const Expr *ParentE = nullptr;
33 while ((ParentE = P[0].get<Expr>()) && ParentE->IgnoreParenCasts() == E) {
34 P = PMap.getParents(P[0]);
35 if (P.size() != 1)
36 return false;
37 }
38
39 if (const auto *ParentVarD = P[0].get<VarDecl>())
40 return ParentVarD->getInit()->IgnoreParenCasts() == E;
41
42 if (!ParentE)
43 return false;
44
45 if (const auto *BinOp = dyn_cast<BinaryOperator>(ParentE))
46 return BinOp->getOpcode() == BO_Assign &&
47 BinOp->getRHS()->IgnoreParenCasts() == E;
48
49 return isa<CallExpr, CXXConstructExpr>(ParentE);
50}
51
52} // namespace
53
54AST_MATCHER_P(CXXTryStmt, hasHandlerFor,
55 ast_matchers::internal::Matcher<QualType>, InnerMatcher) {
56 for (unsigned NH = Node.getNumHandlers(), I = 0; I < NH; ++I) {
57 const CXXCatchStmt *CatchS = Node.getHandler(I);
58 // Check for generic catch handler (match anything).
59 if (CatchS->getCaughtType().isNull())
60 return true;
61 ast_matchers::internal::BoundNodesTreeBuilder Result(*Builder);
62 if (InnerMatcher.matches(CatchS->getCaughtType(), Finder, &Result)) {
63 *Builder = std::move(Result);
64 return true;
65 }
66 }
67 return false;
68}
69
70AST_MATCHER(CXXNewExpr, mayThrow) {
71 FunctionDecl *OperatorNew = Node.getOperatorNew();
72 if (!OperatorNew)
73 return false;
74 return !OperatorNew->getType()->castAs<FunctionProtoType>()->isNothrow();
75}
76
78 auto BadAllocType =
79 recordType(hasDeclaration(cxxRecordDecl(hasName("::std::bad_alloc"))));
80 auto ExceptionType =
81 recordType(hasDeclaration(cxxRecordDecl(hasName("::std::exception"))));
82 auto BadAllocReferenceType = referenceType(pointee(BadAllocType));
83 auto ExceptionReferenceType = referenceType(pointee(ExceptionType));
84
85 auto CatchBadAllocType =
86 qualType(hasCanonicalType(anyOf(BadAllocType, BadAllocReferenceType,
87 ExceptionType, ExceptionReferenceType)));
88 auto BadAllocCatchingTryBlock = cxxTryStmt(hasHandlerFor(CatchBadAllocType));
89
90 auto NewExprMayThrow = cxxNewExpr(mayThrow());
91 auto HasNewExpr1 = expr(anyOf(NewExprMayThrow.bind("new1"),
92 hasDescendant(NewExprMayThrow.bind("new1"))));
93 auto HasNewExpr2 = expr(anyOf(NewExprMayThrow.bind("new2"),
94 hasDescendant(NewExprMayThrow.bind("new2"))));
95
96 Finder->addMatcher(
97 callExpr(
98 hasAnyArgument(
99 expr(HasNewExpr1).bind("arg1")),
100 hasAnyArgument(
101 expr(HasNewExpr2, unless(equalsBoundNode("arg1"))).bind("arg2")),
102 hasAncestor(BadAllocCatchingTryBlock)),
103 this);
104 Finder->addMatcher(
105 cxxConstructExpr(
106 hasAnyArgument(
107 expr(HasNewExpr1).bind("arg1")),
108 hasAnyArgument(
109 expr(HasNewExpr2, unless(equalsBoundNode("arg1"))).bind("arg2")),
110 unless(isListInitialization()),
111 hasAncestor(BadAllocCatchingTryBlock)),
112 this);
113 Finder->addMatcher(binaryOperator(hasLHS(HasNewExpr1), hasRHS(HasNewExpr2),
114 unless(hasAnyOperatorName("&&", "||", ",")),
115 hasAncestor(BadAllocCatchingTryBlock)),
116 this);
117 Finder->addMatcher(
118 cxxNewExpr(mayThrow(),
119 hasDescendant(NewExprMayThrow.bind("new2_in_new1")),
120 hasAncestor(BadAllocCatchingTryBlock))
121 .bind("new1"),
122 this);
123}
124
126 const MatchFinder::MatchResult &Result) {
127 const auto *NewExpr1 = Result.Nodes.getNodeAs<CXXNewExpr>("new1");
128 const auto *NewExpr2 = Result.Nodes.getNodeAs<CXXNewExpr>("new2");
129 const auto *NewExpr2InNewExpr1 =
130 Result.Nodes.getNodeAs<CXXNewExpr>("new2_in_new1");
131 if (!NewExpr2)
132 NewExpr2 = NewExpr2InNewExpr1;
133 assert(NewExpr1 && NewExpr2 && "Bound nodes not found.");
134
135 // No warning if both allocations are not stored.
136 // The value may be intentionally not stored (no deallocations needed or
137 // self-destructing object).
138 if (!isExprValueStored(NewExpr1, *Result.Context) &&
139 !isExprValueStored(NewExpr2, *Result.Context))
140 return;
141
142 // In C++17 sequencing of a 'new' inside constructor arguments of another
143 // 'new' is fixed. Still a leak can happen if the returned value from the
144 // first 'new' is not saved (yet) and the second fails.
145 if (getLangOpts().CPlusPlus17 && NewExpr2InNewExpr1)
146 diag(NewExpr1->getBeginLoc(),
147 "memory allocation may leak if an other allocation is sequenced after "
148 "it and throws an exception")
149 << NewExpr1->getSourceRange() << NewExpr2->getSourceRange();
150 else
151 diag(NewExpr1->getBeginLoc(),
152 "memory allocation may leak if an other allocation is sequenced after "
153 "it and throws an exception; order of these allocations is undefined")
154 << NewExpr1->getSourceRange() << NewExpr2->getSourceRange();
155}
156
157} // namespace clang::tidy::bugprone
const Expr * E
CodeCompletionBuilder Builder
const Criteria C
::clang::DynTypedNode Node
DiagnosticBuilder diag(SourceLocation Loc, StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
Add a diagnostic with the check's name.
const LangOptions & getLangOpts() const
Returns the language options from the context.
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
AST_MATCHER_P(FunctionDecl, parameterCountGE, unsigned, N)
Matches functions that have at least the specified amount of parameters.
AST_MATCHER(clang::VarDecl, hasConstantDeclaration)