#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Analysis/DomainSpecific/CocoaConventions.h"
#include "clang/Basic/Builtins.h"
#include "clang/Edit/Commit.h"
#include "clang/Edit/Rewriters.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/ConvertUTF.h"

Include dependency graph for SemaExprObjC.cpp:

Enumerations
enum	ACCResult
	A result from the cast checker. More...

Functions
static bool	validateBoxingMethod (Sema &S, SourceLocation Loc, const ObjCInterfaceDecl Class, Selector Sel, const ObjCMethodDecl Method)
	Emits an error if the given method does not exist, or if the return type is not an Objective-C object. More...

static NSAPI::NSClassIdKindKind	ClassKindFromLiteralKind (Sema::ObjCLiteralKind LiteralKind)
	Maps ObjCLiteralKind to NSClassIdKindKind. More...

static bool	ValidateObjCLiteralInterfaceDecl (Sema &S, ObjCInterfaceDecl *Decl, SourceLocation Loc, Sema::ObjCLiteralKind LiteralKind)
	Validates ObjCInterfaceDecl availability. More...

enum	ARCConversionTypeClass { ACTC_none, ACTC_retainable, ACTC_indirectRetainable, ACTC_voidPtr, ACTC_coreFoundation }

static ObjCInterfaceDecl *	LookupObjCInterfaceDeclForLiteral (Sema &S, SourceLocation Loc, Sema::ObjCLiteralKind LiteralKind)
	Looks up ObjCInterfaceDecl of a given NSClassIdKindKind. More...

static ObjCMethodDecl *	getNSNumberFactoryMethod (Sema &S, SourceLocation Loc, QualType NumberType, bool isLiteral=false, SourceRange R=SourceRange())
	Retrieve the NSNumber factory method that should be used to create an Objective-C literal for the given type. More...

static ExprResult	CheckObjCCollectionLiteralElement (Sema &S, Expr *Element, QualType T, bool ArrayLiteral=false)
	Check that the given expression is a valid element of an Objective-C collection literal. More...

static void	CheckObjCDictionaryLiteralDuplicateKeys (Sema &S, ObjCDictionaryLiteral *Literal)
	Check for duplicate keys in an ObjC dictionary literal. More...

static bool	HelperToDiagnoseMismatchedMethodsInGlobalPool (Sema &S, SourceLocation AtLoc, SourceLocation LParenLoc, SourceLocation RParenLoc, ObjCMethodDecl *Method, ObjCMethodList &MethList)

static void	DiagnoseMismatchedSelectors (Sema &S, SourceLocation AtLoc, ObjCMethodDecl *Method, SourceLocation LParenLoc, SourceLocation RParenLoc, bool WarnMultipleSelectors)

static ObjCMethodDecl *	LookupDirectMethodInMethodList (Sema &S, Selector Sel, ObjCMethodList &MethList, bool &onlyDirect, bool &anyDirect)

static ObjCMethodDecl *	LookupDirectMethodInGlobalPool (Sema &S, Selector Sel, bool &onlyDirect, bool &anyDirect)

static ObjCMethodDecl *	findMethodInCurrentClass (Sema &S, Selector Sel)

static QualType	stripObjCInstanceType (ASTContext &Context, QualType T)

static QualType	getBaseMessageSendResultType (Sema &S, QualType ReceiverType, ObjCMethodDecl *Method, bool isClassMessage, bool isSuperMessage)
	Determine the result type of a message send based on the receiver type, method, and the kind of message send. More...

static const ObjCMethodDecl *	findExplicitInstancetypeDeclarer (const ObjCMethodDecl *MD, QualType instancetype)
	Look for an ObjC method whose result type exactly matches the given type. More...

static void	applyCocoaAPICheck (Sema &S, const ObjCMessageExpr Msg, unsigned DiagID, bool(refactor)(const ObjCMessageExpr *, const NSAPI &, edit::Commit &))

static void	checkCocoaAPI (Sema &S, const ObjCMessageExpr *Msg)

static void	checkFoundationAPI (Sema &S, SourceLocation Loc, const ObjCMethodDecl Method, ArrayRef< Expr > Args, QualType ReceiverType, bool IsClassObjectCall)

static void	DiagnoseCStringFormatDirectiveInObjCAPI (Sema &S, ObjCMethodDecl Method, Selector Sel, Expr *Args, unsigned NumArgs)
	Diagnose use of s directive in an NSString which is being passed as formatting string to formatting method. More...

static bool	isMethodDeclaredInRootProtocol (Sema &S, const ObjCMethodDecl *M)

static void	RemoveSelectorFromWarningCache (Sema &S, Expr *Arg)

static bool	isAnyRetainable (ARCConversionTypeClass ACTC)

static bool	isAnyCLike (ARCConversionTypeClass ACTC)

static ARCConversionTypeClass	classifyTypeForARCConversion (QualType type)

static void	addFixitForObjCARCConversion (Sema &S, DiagnosticBuilder &DiagB, Sema::CheckedConversionKind CCK, SourceLocation afterLParen, QualType castType, Expr castExpr, Expr realCast, const char bridgeKeyword, const char CFBridgeName)

template<typename T >
static T *	getObjCBridgeAttr (const TypedefType *TD)

static ObjCBridgeRelatedAttr *	ObjCBridgeRelatedAttrFromType (QualType T, TypedefNameDecl *&TDNDecl)

static void	diagnoseObjCARCConversion (Sema &S, SourceRange castRange, QualType castType, ARCConversionTypeClass castACTC, Expr castExpr, Expr realCast, ARCConversionTypeClass exprACTC, Sema::CheckedConversionKind CCK)

template<typename TB >
static bool	CheckObjCBridgeNSCast (Sema &S, QualType castType, Expr *castExpr, bool &HadTheAttribute, bool warn)

template<typename TB >
static bool	CheckObjCBridgeCFCast (Sema &S, QualType castType, Expr *castExpr, bool &HadTheAttribute, bool warn)

static Expr *	maybeUndoReclaimObject (Expr *e)
	Look for an ObjCReclaimReturnedObject cast and destroy it. More...

Enumeration Type Documentation

◆ ACCResult

enum ACCResult

A result from the cast checker.

Definition at line 3505 of file SemaExprObjC.cpp.

◆ ARCConversionTypeClass

enum ARCConversionTypeClass

Enumerator
ACTC_none	int, void, struct A
ACTC_retainable	id, void (^)()
ACTC_indirectRetainable	id, id*, void (^)(),
ACTC_voidPtr	void* might be a normal C type, or it might a CF type.
ACTC_coreFoundation	struct A*

Definition at line 3435 of file SemaExprObjC.cpp.

Function Documentation

◆ addFixitForObjCARCConversion()

static void addFixitForObjCARCConversion	(	Sema &	S,
		DiagnosticBuilder &	DiagB,
		Sema::CheckedConversionKind	CCK,
		SourceLocation	afterLParen,
		QualType	castType,
		Expr *	castExpr,
		Expr *	realCast,
		const char *	bridgeKeyword,
		const char *	CFBridgeName
	)

static

◆ applyCocoaAPICheck()

static void applyCocoaAPICheck	(	Sema &	S,
		const ObjCMessageExpr *	Msg,
		unsigned	DiagID,
		bool()(const ObjCMessageExpr , const NSAPI &, edit::Commit &)	refactor
	)

static

Definition at line 2437 of file SemaExprObjC.cpp.

Referenced by checkCocoaAPI().

◆ checkCocoaAPI()

static void checkCocoaAPI	(	Sema &	S,
		const ObjCMessageExpr *	Msg
	)

static

Definition at line 2476 of file SemaExprObjC.cpp.

References applyCocoaAPICheck(), and clang::edit::rewriteObjCRedundantCallWithLiteral().

◆ checkFoundationAPI()

static void checkFoundationAPI	(	Sema &	S,
		SourceLocation	Loc,
		const ObjCMethodDecl *	Method,
		ArrayRef< Expr *>	Args,
		QualType	ReceiverType,
		bool	IsClassObjectCall
	)

static

Definition at line 2481 of file SemaExprObjC.cpp.

References clang::Sema::Diag(), clang::Type::getAs(), clang::ObjCMethodDecl::getBeginLoc(), clang::Selector::getMethodFamily(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), clang::Type::isExtVectorType(), clang::Type::isRecordType(), clang::Type::isUnionType(), clang::Type::isVectorType(), clang::OMF_performSelector, and Ret().

◆ CheckObjCBridgeCFCast()

template<typename TB >

static bool CheckObjCBridgeCFCast	(	Sema &	S,
		QualType	castType,
		Expr *	castExpr,
		bool &	HadTheAttribute,
		bool	warn
	)

static

◆ CheckObjCBridgeNSCast()

template<typename TB >

static bool CheckObjCBridgeNSCast	(	Sema &	S,
		QualType	castType,
		Expr *	castExpr,
		bool &	HadTheAttribute,
		bool	warn
	)

static

◆ CheckObjCCollectionLiteralElement()

static ExprResult CheckObjCCollectionLiteralElement	(	Sema &	S,
		Expr *	Element,
		QualType	T,
		bool	ArrayLiteral = `false`
	)

static

Check that the given expression is a valid element of an Objective-C collection literal.

Definition at line 386 of file SemaExprObjC.cpp.

References clang::Sema::BuildObjCNumericLiteral(), clang::Sema::BuildObjCStringLiteral(), clang::Sema::CheckPlaceholderExpr(), clang::Sema::Context, clang::InitializationKind::CreateCopy(), clang::FixItHint::CreateInsertion(), clang::Sema::DefaultLvalueConversion(), clang::Sema::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Stmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::StringLiteral::getString(), clang::Expr::getType(), clang::InitializedEntity::InitializeParameter(), clang::Type::isBlockPointerType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isObjCObjectPointerType(), clang::Type::isRecordType(), clang::Expr::isTypeDependent(), clang::Sema::NSAPIObj, and clang::Sema::PerformCopyInitialization().

◆ CheckObjCDictionaryLiteralDuplicateKeys()

static void CheckObjCDictionaryLiteralDuplicateKeys	(	Sema &	S,
		ObjCDictionaryLiteral *	Literal
	)

static

Check for duplicate keys in an ObjC dictionary literal.

For instance: NSDictionary *nd = "foo" : @"bar", @"foo" : @"baz" };

Definition at line 900 of file SemaExprObjC.cpp.

References clang::Sema::Diag(), End, clang::Expr::EvaluateAsInt(), clang::Sema::getASTContext(), clang::APValue::getInt(), clang::ObjCDictionaryLiteral::getKeyValueElement(), clang::ObjCDictionaryLiteral::getNumElements(), clang::Expr::IgnoreParenImpCasts(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::ObjCDictionaryElement::Key, clang::Expr::SE_AllowSideEffects, and clang::Expr::EvalResult::Val.

◆ classifyTypeForARCConversion()

static ARCConversionTypeClass classifyTypeForARCConversion ( QualType type )

static

Definition at line 3464 of file SemaExprObjC.cpp.

References ACTC_coreFoundation, ACTC_indirectRetainable, ACTC_none, ACTC_retainable, ACTC_voidPtr, clang::Type::getAs(), clang::Type::getAsArrayTypeUnsafe(), clang::Type::getPointeeType(), clang::Type::isObjCARCBridgableType(), clang::Type::isRecordType(), and clang::Type::isVoidType().

Referenced by clang::Sema::CheckObjCBridgeRelatedCast(), clang::Sema::CheckObjCBridgeRelatedConversions(), clang::Sema::CheckObjCConversion(), clang::Sema::CheckTollFreeBridgeCast(), clang::Sema::CheckTollFreeBridgeStaticCast(), and clang::Sema::diagnoseARCUnbridgedCast().

◆ ClassKindFromLiteralKind()

static NSAPI::NSClassIdKindKind ClassKindFromLiteralKind ( Sema::ObjCLiteralKind LiteralKind )

static

Maps ObjCLiteralKind to NSClassIdKindKind.

Definition at line 170 of file SemaExprObjC.cpp.

References clang::NSAPI::ClassId_NSArray, clang::NSAPI::ClassId_NSDictionary, clang::NSAPI::ClassId_NSNumber, clang::NSAPI::ClassId_NSString, clang::NSAPI::ClassId_NSValue, clang::Sema::LK_Array, clang::Sema::LK_Block, clang::Sema::LK_Boxed, clang::Sema::LK_Dictionary, clang::Sema::LK_None, clang::Sema::LK_Numeric, and clang::Sema::LK_String.

◆ DiagnoseCStringFormatDirectiveInObjCAPI()

static void DiagnoseCStringFormatDirectiveInObjCAPI	(	Sema &	S,
		ObjCMethodDecl *	Method,
		Selector	Sel,
		Expr **	Args,
		unsigned	NumArgs
	)

static

Diagnose use of s directive in an NSString which is being passed as formatting string to formatting method.

Definition at line 2530 of file SemaExprObjC.cpp.

References clang::Sema::Diag(), clang::Sema::FormatStringHasSArg(), clang::NamedDecl::getDeclName(), clang::Expr::getExprLoc(), clang::Sema::GetFormatNSStringIdx(), clang::Decl::getLocation(), clang::StringLiteral::getString(), clang::Selector::getStringFormatFamily(), clang::Expr::IgnoreParenImpCasts(), clang::SFF_NSString, and clang::Decl::specific_attrs().

◆ DiagnoseMismatchedSelectors()

static void DiagnoseMismatchedSelectors	(	Sema &	S,
		SourceLocation	AtLoc,
		ObjCMethodDecl *	Method,
		SourceLocation	LParenLoc,
		SourceLocation	RParenLoc,
		bool	WarnMultipleSelectors
	)

static

Definition at line 1206 of file SemaExprObjC.cpp.

Referenced by clang::Sema::ParseObjCSelectorExpression().

◆ diagnoseObjCARCConversion()

static void diagnoseObjCARCConversion	(	Sema &	S,
		SourceRange	castRange,
		QualType	castType,
		ARCConversionTypeClass	castACTC,
		Expr *	castExpr,
		Expr *	realCast,
		ARCConversionTypeClass	exprACTC,
		Sema::CheckedConversionKind	CCK
	)

static

◆ findExplicitInstancetypeDeclarer()

static const ObjCMethodDecl* findExplicitInstancetypeDeclarer	(	const ObjCMethodDecl *	MD,
		QualType	instancetype
	)

static

Look for an ObjC method whose result type exactly matches the given type.

Definition at line 1613 of file SemaExprObjC.cpp.

References clang::Decl::getDeclContext(), clang::ObjCContainerDecl::getMethod(), clang::ObjCMethodDecl::getOverriddenMethods(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), and clang::ObjCMethodDecl::isInstanceMethod().

◆ findMethodInCurrentClass()

static ObjCMethodDecl* findMethodInCurrentClass	(	Sema &	S,
		Selector	Sel
	)

static

Definition at line 1272 of file SemaExprObjC.cpp.

Referenced by clang::Sema::ParseObjCSelectorExpression().

◆ getBaseMessageSendResultType()

static QualType getBaseMessageSendResultType	(	Sema &	S,
		QualType	ReceiverType,
		ObjCMethodDecl *	Method,
		bool	isClassMessage,
		bool	isSuperMessage
	)

static

Determine the result type of a message send based on the receiver type, method, and the kind of message send.

This is the "base" result type, which will still need to be adjusted to account for nullability.

Definition at line 1451 of file SemaExprObjC.cpp.

Referenced by clang::Sema::getMessageSendResultType().

◆ getNSNumberFactoryMethod()

static ObjCMethodDecl* getNSNumberFactoryMethod	(	Sema &	S,
		SourceLocation	Loc,
		QualType	NumberType,
		bool	isLiteral = `false`,
		SourceRange	R = `SourceRange()`
	)

static

Retrieve the NSNumber factory method that should be used to create an Objective-C literal for the given type.

Definition at line 242 of file SemaExprObjC.cpp.

◆ getObjCBridgeAttr()

template<typename T >

static T* getObjCBridgeAttr ( const TypedefType * TD )

inlinestatic

Definition at line 3839 of file SemaExprObjC.cpp.

References clang::Type::getAs(), clang::TypedefType::getDecl(), clang::RecordDecl::getMostRecentDecl(), clang::Type::getPointeeType(), clang::TypedefNameDecl::getUnderlyingType(), and clang::Type::isPointerType().

◆ HelperToDiagnoseMismatchedMethodsInGlobalPool()

static bool HelperToDiagnoseMismatchedMethodsInGlobalPool	(	Sema &	S,
		SourceLocation	AtLoc,
		SourceLocation	LParenLoc,
		SourceLocation	RParenLoc,
		ObjCMethodDecl *	Method,
		ObjCMethodList &	MethList
	)

static

Definition at line 1175 of file SemaExprObjC.cpp.

◆ isAnyCLike()

static bool isAnyCLike ( ARCConversionTypeClass ACTC )

static

Definition at line 3458 of file SemaExprObjC.cpp.

References ACTC_coreFoundation, ACTC_none, and ACTC_voidPtr.

Referenced by clang::Sema::CheckObjCConversion().

◆ isAnyRetainable()

static bool isAnyRetainable ( ARCConversionTypeClass ACTC )

static

Definition at line 3452 of file SemaExprObjC.cpp.

References ACTC_coreFoundation, ACTC_retainable, and ACTC_voidPtr.

Referenced by diagnoseObjCARCConversion().

◆ isMethodDeclaredInRootProtocol()

static bool isMethodDeclaredInRootProtocol	(	Sema &	S,
		const ObjCMethodDecl *	M
	)

static

Definition at line 2781 of file SemaExprObjC.cpp.

References clang::NSAPI::ClassId_NSObject, clang::Decl::getDeclContext(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupSingleName(), clang::Sema::NSAPIObj, P, and clang::Sema::TUScope.

◆ LookupDirectMethodInGlobalPool()

static ObjCMethodDecl* LookupDirectMethodInGlobalPool	(	Sema &	S,
		Selector	Sel,
		bool &	onlyDirect,
		bool &	anyDirect
	)

static

Definition at line 1257 of file SemaExprObjC.cpp.

Referenced by clang::Sema::ParseObjCSelectorExpression().

◆ LookupDirectMethodInMethodList()

static ObjCMethodDecl* LookupDirectMethodInMethodList	(	Sema &	S,
		Selector	Sel,
		ObjCMethodList &	MethList,
		bool &	onlyDirect,
		bool &	anyDirect
	)

static

Definition at line 1231 of file SemaExprObjC.cpp.

◆ LookupObjCInterfaceDeclForLiteral()

static ObjCInterfaceDecl* LookupObjCInterfaceDeclForLiteral	(	Sema &	S,
		SourceLocation	Loc,
		Sema::ObjCLiteralKind	LiteralKind
	)

static

Looks up ObjCInterfaceDecl of a given NSClassIdKindKind.

Used to create ObjC literals, such as NSDictionary (}), NSArray (@[]) and Boxed Expressions (@())

Definition at line 218 of file SemaExprObjC.cpp.

Referenced by clang::Sema::BuildObjCArrayLiteral(), and clang::Sema::BuildObjCDictionaryLiteral().

◆ maybeUndoReclaimObject()

static Expr* maybeUndoReclaimObject ( Expr * e )

static

Look for an ObjCReclaimReturnedObject cast and destroy it.

Definition at line 4592 of file SemaExprObjC.cpp.

Referenced by clang::Sema::BuildObjCBridgedCast().

◆ ObjCBridgeRelatedAttrFromType()

static ObjCBridgeRelatedAttr* ObjCBridgeRelatedAttrFromType	(	QualType	T,
		TypedefNameDecl *&	TDNDecl
	)

static

Definition at line 3851 of file SemaExprObjC.cpp.

References clang::QualType::getTypePtr(), and clang::TypedefNameDecl::getUnderlyingType().

Referenced by clang::Sema::checkObjCBridgeRelatedComponents(), and diagnoseObjCARCConversion().

◆ RemoveSelectorFromWarningCache()

static void RemoveSelectorFromWarningCache	(	Sema &	S,
		Expr *	Arg
	)

static

Definition at line 3391 of file SemaExprObjC.cpp.

References clang::Expr::IgnoreParenCasts(), and clang::Sema::ReferencedSelectors.

◆ stripObjCInstanceType()

static QualType stripObjCInstanceType	(	ASTContext &	Context,
		QualType	T
	)

static

Definition at line 1427 of file SemaExprObjC.cpp.

◆ validateBoxingMethod()

static bool validateBoxingMethod	(	Sema &	S,
		SourceLocation	Loc,
		const ObjCInterfaceDecl *	Class,
		Selector	Sel,
		const ObjCMethodDecl *	Method
	)

static

Emits an error if the given method does not exist, or if the return type is not an Objective-C object.

Definition at line 147 of file SemaExprObjC.cpp.

◆ ValidateObjCLiteralInterfaceDecl()

static bool ValidateObjCLiteralInterfaceDecl	(	Sema &	S,
		ObjCInterfaceDecl *	Decl,
		SourceLocation	Loc,
		Sema::ObjCLiteralKind	LiteralKind
	)

static

Validates ObjCInterfaceDecl availability.

ObjCInterfaceDecl, used to create ObjC literals, should be defined if clang not in a debugger mode.

Definition at line 196 of file SemaExprObjC.cpp.

Enumerations

Functions

Enumeration Type Documentation

◆ ACCResult

◆ ARCConversionTypeClass

Function Documentation

◆ addFixitForObjCARCConversion()

◆ applyCocoaAPICheck()

◆ checkCocoaAPI()

◆ checkFoundationAPI()

◆ CheckObjCBridgeCFCast()

◆ CheckObjCBridgeNSCast()

◆ CheckObjCCollectionLiteralElement()

◆ CheckObjCDictionaryLiteralDuplicateKeys()

◆ classifyTypeForARCConversion()

◆ ClassKindFromLiteralKind()

◆ DiagnoseCStringFormatDirectiveInObjCAPI()

◆ DiagnoseMismatchedSelectors()

◆ diagnoseObjCARCConversion()

◆ findExplicitInstancetypeDeclarer()

◆ findMethodInCurrentClass()

◆ getBaseMessageSendResultType()

◆ getNSNumberFactoryMethod()

◆ getObjCBridgeAttr()

◆ HelperToDiagnoseMismatchedMethodsInGlobalPool()

◆ isAnyCLike()

◆ isAnyRetainable()

◆ isMethodDeclaredInRootProtocol()

◆ LookupDirectMethodInGlobalPool()

◆ LookupDirectMethodInMethodList()

◆ LookupObjCInterfaceDeclForLiteral()

◆ maybeUndoReclaimObject()

◆ ObjCBridgeRelatedAttrFromType()

◆ RemoveSelectorFromWarningCache()

◆ stripObjCInstanceType()

◆ validateBoxingMethod()

◆ ValidateObjCLiteralInterfaceDecl()