#include "clang/Sema/SemaInternal.h"
#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/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 "llvm/ADT/SmallString.h"

Include dependency graph for SemaExprObjC.cpp:

Enumerations
enum	ARCConversionTypeClass { ACTC_none, ACTC_retainable, ACTC_indirectRetainable, ACTC_voidPtr, ACTC_coreFoundation }
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.
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.
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 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 QualType	stripObjCInstanceType (ASTContext &Context, QualType T)
static const ObjCMethodDecl *	findExplicitInstancetypeDeclarer (const ObjCMethodDecl *MD, QualType instancetype)
	Look for an ObjC method whose result type exactly matches the given type.
static void	DiagnoseARCUseOfWeakReceiver (Sema &S, Expr *Receiver)
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	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 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.

Enumeration Type Documentation

enum ACCResult

A result from the cast checker.

Definition at line 2915 of file SemaExprObjC.cpp.

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

Function Documentation

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]`

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

Definition at line 2022 of file SemaExprObjC.cpp.

Referenced by checkCocoaAPI().

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

Definition at line 2061 of file SemaExprObjC.cpp.

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

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

template<typename TB >

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

Definition at line 3459 of file SemaExprObjC.cpp.

References clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAsObjCInterfacePointerType(), clang::LookupResult::getFoundDecl(), clang::Decl::getLocStart(), clang::Stmt::getLocStart(), clang::TypeDecl::getLocStart(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::QualType::getTypePtr(), clang::TypedefNameDecl::getUnderlyingType(), clang::Type::isObjCIdType(), clang::ObjCInterfaceDecl::isSuperClassOf(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::ASTContext::QIdProtocolsAdoptObjCObjectProtocols(), and clang::Sema::TUScope.

template<typename TB >

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

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 329 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::Sema::getLangOpts(), clang::Stmt::getLocStart(), 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().

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

static void DiagnoseARCUseOfWeakReceiver	(	Sema &	S,
		Expr *	Receiver
	)		`[static]`

Definition at line 1510 of file SemaExprObjC.cpp.

References clang::Sema::Diag(), clang::ObjCMethodDecl::findPropertyDecl(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::Selector::getNumArgs(), clang::QualType::getObjCLifetime(), clang::ObjCPropertyDecl::getPropertyAttributes(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), clang::Expr::getType(), clang::ObjCPropertyDecl::getType(), clang::Expr::IgnoreParenImpCasts(), clang::ObjCPropertyDecl::OBJC_PR_weak, and clang::Qualifiers::OCL_Weak.

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

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 2069 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().

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

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

Definition at line 1012 of file SemaExprObjC.cpp.

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

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

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

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

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

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

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

References clang::NSAPI::ClassId_NSNumber, clang::Sema::Context, clang::ObjCMethodDecl::Create(), clang::ObjCInterfaceDecl::Create(), clang::ParmVarDecl::Create(), clang::Sema::Diag(), clang::IdentifierTable::get(), clang::Sema::getLangOpts(), clang::ASTContext::getObjCInterfaceType(), clang::ASTContext::getObjCObjectPointerType(), clang::ASTContext::getTranslationUnitDecl(), clang::ObjCInterfaceDecl::hasDefinition(), clang::ASTContext::Idents, clang::tok::isLiteral(), clang::ObjCInterfaceDecl::lookupClassMethod(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupSingleName(), clang::Sema::NSAPIObj, clang::Sema::NSNumberDecl, clang::Sema::NSNumberLiteralMethods, clang::Sema::NSNumberPointer, clang::ObjCMethodDecl::Required, clang::SC_None, clang::ObjCMethodDecl::setMethodParams(), clang::Sema::TUScope, and validateBoxingMethod().

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

template<typename T >

static T* getObjCBridgeAttr ( const TypedefType * TD ) [inline, static]

Definition at line 3245 of file SemaExprObjC.cpp.

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

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