#include "TypeLocBuilder.h"
#include "clang/APINotes/APINotesReader.h"
#include "clang/APINotes/Types.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Analysis/Analyses/LifetimeSafety/LifetimeAnnotations.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Lex/Lexer.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	applyAPINotesType (Sema &S, Decl *decl, StringRef typeString, VersionedInfoMetadata metadata)
static void	applyNullability (Sema &S, Decl *decl, 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 129 of file SemaAPINotes.cpp.

Function Documentation

◆ applyAPINotesType()

void applyAPINotesType	(	Sema &	S,
		Decl *	decl,
		StringRef	typeString,
		VersionedInfoMetadata	metadata )

static

Definition at line 56 of file SemaAPINotes.cpp.

References clang::Sema::ApplyAPINotesType(), clang::Sema::captureSwiftVersionIndependentAPINotes(), clang::Sema::Context, and clang::ast_matchers::decl.

Referenced by ProcessAPINotes().

◆ applyNullability()

void applyNullability	(	Sema &	S,
		Decl *	decl,
		NullabilityKind	nullability,
		VersionedInfoMetadata	metadata )

static

Apply nullability to the given declaration.

Definition at line 77 of file SemaAPINotes.cpp.

References clang::Sema::ApplyNullability(), clang::Sema::captureSwiftVersionIndependentAPINotes(), clang::Sema::Context, clang::ast_matchers::decl, clang::NonNull, clang::Nullable, clang::NullableResult, and clang::Unspecified.

Referenced by ProcessAPINotes(), and ProcessAPINotes().

◆ ASTAllocateString()

StringRef ASTAllocateString	(	ASTContext &	Ctx,
		StringRef	String )

static

Copy a string into ASTContext-allocated memory.

Definition at line 112 of file SemaAPINotes.cpp.

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

Referenced by ProcessAPINotes().

◆ checkAPINotesReplacementType()

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 374 of file SemaAPINotes.cpp.

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

Referenced by clang::Sema::ApplyAPINotesType(), and ProcessAPINotes().

◆ getPlaceholderAttrInfo()

AttributeCommonInfo getPlaceholderAttrInfo ( )

static

Definition at line 118 of file SemaAPINotes.cpp.

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

Referenced by handleAPINotedRetainCountAttribute(), ProcessAPINotes(), ProcessAPINotes(), ProcessAPINotes(), ProcessAPINotes(), ProcessAPINotes(), ProcessAPINotes(), and ProcessAPINotes().

◆ handleAPINotedRetainCountAttribute()

template<typename A>

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

static

Definition at line 196 of file SemaAPINotes.cpp.

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

Referenced by handleAPINotedRetainCountConvention().

◆ handleAPINotedRetainCountConvention()

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

static

Definition at line 215 of file SemaAPINotes.cpp.

References clang::api_notes::CFReturnsNotRetained, clang::api_notes::CFReturnsRetained, handleAPINotedRetainCountAttribute(), clang::isa(), clang::api_notes::None, clang::api_notes::NSReturnsNotRetained, and clang::api_notes::NSReturnsRetained.

Referenced by ProcessAPINotes(), and ProcessAPINotes().

◆ isIndirectPointerType()

bool isIndirectPointerType ( QualType Type )

static

Determine whether this is a multi-level pointer type.

Definition at line 47 of file SemaAPINotes.cpp.

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

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

◆ maybeAttachUnversionedSwiftName()

template<typename SpecificInfo>

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 854 of file SemaAPINotes.cpp.

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

Referenced by ProcessVersionedAPINotes().