#include "clang/APINotes/APINotesReader.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Lex/Lexer.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/SemaObjC.h"
#include "clang/Sema/SemaSwift.h"
#include <stack>
#include "clang/Basic/AttrList.inc"

Macros
#define	ATTR(X)

Functions
static bool	isIndirectPointerType (QualType Type)
	Determine whether this is a multi-level pointer type.

static void	applyNullability (Sema &S, Decl *D, NullabilityKind Nullability, VersionedInfoMetadata Metadata)
	Apply nullability to the given declaration.

static StringRef	ASTAllocateString (ASTContext &Ctx, StringRef String)
	Copy a string into ASTContext-allocated memory.

static AttributeCommonInfo	getPlaceholderAttrInfo ()

template<typename A >
static void	handleAPINotedRetainCountAttribute (Sema &S, Decl *D, bool ShouldAddAttribute, VersionedInfoMetadata Metadata)

static void	handleAPINotedRetainCountConvention (Sema &S, Decl *D, VersionedInfoMetadata Metadata, std::optional< api_notes::RetainCountConventionKind > Convention)

static void	ProcessAPINotes (Sema &S, Decl *D, const api_notes::CommonEntityInfo &Info, VersionedInfoMetadata Metadata)

static void	ProcessAPINotes (Sema &S, Decl *D, const api_notes::CommonTypeInfo &Info, VersionedInfoMetadata Metadata)

static bool	checkAPINotesReplacementType (Sema &S, SourceLocation Loc, QualType OrigType, QualType ReplacementType)
	Check that the replacement type provided by API notes is reasonable.

static void	ProcessAPINotes (Sema &S, Decl *D, const api_notes::VariableInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a variable or property.

static void	ProcessAPINotes (Sema &S, ParmVarDecl *D, const api_notes::ParamInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a parameter.

static void	ProcessAPINotes (Sema &S, VarDecl *D, const api_notes::GlobalVariableInfo &Info, VersionedInfoMetadata metadata)
	Process API notes for a global variable.

static void	ProcessAPINotes (Sema &S, FieldDecl *D, const api_notes::FieldInfo &Info, VersionedInfoMetadata metadata)
	Process API notes for a C field.

static void	ProcessAPINotes (Sema &S, ObjCPropertyDecl *D, const api_notes::ObjCPropertyInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for an Objective-C property.

static void	ProcessAPINotes (Sema &S, FunctionOrMethod AnyFunc, const api_notes::FunctionInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a function or method.

static void	ProcessAPINotes (Sema &S, CXXMethodDecl *Method, const api_notes::CXXMethodInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a C++ method.

static void	ProcessAPINotes (Sema &S, FunctionDecl *D, const api_notes::GlobalFunctionInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a global function.

static void	ProcessAPINotes (Sema &S, EnumConstantDecl *D, const api_notes::EnumConstantInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for an enumerator.

static void	ProcessAPINotes (Sema &S, ObjCMethodDecl *D, const api_notes::ObjCMethodInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for an Objective-C method.

static void	ProcessAPINotes (Sema &S, TagDecl *D, const api_notes::TagInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a tag.

static void	ProcessAPINotes (Sema &S, TypedefNameDecl *D, const api_notes::TypedefInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for a typedef.

static void	ProcessAPINotes (Sema &S, ObjCContainerDecl *D, const api_notes::ContextInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for an Objective-C class or protocol.

static void	ProcessAPINotes (Sema &S, ObjCInterfaceDecl *D, const api_notes::ContextInfo &Info, VersionedInfoMetadata Metadata)
	Process API notes for an Objective-C class.

template<typename SpecificInfo >
static void	maybeAttachUnversionedSwiftName (Sema &S, Decl *D, const api_notes::APINotesReader::VersionedInfo< SpecificInfo > Info)
	If we're applying API notes with an active, non-default version, and the versioned API notes have a SwiftName but the declaration normally wouldn't have one, add a removal attribute to make it clear that the new SwiftName attribute only applies to the active version of `D`, not to all versions.

template<typename SpecificDecl , typename SpecificInfo >
static void	ProcessVersionedAPINotes (Sema &S, SpecificDecl *D, const api_notes::APINotesReader::VersionedInfo< SpecificInfo > Info)
	Processes all versions of versioned API notes.

static std::optional< api_notes::Context >	UnwindNamespaceContext (DeclContext *DC, api_notes::APINotesManager &APINotes)

static std::optional< api_notes::Context >	UnwindTagContext (TagDecl *DC, api_notes::APINotesManager &APINotes)

Macro Definition Documentation

◆ ATTR

#define ATTR ( X )

Value:

  template <> struct AttrKindFor<X##Attr> {                                    \
    static const attr::Kind value = attr::X;                                   \
  };

Definition at line 130 of file SemaAPINotes.cpp.

Function Documentation

◆ applyNullability()

static void applyNullability	(	Sema &	S,
		Decl *	D,
		NullabilityKind	Nullability,
		VersionedInfoMetadata	Metadata
	)

static

Apply nullability to the given declaration.

Definition at line 53 of file SemaAPINotes.cpp.

References clang::Sema::CheckImplicitNullabilityTypeSpecifier(), clang::Sema::Context, D, clang::Function, clang::FunctionType::getExtInfo(), clang::ASTContext::getFunctionNoProtoType(), clang::ASTContext::getFunctionType(), clang::Decl::getLocation(), clang::Value::getType(), isIndirectPointerType(), clang::ObjCPropertyAttribute::kind_null_resettable, clang::Decl::OBJC_TQ_CSNullability, and clang::Property.

Referenced by ProcessAPINotes().

◆ ASTAllocateString()

static StringRef ASTAllocateString	(	ASTContext &	Ctx,
		StringRef	String
	)

static

Copy a string into ASTContext-allocated memory.

Definition at line 113 of file SemaAPINotes.cpp.

References clang::ASTContext::Allocate(), and memcpy().

Referenced by ProcessAPINotes().

◆ checkAPINotesReplacementType()

static bool checkAPINotesReplacementType	(	Sema &	S,
		SourceLocation	Loc,
		QualType	OrigType,
		QualType	ReplacementType
	)

static

Check that the replacement type provided by API notes is reasonable.

This is a very weak form of ABI check.

Definition at line 349 of file SemaAPINotes.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getTypeSize(), and Loc.

Referenced by ProcessAPINotes().

◆ getPlaceholderAttrInfo()

static AttributeCommonInfo getPlaceholderAttrInfo ( )

static

Definition at line 119 of file SemaAPINotes.cpp.

References clang::AttributeCommonInfo::AS_GNU, and clang::AttributeCommonInfo::UnknownAttribute.

Referenced by handleAPINotedRetainCountAttribute(), and ProcessAPINotes().

◆ handleAPINotedRetainCountAttribute()

template<typename A >

static void handleAPINotedRetainCountAttribute	(	Sema &	S,
		Decl *	D,
		bool	ShouldAddAttribute,
		VersionedInfoMetadata	Metadata
	)

static

Definition at line 197 of file SemaAPINotes.cpp.

References clang::Decl::attrs(), clang::Sema::Context, D, and getPlaceholderAttrInfo().

◆ handleAPINotedRetainCountConvention()

static void handleAPINotedRetainCountConvention	(	Sema &	S,
		Decl *	D,
		VersionedInfoMetadata	Metadata,
		std::optional< api_notes::RetainCountConventionKind >	Convention
	)

static

Definition at line 216 of file SemaAPINotes.cpp.

References D.

Referenced by ProcessAPINotes().

◆ isIndirectPointerType()

static bool isIndirectPointerType ( QualType Type )

static

Determine whether this is a multi-level pointer type.

Definition at line 43 of file SemaAPINotes.cpp.

References clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), clang::Type::isMemberPointerType(), clang::QualType::isNull(), and clang::Type::isObjCObjectPointerType().

Referenced by applyNullability().

◆ maybeAttachUnversionedSwiftName()

template<typename SpecificInfo >

static void maybeAttachUnversionedSwiftName	(	Sema &	S,
		Decl *	D,
		const api_notes::APINotesReader::VersionedInfo< SpecificInfo >	Info
	)

static

If we're applying API notes with an active, non-default version, and the versioned API notes have a SwiftName but the declaration normally wouldn't have one, add a removal attribute to make it clear that the new SwiftName attribute only applies to the active version of D, not to all versions.

This must be run before processing API notes for D, because otherwise any existing SwiftName attribute will have been packaged up in a SwiftVersionedAdditionAttr.

Definition at line 738 of file SemaAPINotes.cpp.

References D, clang::api_notes::APINotesReader::VersionedInfo< T >::getSelected(), and clang::Decl::hasAttr().

Referenced by ProcessVersionedAPINotes().