clang 22.0.0git
ASTUtils.cpp
Go to the documentation of this file.
1//=======- ASTUtils.cpp ------------------------------------------*- 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#include "ASTUtils.h"
10#include "PtrTypesSemantics.h"
11#include "clang/AST/Attr.h"
12#include "clang/AST/Decl.h"
13#include "clang/AST/DeclCXX.h"
14#include "clang/AST/ExprCXX.h"
15#include "clang/AST/ExprObjC.h"
17#include <optional>
18
19namespace clang {
20
24
26 const Expr *E, bool StopAtFirstRefCountedObj,
28 std::function<bool(const clang::QualType)> isSafePtrType,
29 std::function<bool(const clang::Expr *, bool)> callback) {
30 while (E) {
31 if (auto *DRE = dyn_cast<DeclRefExpr>(E)) {
32 if (auto *VD = dyn_cast_or_null<VarDecl>(DRE->getDecl())) {
33 auto QT = VD->getType();
34 if (VD->hasGlobalStorage() && QT.isConstQualified()) {
35 return callback(E, true);
36 }
37 }
38 }
39 if (auto *tempExpr = dyn_cast<MaterializeTemporaryExpr>(E)) {
40 E = tempExpr->getSubExpr();
41 continue;
42 }
43 if (auto *tempExpr = dyn_cast<CXXBindTemporaryExpr>(E)) {
44 E = tempExpr->getSubExpr();
45 continue;
46 }
47 if (auto *tempExpr = dyn_cast<CXXConstructExpr>(E)) {
48 if (auto *C = tempExpr->getConstructor()) {
49 if (auto *Class = C->getParent(); Class && isSafePtr(Class))
50 return callback(E, true);
51 break;
52 }
53 }
54 if (auto *TempExpr = dyn_cast<CXXUnresolvedConstructExpr>(E)) {
55 if (isSafePtrType(TempExpr->getTypeAsWritten()))
56 return callback(TempExpr, true);
57 }
58 if (auto *POE = dyn_cast<PseudoObjectExpr>(E)) {
59 if (auto *RF = POE->getResultExpr()) {
60 E = RF;
61 continue;
62 }
63 }
64 if (auto *tempExpr = dyn_cast<ParenExpr>(E)) {
65 E = tempExpr->getSubExpr();
66 continue;
67 }
68 if (auto *OpaqueValue = dyn_cast<OpaqueValueExpr>(E)) {
69 E = OpaqueValue->getSourceExpr();
70 continue;
71 }
72 if (auto *Expr = dyn_cast<ConditionalOperator>(E)) {
73 return tryToFindPtrOrigin(Expr->getTrueExpr(), StopAtFirstRefCountedObj,
74 isSafePtr, isSafePtrType, callback) &&
75 tryToFindPtrOrigin(Expr->getFalseExpr(), StopAtFirstRefCountedObj,
76 isSafePtr, isSafePtrType, callback);
77 }
78 if (auto *cast = dyn_cast<CastExpr>(E)) {
79 if (StopAtFirstRefCountedObj) {
80 if (auto *ConversionFunc =
81 dyn_cast_or_null<FunctionDecl>(cast->getConversionFunction())) {
82 if (isCtorOfSafePtr(ConversionFunc))
83 return callback(E, true);
84 }
85 if (isa<CXXFunctionalCastExpr>(E) && isSafePtrType(cast->getType()))
86 return callback(E, true);
87 }
88 // FIXME: This can give false "origin" that would lead to false negatives
89 // in checkers. See https://reviews.llvm.org/D37023 for reference.
90 E = cast->getSubExpr();
91 continue;
92 }
93 if (auto *call = dyn_cast<CallExpr>(E)) {
94 if (auto *Callee = call->getCalleeDecl()) {
95 if (Callee->hasAttr<CFReturnsRetainedAttr>() ||
96 Callee->hasAttr<NSReturnsRetainedAttr>()) {
97 return callback(E, true);
98 }
99 }
100
101 if (auto *memberCall = dyn_cast<CXXMemberCallExpr>(call)) {
102 if (auto *decl = memberCall->getMethodDecl()) {
103 std::optional<bool> IsGetterOfRefCt = isGetterOfSafePtr(decl);
104 if (IsGetterOfRefCt && *IsGetterOfRefCt) {
105 E = memberCall->getImplicitObjectArgument();
106 if (StopAtFirstRefCountedObj) {
107 return callback(E, true);
108 }
109 continue;
110 }
111 }
112 }
113
114 if (auto *operatorCall = dyn_cast<CXXOperatorCallExpr>(E)) {
115 if (auto *Callee = operatorCall->getDirectCallee()) {
116 auto ClsName = safeGetName(Callee->getParent());
117 if (isRefType(ClsName) || isCheckedPtr(ClsName) ||
118 isRetainPtr(ClsName) || ClsName == "unique_ptr" ||
119 ClsName == "UniqueRef" || ClsName == "WeakPtr" ||
120 ClsName == "WeakRef") {
121 if (operatorCall->getNumArgs() == 1) {
122 E = operatorCall->getArg(0);
123 continue;
124 }
125 }
126 }
127 }
128
129 if (call->isCallToStdMove() && call->getNumArgs() == 1) {
130 E = call->getArg(0)->IgnoreParenCasts();
131 continue;
132 }
133
134 if (auto *callee = call->getDirectCallee()) {
135 if (isCtorOfSafePtr(callee)) {
136 if (StopAtFirstRefCountedObj)
137 return callback(E, true);
138
139 E = call->getArg(0);
140 continue;
141 }
142
143 if (isSafePtrType(callee->getReturnType()))
144 return callback(E, true);
145
146 if (isSingleton(callee))
147 return callback(E, true);
148
149 if (callee->isInStdNamespace() && safeGetName(callee) == "forward") {
150 E = call->getArg(0);
151 continue;
152 }
153
154 if (isPtrConversion(callee)) {
155 E = call->getArg(0);
156 continue;
157 }
158
159 auto Name = safeGetName(callee);
160 if (Name == "__builtin___CFStringMakeConstantString" ||
161 Name == "NSClassFromString")
162 return callback(E, true);
163 } else if (auto *CalleeE = call->getCallee()) {
164 if (auto *E = dyn_cast<DeclRefExpr>(CalleeE->IgnoreParenCasts())) {
165 if (isSingleton(E->getFoundDecl()))
166 return callback(E, true);
167 }
168 }
169
170 // Sometimes, canonical type erroneously turns Ref<T> into T.
171 // Workaround this problem by checking again if the original type was
172 // a SubstTemplateTypeParmType of a safe smart pointer type (e.g. Ref).
173 if (auto *CalleeDecl = call->getCalleeDecl()) {
174 if (auto *FD = dyn_cast<FunctionDecl>(CalleeDecl)) {
175 auto RetType = FD->getReturnType();
176 if (auto *Subst = dyn_cast<SubstTemplateTypeParmType>(RetType)) {
177 if (auto *SubstType = Subst->desugar().getTypePtr()) {
178 if (auto *RD = dyn_cast<RecordType>(SubstType)) {
179 if (auto *CXX = dyn_cast<CXXRecordDecl>(RD->getOriginalDecl()))
180 if (isSafePtr(CXX))
181 return callback(E, true);
182 }
183 }
184 }
185 }
186 }
187 }
188 if (auto *ObjCMsgExpr = dyn_cast<ObjCMessageExpr>(E)) {
189 if (auto *Method = ObjCMsgExpr->getMethodDecl()) {
190 if (isSafePtrType(Method->getReturnType()))
191 return callback(E, true);
192 }
193 auto Selector = ObjCMsgExpr->getSelector();
194 auto NameForFirstSlot = Selector.getNameForSlot(0);
195 if ((NameForFirstSlot == "class" || NameForFirstSlot == "superclass") &&
197 return callback(E, true);
198 }
199 if (auto *ObjCDict = dyn_cast<ObjCDictionaryLiteral>(E))
200 return callback(ObjCDict, true);
201 if (auto *ObjCArray = dyn_cast<ObjCArrayLiteral>(E))
202 return callback(ObjCArray, true);
203 if (auto *ObjCStr = dyn_cast<ObjCStringLiteral>(E))
204 return callback(ObjCStr, true);
205 if (auto *unaryOp = dyn_cast<UnaryOperator>(E)) {
206 // FIXME: Currently accepts ANY unary operator. Is it OK?
207 E = unaryOp->getSubExpr();
208 continue;
209 }
210 if (auto *BoxedExpr = dyn_cast<ObjCBoxedExpr>(E)) {
211 E = BoxedExpr->getSubExpr();
212 continue;
213 }
214 break;
215 }
216 // Some other expression.
217 return callback(E, false);
218}
219
220bool isASafeCallArg(const Expr *E) {
221 assert(E);
222 if (auto *Ref = dyn_cast<DeclRefExpr>(E)) {
223 auto *FoundDecl = Ref->getFoundDecl();
224 if (auto *D = dyn_cast_or_null<VarDecl>(FoundDecl)) {
225 if (isa<ParmVarDecl>(D) || D->isLocalVarDecl())
226 return true;
227 if (auto *ImplicitP = dyn_cast<ImplicitParamDecl>(D)) {
228 auto Kind = ImplicitP->getParameterKind();
229 if (Kind == ImplicitParamKind::ObjCSelf ||
233 return true;
234 }
235 } else if (auto *BD = dyn_cast_or_null<BindingDecl>(FoundDecl)) {
236 VarDecl *VD = BD->getHoldingVar();
237 if (VD && (isa<ParmVarDecl>(VD) || VD->isLocalVarDecl()))
238 return true;
239 }
240 }
242 return true; // A temporary lives until the end of this statement.
244 return true;
245
246 // TODO: checker for method calls on non-refcounted objects
247 return isa<CXXThisExpr>(E);
248}
249
250bool isNullPtr(const clang::Expr *E) {
252 return true;
253 if (auto *Int = dyn_cast_or_null<IntegerLiteral>(E)) {
254 if (Int->getValue().isZero())
255 return true;
256 }
257 return false;
258}
259
261 if (auto *MCE = dyn_cast<CXXMemberCallExpr>(E)) {
262 if (auto *Callee = MCE->getDirectCallee()) {
263 auto Name = safeGetName(Callee);
264 if (Name == "get" || Name == "ptr")
265 E = MCE->getImplicitObjectArgument();
266 if (isa<CXXConversionDecl>(Callee))
267 E = MCE->getImplicitObjectArgument();
268 }
269 } else if (auto *OCE = dyn_cast<CXXOperatorCallExpr>(E)) {
270 if (OCE->getOperator() == OO_Star && OCE->getNumArgs() == 1)
271 E = OCE->getArg(0);
272 }
273 const ValueDecl *D = nullptr;
274 if (auto *ME = dyn_cast<MemberExpr>(E))
275 D = ME->getMemberDecl();
276 else if (auto *IVR = dyn_cast<ObjCIvarRefExpr>(E))
277 D = IVR->getDecl();
278 if (!D)
279 return false;
280 auto T = D->getType();
281 return isOwnerPtrType(T) && T.isConstQualified();
282}
283
285 auto *ME = dyn_cast<MemberExpr>(E);
286 if (!ME)
287 return false;
288 auto *Base = ME->getBase();
289 if (!Base)
290 return false;
291 if (!isa<CXXThisExpr>(Base->IgnoreParenCasts()))
292 return false;
293 auto *D = ME->getMemberDecl();
294 if (!D)
295 return false;
296 auto T = D->getType();
297 auto *CXXRD = T->getAsCXXRecordDecl();
298 if (!CXXRD)
299 return false;
300 auto result = isCheckedPtrCapable(CXXRD);
301 return result && *result;
302}
303
305 : public ConstStmtVisitor<EnsureFunctionVisitor, bool> {
306public:
307 bool VisitStmt(const Stmt *S) {
308 for (const Stmt *Child : S->children()) {
309 if (Child && !Visit(Child))
310 return false;
311 }
312 return true;
313 }
314
315 bool VisitReturnStmt(const ReturnStmt *RS) {
316 if (auto *RV = RS->getRetValue()) {
317 RV = RV->IgnoreParenCasts();
318 if (isNullPtr(RV))
319 return true;
320 return isConstOwnerPtrMemberExpr(RV);
321 }
322 return false;
323 }
324};
325
327 auto *MCE = dyn_cast<CXXMemberCallExpr>(E);
328 if (!MCE)
329 return false;
330 auto *Callee = MCE->getDirectCallee();
331 if (!Callee)
332 return false;
333 auto *Body = Callee->getBody();
334 if (!Body || Callee->isVirtualAsWritten())
335 return false;
336 auto [CacheIt, IsNew] = Cache.insert(std::make_pair(Callee, false));
337 if (IsNew)
338 CacheIt->second = EnsureFunctionVisitor().Visit(Body);
339 return CacheIt->second;
340}
341
342} // namespace clang
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the clang::Expr interface and subclasses for C++ expressions.
Represents a C++ struct/union/class.
Definition DeclCXX.h:258
ConstStmtVisitor - This class implements a simple visitor for Stmt subclasses.
Decl - This represents one declaration (or definition), e.g.
Definition DeclBase.h:86
bool isACallToEnsureFn(const Expr *E) const
Definition ASTUtils.cpp:326
bool VisitReturnStmt(const ReturnStmt *RS)
Definition ASTUtils.cpp:315
bool VisitStmt(const Stmt *S)
Definition ASTUtils.cpp:307
This represents one expression.
Definition Expr.h:112
Expr * IgnoreParenCasts() LLVM_READONLY
Skip past any parentheses and casts which might surround this expression until reaching a fixed point...
Definition Expr.cpp:3078
A (possibly-)qualified type.
Definition TypeBase.h:937
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
Definition Stmt.h:3160
Expr * getRetValue()
Definition Stmt.h:3187
Smart pointer class that efficiently represents Objective-C method names.
StringRef getNameForSlot(unsigned argIndex) const
Retrieve the name at a given position in the selector.
unsigned getNumArgs() const
Stmt - This represents one statement.
Definition Stmt.h:85
child_range children()
Definition Stmt.cpp:295
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition Decl.h:711
QualType getType() const
Definition Decl.h:722
Represents a variable declaration or definition.
Definition Decl.h:925
bool isLocalVarDecl() const
Returns true for local variable declarations other than parameters.
Definition Decl.h:1252
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
The JSON file list parser is used to communicate input to InstallAPI.
bool isCtorOfSafePtr(const clang::FunctionDecl *F)
bool isa(CodeGen::Address addr)
Definition Address.h:330
bool isExprToGetCheckedPtrCapableMember(const clang::Expr *E)
Definition ASTUtils.cpp:284
bool isPtrConversion(const FunctionDecl *F)
std::optional< bool > isCheckedPtrCapable(const clang::CXXRecordDecl *R)
bool tryToFindPtrOrigin(const Expr *E, bool StopAtFirstRefCountedObj, std::function< bool(const clang::CXXRecordDecl *)> isSafePtr, std::function< bool(const clang::QualType)> isSafePtrType, std::function< bool(const clang::Expr *, bool)> callback)
This function de-facto defines a set of transformations that we consider safe (in heuristical sense).
Definition ASTUtils.cpp:25
bool isASafeCallArg(const Expr *E)
For E referring to a ref-countable/-counted pointer/reference we return whether it's a safe call argu...
Definition ASTUtils.cpp:220
const FunctionProtoType * T
bool isRefCounted(const CXXRecordDecl *R)
bool isOwnerPtrType(const clang::QualType T)
std::optional< bool > isGetterOfSafePtr(const CXXMethodDecl *M)
bool isRefType(const std::string &Name)
bool isSafePtr(clang::CXXRecordDecl *Decl)
Definition ASTUtils.cpp:21
std::string safeGetName(const T *ASTNode)
Definition ASTUtils.h:90
bool isSingleton(const NamedDecl *F)
bool isNullPtr(const clang::Expr *E)
Definition ASTUtils.cpp:250
bool isCheckedPtr(const std::string &Name)
U cast(CodeGen::Address addr)
Definition Address.h:327
@ Class
The "class" keyword introduces the elaborated-type-specifier.
Definition TypeBase.h:5874
@ CXXThis
Parameter for C++ 'this' argument.
Definition Decl.h:1733
@ CXXVTT
Parameter for C++ virtual table pointers.
Definition Decl.h:1736
@ ObjCSelf
Parameter for Objective-C 'self' argument.
Definition Decl.h:1727
@ ObjCCmd
Parameter for Objective-C '_cmd' argument.
Definition Decl.h:1730
bool isConstOwnerPtrMemberExpr(const clang::Expr *E)
Definition ASTUtils.cpp:260
bool isRetainPtr(const std::string &Name)
int const char * function
Definition c++config.h:31