#include "clang/AST/ASTContext.h"
#include "clang/AST/Availability.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/Basic/TargetInfo.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/SemaObjC.h"
#include "llvm/Support/ConvertUTF.h"
#include <optional>

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.

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

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

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

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

static ObjCMethodDecl *	getNSNumberFactoryMethod (SemaObjC &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.

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.

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

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.

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

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.

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

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

static bool	isAnyRetainable (ARCConversionTypeClass ACTC)

static bool	isAnyCLike (ARCConversionTypeClass ACTC)

static ARCConversionTypeClass	classifyTypeForARCConversion (QualType type)

template<typename DiagBuilderT >
static void	addFixitForObjCARCConversion (Sema &S, DiagBuilderT &DiagB, 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, 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.

Enumeration Type Documentation

◆ 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 3442 of file SemaExprObjC.cpp.

Function Documentation

◆ addFixitForObjCARCConversion()

template<typename DiagBuilderT >

static void addFixitForObjCARCConversion	(	Sema &	S,
		DiagBuilderT &	DiagB,
		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 2449 of file SemaExprObjC.cpp.

Referenced by checkCocoaAPI().

◆ checkCocoaAPI()

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

static

Definition at line 2488 of file SemaExprObjC.cpp.

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

Referenced by clang::SemaObjC::BuildClassMessage(), and clang::SemaObjC::BuildInstanceMessage().

◆ checkFoundationAPI()

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

static

Definition at line 2493 of file SemaExprObjC.cpp.

References clang::SemaBase::Diag(), clang::Type::getAs(), clang::ObjCMethodDecl::getBeginLoc(), clang::Selector::getMethodFamily(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), Loc, and clang::OMF_performSelector.

Referenced by clang::SemaObjC::BuildClassMessage(), and clang::SemaObjC::BuildInstanceMessage().

◆ CheckObjCBridgeCFCast()

template<typename TB >

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

static

Definition at line 4066 of file SemaExprObjC.cpp.

References clang::ast_matchers::castExpr, clang::Sema::Context, clang::SemaBase::Diag(), clang::Type::getAs(), clang::TypeDecl::getBeginLoc(), clang::LookupResult::getFoundDecl(), clang::TypedefNameDecl::getUnderlyingType(), clang::ObjCInterfaceDecl::isSuperClassOf(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::ASTContext::QIdProtocolsAdoptObjCObjectProtocols(), clang::T, and clang::Sema::TUScope.

◆ CheckObjCBridgeNSCast()

template<typename TB >

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

static

Definition at line 4003 of file SemaExprObjC.cpp.

References clang::ast_matchers::castExpr, clang::Sema::Context, clang::SemaBase::Diag(), clang::Type::getAs(), clang::Type::getAsObjCInterfacePointerType(), clang::TypeDecl::getBeginLoc(), clang::LookupResult::getFoundDecl(), clang::Type::getPointeeType(), clang::TypedefNameDecl::getUnderlyingType(), clang::Type::isObjCIdType(), clang::ObjCInterfaceDecl::isSuperClassOf(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::ASTContext::ObjCObjectAdoptsQTypeProtocols(), clang::T, and clang::Sema::TUScope.

◆ 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 392 of file SemaExprObjC.cpp.

References clang::SemaObjC::BuildObjCNumericLiteral(), clang::SemaObjC::BuildObjCStringLiteral(), clang::Sema::CheckPlaceholderExpr(), clang::Sema::Context, clang::InitializationKind::CreateCopy(), clang::FixItHint::CreateInsertion(), clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ExprError(), clang::Stmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::StringLiteral::getString(), clang::Expr::getType(), clang::InitializedEntity::InitializeParameter(), clang::SemaObjC::NSAPIObj, clang::Sema::ObjC(), clang::Sema::PerformCopyInitialization(), clang::Result, clang::Seq, and clang::T.

Referenced by clang::SemaObjC::BuildObjCArrayLiteral().

◆ 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 903 of file SemaExprObjC.cpp.

References clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::Sema::getASTContext(), clang::Expr::IgnoreParenImpCasts(), Loc, clang::Result, and clang::Expr::SE_AllowSideEffects.

◆ classifyTypeForARCConversion()

static ARCConversionTypeClass classifyTypeForARCConversion ( QualType type )

static

Definition at line 3471 of file SemaExprObjC.cpp.

References ACTC_coreFoundation, ACTC_indirectRetainable, ACTC_none, ACTC_retainable, ACTC_voidPtr, and clang::ast_matchers::type.

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

◆ ClassKindFromLiteralKind()

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

static

Maps ObjCLiteralKind to NSClassIdKindKind.

Definition at line 176 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::SemaObjC::LK_Array, clang::SemaObjC::LK_Block, clang::SemaObjC::LK_Boxed, clang::SemaObjC::LK_Dictionary, clang::SemaObjC::LK_None, clang::SemaObjC::LK_Numeric, and clang::SemaObjC::LK_String.

Referenced by LookupObjCInterfaceDeclForLiteral(), and ValidateObjCLiteralInterfaceDecl().

◆ 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 2542 of file SemaExprObjC.cpp.

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

Referenced by clang::SemaObjC::BuildClassMessage(), and clang::SemaObjC::BuildInstanceMessage().

◆ DiagnoseMismatchedSelectors()

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

static

Definition at line 1209 of file SemaExprObjC.cpp.

References b, clang::Sema::Diags, HelperToDiagnoseMismatchedMethodsInGlobalPool(), clang::DiagnosticsEngine::isIgnored(), clang::SemaObjC::MethodPool, and clang::Sema::ObjC().

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

◆ diagnoseObjCARCConversion()

static void diagnoseObjCARCConversion	(	Sema &	S,
		SourceRange	castRange,
		QualType	castType,
		ARCConversionTypeClass	castACTC,
		Expr *	castExpr,
		Expr *	realCast,
		ARCConversionTypeClass	exprACTC,
		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 1623 of file SemaExprObjC.cpp.

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

Referenced by clang::SemaObjC::EmitRelatedResultTypeNoteForReturn(), and findExplicitInstancetypeDeclarer().

◆ findMethodInCurrentClass()

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

static

Definition at line 1276 of file SemaExprObjC.cpp.

References clang::Sema::getCurMethodDecl(), clang::ObjCInterfaceDecl::lookupMethod(), and clang::ObjCInterfaceDecl::lookupPrivateMethod().

Referenced by clang::SemaObjC::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 1460 of file SemaExprObjC.cpp.

References clang::Class, clang::Sema::Context, clang::Type::getAsObjCInterfaceType(), clang::ASTContext::getAttributedType(), clang::Sema::getCurMethodDecl(), clang::Type::getNullability(), clang::ASTContext::getObjCInterfaceType(), clang::ASTContext::getObjCObjectPointerType(), clang::ObjCMethodDecl::getSendResultType(), clang::ObjCMethodDecl::hasRelatedResultType(), clang::ObjCMethodDecl::isInstanceMethod(), clang::Type::isObjCClassType(), clang::Type::isObjCQualifiedClassType(), stripObjCInstanceType(), clang::AttributedType::stripOuterNullability(), and clang::ast_matchers::type.

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

◆ getNSNumberFactoryMethod()

static ObjCMethodDecl * getNSNumberFactoryMethod	(	SemaObjC &	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 248 of file SemaExprObjC.cpp.

References clang::Sema::Context, clang::ParmVarDecl::Create(), clang::ObjCMethodDecl::Create(), clang::SemaBase::Diag(), clang::IdentifierTable::get(), clang::Sema::getLangOpts(), clang::ASTContext::getObjCInterfaceType(), clang::ASTContext::getObjCObjectPointerType(), clang::ASTContext::Idents, clang::SemaObjC::LK_Numeric, Loc, LookupObjCInterfaceDeclForLiteral(), clang::Required, clang::SC_None, clang::SemaBase::SemaRef, clang::ObjCMethodDecl::setMethodParams(), and validateBoxingMethod().

Referenced by clang::SemaObjC::BuildObjCBoxedExpr(), and clang::SemaObjC::BuildObjCNumericLiteral().

◆ getObjCBridgeAttr()

template<typename T >

static T * getObjCBridgeAttr ( const TypedefType * TD )

inlinestatic

Definition at line 3843 of file SemaExprObjC.cpp.

References clang::ast_matchers::attr, clang::Type::getAs(), clang::TypedefType::getDecl(), clang::Type::getPointeeType(), clang::TypedefNameDecl::getUnderlyingType(), clang::Type::isPointerType(), and clang::T.

◆ HelperToDiagnoseMismatchedMethodsInGlobalPool()

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