22 using namespace clang;
41 if (LangOpts.ObjCAutoRefCount) {
69 if ((isa<ObjCStringLiteral>(Arg) &&
74 (isa<ObjCArrayLiteral>(Arg) &&
79 (isa<ObjCDictionaryLiteral>(Arg) &&
109 const Expr *Receiver,
111 assert(IFace && Receiver);
148 if (OID->
getName() ==
"NSMapTable" ||
165 if (!MD->isUnavailable())
393 commit.
replace(MsgRange,
"@[]");
419 commit.
replace(MsgRange,
"@[]");
463 Objs.push_back(Msg->
getArg(0));
476 Objs.push_back(Msg->
getArg(
i));
480 }
else if (
const ObjCArrayLiteral *ArrLit = dyn_cast<ObjCArrayLiteral>(E)) {
481 for (
unsigned i = 0, e = ArrLit->getNumElements();
i != e; ++
i)
482 Objs.push_back(ArrLit->getElement(
i));
497 commit.
replace(MsgRange,
"@{}");
528 const Expr *SentinelExpr = Msg->
getArg(SentinelIdx);
533 commit.
replace(MsgRange,
"@{}");
537 for (
unsigned i = 0;
i < SentinelIdx;
i += 2) {
573 if (Vals.size() != Keys.size())
577 commit.
replace(MsgRange,
"@{}");
581 for (
unsigned i = 0, n = Vals.size();
i < n; ++
i) {
593 SourceRange ArgRange(Keys.front()->getBeginLoc(), Keys.back()->getEndLoc());
629 if (Vals.size() != Keys.size())
676 StringRef U, F, L, LL;
683 bool isFloat,
bool isIntZero,
698 static bool has(StringRef suff, StringRef &text) {
699 if (text.endswith(suff)) {
700 text = text.substr(0, text.size()-suff.size());
720 }
else if (isFloat &&
Suff::has(
"f", text)) {
722 }
else if (isFloat &&
Suff::has(
"F", text)) {
728 if (!UpperU.hasValue() && !UpperL.hasValue())
729 UpperU = UpperL =
true;
730 else if (UpperU.hasValue() && !UpperL.hasValue())
732 else if (UpperL.hasValue() && !UpperU.hasValue())
735 Info.U = *UpperU ?
"U" :
"u";
736 Info.L = *UpperL ?
"L" :
"l";
737 Info.LL = *UpperL ?
"LL" :
"ll";
738 Info.F = UpperF ?
"F" :
"f";
740 Info.Hex = Info.Octal =
false;
741 if (text.startswith(
"0x"))
743 else if (!isFloat && !isIntZero && text.startswith(
"0"))
747 Info.WithoutSuffRange =
765 const Expr *literalE = Arg;
766 if (
const UnaryOperator *UOE = dyn_cast<UnaryOperator>(literalE)) {
767 if (UOE->getOpcode() == UO_Plus || UOE->getOpcode() == UO_Minus)
768 literalE = UOE->getSubExpr();
773 if (!isa<IntegerLiteral>(literalE) && !isa<FloatingLiteral>(literalE))
784 bool CallIsUnsigned =
false, CallIsLong =
false, CallIsLongLong =
false;
785 bool CallIsFloating =
false, CallIsDouble =
false;
798 CallIsUnsigned =
true;
805 CallIsUnsigned =
true;
812 CallIsUnsigned =
true;
815 CallIsLongLong =
true;
822 CallIsFloating =
true;
846 if (LitIsFloat && !CallIsFloating)
854 bool isIntZero =
false;
855 if (
const IntegerLiteral *IntE = dyn_cast<IntegerLiteral>(literalE))
856 isIntZero = !IntE->getValue().getBoolValue();
857 if (!
getLiteralInfo(ArgRange, LitIsFloat, isIntZero, Ctx, LitInfo))
861 if (!LitIsFloat && CallIsFloating && (LitInfo.Hex || LitInfo.Octal))
868 LitInfo.WithoutSuffRange);
871 if (!LitIsFloat && CallIsFloating)
872 commit.
insert(LitE,
".0");
874 if (CallIsFloating) {
876 commit.
insert(LitE, LitInfo.F);
879 commit.
insert(LitE, LitInfo.U);
882 commit.
insert(LitE, LitInfo.L);
883 else if (CallIsLongLong)
884 commit.
insert(LitE, LitInfo.LL);
893 if (isa<ArraySubscriptExpr>(Expr) ||
894 isa<CallExpr>(Expr) ||
895 isa<DeclRefExpr>(Expr) ||
896 isa<CXXNamedCastExpr>(Expr) ||
897 isa<CXXConstructExpr>(Expr) ||
898 isa<CXXThisExpr>(Expr) ||
899 isa<CXXTypeidExpr>(Expr) ||
900 isa<CXXUnresolvedConstructExpr>(Expr) ||
901 isa<ObjCMessageExpr>(Expr) ||
902 isa<ObjCPropertyRefExpr>(Expr) ||
903 isa<ObjCProtocolExpr>(Expr) ||
904 isa<MemberExpr>(Expr) ||
905 isa<ObjCIvarRefExpr>(Expr) ||
906 isa<ParenExpr>(FullExpr) ||
907 isa<ParenListExpr>(Expr) ||
908 isa<SizeOfPackExpr>(Expr))
915 if (isa<ArraySubscriptExpr>(Expr) ||
916 isa<CallExpr>(Expr) ||
917 isa<DeclRefExpr>(Expr) ||
918 isa<CastExpr>(Expr) ||
919 isa<CXXNewExpr>(Expr) ||
920 isa<CXXConstructExpr>(Expr) ||
921 isa<CXXDeleteExpr>(Expr) ||
922 isa<CXXNoexceptExpr>(Expr) ||
923 isa<CXXPseudoDestructorExpr>(Expr) ||
924 isa<CXXScalarValueInitExpr>(Expr) ||
925 isa<CXXThisExpr>(Expr) ||
926 isa<CXXTypeidExpr>(Expr) ||
927 isa<CXXUnresolvedConstructExpr>(Expr) ||
928 isa<ObjCMessageExpr>(Expr) ||
929 isa<ObjCPropertyRefExpr>(Expr) ||
930 isa<ObjCProtocolExpr>(Expr) ||
931 isa<MemberExpr>(Expr) ||
932 isa<ObjCIvarRefExpr>(Expr) ||
933 isa<ParenExpr>(FullExpr) ||
934 isa<ParenListExpr>(Expr) ||
935 isa<SizeOfPackExpr>(Expr) ||
936 isa<UnaryOperator>(Expr))
948 if (ICE->getCastKind() != CK_CPointerToObjCPointerCast)
969 if (
const ValueDecl *VD = DRE->getDecl())
970 return isa<EnumConstantDecl>(VD);
998 bool isTruncated = FinalTySize < OrigTySize;
999 bool needsCast =
false;
1002 switch (ICE->getCastKind()) {
1003 case CK_LValueToRValue:
1005 case CK_UserDefinedConversion:
1008 case CK_IntegralCast: {
1027 case CK_PointerToBoolean:
1028 case CK_IntegralToBoolean:
1029 case CK_IntegralToFloating:
1030 case CK_FloatingToIntegral:
1031 case CK_FloatingToBoolean:
1032 case CK_FloatingCast:
1033 case CK_FloatingComplexToReal:
1034 case CK_FloatingComplexToBoolean:
1035 case CK_IntegralComplexToReal:
1036 case CK_IntegralComplexToBoolean:
1037 case CK_AtomicToNonAtomic:
1038 case CK_AddressSpaceConversion:
1044 case CK_LValueBitCast:
1045 case CK_LValueToRValueBitCast:
1046 case CK_BaseToDerived:
1047 case CK_DerivedToBase:
1048 case CK_UncheckedDerivedToBase:
1051 case CK_ArrayToPointerDecay:
1052 case CK_FunctionToPointerDecay:
1053 case CK_NullToPointer:
1054 case CK_NullToMemberPointer:
1055 case CK_BaseToDerivedMemberPointer:
1056 case CK_DerivedToBaseMemberPointer:
1057 case CK_MemberPointerToBoolean:
1058 case CK_ReinterpretMemberPointer:
1059 case CK_ConstructorConversion:
1060 case CK_IntegralToPointer:
1061 case CK_PointerToIntegral:
1063 case CK_VectorSplat:
1064 case CK_CPointerToObjCPointerCast:
1065 case CK_BlockPointerToObjCPointerCast:
1066 case CK_AnyPointerToBlockPointerCast:
1067 case CK_ObjCObjectLValueCast:
1068 case CK_FloatingRealToComplex:
1069 case CK_FloatingComplexCast:
1070 case CK_FloatingComplexToIntegralComplex:
1071 case CK_IntegralRealToComplex:
1072 case CK_IntegralComplexCast:
1073 case CK_IntegralComplexToFloatingComplex:
1074 case CK_ARCProduceObject:
1075 case CK_ARCConsumeObject:
1076 case CK_ARCReclaimReturnedObject:
1077 case CK_ARCExtendBlockObject:
1078 case CK_NonAtomicToAtomic:
1079 case CK_CopyAndAutoreleaseBlockObject:
1080 case CK_BuiltinFnToFnPtr:
1081 case CK_ZeroToOCLOpaqueType:
1082 case CK_IntToOCLSampler:
1085 case CK_BooleanToSignedIntegral:
1086 llvm_unreachable(
"OpenCL-specific cast in Objective-C?");
1088 case CK_FixedPointCast:
1089 case CK_FixedPointToBoolean:
1090 case CK_FixedPointToIntegral:
1091 case CK_IntegralToFixedPoint:
1092 llvm_unreachable(
"Fixed point types are disabled for Objective-C");
1100 "converting to boxing syntax requires casting %0 to %1");
1109 if (isa<ParenExpr>(OrigArg) || isa<IntegerLiteral>(OrigArg))
1136 StrE = dyn_cast<StringLiteral>(OrigArg->
IgnoreParens())) {
1138 commit.
insert(StrE->getBeginLoc(),
"@");
1148 if (isa<ParenExpr>(OrigArg) || isa<IntegerLiteral>(OrigArg))
Selector getObjectAtIndexedSubscriptSelector() const
Returns selector for "objectAtIndexedSubscript:".
The receiver is the instance of the superclass object.
Defines the clang::ASTContext interface.
bool remove(CharSourceRange range)
The receiver is an object instance.
Smart pointer class that efficiently represents Objective-C method names.
if(T->getSizeExpr()) TRY_TO(TraverseStmt(T -> getSizeExpr()))
PointerType - C99 6.7.5.1 - Pointer Declarators.
A (possibly-)qualified type.
bool rewriteToObjCSubscriptSyntax(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Selector getSelector() const
bool rewriteToObjCLiteralSyntax(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit, const ParentMap *PMap)
const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > has
Matches AST nodes that have child AST nodes that match the provided matcher.
bool insertWrap(StringRef before, CharSourceRange range, StringRef after)
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee...
static CharSourceRange getTokenRange(SourceRange R)
ObjCInterfaceDecl * getReceiverInterface() const
Retrieve the Objective-C interface to which this message is being directed, if known.
static bool rewriteToSubscriptGetCommon(const ObjCMessageExpr *Msg, Commit &commit)
NSNumberLiteralMethodKind
Enumerates the NSNumber methods used to generate literals.
DiagnosticsEngine & getDiagnostics() const
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
bool insertAfterToken(SourceLocation loc, StringRef text, bool beforePreviousInsertions=false)
bool insertFromRange(SourceLocation loc, CharSourceRange range, bool afterToken=false, bool beforePreviousInsertions=false)
static bool rewriteToNumberLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
const T * getAs() const
Member-template getAs<specific type>'.
ObjCMethodDecl - Represents an instance or class method declaration.
Defines the clang::Expr interface and subclasses for C++ expressions.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
bool insert(SourceLocation loc, StringRef text, bool afterToken=false, bool beforePreviousInsertions=false)
One of these records is kept for each identifier that is lexed.
Selector getSetObjectForKeyedSubscriptSelector() const
Returns selector for "setObject:forKeyedSubscript".
bool isObjCIdType(QualType T) const
Represents a class type in Objective C.
ObjCMethodDecl * lookupInstanceMethod(Selector Sel) const
Lookup an instance method for a given selector.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
static bool isEnumConstant(const Expr *E)
FullExpr - Represents a "full-expression" node.
SourceLocation getBeginLoc() const LLVM_READONLY
Selector getNSStringSelector(NSStringMethodKind MK) const
The Objective-C NSString selectors.
static void objectifyExpr(const Expr *E, Commit &commit)
Adds an explicit cast to 'id' if the type is not objc object.
static bool rewriteToArraySubscriptGet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp, [NSNumber numberWithInt:42]];.
Optional< NSNumberLiteralMethodKind > getNSNumberLiteralMethodKind(Selector Sel) const
Return NSNumberLiteralMethodKind if Sel is such a selector.
bool replace(CharSourceRange range, StringRef text)
static bool rewriteToDictionarySubscriptGet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Concrete class used by the front-end to report problems and issues.
Expr * IgnoreParenCasts() LLVM_READONLY
Skip past any parentheses and casts which might surround this expression until reaching a fixed point...
bool isTypeDependent() const
isTypeDependent - Determines whether this expression is type-dependent (C++ [temp.dep.expr]), which means that its type could change from one template instantiation to the next.
Represents an ObjC class declaration.
ObjCInterfaceDecl * getInterface() const
Gets the interface declaration for this object type, if the base type really is an interface...
static bool getNSArrayObjects(const Expr *E, const NSAPI &NS, SmallVectorImpl< const Expr *> &Objs)
If Msg is an NSArray creation message or literal, this gets the objects that were used to create it...
static const ObjCInterfaceDecl * maybeAdjustInterfaceForSubscriptingCheck(const ObjCInterfaceDecl *IFace, const Expr *Receiver, ASTContext &Ctx)
Check for classes that accept 'objectForKey:' (or the other selectors that the migrator handles) but ...
Expr * IgnoreImpCasts() LLVM_READONLY
Skip past any implicit casts which might surround this expression until reaching a fixed point...
static bool castOperatorNeedsParens(const Expr *FullExpr)
static StringRef getSourceText(CharSourceRange Range, const SourceManager &SM, const LangOptions &LangOpts, bool *Invalid=nullptr)
Returns a string for the source that the range encompasses.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
This represents one expression.
Represents a character-granular source range.
Selector getNSArraySelector(NSArrayMethodKind MK) const
The Objective-C NSArray selectors.
static bool rewriteToDictionaryLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
ASTContext & getASTContext() const
static bool doRewriteToUTF8StringBoxedExpressionHelper(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
bool isSignedIntegerType() const
Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation.
An expression that sends a message to the given Objective-C object or class.
static bool subscriptOperatorNeedsParens(const Expr *FullExpr)
SourceLocation getEnd() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof), the postinc/postdec operators from postfix-expression, and various extensions.
ReceiverKind getReceiverKind() const
Determine the kind of receiver that this message is being sent to.
bool rewriteObjCRedundantCallWithLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
static bool checkForLiteralCreation(const ObjCMessageExpr *Msg, IdentifierInfo *&ClassId, const LangOptions &LangOpts)
bool isNull() const
Return true if this QualType doesn't point to a type yet.
bool isNSUTF8StringEncodingConstant(const Expr *E) const
Returns true if the expression.
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
SourceLocation getEndLoc() const LLVM_READONLY
static CharSourceRange getCharRange(SourceRange R)
static bool rewriteToArrayLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit, const ParentMap *PMap)
unsigned getNumArgs() const
Return the number of actual arguments in this message, not counting the receiver. ...
Encodes a location in the source.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of enums...
bool isObjCObjectPointerType() const
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
bool isImplicit() const
Indicates whether the message send was implicitly generated by the implementation.
CharacterKind getKind() const
unsigned getCustomDiagID(Level L, const char(&FormatString)[N])
Return an ID for a diagnostic with the specified format string and level.
const ObjCMethodDecl * getMethodDecl() const
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
IdentifierInfo * getNSClassId(NSClassIdKindKind K) const
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
QualType getArrayDecayedType(QualType T) const
Return the properly qualified result of decaying the specified array type to a pointer.
Expr * getInstanceReceiver()
Returns the object expression (receiver) for an instance message, or null for a message that is not a...
static bool rewriteToDictionarySubscriptSet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
static bool rewriteToArraySubscriptSet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Dataflow Directional Tag Classes.
bool isSentinelNullExpr(const Expr *E)
static bool rewriteToBoolLiteral(const ObjCMessageExpr *Msg, const Expr *Arg, const NSAPI &NS, Commit &commit)
QualType getSuperType() const
Retrieve the type referred to by 'super'.
static bool rewriteToStringBoxedExpression(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
static bool canRewriteToSubscriptSyntax(const ObjCInterfaceDecl *&IFace, const ObjCMessageExpr *Msg, ASTContext &Ctx, Selector subscriptSel)
bool isBooleanType() const
bool isNSNumberLiteralSelector(NSNumberLiteralMethodKind MK, Selector Sel) const
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
static bool rewriteToNumericBoxedExpression(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
QualType getClassReceiver() const
Returns the type of a class message send, or NULL if the message is not a class message.
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
SourceManager & getSourceManager()
Selector getNSDictionarySelector(NSDictionaryMethodKind MK) const
The Objective-C NSDictionary selectors.
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
static void maybePutParensOnReceiver(const Expr *Receiver, Commit &commit)
const ObjCInterfaceDecl * getObjContainingInterface(const NamedDecl *ND) const
Returns the Objective-C interface that ND belongs to if it is an Objective-C method/property/ivar etc...
static bool getLiteralInfo(SourceRange literalRange, bool isFloat, bool isIntZero, ASTContext &Ctx, LiteralInfo &Info)
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
StringLiteral - This represents a string literal expression, e.g.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
bool insertBefore(SourceLocation loc, StringRef text)
Stmt * getParentIgnoreParenCasts(Stmt *) const
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
A reference to a declared variable, function, enum, etc.
static bool shouldNotRewriteImmediateMessageArgs(const ObjCMessageExpr *Msg, const NSAPI &NS)
Returns true if the immediate message arguments of Msg should not be rewritten because it will interf...
bool replaceWithInner(CharSourceRange range, CharSourceRange innerRange)
bool isPointerType() const
bool isFloatingType() const
A trivial tuple used to represent a source range.
A boolean literal, per ([C++ lex.bool] Boolean literals).
Selector getObjectForKeyedSubscriptSelector() const
Returns selector for "objectForKeyedSubscript:".
The receiver is a superclass.
static bool rewriteToCharLiteral(const ObjCMessageExpr *Msg, const CharacterLiteral *Arg, const NSAPI &NS, Commit &commit)
SourceLocation getBegin() const
const LangOptions & getLangOpts() const
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point...
bool isNSASCIIStringEncodingConstant(const Expr *E) const
Returns true if the expression.
Selector getSetObjectAtIndexedSubscriptSelector() const
Returns selector for "setObject:atIndexedSubscript".