xref: /openbsd-src/gnu/llvm/clang/lib/ARCMigrate/TransUnbridgedCasts.cpp (revision 12c855180aad702bbcca06e0398d774beeafb155)
1e5dd7070Spatrick //===--- TransUnbridgedCasts.cpp - Transformations to ARC mode ------------===//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick //
9e5dd7070Spatrick // rewriteUnbridgedCasts:
10e5dd7070Spatrick //
11e5dd7070Spatrick // A cast of non-objc pointer to an objc one is checked. If the non-objc pointer
12e5dd7070Spatrick // is from a file-level variable, __bridge cast is used to convert it.
13e5dd7070Spatrick // For the result of a function call that we know is +1/+0,
14e5dd7070Spatrick // __bridge/CFBridgingRelease is used.
15e5dd7070Spatrick //
16e5dd7070Spatrick //  NSString *str = (NSString *)kUTTypePlainText;
17e5dd7070Spatrick //  str = b ? kUTTypeRTF : kUTTypePlainText;
18e5dd7070Spatrick //  NSString *_uuidString = (NSString *)CFUUIDCreateString(kCFAllocatorDefault,
19e5dd7070Spatrick //                                                         _uuid);
20e5dd7070Spatrick // ---->
21e5dd7070Spatrick //  NSString *str = (__bridge NSString *)kUTTypePlainText;
22e5dd7070Spatrick //  str = (__bridge NSString *)(b ? kUTTypeRTF : kUTTypePlainText);
23e5dd7070Spatrick // NSString *_uuidString = (NSString *)
24e5dd7070Spatrick //            CFBridgingRelease(CFUUIDCreateString(kCFAllocatorDefault, _uuid));
25e5dd7070Spatrick //
26e5dd7070Spatrick // For a C pointer to ObjC, for casting 'self', __bridge is used.
27e5dd7070Spatrick //
28e5dd7070Spatrick //  CFStringRef str = (CFStringRef)self;
29e5dd7070Spatrick // ---->
30e5dd7070Spatrick //  CFStringRef str = (__bridge CFStringRef)self;
31e5dd7070Spatrick //
32e5dd7070Spatrick // Uses of Block_copy/Block_release macros are rewritten:
33e5dd7070Spatrick //
34e5dd7070Spatrick //  c = Block_copy(b);
35e5dd7070Spatrick //  Block_release(c);
36e5dd7070Spatrick // ---->
37e5dd7070Spatrick //  c = [b copy];
38e5dd7070Spatrick //  <removed>
39e5dd7070Spatrick //
40e5dd7070Spatrick //===----------------------------------------------------------------------===//
41e5dd7070Spatrick 
42e5dd7070Spatrick #include "Transforms.h"
43e5dd7070Spatrick #include "Internals.h"
44e5dd7070Spatrick #include "clang/AST/ASTContext.h"
45e5dd7070Spatrick #include "clang/AST/Attr.h"
46e5dd7070Spatrick #include "clang/AST/ParentMap.h"
47e5dd7070Spatrick #include "clang/Analysis/DomainSpecific/CocoaConventions.h"
48e5dd7070Spatrick #include "clang/Basic/SourceManager.h"
49e5dd7070Spatrick #include "clang/Lex/Lexer.h"
50e5dd7070Spatrick #include "clang/Sema/SemaDiagnostic.h"
51e5dd7070Spatrick #include "llvm/ADT/SmallString.h"
52e5dd7070Spatrick 
53e5dd7070Spatrick using namespace clang;
54e5dd7070Spatrick using namespace arcmt;
55e5dd7070Spatrick using namespace trans;
56e5dd7070Spatrick 
57e5dd7070Spatrick namespace {
58e5dd7070Spatrick 
59e5dd7070Spatrick class UnbridgedCastRewriter : public RecursiveASTVisitor<UnbridgedCastRewriter>{
60e5dd7070Spatrick   MigrationPass &Pass;
61e5dd7070Spatrick   IdentifierInfo *SelfII;
62e5dd7070Spatrick   std::unique_ptr<ParentMap> StmtMap;
63e5dd7070Spatrick   Decl *ParentD;
64e5dd7070Spatrick   Stmt *Body;
65e5dd7070Spatrick   mutable std::unique_ptr<ExprSet> Removables;
66e5dd7070Spatrick 
67e5dd7070Spatrick public:
UnbridgedCastRewriter(MigrationPass & pass)68e5dd7070Spatrick   UnbridgedCastRewriter(MigrationPass &pass)
69e5dd7070Spatrick     : Pass(pass), ParentD(nullptr), Body(nullptr) {
70e5dd7070Spatrick     SelfII = &Pass.Ctx.Idents.get("self");
71e5dd7070Spatrick   }
72e5dd7070Spatrick 
transformBody(Stmt * body,Decl * ParentD)73e5dd7070Spatrick   void transformBody(Stmt *body, Decl *ParentD) {
74e5dd7070Spatrick     this->ParentD = ParentD;
75e5dd7070Spatrick     Body = body;
76e5dd7070Spatrick     StmtMap.reset(new ParentMap(body));
77e5dd7070Spatrick     TraverseStmt(body);
78e5dd7070Spatrick   }
79e5dd7070Spatrick 
TraverseBlockDecl(BlockDecl * D)80e5dd7070Spatrick   bool TraverseBlockDecl(BlockDecl *D) {
81e5dd7070Spatrick     // ParentMap does not enter into a BlockDecl to record its stmts, so use a
82e5dd7070Spatrick     // new UnbridgedCastRewriter to handle the block.
83e5dd7070Spatrick     UnbridgedCastRewriter(Pass).transformBody(D->getBody(), D);
84e5dd7070Spatrick     return true;
85e5dd7070Spatrick   }
86e5dd7070Spatrick 
VisitCastExpr(CastExpr * E)87e5dd7070Spatrick   bool VisitCastExpr(CastExpr *E) {
88e5dd7070Spatrick     if (E->getCastKind() != CK_CPointerToObjCPointerCast &&
89e5dd7070Spatrick         E->getCastKind() != CK_BitCast &&
90e5dd7070Spatrick         E->getCastKind() != CK_AnyPointerToBlockPointerCast)
91e5dd7070Spatrick       return true;
92e5dd7070Spatrick 
93e5dd7070Spatrick     QualType castType = E->getType();
94e5dd7070Spatrick     Expr *castExpr = E->getSubExpr();
95e5dd7070Spatrick     QualType castExprType = castExpr->getType();
96e5dd7070Spatrick 
97e5dd7070Spatrick     if (castType->isObjCRetainableType() == castExprType->isObjCRetainableType())
98e5dd7070Spatrick       return true;
99e5dd7070Spatrick 
100e5dd7070Spatrick     bool exprRetainable = castExprType->isObjCIndirectLifetimeType();
101e5dd7070Spatrick     bool castRetainable = castType->isObjCIndirectLifetimeType();
102e5dd7070Spatrick     if (exprRetainable == castRetainable) return true;
103e5dd7070Spatrick 
104e5dd7070Spatrick     if (castExpr->isNullPointerConstant(Pass.Ctx,
105e5dd7070Spatrick                                         Expr::NPC_ValueDependentIsNull))
106e5dd7070Spatrick       return true;
107e5dd7070Spatrick 
108e5dd7070Spatrick     SourceLocation loc = castExpr->getExprLoc();
109e5dd7070Spatrick     if (loc.isValid() && Pass.Ctx.getSourceManager().isInSystemHeader(loc))
110e5dd7070Spatrick       return true;
111e5dd7070Spatrick 
112e5dd7070Spatrick     if (castType->isObjCRetainableType())
113e5dd7070Spatrick       transformNonObjCToObjCCast(E);
114e5dd7070Spatrick     else
115e5dd7070Spatrick       transformObjCToNonObjCCast(E);
116e5dd7070Spatrick 
117e5dd7070Spatrick     return true;
118e5dd7070Spatrick   }
119e5dd7070Spatrick 
120e5dd7070Spatrick private:
transformNonObjCToObjCCast(CastExpr * E)121e5dd7070Spatrick   void transformNonObjCToObjCCast(CastExpr *E) {
122e5dd7070Spatrick     if (!E) return;
123e5dd7070Spatrick 
124e5dd7070Spatrick     // Global vars are assumed that are cast as unretained.
125e5dd7070Spatrick     if (isGlobalVar(E))
126e5dd7070Spatrick       if (E->getSubExpr()->getType()->isPointerType()) {
127e5dd7070Spatrick         castToObjCObject(E, /*retained=*/false);
128e5dd7070Spatrick         return;
129e5dd7070Spatrick       }
130e5dd7070Spatrick 
131e5dd7070Spatrick     // If the cast is directly over the result of a Core Foundation function
132e5dd7070Spatrick     // try to figure out whether it should be cast as retained or unretained.
133e5dd7070Spatrick     Expr *inner = E->IgnoreParenCasts();
134e5dd7070Spatrick     if (CallExpr *callE = dyn_cast<CallExpr>(inner)) {
135e5dd7070Spatrick       if (FunctionDecl *FD = callE->getDirectCallee()) {
136e5dd7070Spatrick         if (FD->hasAttr<CFReturnsRetainedAttr>()) {
137e5dd7070Spatrick           castToObjCObject(E, /*retained=*/true);
138e5dd7070Spatrick           return;
139e5dd7070Spatrick         }
140e5dd7070Spatrick         if (FD->hasAttr<CFReturnsNotRetainedAttr>()) {
141e5dd7070Spatrick           castToObjCObject(E, /*retained=*/false);
142e5dd7070Spatrick           return;
143e5dd7070Spatrick         }
144e5dd7070Spatrick         if (FD->isGlobal() &&
145e5dd7070Spatrick             FD->getIdentifier() &&
146e5dd7070Spatrick             ento::cocoa::isRefType(E->getSubExpr()->getType(), "CF",
147e5dd7070Spatrick                                    FD->getIdentifier()->getName())) {
148e5dd7070Spatrick           StringRef fname = FD->getIdentifier()->getName();
149*12c85518Srobert           if (fname.endswith("Retain") || fname.contains("Create") ||
150*12c85518Srobert               fname.contains("Copy")) {
151e5dd7070Spatrick             // Do not migrate to couple of bridge transfer casts which
152e5dd7070Spatrick             // cancel each other out. Leave it unchanged so error gets user
153e5dd7070Spatrick             // attention instead.
154e5dd7070Spatrick             if (FD->getName() == "CFRetain" &&
155e5dd7070Spatrick                 FD->getNumParams() == 1 &&
156e5dd7070Spatrick                 FD->getParent()->isTranslationUnit() &&
157e5dd7070Spatrick                 FD->isExternallyVisible()) {
158e5dd7070Spatrick               Expr *Arg = callE->getArg(0);
159e5dd7070Spatrick               if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) {
160e5dd7070Spatrick                 const Expr *sub = ICE->getSubExpr();
161e5dd7070Spatrick                 QualType T = sub->getType();
162e5dd7070Spatrick                 if (T->isObjCObjectPointerType())
163e5dd7070Spatrick                   return;
164e5dd7070Spatrick               }
165e5dd7070Spatrick             }
166e5dd7070Spatrick             castToObjCObject(E, /*retained=*/true);
167e5dd7070Spatrick             return;
168e5dd7070Spatrick           }
169e5dd7070Spatrick 
170*12c85518Srobert           if (fname.contains("Get")) {
171e5dd7070Spatrick             castToObjCObject(E, /*retained=*/false);
172e5dd7070Spatrick             return;
173e5dd7070Spatrick           }
174e5dd7070Spatrick         }
175e5dd7070Spatrick       }
176e5dd7070Spatrick     }
177e5dd7070Spatrick 
178e5dd7070Spatrick     // If returning an ivar or a member of an ivar from a +0 method, use
179e5dd7070Spatrick     // a __bridge cast.
180e5dd7070Spatrick     Expr *base = inner->IgnoreParenImpCasts();
181e5dd7070Spatrick     while (isa<MemberExpr>(base))
182e5dd7070Spatrick       base = cast<MemberExpr>(base)->getBase()->IgnoreParenImpCasts();
183e5dd7070Spatrick     if (isa<ObjCIvarRefExpr>(base) &&
184e5dd7070Spatrick         isa<ReturnStmt>(StmtMap->getParentIgnoreParenCasts(E))) {
185e5dd7070Spatrick       if (ObjCMethodDecl *method = dyn_cast_or_null<ObjCMethodDecl>(ParentD)) {
186e5dd7070Spatrick         if (!method->hasAttr<NSReturnsRetainedAttr>()) {
187e5dd7070Spatrick           castToObjCObject(E, /*retained=*/false);
188e5dd7070Spatrick           return;
189e5dd7070Spatrick         }
190e5dd7070Spatrick       }
191e5dd7070Spatrick     }
192e5dd7070Spatrick   }
193e5dd7070Spatrick 
castToObjCObject(CastExpr * E,bool retained)194e5dd7070Spatrick   void castToObjCObject(CastExpr *E, bool retained) {
195e5dd7070Spatrick     rewriteToBridgedCast(E, retained ? OBC_BridgeTransfer : OBC_Bridge);
196e5dd7070Spatrick   }
197e5dd7070Spatrick 
rewriteToBridgedCast(CastExpr * E,ObjCBridgeCastKind Kind)198e5dd7070Spatrick   void rewriteToBridgedCast(CastExpr *E, ObjCBridgeCastKind Kind) {
199e5dd7070Spatrick     Transaction Trans(Pass.TA);
200e5dd7070Spatrick     rewriteToBridgedCast(E, Kind, Trans);
201e5dd7070Spatrick   }
202e5dd7070Spatrick 
rewriteToBridgedCast(CastExpr * E,ObjCBridgeCastKind Kind,Transaction & Trans)203e5dd7070Spatrick   void rewriteToBridgedCast(CastExpr *E, ObjCBridgeCastKind Kind,
204e5dd7070Spatrick                             Transaction &Trans) {
205e5dd7070Spatrick     TransformActions &TA = Pass.TA;
206e5dd7070Spatrick 
207e5dd7070Spatrick     // We will remove the compiler diagnostic.
208e5dd7070Spatrick     if (!TA.hasDiagnostic(diag::err_arc_mismatched_cast,
209e5dd7070Spatrick                           diag::err_arc_cast_requires_bridge,
210e5dd7070Spatrick                           E->getBeginLoc())) {
211e5dd7070Spatrick       Trans.abort();
212e5dd7070Spatrick       return;
213e5dd7070Spatrick     }
214e5dd7070Spatrick 
215e5dd7070Spatrick     StringRef bridge;
216e5dd7070Spatrick     switch(Kind) {
217e5dd7070Spatrick     case OBC_Bridge:
218e5dd7070Spatrick       bridge = "__bridge "; break;
219e5dd7070Spatrick     case OBC_BridgeTransfer:
220e5dd7070Spatrick       bridge = "__bridge_transfer "; break;
221e5dd7070Spatrick     case OBC_BridgeRetained:
222e5dd7070Spatrick       bridge = "__bridge_retained "; break;
223e5dd7070Spatrick     }
224e5dd7070Spatrick 
225e5dd7070Spatrick     TA.clearDiagnostic(diag::err_arc_mismatched_cast,
226e5dd7070Spatrick                        diag::err_arc_cast_requires_bridge, E->getBeginLoc());
227e5dd7070Spatrick     if (Kind == OBC_Bridge || !Pass.CFBridgingFunctionsDefined()) {
228e5dd7070Spatrick       if (CStyleCastExpr *CCE = dyn_cast<CStyleCastExpr>(E)) {
229e5dd7070Spatrick         TA.insertAfterToken(CCE->getLParenLoc(), bridge);
230e5dd7070Spatrick       } else {
231e5dd7070Spatrick         SourceLocation insertLoc = E->getSubExpr()->getBeginLoc();
232e5dd7070Spatrick         SmallString<128> newCast;
233e5dd7070Spatrick         newCast += '(';
234e5dd7070Spatrick         newCast += bridge;
235e5dd7070Spatrick         newCast += E->getType().getAsString(Pass.Ctx.getPrintingPolicy());
236e5dd7070Spatrick         newCast += ')';
237e5dd7070Spatrick 
238e5dd7070Spatrick         if (isa<ParenExpr>(E->getSubExpr())) {
239e5dd7070Spatrick           TA.insert(insertLoc, newCast.str());
240e5dd7070Spatrick         } else {
241e5dd7070Spatrick           newCast += '(';
242e5dd7070Spatrick           TA.insert(insertLoc, newCast.str());
243e5dd7070Spatrick           TA.insertAfterToken(E->getEndLoc(), ")");
244e5dd7070Spatrick         }
245e5dd7070Spatrick       }
246e5dd7070Spatrick     } else {
247e5dd7070Spatrick       assert(Kind == OBC_BridgeTransfer || Kind == OBC_BridgeRetained);
248e5dd7070Spatrick       SmallString<32> BridgeCall;
249e5dd7070Spatrick 
250e5dd7070Spatrick       Expr *WrapE = E->getSubExpr();
251e5dd7070Spatrick       SourceLocation InsertLoc = WrapE->getBeginLoc();
252e5dd7070Spatrick 
253e5dd7070Spatrick       SourceManager &SM = Pass.Ctx.getSourceManager();
254e5dd7070Spatrick       char PrevChar = *SM.getCharacterData(InsertLoc.getLocWithOffset(-1));
255*12c85518Srobert       if (Lexer::isAsciiIdentifierContinueChar(PrevChar,
256*12c85518Srobert                                                Pass.Ctx.getLangOpts()))
257e5dd7070Spatrick         BridgeCall += ' ';
258e5dd7070Spatrick 
259e5dd7070Spatrick       if (Kind == OBC_BridgeTransfer)
260e5dd7070Spatrick         BridgeCall += "CFBridgingRelease";
261e5dd7070Spatrick       else
262e5dd7070Spatrick         BridgeCall += "CFBridgingRetain";
263e5dd7070Spatrick 
264e5dd7070Spatrick       if (isa<ParenExpr>(WrapE)) {
265e5dd7070Spatrick         TA.insert(InsertLoc, BridgeCall);
266e5dd7070Spatrick       } else {
267e5dd7070Spatrick         BridgeCall += '(';
268e5dd7070Spatrick         TA.insert(InsertLoc, BridgeCall);
269e5dd7070Spatrick         TA.insertAfterToken(WrapE->getEndLoc(), ")");
270e5dd7070Spatrick       }
271e5dd7070Spatrick     }
272e5dd7070Spatrick   }
273e5dd7070Spatrick 
rewriteCastForCFRetain(CastExpr * castE,CallExpr * callE)274e5dd7070Spatrick   void rewriteCastForCFRetain(CastExpr *castE, CallExpr *callE) {
275e5dd7070Spatrick     Transaction Trans(Pass.TA);
276e5dd7070Spatrick     Pass.TA.replace(callE->getSourceRange(), callE->getArg(0)->getSourceRange());
277e5dd7070Spatrick     rewriteToBridgedCast(castE, OBC_BridgeRetained, Trans);
278e5dd7070Spatrick   }
279e5dd7070Spatrick 
getBlockMacroRanges(CastExpr * E,SourceRange & Outer,SourceRange & Inner)280e5dd7070Spatrick   void getBlockMacroRanges(CastExpr *E, SourceRange &Outer, SourceRange &Inner) {
281e5dd7070Spatrick     SourceManager &SM = Pass.Ctx.getSourceManager();
282e5dd7070Spatrick     SourceLocation Loc = E->getExprLoc();
283e5dd7070Spatrick     assert(Loc.isMacroID());
284e5dd7070Spatrick     CharSourceRange MacroRange = SM.getImmediateExpansionRange(Loc);
285e5dd7070Spatrick     SourceRange SubRange = E->getSubExpr()->IgnoreParenImpCasts()->getSourceRange();
286e5dd7070Spatrick     SourceLocation InnerBegin = SM.getImmediateMacroCallerLoc(SubRange.getBegin());
287e5dd7070Spatrick     SourceLocation InnerEnd = SM.getImmediateMacroCallerLoc(SubRange.getEnd());
288e5dd7070Spatrick 
289e5dd7070Spatrick     Outer = MacroRange.getAsRange();
290e5dd7070Spatrick     Inner = SourceRange(InnerBegin, InnerEnd);
291e5dd7070Spatrick   }
292e5dd7070Spatrick 
rewriteBlockCopyMacro(CastExpr * E)293e5dd7070Spatrick   void rewriteBlockCopyMacro(CastExpr *E) {
294e5dd7070Spatrick     SourceRange OuterRange, InnerRange;
295e5dd7070Spatrick     getBlockMacroRanges(E, OuterRange, InnerRange);
296e5dd7070Spatrick 
297e5dd7070Spatrick     Transaction Trans(Pass.TA);
298e5dd7070Spatrick     Pass.TA.replace(OuterRange, InnerRange);
299e5dd7070Spatrick     Pass.TA.insert(InnerRange.getBegin(), "[");
300e5dd7070Spatrick     Pass.TA.insertAfterToken(InnerRange.getEnd(), " copy]");
301e5dd7070Spatrick     Pass.TA.clearDiagnostic(diag::err_arc_mismatched_cast,
302e5dd7070Spatrick                             diag::err_arc_cast_requires_bridge,
303e5dd7070Spatrick                             OuterRange);
304e5dd7070Spatrick   }
305e5dd7070Spatrick 
removeBlockReleaseMacro(CastExpr * E)306e5dd7070Spatrick   void removeBlockReleaseMacro(CastExpr *E) {
307e5dd7070Spatrick     SourceRange OuterRange, InnerRange;
308e5dd7070Spatrick     getBlockMacroRanges(E, OuterRange, InnerRange);
309e5dd7070Spatrick 
310e5dd7070Spatrick     Transaction Trans(Pass.TA);
311e5dd7070Spatrick     Pass.TA.clearDiagnostic(diag::err_arc_mismatched_cast,
312e5dd7070Spatrick                             diag::err_arc_cast_requires_bridge,
313e5dd7070Spatrick                             OuterRange);
314e5dd7070Spatrick     if (!hasSideEffects(E, Pass.Ctx)) {
315e5dd7070Spatrick       if (tryRemoving(cast<Expr>(StmtMap->getParentIgnoreParenCasts(E))))
316e5dd7070Spatrick         return;
317e5dd7070Spatrick     }
318e5dd7070Spatrick     Pass.TA.replace(OuterRange, InnerRange);
319e5dd7070Spatrick   }
320e5dd7070Spatrick 
tryRemoving(Expr * E) const321e5dd7070Spatrick   bool tryRemoving(Expr *E) const {
322e5dd7070Spatrick     if (!Removables) {
323e5dd7070Spatrick       Removables.reset(new ExprSet);
324e5dd7070Spatrick       collectRemovables(Body, *Removables);
325e5dd7070Spatrick     }
326e5dd7070Spatrick 
327e5dd7070Spatrick     if (Removables->count(E)) {
328e5dd7070Spatrick       Pass.TA.removeStmt(E);
329e5dd7070Spatrick       return true;
330e5dd7070Spatrick     }
331e5dd7070Spatrick 
332e5dd7070Spatrick     return false;
333e5dd7070Spatrick   }
334e5dd7070Spatrick 
transformObjCToNonObjCCast(CastExpr * E)335e5dd7070Spatrick   void transformObjCToNonObjCCast(CastExpr *E) {
336e5dd7070Spatrick     SourceLocation CastLoc = E->getExprLoc();
337e5dd7070Spatrick     if (CastLoc.isMacroID()) {
338e5dd7070Spatrick       StringRef MacroName = Lexer::getImmediateMacroName(CastLoc,
339e5dd7070Spatrick                                                     Pass.Ctx.getSourceManager(),
340e5dd7070Spatrick                                                     Pass.Ctx.getLangOpts());
341e5dd7070Spatrick       if (MacroName == "Block_copy") {
342e5dd7070Spatrick         rewriteBlockCopyMacro(E);
343e5dd7070Spatrick         return;
344e5dd7070Spatrick       }
345e5dd7070Spatrick       if (MacroName == "Block_release") {
346e5dd7070Spatrick         removeBlockReleaseMacro(E);
347e5dd7070Spatrick         return;
348e5dd7070Spatrick       }
349e5dd7070Spatrick     }
350e5dd7070Spatrick 
351e5dd7070Spatrick     if (isSelf(E->getSubExpr()))
352e5dd7070Spatrick       return rewriteToBridgedCast(E, OBC_Bridge);
353e5dd7070Spatrick 
354e5dd7070Spatrick     CallExpr *callE;
355e5dd7070Spatrick     if (isPassedToCFRetain(E, callE))
356e5dd7070Spatrick       return rewriteCastForCFRetain(E, callE);
357e5dd7070Spatrick 
358e5dd7070Spatrick     ObjCMethodFamily family = getFamilyOfMessage(E->getSubExpr());
359e5dd7070Spatrick     if (family == OMF_retain)
360e5dd7070Spatrick       return rewriteToBridgedCast(E, OBC_BridgeRetained);
361e5dd7070Spatrick 
362e5dd7070Spatrick     if (family == OMF_autorelease || family == OMF_release) {
363e5dd7070Spatrick       std::string err = "it is not safe to cast to '";
364e5dd7070Spatrick       err += E->getType().getAsString(Pass.Ctx.getPrintingPolicy());
365e5dd7070Spatrick       err += "' the result of '";
366e5dd7070Spatrick       err += family == OMF_autorelease ? "autorelease" : "release";
367e5dd7070Spatrick       err += "' message; a __bridge cast may result in a pointer to a "
368e5dd7070Spatrick           "destroyed object and a __bridge_retained may leak the object";
369e5dd7070Spatrick       Pass.TA.reportError(err, E->getBeginLoc(),
370e5dd7070Spatrick                           E->getSubExpr()->getSourceRange());
371e5dd7070Spatrick       Stmt *parent = E;
372e5dd7070Spatrick       do {
373e5dd7070Spatrick         parent = StmtMap->getParentIgnoreParenImpCasts(parent);
374e5dd7070Spatrick       } while (parent && isa<FullExpr>(parent));
375e5dd7070Spatrick 
376e5dd7070Spatrick       if (ReturnStmt *retS = dyn_cast_or_null<ReturnStmt>(parent)) {
377e5dd7070Spatrick         std::string note = "remove the cast and change return type of function "
378e5dd7070Spatrick             "to '";
379e5dd7070Spatrick         note += E->getSubExpr()->getType().getAsString(Pass.Ctx.getPrintingPolicy());
380e5dd7070Spatrick         note += "' to have the object automatically autoreleased";
381e5dd7070Spatrick         Pass.TA.reportNote(note, retS->getBeginLoc());
382e5dd7070Spatrick       }
383e5dd7070Spatrick     }
384e5dd7070Spatrick 
385e5dd7070Spatrick     Expr *subExpr = E->getSubExpr();
386e5dd7070Spatrick 
387e5dd7070Spatrick     // Look through pseudo-object expressions.
388e5dd7070Spatrick     if (PseudoObjectExpr *pseudo = dyn_cast<PseudoObjectExpr>(subExpr)) {
389e5dd7070Spatrick       subExpr = pseudo->getResultExpr();
390e5dd7070Spatrick       assert(subExpr && "no result for pseudo-object of non-void type?");
391e5dd7070Spatrick     }
392e5dd7070Spatrick 
393e5dd7070Spatrick     if (ImplicitCastExpr *implCE = dyn_cast<ImplicitCastExpr>(subExpr)) {
394e5dd7070Spatrick       if (implCE->getCastKind() == CK_ARCConsumeObject)
395e5dd7070Spatrick         return rewriteToBridgedCast(E, OBC_BridgeRetained);
396e5dd7070Spatrick       if (implCE->getCastKind() == CK_ARCReclaimReturnedObject)
397e5dd7070Spatrick         return rewriteToBridgedCast(E, OBC_Bridge);
398e5dd7070Spatrick     }
399e5dd7070Spatrick 
400e5dd7070Spatrick     bool isConsumed = false;
401e5dd7070Spatrick     if (isPassedToCParamWithKnownOwnership(E, isConsumed))
402e5dd7070Spatrick       return rewriteToBridgedCast(E, isConsumed ? OBC_BridgeRetained
403e5dd7070Spatrick                                                 : OBC_Bridge);
404e5dd7070Spatrick   }
405e5dd7070Spatrick 
getFamilyOfMessage(Expr * E)406e5dd7070Spatrick   static ObjCMethodFamily getFamilyOfMessage(Expr *E) {
407e5dd7070Spatrick     E = E->IgnoreParenCasts();
408e5dd7070Spatrick     if (ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(E))
409e5dd7070Spatrick       return ME->getMethodFamily();
410e5dd7070Spatrick 
411e5dd7070Spatrick     return OMF_None;
412e5dd7070Spatrick   }
413e5dd7070Spatrick 
isPassedToCFRetain(Expr * E,CallExpr * & callE) const414e5dd7070Spatrick   bool isPassedToCFRetain(Expr *E, CallExpr *&callE) const {
415e5dd7070Spatrick     if ((callE = dyn_cast_or_null<CallExpr>(
416e5dd7070Spatrick                                      StmtMap->getParentIgnoreParenImpCasts(E))))
417e5dd7070Spatrick       if (FunctionDecl *
418e5dd7070Spatrick             FD = dyn_cast_or_null<FunctionDecl>(callE->getCalleeDecl()))
419e5dd7070Spatrick         if (FD->getName() == "CFRetain" && FD->getNumParams() == 1 &&
420e5dd7070Spatrick             FD->getParent()->isTranslationUnit() &&
421e5dd7070Spatrick             FD->isExternallyVisible())
422e5dd7070Spatrick           return true;
423e5dd7070Spatrick 
424e5dd7070Spatrick     return false;
425e5dd7070Spatrick   }
426e5dd7070Spatrick 
isPassedToCParamWithKnownOwnership(Expr * E,bool & isConsumed) const427e5dd7070Spatrick   bool isPassedToCParamWithKnownOwnership(Expr *E, bool &isConsumed) const {
428e5dd7070Spatrick     if (CallExpr *callE = dyn_cast_or_null<CallExpr>(
429e5dd7070Spatrick                                      StmtMap->getParentIgnoreParenImpCasts(E)))
430e5dd7070Spatrick       if (FunctionDecl *
431e5dd7070Spatrick             FD = dyn_cast_or_null<FunctionDecl>(callE->getCalleeDecl())) {
432e5dd7070Spatrick         unsigned i = 0;
433e5dd7070Spatrick         for (unsigned e = callE->getNumArgs(); i != e; ++i) {
434e5dd7070Spatrick           Expr *arg = callE->getArg(i);
435e5dd7070Spatrick           if (arg == E || arg->IgnoreParenImpCasts() == E)
436e5dd7070Spatrick             break;
437e5dd7070Spatrick         }
438e5dd7070Spatrick         if (i < callE->getNumArgs() && i < FD->getNumParams()) {
439e5dd7070Spatrick           ParmVarDecl *PD = FD->getParamDecl(i);
440e5dd7070Spatrick           if (PD->hasAttr<CFConsumedAttr>()) {
441e5dd7070Spatrick             isConsumed = true;
442e5dd7070Spatrick             return true;
443e5dd7070Spatrick           }
444e5dd7070Spatrick         }
445e5dd7070Spatrick       }
446e5dd7070Spatrick 
447e5dd7070Spatrick     return false;
448e5dd7070Spatrick   }
449e5dd7070Spatrick 
isSelf(Expr * E) const450e5dd7070Spatrick   bool isSelf(Expr *E) const {
451e5dd7070Spatrick     E = E->IgnoreParenLValueCasts();
452e5dd7070Spatrick     if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(E))
453e5dd7070Spatrick       if (ImplicitParamDecl *IPD = dyn_cast<ImplicitParamDecl>(DRE->getDecl()))
454e5dd7070Spatrick         if (IPD->getIdentifier() == SelfII)
455e5dd7070Spatrick           return true;
456e5dd7070Spatrick 
457e5dd7070Spatrick     return false;
458e5dd7070Spatrick   }
459e5dd7070Spatrick };
460e5dd7070Spatrick 
461e5dd7070Spatrick } // end anonymous namespace
462e5dd7070Spatrick 
rewriteUnbridgedCasts(MigrationPass & pass)463e5dd7070Spatrick void trans::rewriteUnbridgedCasts(MigrationPass &pass) {
464e5dd7070Spatrick   BodyTransform<UnbridgedCastRewriter> trans(pass);
465e5dd7070Spatrick   trans.TraverseDecl(pass.Ctx.getTranslationUnitDecl());
466e5dd7070Spatrick }
467