1accaf19bc1129c0273ec50dba52318e60bc29103Benjamin Kramer//===--- Transforms.cpp - Transformations to ARC mode ---------------------===// 28f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// 38f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// The LLVM Compiler Infrastructure 48f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// 58f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// This file is distributed under the University of Illinois Open Source 68f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// License. See LICENSE.TXT for details. 78f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// 88f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall//===----------------------------------------------------------------------===// 98f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 107196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis#include "Transforms.h" 118f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall#include "Internals.h" 12471c8b49982d1132f30b0b0da27fef94fd6e4f67Benjamin Kramer#include "clang/AST/ASTContext.h" 138f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall#include "clang/AST/RecursiveASTVisitor.h" 148f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall#include "clang/AST/StmtVisitor.h" 1555fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Analysis/DomainSpecific/CocoaConventions.h" 168f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall#include "clang/Basic/SourceManager.h" 179852f58f50b4fc20914fbce5b4454135a42343f4Benjamin Kramer#include "clang/Basic/TargetInfo.h" 18471c8b49982d1132f30b0b0da27fef94fd6e4f67Benjamin Kramer#include "clang/Lex/Lexer.h" 19b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar#include "clang/Lex/Preprocessor.h" 20471c8b49982d1132f30b0b0da27fef94fd6e4f67Benjamin Kramer#include "clang/Sema/Sema.h" 21471c8b49982d1132f30b0b0da27fef94fd6e4f67Benjamin Kramer#include "clang/Sema/SemaDiagnostic.h" 228f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall#include "llvm/ADT/DenseSet.h" 239852f58f50b4fc20914fbce5b4454135a42343f4Benjamin Kramer#include "llvm/ADT/StringSwitch.h" 248f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall#include <map> 258f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 268f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallusing namespace clang; 278f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallusing namespace arcmt; 287196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidisusing namespace trans; 298f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 30e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios KyrtzidisASTTraverser::~ASTTraverser() { } 31e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 32684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidisbool MigrationPass::CFBridgingFunctionsDefined() { 33684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidis if (!EnableCFBridgeFns.hasValue()) 34684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidis EnableCFBridgeFns = SemaRef.isKnownName("CFBridgingRetain") && 35684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidis SemaRef.isKnownName("CFBridgingRelease"); 36684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidis return *EnableCFBridgeFns; 37684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidis} 38684190b8dbe5258f4708ffbd816b8c5ee5b3502dArgyrios Kyrtzidis 398f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall//===----------------------------------------------------------------------===// 407196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis// Helpers. 418f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall//===----------------------------------------------------------------------===// 428f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 4312192cf50a96cb59a3039af044b7fa97f043101cArgyrios Kyrtzidisbool trans::canApplyWeak(ASTContext &Ctx, QualType type, 4412192cf50a96cb59a3039af044b7fa97f043101cArgyrios Kyrtzidis bool AllowOnUnknownClass) { 4587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar if (!Ctx.getLangOpts().ObjCWeakRuntime) 4686625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis return false; 4786625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis 4886625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis QualType T = type; 49b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (T.isNull()) 50b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return false; 51b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 522af504bf157cce51bdb4a9bab0e6d3b34f898f6eArgyrios Kyrtzidis // iOS is always safe to use 'weak'. 5387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar if (Ctx.getTargetInfo().getTriple().isiOS() || 5487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar Ctx.getTargetInfo().getTriple().isWatchOS()) 552af504bf157cce51bdb4a9bab0e6d3b34f898f6eArgyrios Kyrtzidis AllowOnUnknownClass = true; 562af504bf157cce51bdb4a9bab0e6d3b34f898f6eArgyrios Kyrtzidis 5786625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis while (const PointerType *ptr = T->getAs<PointerType>()) 5886625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis T = ptr->getPointeeType(); 5986625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis if (const ObjCObjectPointerType *ObjT = T->getAs<ObjCObjectPointerType>()) { 6086625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis ObjCInterfaceDecl *Class = ObjT->getInterfaceDecl(); 6112192cf50a96cb59a3039af044b7fa97f043101cArgyrios Kyrtzidis if (!AllowOnUnknownClass && (!Class || Class->getName() == "NSObject")) 6286625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis return false; // id/NSObject is not safe for weak. 637723fec9b45b7258c0eddf4cbfd0d335348f5edcDouglas Gregor if (!AllowOnUnknownClass && !Class->hasDefinition()) 645363e8df5d274cb32c0c47fd2df45aa02cf68dfeArgyrios Kyrtzidis return false; // forward classes are not verifiable, therefore not safe. 65a8eaf008e92759142982f7b40720b2b2674bd663Richard Smith if (Class && Class->isArcWeakrefUnavailable()) 6686625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis return false; 6786625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis } 6886625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis 6986625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis return true; 7086625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis} 7186625b5650cdddc38c0b4cc1eb7fb460478c9d11Argyrios Kyrtzidis 721b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidisbool trans::isPlusOneAssign(const BinaryOperator *E) { 731b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (E->getOpcode() != BO_Assign) 741b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis return false; 751b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis 7620bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis return isPlusOne(E->getRHS()); 7720bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis} 7820bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis 7920bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidisbool trans::isPlusOne(const Expr *E) { 8020bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis if (!E) 8120bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis return false; 8220bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(E)) 8320bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis E = EWC->getSubExpr(); 8420bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis 851b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (const ObjCMessageExpr * 8620bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis ME = dyn_cast<ObjCMessageExpr>(E->IgnoreParenCasts())) 871b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (ME->getMethodFamily() == OMF_retain) 881b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis return true; 891b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis 901b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (const CallExpr * 9120bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis callE = dyn_cast<CallExpr>(E->IgnoreParenCasts())) { 921b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (const FunctionDecl *FD = callE->getDirectCallee()) { 93651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (FD->hasAttr<CFReturnsRetainedAttr>()) 941b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis return true; 951b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis 961b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (FD->isGlobal() && 971b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis FD->getIdentifier() && 981b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis FD->getParent()->isTranslationUnit() && 99181e3ecc0907ae0103586a9f4db52241995a8267Rafael Espindola FD->isExternallyVisible() && 1001b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis ento::cocoa::isRefType(callE->getType(), "CF", 1011b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis FD->getIdentifier()->getName())) { 1021b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis StringRef fname = FD->getIdentifier()->getName(); 1031b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis if (fname.endswith("Retain") || 1041b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis fname.find("Create") != StringRef::npos || 1051b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis fname.find("Copy") != StringRef::npos) { 1061b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis return true; 1071b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis } 1081b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis } 1091b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis } 1101b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis } 1111b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis 11220bcd4ead46e3764a5d1279845f8ed351f4d3984Argyrios Kyrtzidis const ImplicitCastExpr *implCE = dyn_cast<ImplicitCastExpr>(E); 1131b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis while (implCE && implCE->getCastKind() == CK_BitCast) 1141b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis implCE = dyn_cast<ImplicitCastExpr>(implCE->getSubExpr()); 1151b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis 11687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar return implCE && implCE->getCastKind() == CK_ARCConsumeObject; 1171b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis} 1181b8fbd3601e009803565e74d2ec54abecb5cbf73Argyrios Kyrtzidis 1197196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis/// \brief 'Loc' is the end of a statement range. This returns the location 1207196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis/// immediately after the semicolon following the statement. 1217196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis/// If no semicolon is found or the location is inside a macro, the returned 1227196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis/// source location will be invalid. 1237196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios KyrtzidisSourceLocation trans::findLocationAfterSemi(SourceLocation loc, 1241f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian ASTContext &Ctx, bool IsDecl) { 1251f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian SourceLocation SemiLoc = findSemiAfterLocation(loc, Ctx, IsDecl); 126aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis if (SemiLoc.isInvalid()) 127aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis return SourceLocation(); 128a64ccefdf0ea4e03ec88805d71b0af74950c7472Argyrios Kyrtzidis return SemiLoc.getLocWithOffset(1); 129aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis} 130aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis 131aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis/// \brief \arg Loc is the end of a statement range. This returns the location 132aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis/// of the semicolon following the statement. 133aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis/// If no semicolon is found or the location is inside a macro, the returned 134aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis/// source location will be invalid. 135aec230d29835285777ecc467e268c83b33a2addeArgyrios KyrtzidisSourceLocation trans::findSemiAfterLocation(SourceLocation loc, 1361f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian ASTContext &Ctx, 1371f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian bool IsDecl) { 1387196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis SourceManager &SM = Ctx.getSourceManager(); 1397196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis if (loc.isMacroID()) { 1404e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (!Lexer::isAtEndOfMacroExpansion(loc, SM, Ctx.getLangOpts(), &loc)) 1417196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis return SourceLocation(); 1427196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis } 1434e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie loc = Lexer::getLocForEndOfToken(loc, /*Offset=*/0, SM, Ctx.getLangOpts()); 1448f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 1457196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis // Break down the source location. 1467196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis std::pair<FileID, unsigned> locInfo = SM.getDecomposedLoc(loc); 1478f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 1487196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis // Try to load the file buffer. 1497196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool invalidTemp = false; 1505f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef file = SM.getBufferData(locInfo.first, &invalidTemp); 1517196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis if (invalidTemp) 1527196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis return SourceLocation(); 1537196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 1547196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis const char *tokenBegin = file.data() + locInfo.second; 1557196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 1567196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis // Lex from the start of the given location. 1577196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis Lexer lexer(SM.getLocForStartOfFile(locInfo.first), 1584e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie Ctx.getLangOpts(), 1597196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis file.begin(), tokenBegin, file.end()); 1607196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis Token tok; 1617196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis lexer.LexFromRawLexer(tok); 1621f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian if (tok.isNot(tok::semi)) { 1631f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian if (!IsDecl) 1641f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian return SourceLocation(); 1651f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian // Declaration may be followed with other tokens; such as an __attribute, 1661f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian // before ending with a semicolon. 1671f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian return findSemiAfterLocation(tok.getLocation(), Ctx, /*IsDecl*/true); 1681f9a09d4e50c3e8e622292350823eef776b93e3dFariborz Jahanian } 1698f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 170aec230d29835285777ecc467e268c83b33a2addeArgyrios Kyrtzidis return tok.getLocation(); 1717196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis} 1728f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 1737196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidisbool trans::hasSideEffects(Expr *E, ASTContext &Ctx) { 1748f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall if (!E || !E->HasSideEffects(Ctx)) 1758f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return false; 1768f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 1778f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall E = E->IgnoreParenCasts(); 1788f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(E); 1798f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall if (!ME) 1808f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 1818f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall switch (ME->getMethodFamily()) { 1828f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall case OMF_autorelease: 1838f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall case OMF_dealloc: 1848f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall case OMF_release: 1858f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall case OMF_retain: 1868f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall switch (ME->getReceiverKind()) { 1878f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall case ObjCMessageExpr::SuperInstance: 1888f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return false; 1898f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall case ObjCMessageExpr::Instance: 1907196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis return hasSideEffects(ME->getInstanceReceiver(), Ctx); 1918f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall default: 1928f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall break; 1938f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 1948f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall break; 1958f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall default: 1968f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall break; 1978f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 1988f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 1998f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2008f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall} 2018f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2022c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidisbool trans::isGlobalVar(Expr *E) { 2032c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis E = E->IgnoreParenCasts(); 2042c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(E)) 20518fd0c6915b45c4daafe18e3cd324c13306f913fArgyrios Kyrtzidis return DRE->getDecl()->getDeclContext()->isFileContext() && 206181e3ecc0907ae0103586a9f4db52241995a8267Rafael Espindola DRE->getDecl()->isExternallyVisible(); 2072c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis if (ConditionalOperator *condOp = dyn_cast<ConditionalOperator>(E)) 2082c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis return isGlobalVar(condOp->getTrueExpr()) && 2092c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis isGlobalVar(condOp->getFalseExpr()); 2102c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis 2112c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis return false; 2122c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis} 2132c18ca0575b60082f2a9f4563b4071071960d37cArgyrios Kyrtzidis 214b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga NainarStringRef trans::getNilString(MigrationPass &Pass) { 215b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar return Pass.SemaRef.PP.isMacroDefined("nil") ? "nil" : "0"; 21618fd0c6915b45c4daafe18e3cd324c13306f913fArgyrios Kyrtzidis} 21718fd0c6915b45c4daafe18e3cd324c13306f913fArgyrios Kyrtzidis 2188f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallnamespace { 2198f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2208f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallclass ReferenceClear : public RecursiveASTVisitor<ReferenceClear> { 2217196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ExprSet &Refs; 2228f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallpublic: 2237196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ReferenceClear(ExprSet &refs) : Refs(refs) { } 2248f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall bool VisitDeclRefExpr(DeclRefExpr *E) { Refs.erase(E); return true; } 2258f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall}; 2268f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2278f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallclass ReferenceCollector : public RecursiveASTVisitor<ReferenceCollector> { 2288f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall ValueDecl *Dcl; 2297196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ExprSet &Refs; 2308f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2318f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallpublic: 2327196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ReferenceCollector(ValueDecl *D, ExprSet &refs) 2337196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis : Dcl(D), Refs(refs) { } 2348f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2358f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall bool VisitDeclRefExpr(DeclRefExpr *E) { 2368f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall if (E->getDecl() == Dcl) 2378f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall Refs.insert(E); 2388f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2398f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2408f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall}; 2418f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2427196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidisclass RemovablesCollector : public RecursiveASTVisitor<RemovablesCollector> { 2437196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ExprSet &Removables; 2448f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 2458f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallpublic: 2467196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis RemovablesCollector(ExprSet &removables) 2477196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis : Removables(removables) { } 2487196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2497196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool shouldWalkTypesOfTypeLocs() const { return false; } 2507196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2517196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool TraverseStmtExpr(StmtExpr *E) { 2527196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis CompoundStmt *S = E->getSubStmt(); 2537196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis for (CompoundStmt::body_iterator 2547196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis I = S->body_begin(), E = S->body_end(); I != E; ++I) { 2557196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis if (I != E - 1) 2567196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(*I); 2577196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis TraverseStmt(*I); 2588f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2598f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2608f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2617196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2627196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool VisitCompoundStmt(CompoundStmt *S) { 263651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines for (auto *I : S->body()) 264651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines mark(I); 2658f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2668f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2677196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2687196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool VisitIfStmt(IfStmt *S) { 2697196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getThen()); 2707196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getElse()); 2718f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2728f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2737196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2747196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool VisitWhileStmt(WhileStmt *S) { 2757196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getBody()); 2768f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2778f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2787196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2797196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool VisitDoStmt(DoStmt *S) { 2807196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getBody()); 2818f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2828f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2837196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2847196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis bool VisitForStmt(ForStmt *S) { 2857196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getInit()); 2867196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getInc()); 2877196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis mark(S->getBody()); 2888f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return true; 2898f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall } 2907196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2918f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallprivate: 2927196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis void mark(Stmt *S) { 2937196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis if (!S) return; 2947196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis 2957e5e5f4cc36fe50f46ad76dca7a266434c94f475John McCall while (LabelStmt *Label = dyn_cast<LabelStmt>(S)) 2967e5e5f4cc36fe50f46ad76dca7a266434c94f475John McCall S = Label->getSubStmt(); 2977e5e5f4cc36fe50f46ad76dca7a266434c94f475John McCall S = S->IgnoreImplicit(); 2987196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis if (Expr *E = dyn_cast<Expr>(S)) 2997196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis Removables.insert(E); 3008e2ce7fdf9e8033b77788662a9c3f61334eb5dafArgyrios Kyrtzidis } 3017196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis}; 3028e2ce7fdf9e8033b77788662a9c3f61334eb5dafArgyrios Kyrtzidis 3037196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis} // end anonymous namespace 3048f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 3057196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidisvoid trans::clearRefsIn(Stmt *S, ExprSet &refs) { 3067196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ReferenceClear(refs).TraverseStmt(S); 3077196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis} 3088f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 3097196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidisvoid trans::collectRefs(ValueDecl *D, Stmt *S, ExprSet &refs) { 3107196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis ReferenceCollector(D, refs).TraverseStmt(S); 3118f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall} 3128f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 3137196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidisvoid trans::collectRemovables(Stmt *S, ExprSet &exprs) { 3147196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis RemovablesCollector(exprs).TraverseStmt(S); 3158f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall} 3168f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 3178f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall//===----------------------------------------------------------------------===// 318e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis// MigrationContext 319e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis//===----------------------------------------------------------------------===// 320e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 321e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidisnamespace { 322e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 323e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidisclass ASTTransform : public RecursiveASTVisitor<ASTTransform> { 324e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis MigrationContext &MigrateCtx; 325a33849b368b0973e64ee9c49af4c080a59f99eb4Argyrios Kyrtzidis typedef RecursiveASTVisitor<ASTTransform> base; 326e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 327e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidispublic: 328e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis ASTTransform(MigrationContext &MigrateCtx) : MigrateCtx(MigrateCtx) { } 329e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 330f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis bool shouldWalkTypesOfTypeLocs() const { return false; } 331f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis 332b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis bool TraverseObjCImplementationDecl(ObjCImplementationDecl *D) { 333b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis ObjCImplementationContext ImplCtx(MigrateCtx, D); 334b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis for (MigrationContext::traverser_iterator 335b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis I = MigrateCtx.traversers_begin(), 336b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis E = MigrateCtx.traversers_end(); I != E; ++I) 337b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis (*I)->traverseObjCImplementation(ImplCtx); 338b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis 339a33849b368b0973e64ee9c49af4c080a59f99eb4Argyrios Kyrtzidis return base::TraverseObjCImplementationDecl(D); 340b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis } 341b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis 342e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis bool TraverseStmt(Stmt *rootS) { 343e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis if (!rootS) 344e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis return true; 345e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 346e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis BodyContext BodyCtx(MigrateCtx, rootS); 347e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis for (MigrationContext::traverser_iterator 348e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis I = MigrateCtx.traversers_begin(), 349e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis E = MigrateCtx.traversers_end(); I != E; ++I) 350e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis (*I)->traverseBody(BodyCtx); 351e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 352e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis return true; 353e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis } 354e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis}; 355e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 356e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis} 357e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 358e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios KyrtzidisMigrationContext::~MigrationContext() { 359e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis for (traverser_iterator 360e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis I = traversers_begin(), E = traversers_end(); I != E; ++I) 361e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis delete *I; 362e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis} 363e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 3641fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidisbool MigrationContext::isGCOwnedNonObjC(QualType T) { 3651fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis while (!T.isNull()) { 3661fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis if (const AttributedType *AttrT = T->getAs<AttributedType>()) { 3671fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis if (AttrT->getAttrKind() == AttributedType::attr_objc_ownership) 3681fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis return !AttrT->getModifiedType()->isObjCRetainableType(); 3691fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis } 3701fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis 3711fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis if (T->isArrayType()) 3721fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis T = Pass.Ctx.getBaseElementType(T); 3731fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis else if (const PointerType *PT = T->getAs<PointerType>()) 3741fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis T = PT->getPointeeType(); 3751fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis else if (const ReferenceType *RT = T->getAs<ReferenceType>()) 3761fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis T = RT->getPointeeType(); 3771fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis else 3781fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis break; 3791fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis } 3801fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis 3811fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis return false; 3821fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis} 3831fe4203ca05d0a3283efc8a2e8c01ecdf78fbf2eArgyrios Kyrtzidis 384b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidisbool MigrationContext::rewritePropertyAttribute(StringRef fromAttr, 385b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis StringRef toAttr, 386b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis SourceLocation atLoc) { 387b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (atLoc.isMacroID()) 388b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return false; 389b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 390b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis SourceManager &SM = Pass.Ctx.getSourceManager(); 391b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 392b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis // Break down the source location. 393b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis std::pair<FileID, unsigned> locInfo = SM.getDecomposedLoc(atLoc); 394b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 395b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis // Try to load the file buffer. 396b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis bool invalidTemp = false; 397b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis StringRef file = SM.getBufferData(locInfo.first, &invalidTemp); 398b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (invalidTemp) 399b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return false; 400b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 401b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis const char *tokenBegin = file.data() + locInfo.second; 402b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 403b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis // Lex from the start of the given location. 404b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Lexer lexer(SM.getLocForStartOfFile(locInfo.first), 4054e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie Pass.Ctx.getLangOpts(), 406b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis file.begin(), tokenBegin, file.end()); 407b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Token tok; 408b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis lexer.LexFromRawLexer(tok); 409b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (tok.isNot(tok::at)) return false; 410b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis lexer.LexFromRawLexer(tok); 411b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (tok.isNot(tok::raw_identifier)) return false; 4126bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (tok.getRawIdentifier() != "property") 413b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return false; 414b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis lexer.LexFromRawLexer(tok); 415b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (tok.isNot(tok::l_paren)) return false; 416b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 417b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Token BeforeTok = tok; 418b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Token AfterTok; 419b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis AfterTok.startToken(); 420b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis SourceLocation AttrLoc; 421b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 422b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis lexer.LexFromRawLexer(tok); 423b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (tok.is(tok::r_paren)) 424b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return false; 425b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 426b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis while (1) { 427b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (tok.isNot(tok::raw_identifier)) return false; 4286bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (tok.getRawIdentifier() == fromAttr) { 429b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (!toAttr.empty()) { 430b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Pass.TA.replaceText(tok.getLocation(), fromAttr, toAttr); 431b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return true; 432b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } 433b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis // We want to remove the attribute. 434b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis AttrLoc = tok.getLocation(); 435b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } 436b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 437b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis do { 438b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis lexer.LexFromRawLexer(tok); 439b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (AttrLoc.isValid() && AfterTok.is(tok::unknown)) 440b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis AfterTok = tok; 441b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } while (tok.isNot(tok::comma) && tok.isNot(tok::r_paren)); 442b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (tok.is(tok::r_paren)) 443b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis break; 444b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (AttrLoc.isInvalid()) 445b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis BeforeTok = tok; 446b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis lexer.LexFromRawLexer(tok); 447b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } 448b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 449b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (toAttr.empty() && AttrLoc.isValid() && AfterTok.isNot(tok::unknown)) { 450b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis // We want to remove the attribute. 451b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis if (BeforeTok.is(tok::l_paren) && AfterTok.is(tok::r_paren)) { 452b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Pass.TA.remove(SourceRange(BeforeTok.getLocation(), 453b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis AfterTok.getLocation())); 454b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } else if (BeforeTok.is(tok::l_paren) && AfterTok.is(tok::comma)) { 455b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Pass.TA.remove(SourceRange(AttrLoc, AfterTok.getLocation())); 456b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } else { 457b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis Pass.TA.remove(SourceRange(BeforeTok.getLocation(), AttrLoc)); 458b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } 459b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 460b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return true; 461b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis } 462b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 463b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis return false; 464b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis} 465b0e1e121b32a9a04b39f1b77b3068bce2f3be05aArgyrios Kyrtzidis 4666da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidisbool MigrationContext::addPropertyAttribute(StringRef attr, 4676da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis SourceLocation atLoc) { 4686da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (atLoc.isMacroID()) 4696da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis return false; 4706da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 4716da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis SourceManager &SM = Pass.Ctx.getSourceManager(); 4726da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 4736da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis // Break down the source location. 4746da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis std::pair<FileID, unsigned> locInfo = SM.getDecomposedLoc(atLoc); 4756da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 4766da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis // Try to load the file buffer. 4776da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis bool invalidTemp = false; 4786da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis StringRef file = SM.getBufferData(locInfo.first, &invalidTemp); 4796da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (invalidTemp) 4806da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis return false; 4816da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 4826da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis const char *tokenBegin = file.data() + locInfo.second; 4836da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 4846da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis // Lex from the start of the given location. 4856da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis Lexer lexer(SM.getLocForStartOfFile(locInfo.first), 4864e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie Pass.Ctx.getLangOpts(), 4876da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis file.begin(), tokenBegin, file.end()); 4886da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis Token tok; 4896da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis lexer.LexFromRawLexer(tok); 4906da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (tok.isNot(tok::at)) return false; 4916da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis lexer.LexFromRawLexer(tok); 4926da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (tok.isNot(tok::raw_identifier)) return false; 4936bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (tok.getRawIdentifier() != "property") 4946da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis return false; 4956da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis lexer.LexFromRawLexer(tok); 4966da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 4976da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (tok.isNot(tok::l_paren)) { 4986da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis Pass.TA.insert(tok.getLocation(), std::string("(") + attr.str() + ") "); 4996da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis return true; 5006da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis } 5016da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 5026da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis lexer.LexFromRawLexer(tok); 5036da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (tok.is(tok::r_paren)) { 5046da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis Pass.TA.insert(tok.getLocation(), attr); 5056da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis return true; 5066da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis } 5076da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 5086da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis if (tok.isNot(tok::raw_identifier)) return false; 5096da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 5106da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis Pass.TA.insert(tok.getLocation(), std::string(attr) + ", "); 5116da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis return true; 5126da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis} 5136da4274724f6bd0f24f0fbfd1af076cd14b14710Argyrios Kyrtzidis 514e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidisvoid MigrationContext::traverse(TranslationUnitDecl *TU) { 515f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis for (traverser_iterator 516f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis I = traversers_begin(), E = traversers_end(); I != E; ++I) 517f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis (*I)->traverseTU(*this); 518f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis 519e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis ASTTransform(*this).TraverseDecl(TU); 520e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis} 521e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 522bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanianstatic void GCRewriteFinalize(MigrationPass &pass) { 523bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian ASTContext &Ctx = pass.Ctx; 524bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian TransformActions &TA = pass.TA; 525bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian DeclContext *DC = Ctx.getTranslationUnitDecl(); 526bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian Selector FinalizeSel = 527bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian Ctx.Selectors.getNullarySelector(&pass.Ctx.Idents.get("finalize")); 528bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian 529bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian typedef DeclContext::specific_decl_iterator<ObjCImplementationDecl> 530bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian impl_iterator; 531bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian for (impl_iterator I = impl_iterator(DC->decls_begin()), 532bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian E = impl_iterator(DC->decls_end()); I != E; ++I) { 533651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines for (const auto *MD : I->instance_methods()) { 534bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian if (!MD->hasBody()) 535bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian continue; 536bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian 537bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian if (MD->isInstanceMethod() && MD->getSelector() == FinalizeSel) { 538651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const ObjCMethodDecl *FinalizeM = MD; 539bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian Transaction Trans(TA); 540bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian TA.insert(FinalizeM->getSourceRange().getBegin(), 541bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian "#if !__has_feature(objc_arc)\n"); 542bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian CharSourceRange::getTokenRange(FinalizeM->getSourceRange()); 543bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian const SourceManager &SM = pass.Ctx.getSourceManager(); 5444e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie const LangOptions &LangOpts = pass.Ctx.getLangOpts(); 545bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian bool Invalid; 546bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian std::string str = "\n#endif\n"; 547bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian str += Lexer::getSourceText( 548bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian CharSourceRange::getTokenRange(FinalizeM->getSourceRange()), 549bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian SM, LangOpts, &Invalid); 550bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian TA.insertAfterToken(FinalizeM->getSourceRange().getEnd(), str); 551bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian 552bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian break; 553bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian } 554bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian } 555bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian } 556bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian} 557bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian 558e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis//===----------------------------------------------------------------------===// 5598f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall// getAllTransformations. 5608f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall//===----------------------------------------------------------------------===// 5618f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 562e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidisstatic void traverseAST(MigrationPass &pass) { 563e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis MigrationContext MigrateCtx(pass); 564e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 565e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis if (pass.isGCMigration()) { 566e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis MigrateCtx.addTraverser(new GCCollectableCallsTraverser); 567f38fa73e605587abfa32ab6a39887cdebc0a320aArgyrios Kyrtzidis MigrateCtx.addTraverser(new GCAttrsTraverser()); 568e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis } 569b0d5db1b7cac1a0680877c17fe92c6d64cf1c730Argyrios Kyrtzidis MigrateCtx.addTraverser(new PropertyRewriteTraverser()); 5702a2781805a6b55573d369e34c5dcfba307ce83e9Argyrios Kyrtzidis MigrateCtx.addTraverser(new BlockObjCVariableTraverser()); 571ea2224d7078c4d31ad32adbaba4bdc2d85a3d609Argyrios Kyrtzidis MigrateCtx.addTraverser(new ProtectedScopeTraverser()); 572e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 573e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis MigrateCtx.traverse(pass.Ctx.getTranslationUnitDecl()); 574e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis} 575e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis 5768f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCallstatic void independentTransforms(MigrationPass &pass) { 5778f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall rewriteAutoreleasePool(pass); 578e7ef8556f4ee3012a0479308c993af0fbee448dfArgyrios Kyrtzidis removeRetainReleaseDeallocFinalize(pass); 5797196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis rewriteUnusedInitDelegate(pass); 580e7ef8556f4ee3012a0479308c993af0fbee448dfArgyrios Kyrtzidis removeZeroOutPropsInDeallocFinalize(pass); 5818f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall makeAssignARCSafe(pass); 5827196d06c2fb020a91a26e727be1871110b4a0dc9Argyrios Kyrtzidis rewriteUnbridgedCasts(pass); 583fd10398c10ffdcbdeb1e3e299c74d70e689f503cArgyrios Kyrtzidis checkAPIUses(pass); 584e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidis traverseAST(pass); 5858f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall} 5868f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 587e0ac7454bae910ab3d67a92f6e2e5046d3bb8c1aArgyrios Kyrtzidisstd::vector<TransformFn> arcmt::getAllTransformations( 588bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian LangOptions::GCMode OrigGCMode, 589bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian bool NoFinalizeRemoval) { 5908f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall std::vector<TransformFn> transforms; 5918f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 592bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian if (OrigGCMode == LangOptions::GCOnly && NoFinalizeRemoval) 593bbdfad581fa300fa0d162d968ec14de3c95fc760Fariborz Jahanian transforms.push_back(GCRewriteFinalize); 5948f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall transforms.push_back(independentTransforms); 595fd3455a9ebecf67b9a1c46f0675697bf518e6b80Argyrios Kyrtzidis // This depends on previous transformations removing various expressions. 596e7ef8556f4ee3012a0479308c993af0fbee448dfArgyrios Kyrtzidis transforms.push_back(removeEmptyStatementsAndDeallocFinalize); 5978f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall 5988f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall return transforms; 5998f0e8d22960d56f8390f4971e2c0f2f0a0884602John McCall} 600