#include "TypeLocBuilder.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/ASTStructuralEquivalence.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/Expr.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/TypeLocVisitor.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/DelayedDiagnostic.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateInstCallback.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringSwitch.h"
#include "llvm/Support/ErrorHandling.h"
#include "clang/Basic/OpenCLImageTypes.def"

Include dependency graph for SemaType.cpp:

Macros
#define	OBJC_POINTER_TYPE_ATTRS_CASELIST

#define	CALLING_CONV_ATTRS_CASELIST

#define	FUNCTION_TYPE_ATTRS_CASELIST

#define	MS_TYPE_ATTRS_CASELIST

#define	NULLABILITY_TYPE_ATTRS_CASELIST

#define	GENERIC_IMAGE_TYPE(ImgType, Id)

#define	IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix)

Enumerations
enum	TypeDiagSelector { TDS_Function, TDS_Pointer, TDS_ObjCObjOrBlock }

enum	TypeAttrLocation { TAL_DeclSpec, TAL_DeclChunk, TAL_DeclName }
	The location of a type attribute. More...

enum	QualifiedFunctionKind
	Kinds of declarator that cannot contain a qualified function type. More...

enum	SimplePointerKind
	A simple notion of pointer kinds, which matches up with the various pointer declarators. More...

enum	PointerDeclaratorKind
	Describes the kind of a pointer a declarator describes. More...

enum	PointerWrappingDeclaratorKind
	Describes a declarator chunk wrapping a pointer that marks inference as unexpected. More...

Functions
static bool	isOmittedBlockReturnType (const Declarator &D)
	isOmittedBlockReturnType - Return true if this declarator is missing a return type because this is a omitted return type on a block literal. More...

static void	diagnoseBadTypeAttribute (Sema &S, const AttributeList &attr, QualType type)
	diagnoseBadTypeAttribute - Diagnoses a type attribute which doesn't apply to the given type. More...

static void	spliceAttrIntoList (AttributeList &attr, AttributeList *&head)

static void	spliceAttrOutOfList (AttributeList &attr, AttributeList *&head)

static void	moveAttrFromListToList (AttributeList &attr, AttributeList &fromList, AttributeList &toList)

static void	processTypeAttrs (TypeProcessingState &state, QualType &type, TypeAttrLocation TAL, AttributeList *attrs)

static bool	handleFunctionTypeAttr (TypeProcessingState &state, AttributeList &attr, QualType &type)
	Process an individual function attribute. More...

static bool	handleMSPointerTypeQualifierAttr (TypeProcessingState &state, AttributeList &attr, QualType &type)

static bool	handleObjCGCTypeAttr (TypeProcessingState &state, AttributeList &attr, QualType &type)
	handleObjCGCTypeAttr - Process the attribute((objc_gc)) type attribute on the specified type. More...

static bool	handleObjCOwnershipTypeAttr (TypeProcessingState &state, AttributeList &attr, QualType &type)
	handleObjCOwnershipTypeAttr - Process an objc_ownership attribute on the specified type. More...

static bool	handleObjCPointerTypeAttr (TypeProcessingState &state, AttributeList &attr, QualType &type)

static DeclaratorChunk *	maybeMovePastReturnType (Declarator &declarator, unsigned i, bool onlyBlockPointers)
	Given the index of a declarator chunk, check whether that chunk directly specifies the return type of a function and, if so, find an appropriate place for it. More...

static void	distributeObjCPointerTypeAttr (TypeProcessingState &state, AttributeList &attr, QualType type)
	Given that an objc_gc attribute was written somewhere on a declaration other than on the declarator itself (for which, use distributeObjCPointerTypeAttrFromDeclarator), and given that it didn't apply in whatever position it was written in, try to move it to a more appropriate position. More...

static void	distributeObjCPointerTypeAttrFromDeclarator (TypeProcessingState &state, AttributeList &attr, QualType &declSpecType)
	Distribute an objc_gc type attribute that was written on the declarator. More...

static void	distributeFunctionTypeAttr (TypeProcessingState &state, AttributeList &attr, QualType type)
	A function type attribute was written somewhere in a declaration other than on the declarator itself or in the decl spec. More...

static bool	distributeFunctionTypeAttrToInnermost (TypeProcessingState &state, AttributeList &attr, AttributeList *&attrList, QualType &declSpecType)
	Try to distribute a function type attribute to the innermost function chunk or type. More...

static void	distributeFunctionTypeAttrFromDeclSpec (TypeProcessingState &state, AttributeList &attr, QualType &declSpecType)
	A function type attribute was written in the decl spec. More...

static void	distributeFunctionTypeAttrFromDeclarator (TypeProcessingState &state, AttributeList &attr, QualType &declSpecType)
	A function type attribute was written on the declarator. More...

static void	distributeTypeAttrsFromDeclarator (TypeProcessingState &state, QualType &declSpecType)
	Given that there are attributes written on the declarator itself, try to distribute any type attributes to the appropriate declarator chunk. More...

static void	maybeSynthesizeBlockSignature (TypeProcessingState &state, QualType declSpecType)
	Add a synthetic '()' to a block-literal declarator if it is required, given the return type. More...

static void	diagnoseAndRemoveTypeQualifiers (Sema &S, const DeclSpec &DS, unsigned &TypeQuals, QualType TypeSoFar, unsigned RemoveTQs, unsigned DiagID)

static bool	checkOmittedBlockReturnType (Sema &S, Declarator &declarator, QualType Result)
	Return true if this is omitted block return type. More...

static QualType	applyObjCTypeArgs (Sema &S, SourceLocation loc, QualType type, ArrayRef< TypeSourceInfo *> typeArgs, SourceRange typeArgsRange, bool failOnError=false)
	Apply Objective-C type arguments to the given type. More...

static OpenCLAccessAttr::Spelling	getImageAccess (const AttributeList *Attrs)

static QualType	ConvertDeclSpecToType (TypeProcessingState &state)
	Convert the specified declspec to the appropriate type object. More...

static std::string	getPrintableNameForEntity (DeclarationName Entity)

static QualType	inferARCLifetimeForPointee (Sema &S, QualType type, SourceLocation loc, bool isReference)
	Given that we're building a pointer or reference to the given. More...

static std::string	getFunctionQualifiersAsString (const FunctionProtoType *FnTy)

static bool	checkQualifiedFunction (Sema &S, QualType T, SourceLocation Loc, QualifiedFunctionKind QFK)
	Check whether the type T is a qualified function type, and if it is, diagnose that it cannot be contained within the given kind of declarator. More...

static bool	isArraySizeVLA (Sema &S, Expr *ArraySize, llvm::APSInt &SizeVal)
	Check whether the specified array size makes the array type a VLA. More...

static void	checkExtParameterInfos (Sema &S, ArrayRef< QualType > paramTypes, const FunctionProtoType::ExtProtoInfo &EPI, llvm::function_ref< SourceLocation(unsigned)> getParamLoc)
	Check the extended parameter information. More...

static void	transferARCOwnershipToDeclaratorChunk (TypeProcessingState &state, Qualifiers::ObjCLifetime ownership, unsigned chunkIndex)

static void	inferARCWriteback (TypeProcessingState &state, QualType &declSpecType)
	Given that this is the declaration of a parameter under ARC, attempt to infer attributes and such for pointer-to-whatever types. More...

static void	diagnoseRedundantReturnTypeQualifiers (Sema &S, QualType RetTy, Declarator &D, unsigned FunctionChunkIndex)

static QualType	GetDeclSpecTypeForDeclarator (TypeProcessingState &state, TypeSourceInfo *&ReturnTypeInfo)

static void	warnAboutAmbiguousFunction (Sema &S, Declarator &D, DeclaratorChunk &DeclType, QualType RT)
	Produce an appropriate diagnostic for an ambiguity between a function declarator and a C++ direct-initializer. More...

static void	warnAboutRedundantParens (Sema &S, Declarator &D, QualType T)
	Produce an appropriate diagnostic for a declarator with top-level parentheses. More...

static CallingConv	getCCForDeclaratorChunk (Sema &S, Declarator &D, const DeclaratorChunk::FunctionTypeInfo &FTI, unsigned ChunkIndex)
	Helper for figuring out the default CC for a function declarator type. More...

static bool	hasNullabilityAttr (const AttributeList *attrs)
	Check whether there is a nullability attribute of any kind in the given attribute list. More...

static PointerDeclaratorKind	classifyPointerDeclarator (Sema &S, QualType type, Declarator &declarator, PointerWrappingDeclaratorKind &wrappingKind)
	Classify the given declarator, whose type-specified is `type`, based on what kind of pointer it refers to. More...

static FileID	getNullabilityCompletenessCheckFileID (Sema &S, SourceLocation loc)

static void	fixItNullability (Sema &S, DiagnosticBuilder &Diag, SourceLocation PointerLoc, NullabilityKind Nullability)
	Creates a fix-it to insert a C-style nullability keyword at `pointerLoc`, taking into account whitespace before and after. More...

static void	emitNullabilityConsistencyWarning (Sema &S, SimplePointerKind PointerKind, SourceLocation PointerLoc, SourceLocation PointerEndLoc)

static void	checkNullabilityConsistency (Sema &S, SimplePointerKind pointerKind, SourceLocation pointerLoc, SourceLocation pointerEndLoc=SourceLocation())
	Complains about missing nullability if the file containing `pointerLoc` has other uses of nullability (either the keywords or the `assume_nonnull` pragma). More...

static void	recordNullabilitySeen (Sema &S, SourceLocation loc)
	Marks that a nullability feature has been used in the file containing `loc`. More...

static bool	hasOuterPointerLikeChunk (const Declarator &D, unsigned endIndex)
	Returns true if any of the declarator chunks before `endIndex` include a level of indirection: array, pointer, reference, or pointer-to-member. More...

static TypeSourceInfo *	GetFullTypeForDeclarator (TypeProcessingState &state, QualType declSpecType, TypeSourceInfo *TInfo)

static void	transferARCOwnershipToDeclSpec (Sema &S, QualType &declSpecTy, Qualifiers::ObjCLifetime ownership)

static void	transferARCOwnership (TypeProcessingState &state, QualType &declSpecTy, Qualifiers::ObjCLifetime ownership)
	Used for transferring ownership in casts resulting in l-values. More...

static AttributeList::Kind	getAttrListKind (AttributedType::Kind kind)
	Map an AttributedType::Kind to an AttributeList::Kind. More...

static void	fillAttributedTypeLoc (AttributedTypeLoc TL, const AttributeList attrs, const AttributeList DeclAttrs=nullptr)

static void	fillAtomicQualLoc (AtomicTypeLoc ATL, const DeclaratorChunk &Chunk)

static void	fillDependentAddressSpaceTypeLoc (DependentAddressSpaceTypeLoc DASTL, const AttributeList *Attrs)

static void	HandleAddressSpaceTypeAttribute (QualType &Type, const AttributeList &Attr, Sema &S)
	HandleAddressSpaceTypeAttribute - Process an address_space attribute on the specified type. More...

static bool	hasDirectOwnershipQualifier (QualType type)
	Does this type have a "direct" ownership qualifier? That is, is it written like "__strong id", as opposed to something like "typeof(foo)", where that happens to be strong? More...

static NullabilityKind	mapNullabilityAttrKind (AttributeList::Kind kind)
	Map a nullability attribute kind to a nullability kind. More...

static bool	distributeNullabilityTypeAttr (TypeProcessingState &state, QualType type, AttributeList &attr)
	Distribute a nullability type attribute that cannot be applied to the type specifier to a pointer, block pointer, or member pointer declarator, complaining if necessary. More...

static AttributedType::Kind	getCCTypeAttrKind (AttributeList &Attr)

static void	HandleVectorSizeAttr (QualType &CurType, const AttributeList &Attr, Sema &S)
	HandleVectorSizeAttribute - this attribute is only applicable to integral and float scalars, although arrays, pointers, and function return values are allowed in conjunction with this construct. More...

static void	HandleExtVectorTypeAttr (QualType &CurType, const AttributeList &Attr, Sema &S)
	Process the OpenCL-like ext_vector_type attribute when it occurs on a type. More...

static bool	isPermittedNeonBaseType (QualType &Ty, VectorType::VectorKind VecKind, Sema &S)

static void	HandleNeonVectorTypeAttr (QualType &CurType, const AttributeList &Attr, Sema &S, VectorType::VectorKind VecKind)
	HandleNeonVectorTypeAttr - The "neon_vector_type" and "neon_polyvector_type" attributes are used to create vector types that are mangled according to ARM's ABI. More...

static void	HandleOpenCLAccessAttr (QualType &CurType, const AttributeList &Attr, Sema &S)
	Handle OpenCL Access Qualifier Attribute. More...

static void	deduceOpenCLImplicitAddrSpace (TypeProcessingState &State, QualType &T, TypeAttrLocation TAL)

static void	assignInheritanceModel (Sema &S, CXXRecordDecl *RD)
	Locks in the inheritance model for the given class and all of its bases. More...

static unsigned	getLiteralDiagFromTagKind (TagTypeKind Tag)
	Get diagnostic select index for tag kind for literal type diagnostic message. More...

static QualType	getDecltypeForExpr (Sema &S, Expr *E)
	getDecltypeForExpr - Given an expr, will return the decltype for that expression, according to the rules in C++11 [dcl.type.simple]p4 and C++11 [expr.lambda.prim]p18. More...

Macro Definition Documentation

◆ CALLING_CONV_ATTRS_CASELIST

#define CALLING_CONV_ATTRS_CASELIST

Value:

case AttributeList::AT_CDecl: \
    case AttributeList::AT_FastCall: \
    case AttributeList::AT_StdCall: \
    case AttributeList::AT_ThisCall: \
    case AttributeList::AT_RegCall: \
    case AttributeList::AT_Pascal: \
    case AttributeList::AT_SwiftCall: \
    case AttributeList::AT_VectorCall: \
    case AttributeList::AT_MSABI: \
    case AttributeList::AT_SysVABI: \
    case AttributeList::AT_Pcs: \
    case AttributeList::AT_IntelOclBicc: \
    case AttributeList::AT_PreserveMost: \
    case AttributeList::AT_PreserveAll

Definition at line 106 of file SemaType.cpp.

Referenced by getCCForDeclaratorChunk().

◆ FUNCTION_TYPE_ATTRS_CASELIST

#define FUNCTION_TYPE_ATTRS_CASELIST

Value:

case AttributeList::AT_NSReturnsRetained: \
  case AttributeList::AT_NoReturn: \
  case AttributeList::AT_Regparm: \
  case AttributeList::AT_AnyX86NoCallerSavedRegisters: \
  case AttributeList::AT_AnyX86NoCfCheck: \
    CALLING_CONV_ATTRS_CASELIST

Definition at line 123 of file SemaType.cpp.

Referenced by distributeTypeAttrsFromDeclarator(), and processTypeAttrs().

◆ GENERIC_IMAGE_TYPE

#define GENERIC_IMAGE_TYPE	(	ImgType,
		Id
	)

Value:

case DeclSpec::TST_##ImgType##_t: \
    switch (getImageAccess(DS.getAttributes().getList())) { \
    case OpenCLAccessAttr::Keyword_write_only: \
      Result = Context.Id##WOTy; break; \
    case OpenCLAccessAttr::Keyword_read_write: \
      Result = Context.Id##RWTy; break; \
    case OpenCLAccessAttr::Keyword_read_only: \
      Result = Context.Id##ROTy; break; \
    } \
    break;

◆ IMAGE_TYPE

#define IMAGE_TYPE	(	ImgType,
		Id,
		SingletonId,
		Access,
		Suffix
	)

Value:

case BuiltinType::Id:                                          \
      PrevAccessQual = #Access;                                    \
      break;

◆ MS_TYPE_ATTRS_CASELIST

#define MS_TYPE_ATTRS_CASELIST

Value:

case AttributeList::AT_Ptr32: \
    case AttributeList::AT_Ptr64: \
    case AttributeList::AT_SPtr: \
    case AttributeList::AT_UPtr

Definition at line 132 of file SemaType.cpp.

Referenced by distributeTypeAttrsFromDeclarator(), and processTypeAttrs().

◆ NULLABILITY_TYPE_ATTRS_CASELIST

#define NULLABILITY_TYPE_ATTRS_CASELIST

Value:

case AttributeList::AT_TypeNonNull:         \
    case AttributeList::AT_TypeNullable:        \
    case AttributeList::AT_TypeNullUnspecified

Definition at line 139 of file SemaType.cpp.

Referenced by distributeTypeAttrsFromDeclarator(), and processTypeAttrs().

◆ OBJC_POINTER_TYPE_ATTRS_CASELIST

#define OBJC_POINTER_TYPE_ATTRS_CASELIST

Value:

case AttributeList::AT_ObjCGC: \

case AttributeList::AT_ObjCOwnership

Definition at line 101 of file SemaType.cpp.

Referenced by distributeTypeAttrsFromDeclarator(), and processTypeAttrs().

Enumeration Type Documentation

◆ PointerDeclaratorKind

enum PointerDeclaratorKind

strong

Describes the kind of a pointer a declarator describes.

Definition at line 3454 of file SemaType.cpp.

◆ PointerWrappingDeclaratorKind

enum PointerWrappingDeclaratorKind

strong

Describes a declarator chunk wrapping a pointer that marks inference as unexpected.

Definition at line 3472 of file SemaType.cpp.

◆ QualifiedFunctionKind

enum QualifiedFunctionKind

Kinds of declarator that cannot contain a qualified function type.

C++98 [dcl.fct]p4 / C++11 [dcl.fct]p6: a function type with a cv-qualifier or a ref-qualifier can only appear at the topmost level of a type.

Parens and member pointers are permitted. We don't diagnose array and function declarators, because they don't allow function types at all.

The values of this enum are used in diagnostics.

Definition at line 1906 of file SemaType.cpp.

◆ SimplePointerKind

enum SimplePointerKind

strong

A simple notion of pointer kinds, which matches up with the various pointer declarators.

Definition at line 3402 of file SemaType.cpp.

◆ TypeAttrLocation

enum TypeAttrLocation

The location of a type attribute.

Enumerator
TAL_DeclSpec	The attribute is in the decl-specifier-seq.
TAL_DeclChunk	The attribute is part of a DeclaratorChunk.
TAL_DeclName	The attribute is immediately after the declaration's name.

Definition at line 287 of file SemaType.cpp.

◆ TypeDiagSelector

enum TypeDiagSelector

Enumerator
TDS_Function
TDS_Pointer
TDS_ObjCObjOrBlock

Definition at line 42 of file SemaType.cpp.

Function Documentation

◆ applyObjCTypeArgs()

static QualType applyObjCTypeArgs	(	Sema &	S,
		SourceLocation	loc,
		QualType	type,
		ArrayRef< TypeSourceInfo *>	typeArgs,
		SourceRange	typeArgsRange,
		bool	failOnError = `false`
	)

static

Apply Objective-C type arguments to the given type.

Definition at line 798 of file SemaType.cpp.

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

◆ assignInheritanceModel()

static void assignInheritanceModel	(	Sema &	S,
		CXXRecordDecl *	RD
	)

static

Locks in the inheritance model for the given class and all of its bases.

Definition at line 7614 of file SemaType.cpp.

References clang::Decl::addAttr(), clang::ASTConsumer::AssignInheritanceModel(), clang::CXXRecordDecl::calculateInheritanceModel(), clang::Sema::Consumer, clang::Type::getAs(), clang::Sema::getASTContext(), clang::CXXRecordDecl::getMostRecentNonInjectedDecl(), clang::TagDecl::getSourceRange(), clang::Decl::hasAttr(), clang::Sema::ImplicitMSInheritanceAttrLoc, clang::SourceLocation::isValid(), clang::Sema::MSPointerToMemberRepresentationMethod, clang::LangOptions::PPTMK_BestCase, clang::LangOptions::PPTMK_FullGeneralityMultipleInheritance, clang::LangOptions::PPTMK_FullGeneralitySingleInheritance, clang::LangOptions::PPTMK_FullGeneralityVirtualInheritance, and clang::T.

◆ checkExtParameterInfos()

static void checkExtParameterInfos	(	Sema &	S,
		ArrayRef< QualType >	paramTypes,
		const FunctionProtoType::ExtProtoInfo &	EPI,
		llvm::function_ref< SourceLocation(unsigned)>	getParamLoc
	)

static

Check the extended parameter information.

Most of the necessary checking should occur when applying the parameter attribute; the only other checks required are positional restrictions.

Definition at line 2375 of file SemaType.cpp.

◆ checkNullabilityConsistency()

static void checkNullabilityConsistency	(	Sema &	S,
		SimplePointerKind	pointerKind,
		SourceLocation	pointerLoc,
		SourceLocation	pointerEndLoc = `SourceLocation()`
	)

static

Complains about missing nullability if the file containing pointerLoc has other uses of nullability (either the keywords or the assume_nonnull pragma).

If the file has not seen other uses of nullability, this particular pointer is saved for possible later diagnosis. See recordNullabilitySeen().

Definition at line 3746 of file SemaType.cpp.

References clang::Sema::Context, emitNullabilityConsistencyWarning(), clang::ASTContext::getDiagnostics(), getNullabilityCompletenessCheckFileID(), clang::DiagnosticsEngine::isIgnored(), clang::FileID::isInvalid(), clang::SourceLocation::isInvalid(), clang::Sema::NullabilityMap, clang::FileNullability::PointerEndLoc, clang::FileNullability::PointerKind, clang::FileNullability::PointerLoc, and clang::FileNullability::SawTypeNullability.

◆ checkOmittedBlockReturnType()

static bool checkOmittedBlockReturnType	(	Sema &	S,
		Declarator &	declarator,
		QualType	Result
	)

static

Return true if this is omitted block return type.

Also check type attributes and type qualifiers when returning true.

Definition at line 758 of file SemaType.cpp.

◆ checkQualifiedFunction()

static bool checkQualifiedFunction	(	Sema &	S,
		QualType	T,
		SourceLocation	Loc,
		QualifiedFunctionKind	QFK
	)

static

Check whether the type T is a qualified function type, and if it is, diagnose that it cannot be contained within the given kind of declarator.

Definition at line 1911 of file SemaType.cpp.

Referenced by clang::Sema::BuildBlockPointerType(), and clang::Sema::BuildPointerType().

◆ classifyPointerDeclarator()

static PointerDeclaratorKind classifyPointerDeclarator	(	Sema &	S,
		QualType	type,
		Declarator &	declarator,
		PointerWrappingDeclaratorKind &	wrappingKind
	)

static

Classify the given declarator, whose type-specified is type, based on what kind of pointer it refers to.

This is used to determine the default nullability.

Definition at line 3487 of file SemaType.cpp.

◆ ConvertDeclSpecToType()

static QualType ConvertDeclSpecToType ( TypeProcessingState & state )

static

Convert the specified declspec to the appropriate type object.

Parameters

state Specifies the declarator containing the declaration specifier to be converted, along with other associated processing state.

Returns: The type described by the declaration specifiers. This function never returns null.

Definition at line 1234 of file SemaType.cpp.

Referenced by GetDeclSpecTypeForDeclarator().

◆ deduceOpenCLImplicitAddrSpace()

static void deduceOpenCLImplicitAddrSpace	(	TypeProcessingState &	State,
		QualType &	T,
		TypeAttrLocation	TAL
	)

static

◆ diagnoseAndRemoveTypeQualifiers()

static void diagnoseAndRemoveTypeQualifiers	(	Sema &	S,
		const DeclSpec &	DS,
		unsigned &	TypeQuals,
		QualType	TypeSoFar,
		unsigned	RemoveTQs,
		unsigned	DiagID
	)

static

Definition at line 730 of file SemaType.cpp.

◆ diagnoseBadTypeAttribute()

static void diagnoseBadTypeAttribute	(	Sema &	S,
		const AttributeList &	attr,
		QualType	type
	)

static

diagnoseBadTypeAttribute - Diagnoses a type attribute which doesn't apply to the given type.

Definition at line 67 of file SemaType.cpp.

Referenced by distributeFunctionTypeAttr(), and distributeObjCPointerTypeAttr().

◆ diagnoseRedundantReturnTypeQualifiers()

static void diagnoseRedundantReturnTypeQualifiers	(	Sema &	S,
		QualType	RetTy,
		Declarator &	D,
		unsigned	FunctionChunkIndex
	)

static

Definition at line 2714 of file SemaType.cpp.

◆ distributeFunctionTypeAttr()

static void distributeFunctionTypeAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType	type
	)

static

A function type attribute was written somewhere in a declaration other than on the declarator itself or in the decl spec.

Given that it didn't apply in whatever position it was written in, try to move it to a more appropriate position.

Definition at line 519 of file SemaType.cpp.

References clang::DeclaratorChunk::Array, clang::DeclaratorChunk::BlockPointer, diagnoseBadTypeAttribute(), clang::DeclaratorChunk::Function, clang::DeclaratorChunk::getAttrListRef(), clang::Declarator::getTypeObject(), clang::DeclaratorChunk::Kind, clang::DeclaratorChunk::MemberPointer, moveAttrFromListToList(), clang::DeclaratorChunk::Paren, clang::DeclaratorChunk::Pipe, clang::DeclaratorChunk::Pointer, clang::DeclaratorChunk::Reference, and clang::ast_matchers::type.

Referenced by processTypeAttrs().

◆ distributeFunctionTypeAttrFromDeclarator()

static void distributeFunctionTypeAttrFromDeclarator	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	declSpecType
	)

static

A function type attribute was written on the declarator.

Try to apply it somewhere.

Definition at line 601 of file SemaType.cpp.

References distributeFunctionTypeAttrToInnermost(), clang::Declarator::getAttrListRef(), and spliceAttrOutOfList().

Referenced by distributeTypeAttrsFromDeclarator().

◆ distributeFunctionTypeAttrFromDeclSpec()

static void distributeFunctionTypeAttrFromDeclSpec	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	declSpecType
	)

static

A function type attribute was written in the decl spec.

Try to apply it somewhere.

Definition at line 573 of file SemaType.cpp.

References distributeFunctionTypeAttrToInnermost(), clang::AttributeList::isCXX11Attribute(), and moveAttrFromListToList().

Referenced by processTypeAttrs().

◆ distributeFunctionTypeAttrToInnermost()

static bool distributeFunctionTypeAttrToInnermost	(	TypeProcessingState &	state,
		AttributeList &	attr,
		AttributeList *&	attrList,
		QualType &	declSpecType
	)

static

Try to distribute a function type attribute to the innermost function chunk or type.

Returns true if the attribute was distributed, false if no location was found.

Definition at line 552 of file SemaType.cpp.

References clang::DeclaratorChunk::Function, clang::DeclaratorChunk::getAttrListRef(), clang::Declarator::getNumTypeObjects(), clang::Declarator::getTypeObject(), handleFunctionTypeAttr(), clang::DeclaratorChunk::Kind, and moveAttrFromListToList().

Referenced by distributeFunctionTypeAttrFromDeclarator(), and distributeFunctionTypeAttrFromDeclSpec().

◆ distributeNullabilityTypeAttr()

static bool distributeNullabilityTypeAttr	(	TypeProcessingState &	state,
		QualType	type,
		AttributeList &	attr
	)

static

Distribute a nullability type attribute that cannot be applied to the type specifier to a pointer, block pointer, or member pointer declarator, complaining if necessary.

Returns: true if the nullability annotation was distributed, false otherwise.

Attempt to move the attribute to the specified chunk.

Definition at line 6552 of file SemaType.cpp.

Referenced by processTypeAttrs().

◆ distributeObjCPointerTypeAttr()

static void distributeObjCPointerTypeAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType	type
	)

static

Given that an objc_gc attribute was written somewhere on a declaration other than on the declarator itself (for which, use distributeObjCPointerTypeAttrFromDeclarator), and given that it didn't apply in whatever position it was written in, try to move it to a more appropriate position.

Definition at line 399 of file SemaType.cpp.

Referenced by processTypeAttrs().

◆ distributeObjCPointerTypeAttrFromDeclarator()

static void distributeObjCPointerTypeAttrFromDeclarator	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	declSpecType
	)

static

Distribute an objc_gc type attribute that was written on the declarator.

Definition at line 457 of file SemaType.cpp.

Referenced by distributeTypeAttrsFromDeclarator().

◆ distributeTypeAttrsFromDeclarator()

static void distributeTypeAttrsFromDeclarator	(	TypeProcessingState &	state,
		QualType &	declSpecType
	)

static

Given that there are attributes written on the declarator itself, try to distribute any type attributes to the appropriate declarator chunk.

These are attributes like the following: int f ATTR; int (f ATTR)(); but not necessarily this: int f() ATTR;

Definition at line 627 of file SemaType.cpp.

References distributeFunctionTypeAttrFromDeclarator(), distributeObjCPointerTypeAttrFromDeclarator(), FUNCTION_TYPE_ATTRS_CASELIST, clang::AttributeList::getNext(), MS_TYPE_ATTRS_CASELIST, NULLABILITY_TYPE_ATTRS_CASELIST, and OBJC_POINTER_TYPE_ATTRS_CASELIST.

Referenced by GetDeclSpecTypeForDeclarator().

◆ emitNullabilityConsistencyWarning()

static void emitNullabilityConsistencyWarning	(	Sema &	S,
		SimplePointerKind	PointerKind,
		SourceLocation	PointerLoc,
		SourceLocation	PointerEndLoc
	)

static

Definition at line 3712 of file SemaType.cpp.

References Diag(), clang::Sema::Diag(), fixItNullability(), clang::SourceLocation::isValid(), clang::NonNull, and clang::Nullable.

Referenced by checkNullabilityConsistency(), and recordNullabilitySeen().

◆ fillAtomicQualLoc()

static void fillAtomicQualLoc	(	AtomicTypeLoc	ATL,
		const DeclaratorChunk &	Chunk
	)

static

Definition at line 5596 of file SemaType.cpp.

◆ fillAttributedTypeLoc()

static void fillAttributedTypeLoc	(	AttributedTypeLoc	TL,
		const AttributeList *	attrs,
		const AttributeList *	DeclAttrs = `nullptr`
	)

static

◆ fillDependentAddressSpaceTypeLoc()

static void fillDependentAddressSpaceTypeLoc	(	DependentAddressSpaceTypeLoc	DASTL,
		const AttributeList *	Attrs
	)

static

Definition at line 5620 of file SemaType.cpp.

References clang::AttributeList::getArgAsExpr(), clang::AttributeList::getKind(), clang::AttributeList::getLoc(), clang::AttributeList::getNext(), clang::DependentAddressSpaceTypeLoc::setAttrExprOperand(), clang::DependentAddressSpaceTypeLoc::setAttrNameLoc(), and clang::DependentAddressSpaceTypeLoc::setAttrOperandParensRange().

◆ fixItNullability()

static void fixItNullability	(	Sema &	S,
		DiagnosticBuilder &	Diag,
		SourceLocation	PointerLoc,
		NullabilityKind	Nullability
	)

static

Creates a fix-it to insert a C-style nullability keyword at pointerLoc, taking into account whitespace before and after.

Definition at line 3677 of file SemaType.cpp.

References clang::FixItHint::CreateInsertion(), clang::SourceManager::getCharacterData(), clang::Sema::getLocForEndOfToken(), clang::getNullabilitySpelling(), clang::isIdentifierBody(), clang::SourceLocation::isMacroID(), clang::SourceLocation::isValid(), clang::isWhitespace(), and clang::Sema::SourceMgr.

Referenced by emitNullabilityConsistencyWarning().

◆ getAttrListKind()

static AttributeList::Kind getAttrListKind ( AttributedType::Kind kind )

static

Map an AttributedType::Kind to an AttributeList::Kind.

Definition at line 5193 of file SemaType.cpp.

Referenced by fillAttributedTypeLoc(), and handleMSPointerTypeQualifierAttr().

◆ getCCForDeclaratorChunk()

static CallingConv getCCForDeclaratorChunk	(	Sema &	S,
		Declarator &	D,
		const DeclaratorChunk::FunctionTypeInfo &	FTI,
		unsigned	ChunkIndex
	)

static

Helper for figuring out the default CC for a function declarator type.

If this is the outermost chunk, then we can determine the CC from the declarator context. If not, then this could be either a member function type or normal function type.

Definition at line 3318 of file SemaType.cpp.

References clang::DeclaratorChunk::TypeInfoCommon::AttrList, CALLING_CONV_ATTRS_CASELIST, clang::Sema::CheckCallingConvAttr(), clang::DeclaratorChunk::Function, clang::Attr::getKind(), clang::Sema::getLangOpts(), clang::Declarator::getTypeObject(), clang::DeclaratorChunk::FunctionTypeInfo::isVariadic, clang::DeclaratorChunk::Kind, and clang::supportsVariadicCall().

◆ getCCTypeAttrKind()

static AttributedType::Kind getCCTypeAttrKind ( AttributeList & Attr )

static

Definition at line 6634 of file SemaType.cpp.

Referenced by handleFunctionTypeAttr().

◆ GetDeclSpecTypeForDeclarator()

static QualType GetDeclSpecTypeForDeclarator	(	TypeProcessingState &	state,
		TypeSourceInfo *&	ReturnTypeInfo
	)

static

Definition at line 2784 of file SemaType.cpp.

Referenced by clang::Sema::GetTypeForDeclarator(), and clang::Sema::GetTypeForDeclaratorCast().

◆ getDecltypeForExpr()

static QualType getDecltypeForExpr	(	Sema &	S,
		Expr *	E
	)

static

getDecltypeForExpr - Given an expr, will return the decltype for that expression, according to the rules in C++11 [dcl.type.simple]p4 and C++11 [expr.lambda.prim]p18.

Definition at line 7988 of file SemaType.cpp.

◆ GetFullTypeForDeclarator()

static TypeSourceInfo* GetFullTypeForDeclarator	(	TypeProcessingState &	state,
		QualType	declSpecType,
		TypeSourceInfo *	TInfo
	)

static

Never complain.

Complain on the inner pointers (but not the outermost pointer).

Complain about any pointers that don't have nullability specified or inferred.

Definition at line 3840 of file SemaType.cpp.

References clang::T.

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

◆ getFunctionQualifiersAsString()

static std::string getFunctionQualifiersAsString ( const FunctionProtoType * FnTy )

static

Definition at line 1871 of file SemaType.cpp.

References clang::Qualifiers::fromCVRMask(), clang::getAsString(), clang::FunctionProtoType::getRefQualifier(), clang::FunctionProtoType::getTypeQuals(), clang::RQ_LValue, clang::RQ_None, and clang::RQ_RValue.

◆ getImageAccess()

static OpenCLAccessAttr::Spelling getImageAccess ( const AttributeList * Attrs )

static

Definition at line 1213 of file SemaType.cpp.

◆ getLiteralDiagFromTagKind()

static unsigned getLiteralDiagFromTagKind ( TagTypeKind Tag )

static

Get diagnostic select index for tag kind for literal type diagnostic message.

WARNING: Indexes apply to particular diagnostics only!

Returns: diagnostic select index.

Definition at line 7835 of file SemaType.cpp.

References clang::TTK_Class, clang::TTK_Interface, and clang::TTK_Struct.

◆ getNullabilityCompletenessCheckFileID()

static FileID getNullabilityCompletenessCheckFileID	(	Sema &	S,
		SourceLocation	loc
	)

static

Definition at line 3638 of file SemaType.cpp.

References clang::SrcMgr::C_User, clang::Sema::CurContext, clang::Sema::Diags, clang::SourceManager::getExpansionLoc(), clang::SrcMgr::SLocEntry::getFile(), clang::SrcMgr::FileInfo::getFileCharacteristic(), clang::SourceManager::getFileID(), clang::SrcMgr::FileInfo::getIncludeLoc(), clang::DeclContext::getParent(), clang::SourceManager::getSLocEntry(), clang::DiagnosticsEngine::getSuppressSystemWarnings(), clang::SrcMgr::SLocEntry::isFile(), clang::FileID::isInvalid(), clang::SourceLocation::isInvalid(), and clang::Sema::SourceMgr.

Referenced by checkNullabilityConsistency(), and recordNullabilitySeen().

◆ getPrintableNameForEntity()

static std::string getPrintableNameForEntity ( DeclarationName Entity )

static

Definition at line 1716 of file SemaType.cpp.

References clang::DeclarationName::getAsString().

Referenced by clang::Sema::BuildArrayType(), clang::Sema::BuildMemberPointerType(), and clang::Sema::BuildPointerType().

◆ HandleAddressSpaceTypeAttribute()

static void HandleAddressSpaceTypeAttribute	(	QualType &	Type,
		const AttributeList &	Attr,
		Sema &	S
	)

static

HandleAddressSpaceTypeAttribute - Process an address_space attribute on the specified type.

The attribute contains 1 argument, the id of the address space for the type.

Definition at line 5824 of file SemaType.cpp.

Referenced by processTypeAttrs().

◆ HandleExtVectorTypeAttr()

static void HandleExtVectorTypeAttr	(	QualType &	CurType,
		const AttributeList &	Attr,
		Sema &	S
	)

static

Process the OpenCL-like ext_vector_type attribute when it occurs on a type.

Definition at line 6982 of file SemaType.cpp.

References clang::Sema::ActOnIdExpression(), clang::Sema::BuildExtVectorType(), clang::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::AttributeList::getArgAsExpr(), clang::AttributeList::getArgAsIdent(), clang::Sema::getCurScope(), clang::AttributeList::getLoc(), clang::AttributeList::getName(), clang::AttributeList::getNumArgs(), clang::ast_matchers::id(), clang::IdentifierLoc::Ident, clang::AttributeList::isArgIdent(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::QualType::isNull(), and clang::T.

Referenced by processTypeAttrs().

◆ handleFunctionTypeAttr()

static bool handleFunctionTypeAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	type
	)

static

Process an individual function attribute.

Returns true to indicate that the attribute was handled, false if it wasn't.

Definition at line 6684 of file SemaType.cpp.

References clang::ASTContext::adjustFunctionType(), clang::AttributedType::attr_ns_returns_retained, clang::CC_X86FastCall, clang::CC_X86StdCall, clang::Sema::CheckAttrNoArgs(), clang::Sema::CheckAttrTarget(), clang::Sema::CheckCallingConvAttr(), clang::Sema::checkNSReturnsRetainedReturnType(), clang::Sema::CheckRegparmAttr(), clang::Sema::Context, clang::Sema::Diag(), clang::Equivalent, clang::ASTContext::getAttributedType(), clang::AttributedType::getAttrKind(), clang::FunctionType::getCallConv(), clang::Sema::getCallingConvAttributedType(), getCCTypeAttrKind(), clang::FunctionType::getHasRegParm(), clang::AttributeList::getKind(), clang::Sema::getLangOpts(), clang::AttributeList::getLoc(), clang::FunctionType::getNameForCallConv(), clang::AttributeList::getNumArgs(), clang::FunctionProtoType::isVariadic(), clang::AttributeList::setInvalid(), clang::supportsVariadicCall(), and clang::ast_matchers::type.

Referenced by distributeFunctionTypeAttrToInnermost(), and processTypeAttrs().

◆ handleMSPointerTypeQualifierAttr()

static bool handleMSPointerTypeQualifierAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	type
	)

static

Definition at line 6320 of file SemaType.cpp.

References clang::AttributedType::attr_ptr32, clang::AttributedType::attr_ptr64, clang::AttributedType::attr_sptr, clang::AttributedType::attr_uptr, clang::Sema::Context, clang::Sema::Diag(), clang::ASTContext::getAttributedType(), clang::AttributedType::getAttrKind(), getAttrListKind(), clang::AttributedType::getEquivalentType(), clang::AttributeList::getKind(), clang::AttributeList::getLoc(), clang::AttributeList::getName(), and clang::Type::isMemberPointerType().

Referenced by processTypeAttrs().

◆ HandleNeonVectorTypeAttr()

static void HandleNeonVectorTypeAttr	(	QualType &	CurType,
		const AttributeList &	Attr,
		Sema &	S,
		VectorType::VectorKind	VecKind
	)

static

HandleNeonVectorTypeAttr - The "neon_vector_type" and "neon_polyvector_type" attributes are used to create vector types that are mangled according to ARM's ABI.

Otherwise, these types are identical to those created with the "vector_size" attribute. Unlike "vector_size" the argument to these Neon attributes is the number of vector elements, not the vector size in bytes. The vector width and element type must match one of the standard Neon vector types.

Definition at line 7072 of file SemaType.cpp.

References clang::AANT_ArgumentIntegerConstant, clang::Sema::Context, clang::Sema::Diag(), clang::AttributeList::getArgAsExpr(), clang::AttributeList::getLoc(), clang::AttributeList::getName(), clang::AttributeList::getNumArgs(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::ASTContext::getTypeSize(), clang::ASTContext::getVectorType(), clang::TargetInfo::hasFeature(), clang::Expr::isIntegerConstantExpr(), isPermittedNeonBaseType(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), and clang::AttributeList::setInvalid().

Referenced by processTypeAttrs().

◆ handleObjCGCTypeAttr()

static bool handleObjCGCTypeAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	type
	)

static

handleObjCGCTypeAttr - Process the attribute((objc_gc)) type attribute on the specified type.

Returns true to indicate that the attribute was handled, false to indicate that the type does not permit the attribute.

Definition at line 6128 of file SemaType.cpp.

References clang::AANT_ArgumentString, clang::AttributedType::attr_objc_gc, clang::Sema::Context, Desugar(), clang::Sema::Diag(), clang::Qualifiers::GCNone, clang::AttributeList::getArgAsIdent(), clang::ASTContext::getAttributedType(), clang::AttributeList::getLoc(), clang::AttributeList::getName(), clang::AttributeList::getNumArgs(), clang::QualType::getObjCGCAttr(), clang::ASTContext::getObjCGCQualType(), clang::IdentifierLoc::Ident, clang::AttributeList::isArgIdent(), clang::Type::isBlockPointerType(), clang::Type::isObjCObjectPointerType(), clang::Type::isPointerType(), clang::IdentifierInfo::isStr(), clang::SourceLocation::isValid(), Pointer, clang::AttributeList::setInvalid(), clang::Qualifiers::Strong, clang::ast_matchers::type, and clang::Qualifiers::Weak.

Referenced by handleObjCPointerTypeAttr().

◆ handleObjCOwnershipTypeAttr()

static bool handleObjCOwnershipTypeAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	type
	)

static

handleObjCOwnershipTypeAttr - Process an objc_ownership attribute on the specified type.

Returns 'true' if the attribute was handled.

Definition at line 5941 of file SemaType.cpp.

Referenced by handleObjCPointerTypeAttr().

◆ handleObjCPointerTypeAttr()

static bool handleObjCPointerTypeAttr	(	TypeProcessingState &	state,
		AttributeList &	attr,
		QualType &	type
	)

static

Definition at line 314 of file SemaType.cpp.

References clang::AttributeList::getKind(), handleObjCGCTypeAttr(), and handleObjCOwnershipTypeAttr().

Referenced by distributeObjCPointerTypeAttrFromDeclarator(), and processTypeAttrs().

◆ HandleOpenCLAccessAttr()

static void HandleOpenCLAccessAttr	(	QualType &	CurType,
		const AttributeList &	Attr,
		Sema &	S
	)

static

Handle OpenCL Access Qualifier Attribute.

Definition at line 7120 of file SemaType.cpp.

References clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAs(), getKind(), clang::AttributeList::getLoc(), clang::AttributeList::getSemanticSpelling(), clang::QualType::getTypePtr(), clang::ASTContext::getWritePipeType(), clang::Type::isImageType(), clang::Type::isPipeType(), and clang::AttributeList::setInvalid().

Referenced by processTypeAttrs().

◆ HandleVectorSizeAttr()

static void HandleVectorSizeAttr	(	QualType &	CurType,
		const AttributeList &	Attr,
		Sema &	S
	)

static

HandleVectorSizeAttribute - this attribute is only applicable to integral and float scalars, although arrays, pointers, and function return values are allowed in conjunction with this construct.

Aggregates with this attribute are invalid, even if they are of the same size as a corresponding scalar. The raw attribute should contain precisely 1 argument, the vector size for the variable, measured in bytes. If curType and rawAttr are well formed, this routine will return a new vector type.

Definition at line 6923 of file SemaType.cpp.

References clang::AANT_ArgumentIntegerConstant, clang::Sema::Context, clang::Sema::Diag(), clang::VectorType::GenericVector, clang::AttributeList::getArgAsExpr(), clang::AttributeList::getLoc(), clang::AttributeList::getName(), clang::AttributeList::getNumArgs(), clang::Stmt::getSourceRange(), clang::ASTContext::getTypeSize(), clang::ASTContext::getVectorType(), clang::Type::isBooleanType(), clang::Type::isBuiltinType(), clang::Expr::isIntegerConstantExpr(), clang::Type::isIntegerType(), clang::Type::isRealFloatingType(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::VectorType::isVectorSizeTooLarge(), and clang::AttributeList::setInvalid().

Referenced by processTypeAttrs().

◆ hasDirectOwnershipQualifier()

static bool hasDirectOwnershipQualifier ( QualType type )

static

Does this type have a "direct" ownership qualifier? That is, is it written like "__strong id", as opposed to something like "typeof(foo)", where that happens to be strong?

Definition at line 5910 of file SemaType.cpp.

References clang::AttributedType::attr_objc_ownership, clang::QualType::getQualifiers(), and clang::Qualifiers::hasObjCLifetime().

Referenced by handleObjCOwnershipTypeAttr().

◆ hasNullabilityAttr()

static bool hasNullabilityAttr ( const AttributeList * attrs )

static

Check whether there is a nullability attribute of any kind in the given attribute list.

Definition at line 3440 of file SemaType.cpp.

References clang::AttributeList::getNext().

Referenced by distributeNullabilityTypeAttr().

◆ hasOuterPointerLikeChunk()

static bool hasOuterPointerLikeChunk	(	const Declarator &	D,
		unsigned	endIndex
	)

static

Returns true if any of the declarator chunks before endIndex include a level of indirection: array, pointer, reference, or pointer-to-member.

Because declarator chunks are stored in outer-to-inner order, testing every chunk before endIndex is testing all chunks that embed the current chunk as part of their type.

It is legal to pass the result of Declarator::getNumTypeObjects() as the end index, in which case all chunks are tested.

Definition at line 3816 of file SemaType.cpp.

References clang::DeclaratorChunk::Array, clang::DeclaratorChunk::BlockPointer, clang::DeclaratorChunk::Function, clang::Declarator::getTypeObject(), clang::DeclaratorChunk::Kind, clang::DeclaratorChunk::MemberPointer, clang::DeclaratorChunk::Paren, clang::DeclaratorChunk::Pipe, clang::DeclaratorChunk::Pointer, and clang::DeclaratorChunk::Reference.

Referenced by processTypeAttrs().

◆ inferARCLifetimeForPointee()

static QualType inferARCLifetimeForPointee	(	Sema &	S,
		QualType	type,
		SourceLocation	loc,
		bool	isReference
	)

static

Given that we're building a pointer or reference to the given.

Definition at line 1820 of file SemaType.cpp.

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

◆ inferARCWriteback()

static void inferARCWriteback	(	TypeProcessingState &	state,
		QualType &	declSpecType
	)

static

Given that this is the declaration of a parameter under ARC, attempt to infer attributes and such for pointer-to-whatever types.

Definition at line 2566 of file SemaType.cpp.

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

◆ isArraySizeVLA()

static bool isArraySizeVLA	(	Sema &	S,
		Expr *	ArraySize,
		llvm::APSInt &	SizeVal
	)

static

Check whether the specified array size makes the array type a VLA.

If so, return true, if not, return the size of the array in SizeVal.

Definition at line 2052 of file SemaType.cpp.

◆ isOmittedBlockReturnType()

static bool isOmittedBlockReturnType ( const Declarator & D )

static

isOmittedBlockReturnType - Return true if this declarator is missing a return type because this is a omitted return type on a block literal.

Definition at line 50 of file SemaType.cpp.

References clang::BlockLiteralContext, clang::DeclaratorChunk::Function, clang::Declarator::getContext(), clang::Declarator::getDeclSpec(), clang::Declarator::getNumTypeObjects(), clang::Declarator::getTypeObject(), clang::DeclSpec::hasTypeSpecifier(), and clang::DeclaratorChunk::Kind.

◆ isPermittedNeonBaseType()

static bool isPermittedNeonBaseType	(	QualType &	Ty,
		VectorType::VectorKind	VecKind,
		Sema &	S
	)

static

Definition at line 7017 of file SemaType.cpp.

References clang::Sema::Context, clang::Type::getAs(), clang::BuiltinType::getKind(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), and clang::VectorType::NeonPolyVector.

Referenced by HandleNeonVectorTypeAttr().

◆ mapNullabilityAttrKind()

static NullabilityKind mapNullabilityAttrKind ( AttributeList::Kind kind )

static

Map a nullability attribute kind to a nullability kind.

Definition at line 6530 of file SemaType.cpp.

References clang::NonNull, clang::Nullable, and clang::Unspecified.

Referenced by distributeNullabilityTypeAttr(), and processTypeAttrs().

◆ maybeMovePastReturnType()

static DeclaratorChunk* maybeMovePastReturnType	(	Declarator &	declarator,
		unsigned	i,
		bool	onlyBlockPointers
	)

static

Given the index of a declarator chunk, check whether that chunk directly specifies the return type of a function and, if so, find an appropriate place for it.

Parameters

i	- a notional index which the search will start immediately inside
onlyBlockPointers	Whether we should only look into block pointer types (vs. all pointer types).

Definition at line 331 of file SemaType.cpp.

References clang::DeclaratorChunk::Array, clang::DeclaratorChunk::BlockPointer, clang::DeclaratorChunk::Function, clang::Declarator::getNumTypeObjects(), clang::Declarator::getTypeObject(), clang::DeclaratorChunk::Kind, clang::DeclaratorChunk::MemberPointer, clang::DeclaratorChunk::Paren, clang::DeclaratorChunk::Pipe, clang::DeclaratorChunk::Pointer, and clang::DeclaratorChunk::Reference.

Referenced by distributeNullabilityTypeAttr(), distributeObjCPointerTypeAttr(), and handleObjCOwnershipTypeAttr().

◆ maybeSynthesizeBlockSignature()

static void maybeSynthesizeBlockSignature	(	TypeProcessingState &	state,
		QualType	declSpecType
	)

static

Add a synthetic '()' to a block-literal declarator if it is required, given the return type.

Definition at line 669 of file SemaType.cpp.

References clang::Declarator::AddInnermostTypeInfo(), clang::EST_None, clang::DeclaratorChunk::getFunction(), clang::Declarator::getFunctionTypeInfo(), clang::Declarator::getLocStart(), clang::Declarator::getNumTypeObjects(), clang::DeclaratorChunk::FunctionTypeInfo::hasPrototype, clang::Declarator::isFunctionDeclarator(), clang::Type::isFunctionType(), and clang::None.

◆ moveAttrFromListToList()

static void moveAttrFromListToList	(	AttributeList &	attr,
		AttributeList *&	fromList,
		AttributeList *&	toList
	)

static

Definition at line 279 of file SemaType.cpp.

References spliceAttrIntoList(), and spliceAttrOutOfList().

Referenced by distributeFunctionTypeAttr(), distributeFunctionTypeAttrFromDeclSpec(), distributeFunctionTypeAttrToInnermost(), distributeNullabilityTypeAttr(), distributeObjCPointerTypeAttr(), and distributeObjCPointerTypeAttrFromDeclarator().

◆ processTypeAttrs()

static void processTypeAttrs	(	TypeProcessingState &	state,
		QualType &	type,
		TypeAttrLocation	TAL,
		AttributeList *	attrs
	)

static

Definition at line 7241 of file SemaType.cpp.

Referenced by GetDeclSpecTypeForDeclarator().

◆ recordNullabilitySeen()

static void recordNullabilitySeen	(	Sema &	S,
		SourceLocation	loc
	)

static

Marks that a nullability feature has been used in the file containing loc.

If this file already had pointer types in it that were missing nullability, the first such instance is retroactively diagnosed.

See also: checkNullabilityConsistency

Definition at line 3787 of file SemaType.cpp.

References emitNullabilityConsistencyWarning(), getNullabilityCompletenessCheckFileID(), clang::FileID::isInvalid(), clang::SourceLocation::isInvalid(), clang::Sema::NullabilityMap, clang::FileNullability::PointerEndLoc, clang::FileNullability::PointerKind, clang::FileNullability::PointerLoc, and clang::FileNullability::SawTypeNullability.

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

◆ spliceAttrIntoList()

static void spliceAttrIntoList	(	AttributeList &	attr,
		AttributeList *&	head
	)

static

Definition at line 257 of file SemaType.cpp.

References clang::AttributeList::setNext().

Referenced by moveAttrFromListToList(), and transferARCOwnershipToDeclaratorChunk().

◆ spliceAttrOutOfList()

static void spliceAttrOutOfList	(	AttributeList &	attr,
		AttributeList *&	head
	)

static

Definition at line 262 of file SemaType.cpp.

References clang::AttributeList::getNext(), and clang::AttributeList::setNext().

Referenced by distributeFunctionTypeAttrFromDeclarator(), distributeObjCPointerTypeAttrFromDeclarator(), and moveAttrFromListToList().

◆ transferARCOwnership()

static void transferARCOwnership	(	TypeProcessingState &	state,
		QualType &	declSpecTy,
		Qualifiers::ObjCLifetime	ownership
	)

static

Used for transferring ownership in casts resulting in l-values.

Definition at line 5126 of file SemaType.cpp.

◆ transferARCOwnershipToDeclaratorChunk()

static void transferARCOwnershipToDeclaratorChunk	(	TypeProcessingState &	state,
		Qualifiers::ObjCLifetime	ownership,
		unsigned	chunkIndex
	)

static

◆ transferARCOwnershipToDeclSpec()

static void transferARCOwnershipToDeclSpec	(	Sema &	S,
		QualType &	declSpecTy,
		Qualifiers::ObjCLifetime	ownership
	)

static

Definition at line 5075 of file SemaType.cpp.

References clang::Qualifiers::addObjCLifetime(), clang::Sema::Context, clang::QualType::getObjCLifetime(), clang::ASTContext::getQualifiedType(), clang::Type::isObjCRetainableType(), and clang::Qualifiers::OCL_None.

Referenced by transferARCOwnership().

◆ warnAboutAmbiguousFunction()

static void warnAboutAmbiguousFunction	(	Sema &	S,
		Declarator &	D,
		DeclaratorChunk &	DeclType,
		QualType	RT
	)

static

Produce an appropriate diagnostic for an ambiguity between a function declarator and a C++ direct-initializer.

Definition at line 3100 of file SemaType.cpp.

References clang::prec::Comma, clang::ConditionContext, clang::Sema::CurContext, clang::Sema::Diag(), clang::DeclaratorChunk::EndLoc, clang::FDK_Declaration, clang::DeclaratorChunk::Fun, clang::Declarator::getCommaLoc(), clang::Declarator::getContext(), clang::Declarator::getDeclSpec(), clang::Declarator::getFunctionDefinitionKind(), clang::Declarator::getIdentifier(), clang::DeclSpec::getStorageClassSpec(), clang::DeclaratorChunk::FunctionTypeInfo::isAmbiguous, clang::Declarator::isFirstDeclarator(), clang::Declarator::isFunctionDeclarator(), clang::DeclContext::isFunctionOrMethod(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Type::isVoidType(), clang::DeclaratorChunk::Loc, clang::DeclaratorChunk::FunctionTypeInfo::NumParams, clang::DeclSpec::SCS_unspecified, and clang::Sema::SourceMgr.

◆ warnAboutRedundantParens()

static void warnAboutRedundantParens	(	Sema &	S,
		Declarator &	D,
		QualType	T
	)

static

Produce an appropriate diagnostic for a declarator with top-level parentheses.

Definition at line 3198 of file SemaType.cpp.

Macros

Enumerations

Functions

Macro Definition Documentation

◆ CALLING_CONV_ATTRS_CASELIST

◆ FUNCTION_TYPE_ATTRS_CASELIST

◆ GENERIC_IMAGE_TYPE

◆ IMAGE_TYPE

◆ MS_TYPE_ATTRS_CASELIST

◆ NULLABILITY_TYPE_ATTRS_CASELIST

◆ OBJC_POINTER_TYPE_ATTRS_CASELIST

Enumeration Type Documentation

◆ PointerDeclaratorKind

◆ PointerWrappingDeclaratorKind

◆ QualifiedFunctionKind

◆ SimplePointerKind

◆ TypeAttrLocation

◆ TypeDiagSelector

Function Documentation

◆ applyObjCTypeArgs()

◆ assignInheritanceModel()

◆ checkExtParameterInfos()

◆ checkNullabilityConsistency()

◆ checkOmittedBlockReturnType()

◆ checkQualifiedFunction()

◆ classifyPointerDeclarator()

◆ ConvertDeclSpecToType()

◆ deduceOpenCLImplicitAddrSpace()

◆ diagnoseAndRemoveTypeQualifiers()

◆ diagnoseBadTypeAttribute()

◆ diagnoseRedundantReturnTypeQualifiers()

◆ distributeFunctionTypeAttr()

◆ distributeFunctionTypeAttrFromDeclarator()

◆ distributeFunctionTypeAttrFromDeclSpec()

◆ distributeFunctionTypeAttrToInnermost()

◆ distributeNullabilityTypeAttr()

◆ distributeObjCPointerTypeAttr()

◆ distributeObjCPointerTypeAttrFromDeclarator()

◆ distributeTypeAttrsFromDeclarator()

◆ emitNullabilityConsistencyWarning()

◆ fillAtomicQualLoc()

◆ fillAttributedTypeLoc()

◆ fillDependentAddressSpaceTypeLoc()

◆ fixItNullability()

◆ getAttrListKind()

◆ getCCForDeclaratorChunk()

◆ getCCTypeAttrKind()

◆ GetDeclSpecTypeForDeclarator()

◆ getDecltypeForExpr()

◆ GetFullTypeForDeclarator()

◆ getFunctionQualifiersAsString()

◆ getImageAccess()

◆ getLiteralDiagFromTagKind()

◆ getNullabilityCompletenessCheckFileID()

◆ getPrintableNameForEntity()

◆ HandleAddressSpaceTypeAttribute()

◆ HandleExtVectorTypeAttr()

◆ handleFunctionTypeAttr()

◆ handleMSPointerTypeQualifierAttr()

◆ HandleNeonVectorTypeAttr()

◆ handleObjCGCTypeAttr()

◆ handleObjCOwnershipTypeAttr()

◆ handleObjCPointerTypeAttr()

◆ HandleOpenCLAccessAttr()

◆ HandleVectorSizeAttr()

◆ hasDirectOwnershipQualifier()

◆ hasNullabilityAttr()

◆ hasOuterPointerLikeChunk()

◆ inferARCLifetimeForPointee()

◆ inferARCWriteback()

◆ isArraySizeVLA()

◆ isOmittedBlockReturnType()

◆ isPermittedNeonBaseType()

◆ mapNullabilityAttrKind()

◆ maybeMovePastReturnType()

◆ maybeSynthesizeBlockSignature()

◆ moveAttrFromListToList()

◆ processTypeAttrs()

◆ recordNullabilitySeen()

◆ spliceAttrIntoList()