The base class of the type hierarchy. More...

#include "clang/AST/Type.h"

Inheritance diagram for clang::Type:

[legend]

Classes
class	ArrayTypeBitfields

class	AttributedTypeBitfields

class	AutoTypeBitfields

class	BuiltinTypeBitfields

class	ConstantArrayTypeBitfields

class	CountAttributedTypeBitfields

class	DependentTemplateSpecializationTypeBitfields

class	ElaboratedTypeBitfields

class	FunctionTypeBitfields
	FunctionTypeBitfields store various bits belonging to FunctionProtoType. More...

class	ObjCObjectTypeBitfields

class	PackExpansionTypeBitfields

class	ReferenceTypeBitfields

class	SubstTemplateTypeParmPackTypeBitfields

class	SubstTemplateTypeParmTypeBitfields

class	TemplateSpecializationTypeBitfields

class	TemplateTypeParmTypeBitfields

class	TypedefBitfields

class	TypeOfBitfields

class	TypeWithKeywordBitfields

class	UsingBitfields

class	VectorTypeBitfields

Public Types
enum	TypeClass

enum	ScalarTypeKind { STK_CPointer , STK_BlockPointer , STK_ObjCObjectPointer , STK_MemberPointer , STK_Bool , STK_Integral , STK_Floating , STK_IntegralComplex , STK_FloatingComplex , STK_FixedPoint }

Public Member Functions
	Type (const Type &)=delete

	Type (Type &&)=delete

Type &	operator= (const Type &)=delete

Type &	operator= (Type &&)=delete

TypeClass	getTypeClass () const

bool	isFromAST () const
	Whether this type comes from an AST file.

bool	containsUnexpandedParameterPack () const
	Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templates.

bool	isCanonicalUnqualified () const
	Determines if this type would be canonical if it had no further qualification.

QualType	getLocallyUnqualifiedSingleStepDesugaredType () const
	Pull a single level of sugar off of this locally-unqualified type.

bool	isSizelessType () const
	As an extension, we classify types as one of "sized" or "sizeless"; every type is one or the other.

bool	isSizelessBuiltinType () const

bool	isSizelessVectorType () const
	Returns true for all scalable vector types.

bool	isSVESizelessBuiltinType () const
	Returns true for SVE scalable vector types.

bool	isRVVSizelessBuiltinType () const
	Returns true for RVV scalable vector types.

bool	isWebAssemblyExternrefType () const
	Check if this is a WebAssembly Externref Type.

bool	isWebAssemblyTableType () const
	Returns true if this is a WebAssembly table type: either an array of reference types, or a pointer to a reference type (which can only be created by array to pointer decay).

bool	isSveVLSBuiltinType () const
	Determines if this is a sizeless type supported by the 'arm_sve_vector_bits' type attribute, which can be applied to a single SVE vector or predicate, excluding tuple types such as svint32x4_t.

QualType	getSveEltType (const ASTContext &Ctx) const
	Returns the representative type for the element of an SVE builtin type.

bool	isRVVVLSBuiltinType () const
	Determines if this is a sizeless type supported by the 'riscv_rvv_vector_bits' type attribute, which can be applied to a single RVV vector or mask.

QualType	getRVVEltType (const ASTContext &Ctx) const
	Returns the representative type for the element of an RVV builtin type.

QualType	getSizelessVectorEltType (const ASTContext &Ctx) const
	Returns the representative type for the element of a sizeless vector builtin type.

bool	isIncompleteType (NamedDecl **Def=nullptr) const
	Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types, and incomplete types.

bool	isIncompleteOrObjectType () const
	Return true if this is an incomplete or object type, in other words, not a function type.

bool	isObjectType () const
	Determine whether this type is an object type.

bool	isLiteralType (const ASTContext &Ctx) const
	Return true if this is a literal type (C++11 [basic.types]p10)

bool	isStructuralType () const
	Determine if this type is a structural type, per C++20 [temp.param]p7.

bool	isStandardLayoutType () const
	Test if this type is a standard-layout type.

bool	isBuiltinType () const
	Helper methods to distinguish type categories.

bool	isSpecificBuiltinType (unsigned K) const
	Test for a particular builtin type.

bool	isPlaceholderType () const
	Test for a type which does not represent an actual type-system type but is instead used as a placeholder for various convenient purposes within Clang.

const BuiltinType *	getAsPlaceholderType () const

bool	isSpecificPlaceholderType (unsigned K) const
	Test for a specific placeholder type.

bool	isNonOverloadPlaceholderType () const
	Test for a placeholder type other than Overload; see BuiltinType::isNonOverloadPlaceholderType.

bool	isIntegerType () const
	isIntegerType() does not include complex integers (a GCC extension).

bool	isEnumeralType () const

bool	isScopedEnumeralType () const
	Determine whether this type is a scoped enumeration type.

bool	isBooleanType () const

bool	isCharType () const

bool	isWideCharType () const

bool	isChar8Type () const

bool	isChar16Type () const

bool	isChar32Type () const

bool	isAnyCharacterType () const
	Determine whether this type is any of the built-in character types.

bool	isIntegralType (const ASTContext &Ctx) const
	Determine whether this type is an integral type.

bool	isIntegralOrEnumerationType () const
	Determine whether this type is an integral or enumeration type.

bool	isIntegralOrUnscopedEnumerationType () const
	Determine whether this type is an integral or unscoped enumeration type.

bool	isUnscopedEnumerationType () const

bool	isRealFloatingType () const
	Floating point categories.

bool	isComplexType () const
	isComplexType() does not include complex integers (a GCC extension).

bool	isAnyComplexType () const

bool	isFloatingType () const

bool	isHalfType () const

bool	isFloat16Type () const

bool	isFloat32Type () const

bool	isDoubleType () const

bool	isBFloat16Type () const

bool	isFloat128Type () const

bool	isIbm128Type () const

bool	isRealType () const

bool	isArithmeticType () const

bool	isVoidType () const

bool	isScalarType () const

bool	isAggregateType () const
	Determines whether the type is a C++ aggregate type or C aggregate or union type.

bool	isFundamentalType () const
	Tests whether the type is categorized as a fundamental type.

bool	isCompoundType () const
	Tests whether the type is categorized as a compound type.

bool	isFunctionType () const

bool	isFunctionNoProtoType () const

bool	isFunctionProtoType () const

bool	isPointerType () const

bool	isPointerOrReferenceType () const

bool	isSignableType () const

bool	isAnyPointerType () const

bool	isCountAttributedType () const

bool	isBlockPointerType () const

bool	isVoidPointerType () const

bool	isReferenceType () const

bool	isLValueReferenceType () const

bool	isRValueReferenceType () const

bool	isObjectPointerType () const

bool	isFunctionPointerType () const

bool	isFunctionReferenceType () const

bool	isMemberPointerType () const

bool	isMemberFunctionPointerType () const

bool	isMemberDataPointerType () const

bool	isArrayType () const

bool	isConstantArrayType () const

bool	isIncompleteArrayType () const

bool	isVariableArrayType () const

bool	isArrayParameterType () const

bool	isDependentSizedArrayType () const

bool	isRecordType () const

bool	isClassType () const

bool	isStructureType () const

bool	isStructureTypeWithFlexibleArrayMember () const

bool	isObjCBoxableRecordType () const

bool	isInterfaceType () const

bool	isStructureOrClassType () const

bool	isUnionType () const

bool	isComplexIntegerType () const

bool	isVectorType () const

bool	isExtVectorType () const

bool	isExtVectorBoolType () const

bool	isSubscriptableVectorType () const

bool	isMatrixType () const

bool	isConstantMatrixType () const

bool	isDependentAddressSpaceType () const

bool	isObjCObjectPointerType () const

bool	isObjCRetainableType () const

bool	isObjCLifetimeType () const
	Returns true if objects of this type have lifetime semantics under ARC.

bool	isObjCIndirectLifetimeType () const

bool	isObjCNSObjectType () const

bool	isObjCIndependentClassType () const

bool	isObjCObjectType () const

bool	isObjCQualifiedInterfaceType () const

bool	isObjCQualifiedIdType () const

bool	isObjCQualifiedClassType () const

bool	isObjCObjectOrInterfaceType () const

bool	isObjCIdType () const

bool	isDecltypeType () const

bool	isObjCInertUnsafeUnretainedType () const
	Was this type written with the special inert-in-ARC __unsafe_unretained qualifier?

bool	isObjCIdOrObjectKindOfType (const ASTContext &ctx, const ObjCObjectType *&bound) const
	Whether the type is Objective-C 'id' or a __kindof type of an object type, e.g., __kindof NSView * or __kindof id <NSCopying>.

bool	isObjCClassType () const

bool	isObjCClassOrClassKindOfType () const
	Whether the type is Objective-C 'Class' or a __kindof type of an Class type, e.g., __kindof Class <NSCopying>.

bool	isBlockCompatibleObjCPointerType (ASTContext &ctx) const

bool	isObjCSelType () const

bool	isObjCBuiltinType () const

bool	isObjCARCBridgableType () const
	Determine whether the given type T is a "bridgable" Objective-C type, which is either an Objective-C object pointer type or an.

bool	isCARCBridgableType () const
	Determine whether the given type T is a "bridgeable" C type.

bool	isTemplateTypeParmType () const

bool	isNullPtrType () const

bool	isNothrowT () const

bool	isAlignValT () const

bool	isStdByteType () const

bool	isAtomicType () const

bool	isUndeducedAutoType () const

bool	isTypedefNameType () const
	Determines whether this type is written as a typedef-name.

bool	isImageType () const

bool	isSamplerT () const

bool	isEventT () const

bool	isClkEventT () const

bool	isQueueT () const

bool	isReserveIDT () const

bool	isOCLIntelSubgroupAVCType () const

bool	isOCLExtOpaqueType () const

bool	isPipeType () const

bool	isBitIntType () const

bool	isOpenCLSpecificType () const

bool	isHLSLSpecificType () const

bool	isObjCARCImplicitlyUnretainedType () const
	Determines if this type, which must satisfy isObjCLifetimeType(), is implicitly __unsafe_unretained rather than implicitly __strong.

bool	isCUDADeviceBuiltinSurfaceType () const
	Check if the type is the CUDA device builtin surface type.

bool	isCUDADeviceBuiltinTextureType () const
	Check if the type is the CUDA device builtin texture type.

Qualifiers::ObjCLifetime	getObjCARCImplicitLifetime () const
	Return the implicit lifetime for this type, which must not be dependent.

ScalarTypeKind	getScalarTypeKind () const
	Given that this is a scalar type, classify it.

TypeDependence	getDependence () const

bool	containsErrors () const
	Whether this type is an error type.

bool	isDependentType () const
	Whether this type is a dependent type, meaning that its definition somehow depends on a template parameter (C++ [temp.dep.type]).

bool	isInstantiationDependentType () const
	Determine whether this type is an instantiation-dependent type, meaning that the type involves a template parameter (even if the definition does not actually depend on the type substituted for that template parameter).

bool	isUndeducedType () const
	Determine whether this type is an undeduced type, meaning that it somehow involves a C++11 'auto' type or similar which has not yet been deduced.

bool	isVariablyModifiedType () const
	Whether this type is a variably-modified type (C99 6.7.5).

bool	hasSizedVLAType () const
	Whether this type involves a variable-length array type with a definite size.

bool	hasUnnamedOrLocalType () const
	Whether this type is or contains a local or unnamed type.

bool	isOverloadableType () const
	Determines whether this is a type for which one can define an overloaded operator.

bool	isElaboratedTypeSpecifier () const
	Determine wither this type is a C++ elaborated-type-specifier.

bool	canDecayToPointerType () const
	Determines whether this type can decay to a pointer type.

bool	hasPointerRepresentation () const
	Whether this type is represented natively as a pointer.

bool	hasObjCPointerRepresentation () const
	Whether this type can represent an objective pointer type for the purpose of GC'ability.

bool	hasIntegerRepresentation () const
	Determine whether this type has an integer representation of some sort, e.g., it is an integer type or a vector.

bool	hasSignedIntegerRepresentation () const
	Determine whether this type has an signed integer representation of some sort, e.g., it is an signed integer type or a vector.

bool	hasUnsignedIntegerRepresentation () const
	Determine whether this type has an unsigned integer representation of some sort, e.g., it is an unsigned integer type or a vector.

bool	hasFloatingRepresentation () const
	Determine whether this type has a floating-point representation of some sort, e.g., it is a floating-point type or a vector thereof.

const RecordType *	getAsStructureType () const

const RecordType *	getAsUnionType () const
	NOTE: getAs*ArrayType are methods on ASTContext.

const ComplexType *	getAsComplexIntegerType () const

const ObjCObjectType *	getAsObjCInterfaceType () const

const ObjCObjectPointerType *	getAsObjCInterfacePointerType () const

const ObjCObjectPointerType *	getAsObjCQualifiedIdType () const

const ObjCObjectPointerType *	getAsObjCQualifiedClassType () const

const ObjCObjectType *	getAsObjCQualifiedInterfaceType () const

CXXRecordDecl *	getAsCXXRecordDecl () const
	Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or because it is the injected-class-name type of a class template or class template partial specialization.

RecordDecl *	getAsRecordDecl () const
	Retrieves the RecordDecl this type refers to.

TagDecl *	getAsTagDecl () const
	Retrieves the TagDecl that this type refers to, either because the type is a TagType or because it is the injected-class-name type of a class template or class template partial specialization.

const CXXRecordDecl *	getPointeeCXXRecordDecl () const
	If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to.

DeducedType *	getContainedDeducedType () const
	Get the DeducedType whose type will be deduced for a variable with an initializer of this type.

AutoType *	getContainedAutoType () const
	Get the AutoType whose type will be deduced for a variable with an initializer of this type.

bool	hasAutoForTrailingReturnType () const
	Determine whether this type was written with a leading 'auto' corresponding to a trailing return type (possibly for a nested function type within a pointer to function type or similar).

template<typename T >
const T *	getAs () const
	Member-template getAs<specific type>'.

template<typename T >
const T *	getAsAdjusted () const
	Member-template getAsAdjusted<specific type>.

const ArrayType *	getAsArrayTypeUnsafe () const
	A variant of getAs<> for array types which silently discards qualifiers from the outermost type.

template<typename T >
const T *	castAs () const
	Member-template castAs<specific type>.

const ArrayType *	castAsArrayTypeUnsafe () const
	A variant of castAs<> for array type which silently discards qualifiers from the outermost type.

bool	hasAttr (attr::Kind AK) const
	Determine whether this type had the specified attribute applied to it (looking through top-level type sugar).

const Type *	getBaseElementTypeUnsafe () const
	Get the base element type of this type, potentially discarding type qualifiers.

const Type *	getArrayElementTypeNoTypeQual () const
	If this is an array type, return the element type of the array, potentially with type qualifiers missing.

const Type *	getPointeeOrArrayElementType () const
	If this is a pointer type, return the pointee type.

QualType	getPointeeType () const
	If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

const Type *	getUnqualifiedDesugaredType () const
	Return the specified type with any "sugar" removed from the type, removing any typedefs, typeofs, etc., as well as any qualifiers.

bool	isSignedIntegerType () const
	Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation.

bool	isUnsignedIntegerType () const
	Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true for _Bool], or an enum decl which has an unsigned representation.

bool	isSignedIntegerOrEnumerationType () const
	Determines whether this is an integer type that is signed or an enumeration types whose underlying type is a signed integer type.

bool	isUnsignedIntegerOrEnumerationType () const
	Determines whether this is an integer type that is unsigned or an enumeration types whose underlying type is a unsigned integer type.

bool	isFixedPointType () const
	Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.

bool	isFixedPointOrIntegerType () const
	Return true if this is a fixed point or integer type.

bool	isConvertibleToFixedPointType () const
	Return true if this can be converted to (or from) a fixed point type.

bool	isSaturatedFixedPointType () const
	Return true if this is a saturated fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.

bool	isUnsaturatedFixedPointType () const
	Return true if this is a saturated fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.

bool	isSignedFixedPointType () const
	Return true if this is a fixed point type that is signed according to ISO/IEC JTC1 SC22 WG14 N1169.

bool	isUnsignedFixedPointType () const
	Return true if this is a fixed point type that is unsigned according to ISO/IEC JTC1 SC22 WG14 N1169.

bool	isConstantSizeType () const
	Return true if this is not a variable sized type, according to the rules of C99 6.7.5p3.

bool	isSpecifierType () const
	Returns true if this type can be represented by some set of type specifiers.

Linkage	getLinkage () const
	Determine the linkage of this type.

Visibility	getVisibility () const
	Determine the visibility of this type.

bool	isVisibilityExplicit () const
	Return true if the visibility was explicitly set is the code.

LinkageInfo	getLinkageAndVisibility () const
	Determine the linkage and visibility of this type.

bool	isLinkageValid () const
	True if the computed linkage is valid.

std::optional< NullabilityKind >	getNullability () const
	Determine the nullability of the given type.

bool	canHaveNullability (bool ResultIfUnknown=true) const
	Determine whether the given type can have a nullability specifier applied to it, i.e., if it is any kind of pointer type.

std::optional< ArrayRef< QualType > >	getObjCSubstitutions (const DeclContext *dc) const
	Retrieve the set of substitutions required when accessing a member of the Objective-C receiver type that is declared in the given context.

bool	acceptsObjCTypeParams () const
	Determines if this is an ObjC interface type that may accept type parameters.

const char *	getTypeClassName () const

QualType	getCanonicalTypeInternal () const

CanQualType	getCanonicalTypeUnqualified () const

void	dump () const

void	dump (llvm::raw_ostream &OS, const ASTContext &Context) const

template<>
const TypedefType *	getAs () const
	This will check for a TypedefType by removing any existing sugar until it reaches a TypedefType or a non-sugared type.

Protected Types
enum	{ NumArrayTypeBits = NumTypeBits + 6 }

enum	{ NumTypeWithKeywordBits = NumTypeBits + 8 }

Protected Member Functions
	Type (TypeClass tc, QualType canon, TypeDependence Dependence)

Type *	this_ ()

void	setDependence (TypeDependence D)

void	addDependence (TypeDependence D)

Protected Attributes
union {
TypeBitfields TypeBits

ArrayTypeBitfields ArrayTypeBits

ConstantArrayTypeBitfields ConstantArrayTypeBits

AttributedTypeBitfields AttributedTypeBits

AutoTypeBitfields AutoTypeBits

TypeOfBitfields TypeOfBits

TypedefBitfields TypedefBits

UsingBitfields UsingBits

BuiltinTypeBitfields BuiltinTypeBits

FunctionTypeBitfields FunctionTypeBits

ObjCObjectTypeBitfields ObjCObjectTypeBits

ReferenceTypeBitfields ReferenceTypeBits

TypeWithKeywordBitfields TypeWithKeywordBits

ElaboratedTypeBitfields ElaboratedTypeBits

VectorTypeBitfields VectorTypeBits

TemplateTypeParmTypeBitfields TemplateTypeParmTypeBits

SubstTemplateTypeParmTypeBitfields SubstTemplateTypeParmTypeBits

SubstTemplateTypeParmPackTypeBitfields SubstTemplateTypeParmPackTypeBits

TemplateSpecializationTypeBitfields TemplateSpecializationTypeBits

DependentTemplateSpecializationTypeBitfields DependentTemplateSpecializationTypeBits

PackExpansionTypeBitfields PackExpansionTypeBits

CountAttributedTypeBitfields CountAttributedTypeBits

};

Friends
template<class T >
class	TypePropertyCache

class	ASTContext

class	ASTReader

class	ASTWriter

template<class T >
class	serialization::AbstractTypeReader

template<class T >
class	serialization::AbstractTypeWriter

Detailed Description

The base class of the type hierarchy.

A central concept with types is that each type always has a canonical type. A canonical type is the type with any typedef names stripped out of it or the types it references. For example, consider:

typedef int foo; typedef foo* bar; 'int *' 'foo *' 'bar'

There will be a Type object created for 'int'. Since int is canonical, its CanonicalType pointer points to itself. There is also a Type for 'foo' (a TypedefType). Its CanonicalType pointer points to the 'int' Type. Next there is a PointerType that represents 'int*', which, like 'int', is canonical. Finally, there is a PointerType type for 'foo*' whose canonical type is 'int*', and there is a TypedefType for 'bar', whose canonical type is also 'int*'.

Non-canonical types are useful for emitting diagnostics, without losing information about typedefs being used. Canonical types are useful for type comparisons (they allow by-pointer equality tests) and useful for reasoning about whether something has a particular form (e.g. is a function type), because they implicitly, recursively, strip all typedefs out of a type.

Types, once created, are immutable.

Definition at line 1829 of file Type.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

protected

Enumerator
NumArrayTypeBits

Definition at line 1905 of file Type.h.

◆ anonymous enum

anonymous enum

protected

Enumerator
NumTypeWithKeywordBits

Definition at line 2046 of file Type.h.

◆ ScalarTypeKind

enum clang::Type::ScalarTypeKind

Enumerator
STK_CPointer
STK_BlockPointer
STK_ObjCObjectPointer
STK_MemberPointer
STK_Bool
STK_Integral
STK_Floating
STK_IntegralComplex
STK_FloatingComplex
STK_FixedPoint

Definition at line 2668 of file Type.h.

◆ TypeClass

enum clang::Type::TypeClass

Definition at line 1831 of file Type.h.

Constructor & Destructor Documentation

◆ Type() [1/3]

clang::Type::Type	(	TypeClass	tc,
		QualType	canon,
		TypeDependence	Dependence
	)

inlineprotected

Definition at line 2298 of file Type.h.

References clang::TypeAlignment.

◆ Type() [2/3]

clang::Type::Type ( const Type & )

delete

◆ Type() [3/3]

clang::Type::Type ( Type && )

delete

Member Function Documentation

◆ acceptsObjCTypeParams()

bool Type::acceptsObjCTypeParams ( ) const

Determines if this is an ObjC interface type that may accept type parameters.

Definition at line 1718 of file Type.cpp.

References getAsObjCInterfaceType().

◆ addDependence()

void clang::Type::addDependence ( TypeDependence D )

inlineprotected

Definition at line 2321 of file Type.h.

References D.

Referenced by clang::ObjCObjectType::ObjCObjectType().

◆ canDecayToPointerType()

bool clang::Type::canDecayToPointerType ( ) const

inline

Determines whether this type can decay to a pointer type.

Definition at line 8477 of file Type.h.

Referenced by AdjustFunctionParmAndArgTypesForDeduction(), BuiltinAlignment(), checkArithmeticNull(), clang::Sema::CheckImplicitConversion(), clang::Sema::DefaultLvalueConversion(), IsStandardConversion(), and clang::analyze_format_string::ArgType::matchesType().

◆ canHaveNullability()

bool Type::canHaveNullability ( bool ResultIfUnknown = true ) const

Determine whether the given type can have a nullability specifier applied to it, i.e., if it is any kind of pointer type.

Parameters

ResultIfUnknown The value to return if we don't yet know whether this type can have nullability because it is dependent.

Definition at line 4706 of file Type.cpp.

References getCanonicalTypeInternal(), clang::Decl::hasAttr(), and clang::ast_matchers::type.

Referenced by CheckNullabilityTypeSpecifier(), clang::SemaObjC::getMessageSendResultType(), shouldHaveNullability(), and clang::TreeTransform< Derived >::TransformAttributedType().

◆ castAs()

template<typename T >

const T * clang::Type::castAs

Member-template castAs<specific type>.

Look through sugar for the underlying instance of <specific type>.

This method has the same relationship to getAs<T> as cast<T> has to dyn_cast<T>; which is to say, the underlying type must have the intended type, and this method will never return null.

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8607 of file Type.h.

References clang::T.

◆ castAsArrayTypeUnsafe()

const ArrayType * clang::Type::castAsArrayTypeUnsafe ( ) const

inline

A variant of castAs<> for array type which silently discards qualifiers from the outermost type.

Definition at line 8616 of file Type.h.

Referenced by CheckEvaluationResult(), FindDesignatorMismatch(), getArrayIndexingBound(), clang::QualType::getBaseTypeIdentifier(), getCoreType(), and clang::APValue::printPretty().

◆ containsErrors()

bool clang::Type::containsErrors ( ) const

inline

Whether this type is an error type.

Definition at line 2689 of file Type.h.

Referenced by clang::SemaObjC::ActOnIvar(), clang::Sema::BuildReturnStmt(), clang::Sema::CheckBaseSpecifier(), clang::Sema::CheckFieldDecl(), clang::Sema::FindInstantiatedDecl(), clang::Sema::MergeVarDeclTypes(), clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().

◆ containsUnexpandedParameterPack()

bool clang::Type::containsUnexpandedParameterPack ( ) const

inline

Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templates.

A type that contains a parameter pack shall be expanded by the ellipsis operator at some point. For example, the typedef in the following example contains an unexpanded parameter pack 'T':

template<typename ...T>
struct X {
  typedef T* pointer_types; // ill-formed; T is a parameter pack.
};

Note that this routine does not specify which

Definition at line 2354 of file Type.h.

Referenced by clang::Sema::ActOnFriendTypeDecl(), clang::Sema::ActOnPackIndexingType(), clang::Sema::BuildBaseInitializer(), buildDeclareReductionRef(), buildUserDefinedMapperRef(), clang::Sema::CheckBaseSpecifier(), clang::Sema::CheckPackExpansion(), clang::DeclarationNameInfo::containsUnexpandedParameterPack(), clang::Sema::containsUnexpandedParameterPacks(), clang::Sema::CreateGenericSelectionExpr(), clang::Sema::DiagnoseUnexpandedParameterPack(), GetFullTypeForDeclarator(), getLambdaType(), clang::ASTContext::getPackExpansionType(), handleAlignedAttr(), hasUserDefinedMapper(), clang::Sema::SubstParmVarDecl(), clang::TreeTransform< Derived >::TransformFunctionTypeParams(), clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().

◆ dump() [1/2]

LLVM_DUMP_METHOD void Type::dump ( ) const

Definition at line 195 of file ASTDumper.cpp.

References clang::ExtQualsTypeCommonBase::QualType.

Referenced by clang::DynTypedNode::dump().

◆ dump() [2/2]

LLVM_DUMP_METHOD void Type::dump	(	llvm::raw_ostream &	OS,
		const ASTContext &	Context
	)		const

Definition at line 197 of file ASTDumper.cpp.

References clang::ExtQualsTypeCommonBase::QualType.

◆ getArrayElementTypeNoTypeQual()

const Type * Type::getArrayElementTypeNoTypeQual ( ) const

If this is an array type, return the element type of the array, potentially with type qualifiers missing.

getArrayElementTypeNoTypeQual - If this is an array type, return the element type of the array, potentially with type qualifiers missing.

This should never be used when type qualifiers are meaningful.

This method should never be used when type qualifiers are meaningful.

Definition at line 427 of file Type.cpp.

References getUnqualifiedDesugaredType().

Referenced by clang::Sema::BuildExpressionFromDeclTemplateArgument(), CheckNullabilityTypeSpecifier(), clang::SemaSYCL::deepTypeCheckForDevice(), and isZeroInitialized().

◆ getAs() [1/2]

template<typename T >

const T * clang::Type::getAs

Member-template getAs<specific type>'.

Look through sugar for an instance of <specific type>. This scheme will eventually replace the specific getAsXXXX methods above.

There are some specializations of this member template listed immediately following this class.

Definition at line 8540 of file Type.h.

References clang::T.

◆ getAs() [2/2]

template<>

const CountAttributedType * Type::getAs ( ) const

This will check for a TypedefType by removing any existing sugar until it reaches a TypedefType or a non-sugared type.

This will check for a CountAttributedType by removing any existing sugar until it reaches an CountAttributedType or a non-sugared type.

This will check for a BoundsAttributedType by removing any existing sugar until it reaches an BoundsAttributedType or a non-sugared type.

This will check for an AttributedType by removing any existing sugar until it reaches an AttributedType or a non-sugared type.

This will check for a TemplateSpecializationType by removing any existing sugar until it reaches a TemplateSpecializationType or a non-sugared type.

Definition at line 578 of file Type.cpp.

◆ getAsAdjusted()

template<typename T >

const T * clang::Type::getAsAdjusted

Member-template getAsAdjusted<specific type>.

Look through specific kinds of sugar (parens, attributes, etc) for an instance of <specific type>. This is used when you need to walk over sugar nodes that represent some kind of type adjustment from a type that was written as a <specific type> to another type that is still canonically a <specific type>.

Definition at line 8557 of file Type.h.

References E, P, and clang::T.

Referenced by clang::SemaOpenMP::checkOpenMPDeclareVariantFunction(), CreateNewFunctionDecl(), and clang::Sema::diagnoseQualifiedDeclaration().

◆ getAsArrayTypeUnsafe()

const ArrayType * clang::Type::getAsArrayTypeUnsafe ( ) const

inline

A variant of getAs<> for array types which silently discards qualifiers from the outermost type.

Definition at line 8593 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), clang::SemaOpenMP::ActOnOMPArraySectionExpr(), actOnOMPReductionKindClause(), clang::SemaOpenMP::ActOnOpenMPDependClause(), clang::SemaOpenMP::ActOnOpenMPUsesAllocatorClause(), clang::Sema::ActOnSourceLocExpr(), clang::ODRHash::AddStructuralValue(), appendType(), clang::Sema::BuildCXXForRangeStmt(), clang::SemaObjC::BuildObjCEncodeExpression(), buildUserDefinedMapperRef(), BuiltinLaunder(), canInitializeArrayWithEmbedDataString(), clang::interp::CheckFieldsInitialized(), clang::interp::EvaluationResult::checkFullyInitialized(), checkMappableExpressionList(), CheckStringInit(), clang::interp::Program::createDescriptor(), EmitOMPAggregateInit(), EmitOMPAggregateReduction(), clang::CodeGen::CGOpenMPRuntime::emitUsesAllocatorsInit(), clang::ASTContext::getBaseElementType(), getCanonicalParamType(), clang::ASTContext::getConstantArrayElementCount(), getDependentArraySubscriptType(), getDesignatedType(), clang::interp::Descriptor::getElemQualType(), getTypeString(), handleDefaultInitValue(), hasSizedVLAType(), clang::InitListExpr::isStringLiteralInit(), processImplicitMapsWithDefaultMappers(), and clang::interp::Compiler< Emitter >::VisitImplicitValueInitExpr().

◆ getAsComplexIntegerType()

const ComplexType * Type::getAsComplexIntegerType ( ) const

Definition at line 698 of file Type.cpp.

References Complex.

Referenced by handleComplexIntConversion(), and isComplexIntegerType().

◆ getAsCXXRecordDecl()

CXXRecordDecl * Type::getAsCXXRecordDecl ( ) const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or because it is the injected-class-name type of a class template or class template partial specialization.

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 1882 of file Type.cpp.

References getAsTagDecl().

Referenced by clang::Sema::ActOnCXXTryBlock(), clang::CodeGen::CGOpenMPRuntimeGPU::adjustTargetSpecificDataForLambdas(), clang::CodeGen::CGHLSLRuntime::annotateHLSLResource(), clang::ASTContext::BlockRequiresCopying(), clang::Sema::BuildCXXConstructExpr(), BuildNonArrayForRange(), clang::Sema::BuildUnresolvedCoawaitExpr(), calculateOffset(), canCaptureVariableByCopy(), canRecoverDotPseudoDestructorCallsOnPointerObjects(), clang::canVarDeclThrow(), clang::Sema::CaptureHasSideEffects(), clang::Sema::CheckCompletedCXXClass(), clang::Sema::CheckCompleteDecompositionDeclaration(), clang::Sema::CheckCompleteVariableDeclaration(), CheckConstexprDestructorSubobjects(), clang::Sema::CheckCXXThrowOperand(), clang::Sema::CheckDestructor(), checkDestructorReference(), clang::CheckEquivalentExceptionSpecImpl(), checkEscapingByref(), checkForConsumableClass(), checkMoveAssignmentForRepeatedMove(), clang::Sema::CheckParmsForFunctionDef(), checkTrivialClassMembers(), checkTrivialSubobjectCall(), checkTupleLikeDecomposition(), CheckUnaryTypeTraitTypeCompleteness(), computeBlockInfo(), clang::dataflow::copyRecord(), clang::ImplicitCastExpr::Create(), create_call_once(), clang::Sema::CreateBuiltinBinOp(), clang::ConstructionContext::createFromLayers(), clang::TypeName::createNestedNameSpecifierForScopeOf(), DeduceTemplateArgumentsByTypeMatch(), DeduceTemplateBases(), clang::Sema::DeduceTemplateSpecializationFromInitializer(), diagnoseBadCast(), clang::Sema::DiagnoseEmptyLookup(), diagnoseMutableFields(), DiagnoseReinterpretUpDownCast(), DiagnoseUninitializedReference(), EmitDeclDestroy(), EmitDestroyingObjectDelete(), clang::CodeGen::CGOpenMPRuntime::emitTargetGlobalVariable(), clang::ento::StoreManager::evalBaseToDerived(), clang::ento::StoreManager::evalDerivedToBase(), EvaluateBooleanTypeTrait(), clang::Sema::EvaluateStaticAssertMessageAsString(), EvaluateUnaryTypeTrait(), clang::Sema::FindAllocationFunctions(), findDecomposableBaseClass(), findDeleteForPromise(), clang::Sema::FindInstantiatedDecl(), findSubobject(), clang::NestedNameSpecifier::getAsRecordDecl(), getBaseAlignmentAndOffsetFromPtr(), clang::ASTContext::getCommentForDecl(), getConstructedRegion(), getContainedDynamicClass(), getDerivedToBaseAlignmentAndOffset(), clang::CFGImplicitDtor::getDestructorDecl(), clang::Sema::getDestructorName(), clang::ento::CXXInstanceCall::getExtraInvalidatedValues(), clang::dataflow::getFieldsFromClassHierarchy(), clang::Sema::getFixItZeroInitializerForType(), clang::TypeName::getFullyQualifiedNestedNameSpecifier(), clang::LambdaExpr::getLambdaClass(), clang::ento::ProgramState::getLValue(), clang::CodeGen::CGCXXABI::getMemberPointerAdjustment(), clang::CodeGen::CodeGenModule::getMinimumObjectSize(), clang::MemberPointerType::getMostRecentCXXRecordDecl(), clang::UnresolvedMemberExpr::getNamingClass(), clang::CodeGen::CodeGenModule::getNaturalTypeAlignment(), getNoteTag(), getOpenCLKernelParameterType(), clang::CodeGen::CodeGenModule::GetOrCreateLLVMGlobal(), clang::interp::Context::getOverridingFunction(), getPrettyTypeName(), clang::CXXMemberCallExpr::getRecordDecl(), clang::ento::BlockCall::getRuntimeDefinition(), clang::ento::CXXInstanceCall::getRuntimeDefinition(), getUnionInitName(), getVirtualOperatorDelete(), HandleBaseToDerivedCast(), HandleConstructorCall(), clang::DotMemberAccessHandler::handleDeclaration(), handleDefaultInitValue(), HandleDestructionImpl(), HandleLValueBasePath(), HandleMemberPointerAccess(), handlePreferredName(), hasAnyVptr(), hasNonTrivialConstructorCall(), clang::hasPublicMethodInBase(), hasTemplateSpecializationInEncodedString(), hasTrivialABIAttr(), clang::ComparisonCategoryInfo::ValueInfo::hasValidIntValue(), hasVirtualDestructor(), clang::Sema::inferGslPointerAttribute(), InitializationHasSideEffects(), clang::Sema::isAbstractType(), clang::CXXDynamicCastExpr::isAlwaysNull(), isAutoCastType(), isConstNotMutableType(), isConsumableType(), clang::Sema::IsDerivedFrom(), clang::FunctionDecl::isDestroyingOperatorDelete(), isIncompleteType(), clang::ento::iterator::isIteratorType(), clang::ento::RetainSummaryManager::isKnownSmartPointer(), clang::QualType::isNonConstantStorage(), isNothrowT(), isOSObjectRelated(), clang::Sema::IsPointerInterconvertibleBaseOf(), isPointerToObject(), clang::CXXTypeidExpr::isPotentiallyEvaluated(), clang::FieldDecl::isPotentiallyOverlapping(), isReadByLvalueToRvalueConversion(), clang::sema::isRecordWithAttr(), isRelevantAttr(), isStdBasicOstream(), isStdSmartPtr(), clang::ento::smartptr::isStdSmartPtr(), isStructuralType(), isSubstitutedType(), clang::Sema::isThisOutsideMemberFunctionBody(), isTriviallyEqualityComparableType(), isValidBaseClass(), clang::isValidSubjectOfOSAttribute(), clang::Sema::isValidVarArgType(), isZeroInitialized(), LeastDerivedClassWithSameLayout(), clang::ComparisonCategories::lookupInfoForType(), lookupPromiseType(), lookupStdTypeTraitMember(), mapConsumableAttrState(), clang::Sema::MatchTemplateParametersToScopeSpecifier(), clang::InitializationSequence::Perform(), PerformReturnAdjustment(), print_elem(), print_initializer(), clang::ento::ExprEngine::ProcessDeleteDtor(), clang::SemaCodeCompletion::ProduceCallSignatureHelp(), recoverFromMSUnqualifiedLookup(), regionMatchesCXXRecordType(), clang::Sema::RequireNonAbstractType(), clang::Sema::RequireStructuralType(), clang::CXXRecordDecl::setBases(), clang::SemaOpenMP::tryCaptureOpenMPLambdas(), TryListInitialization(), TypeRequiresBuiltinLaunderImp(), clang::dataflow::UncheckedOptionalAccessModel::UncheckedOptionalAccessModel(), usesMultipleInheritanceModel(), clang::interp::Compiler< Emitter >::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitCXXDestructor(), warnAboutAmbiguousFunction(), and warnAboutRedundantParens().

◆ getAsObjCInterfacePointerType()

const ObjCObjectPointerType * Type::getAsObjCInterfacePointerType ( ) const

Definition at line 1859 of file Type.cpp.

Referenced by clang::SemaObjC::BuildInstanceMessage(), CheckObjCBridgeNSCast(), clang::SemaCodeCompletion::CodeCompleteMemberReferenceExpr(), clang::SemaCodeCompletion::CodeCompleteObjCInstanceMessage(), clang::SemaObjC::HandleExprPropertyRefExpr(), and clang::SemaObjC::SelectorsForTypoCorrection().

◆ getAsObjCInterfaceType()

const ObjCObjectType * Type::getAsObjCInterfaceType ( ) const

Definition at line 1851 of file Type.cpp.

Referenced by acceptsObjCTypeParams(), and getBaseMessageSendResultType().

◆ getAsObjCQualifiedClassType()

const ObjCObjectPointerType * Type::getAsObjCQualifiedClassType ( ) const

Definition at line 1841 of file Type.cpp.

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

◆ getAsObjCQualifiedIdType()

const ObjCObjectPointerType * Type::getAsObjCQualifiedIdType ( ) const

Definition at line 1831 of file Type.cpp.

Referenced by clang::SemaObjC::BuildInstanceMessage(), and clang::SemaCodeCompletion::CodeCompleteObjCInstanceMessage().

◆ getAsObjCQualifiedInterfaceType()

const ObjCObjectType * Type::getAsObjCQualifiedInterfaceType ( ) const

Definition at line 1817 of file Type.cpp.

References clang::T.

Referenced by isObjCQualifiedInterfaceType().

◆ getAsPlaceholderType()

const BuiltinType * clang::Type::getAsPlaceholderType ( ) const

inline

Definition at line 8301 of file Type.h.

Referenced by clang::Sema::BuildBinOp(), clang::Sema::BuildUnaryOp(), clang::Sema::CheckAddressOfOperand(), clang::Sema::CheckPlaceholderExpr(), checkPlaceholderForOverload(), clang::Sema::DefaultVariadicArgumentPromotion(), clang::isValidPreserveEnumValueArg(), clang::isValidPreserveFieldInfoArg(), and clang::isValidPreserveTypeInfoArg().

◆ getAsRecordDecl()

RecordDecl * Type::getAsRecordDecl ( ) const

Retrieves the RecordDecl this type refers to.

Definition at line 1886 of file Type.cpp.

References getAsTagDecl().

Referenced by clang::Sema::ActOnFriendTypeDecl(), buildImplicitMap(), buildImplicitMapper(), BuiltinDumpStruct(), clang::interp::CallVirt(), CheckC23ConstexprVarType(), clang::Sema::CheckCoroutineWrapper(), checkMappableExpressionList(), clang::SemaOpenACC::CheckReductionVar(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), CountCountedByAttrs(), create_call_once(), clang::SemaSYCL::deepTypeCheckForDevice(), emitReadOnlyPlacementAttrWarning(), clang::CodeGen::CGOpenMPRuntime::emitTaskInit(), getAsRecordDecl(), getFieldOffsetInBits(), clang::dataflow::getFieldsFromClassHierarchy(), getGEPIndicesToField(), getTypeAlignIfRequired(), hasBPFPreserveStaticOffset(), clang::ASTNodeImporter::ImportFieldDeclDefinition(), clang::ento::tagged_union_modeling::isStdType(), isTrackedVar(), clang::QualType::isTriviallyRelocatableType(), isValidStructGUID(), LookupMemberExpr(), processImplicitMapsWithDefaultMappers(), clang::SemaCodeCompletion::ProduceConstructorSignatureHelp(), clang::interp::Compiler< Emitter >::VisitCXXUuidofExpr(), clang::interp::Compiler< Emitter >::VisitImplicitValueInitExpr(), and clang::ASTNodeImporter::VisitTypedefNameDecl().

◆ getAsStructureType()

const RecordType * Type::getAsStructureType ( ) const

Definition at line 721 of file Type.cpp.

References getUnqualifiedDesugaredType().

Referenced by addFlexibleArrayMemberInitSize(), appendType(), clang::CodeGen::CGOpenMPRuntime::emitTaskInit(), isCallback(), clang::analyze_format_string::ArgType::matchesType(), and clang::Sema::ParsedFreeStandingDeclSpec().

◆ getAsTagDecl()

TagDecl * Type::getAsTagDecl ( ) const

Retrieves the TagDecl that this type refers to, either because the type is a TagType or because it is the injected-class-name type of a class template or class template partial specialization.

Definition at line 1890 of file Type.cpp.

Referenced by clang::Sema::ActOnCXXMemberDeclarator(), clang::Sema::ActOnTag(), clang::Sema::ActOnUsingEnumDeclaration(), clang::UsingEnumDecl::Create(), emitDependData(), clang::CodeGen::CGOpenMPRuntime::emitDepobjDependClause(), emitDestructorsFunction(), clang::CodeGen::CGOpenMPRuntime::emitDoacrossInit(), emitProxyTaskFunction(), clang::CodeGen::CGOpenMPRuntime::emitTaskInit(), emitTaskPrivateMappingFunction(), clang::CodeGen::CGOpenMPRuntime::emitUpdateClause(), getAsCXXRecordDecl(), getAsRecordDecl(), clang::CodeGen::CGOpenMPRuntime::getDepobjElements(), clang::UsingEnumDecl::getEnumDecl(), getUuidAttrOfType(), and TypeHasMayAlias().

◆ getAsUnionType()

const RecordType * Type::getAsUnionType ( ) const

NOTE: getAs*ArrayType are methods on ASTContext.

Definition at line 740 of file Type.cpp.

References getUnqualifiedDesugaredType().

Referenced by appendType(), CheckNonNullExpr(), clang::Sema::CheckTransparentUnionArgumentConstraints(), isTransparentUnion(), IsTransparentUnionStandardConversion(), clang::Sema::isValidPointerAttrType(), clang::ASTContext::mergeTransparentUnionType(), clang::Sema::ParsedFreeStandingDeclSpec(), and clang::CodeGen::useFirstFieldIfTransparentUnion().

◆ getBaseElementTypeUnsafe()

const Type * clang::Type::getBaseElementTypeUnsafe ( ) const

inline

Get the base element type of this type, potentially discarding type qualifiers.

This should never be used when type qualifiers are meaningful.

Definition at line 8490 of file Type.h.

References clang::ast_matchers::arrayType, and clang::ast_matchers::type.

Referenced by clang::Sema::BuildCXXConstructExpr(), buildMemcpyForAssignmentOp(), clang::canVarDeclThrow(), clang::Sema::CaptureHasSideEffects(), clang::Sema::CheckCompletedCXXClass(), CheckConstexprDestructorSubobjects(), clang::Sema::CheckFieldDecl(), clang::Sema::checkIllFormedTrivialABIStruct(), CheckUnaryTypeTraitTypeCompleteness(), diagnoseMutableFields(), DiagnoseUninitializedReference(), clang::Sema::DiagnoseUnusedButSetDecl(), doesUsualArrayDeleteWantSize(), clang::CodeGen::CGOpenMPRuntime::emitTargetGlobalVariable(), getContainedDynamicClass(), clang::ASTContext::getPreferredTypeAlign(), getUuidAttrOfType(), HasNonDllImportDtor(), hasTemplateSpecializationInEncodedString(), clang::ASTNodeImporter::ImportFieldDeclDefinition(), InitializationHasSideEffects(), clang::QualType::isCXX11PODType(), isLiteralType(), isReadByLvalueToRvalueConversion(), isStandardLayoutType(), clang::CodeGen::CGCXXABI::mayNeedDestruction(), print_elem(), and pushTemporaryCleanup().

◆ getCanonicalTypeInternal()

QualType clang::Type::getCanonicalTypeInternal ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 2978 of file Type.h.

Referenced by addAssociatedClassesAndNamespaces(), canHaveNullability(), clang::checkPipePacketType(), clang::Sema::CheckTemplateIdType(), DeduceTemplateArgumentsByTypeMatch(), DeduceTemplateSpecArguments(), clang::CodeGen::CodeGenTypes::DeriveThisType(), clang::TypePropertyCache< Private >::ensure(), clang::ASTContext::getCanonicalType(), getCanonicalTypeUnqualified(), getConstantArrayExtents(), getCurrentInstantiationOf(), clang::diff::SyntaxTree::Impl::getDeclValue(), clang::ASTContext::getObjCEncodingForBlock(), clang::ASTContext::getObjCEncodingForFunctionDecl(), clang::ASTContext::getObjCEncodingForMethodDecl(), clang::ASTContext::getObjCGCAttrKind(), clang::LocInfoType::getType(), clang::LinkageComputer::getTypeLinkageAndVisibility(), clang::ASTContext::getUsingType(), isLinkageValid(), isLiteralType(), isObjCARCImplicitlyUnretainedType(), IsPossiblyOpaquelyQualifiedType(), isSameQualifier(), printIntegral(), clang::ObjCTypeParamType::Profile(), and shouldHaveNullability().

◆ getCanonicalTypeUnqualified()

CanQualType clang::Type::getCanonicalTypeUnqualified ( ) const

inline

Definition at line 214 of file CanonicalType.h.

References clang::CanQual< Type >::CreateUnsafe(), and getCanonicalTypeInternal().

Referenced by adjustReturnValue(), clang::CodeGen::CodeGenTypes::arrangeCXXMethodType(), clang::CodeGen::CodeGenTypes::arrangeFunctionDeclaration(), clang::Sema::checkExceptionSpecification(), clang::Sema::DiagnoseInvalidExplicitObjectParameterInLambda(), evaluateCDTSize(), EvaluateUnaryTypeTrait(), findDirectBaseWithType(), GetFormalType(), GetReturnType(), clang::Sema::HandleFunctionTypeMismatch(), clang::Sema::IsPointerInterconvertibleBaseOf(), MatchesFriend(), and setCUDAKernelCallingConvention().

◆ getContainedAutoType()

AutoType * clang::Type::getContainedAutoType ( ) const

inline

Get the AutoType whose type will be deduced for a variable with an initializer of this type.

This looks through declarators like pointer types, but not through decltype or typedefs.

Definition at line 2800 of file Type.h.

Referenced by clang::Sema::ActOnCapScopeReturnStmt(), clang::Sema::ActOnNonTypeTemplateParameter(), clang::SemaObjC::ActOnObjCForCollectionStmt(), clang::Sema::BuildReturnStmt(), clang::NonTypeTemplateParmDecl::Create(), clang::Sema::DeduceAutoType(), clang::Sema::deduceVarTypeFromInitializer(), clang::CodeGen::CGDebugInfo::EmitUsingDecl(), GetFullTypeForDeclarator(), clang::ASTContext::getUnconstrainedType(), clang::NonTypeTemplateParmDecl::hasPlaceholderTypeConstraint(), clang::Sema::InstantiateFunctionDefinition(), clang::Sema::MergeFunctionDecl(), clang::TreeTransform< Derived >::TransformFunctionTypeParams(), and clang::ASTDeclReader::VisitFunctionDecl().

◆ getContainedDeducedType()

DeducedType * Type::getContainedDeducedType ( ) const

Get the DeducedType whose type will be deduced for a variable with an initializer of this type.

This looks through declarators like pointer types, but not through decltype or typedefs.

Definition at line 2011 of file Type.cpp.

Referenced by clang::Sema::ActOnNonTypeTemplateParameter(), clang::Sema::ActOnVariableDeclarator(), clang::Sema::BuildCXXNew(), clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::CheckPackExpansion(), clang::Sema::CheckTemplateArgument(), clang::Sema::DeduceTemplateSpecializationFromInitializer(), clang::Sema::deduceVarTypeFromInitializer(), GetDeclSpecTypeForDeclarator(), clang::isUndeducedReturnType(), and LookupDirect().

◆ getDependence()

TypeDependence clang::Type::getDependence ( ) const

inline

Definition at line 2684 of file Type.h.

Referenced by clang::computeDependence().

◆ getLinkage()

Linkage Type::getLinkage ( ) const

Determine the linkage of this type.

Definition at line 4582 of file Type.cpp.

References clang::TypePropertyCache< Private >::ensure(), and TypeBits.

Referenced by checkUndefinedButUsed(), getTypeInfoLinkage(), clang::LinkageComputer::getTypeLinkageAndVisibility(), and clang::Sema::isExternalWithNoLinkageType().

◆ getLinkageAndVisibility()

LinkageInfo Type::getLinkageAndVisibility ( ) const

Determine the linkage and visibility of this type.

Definition at line 4689 of file Type.cpp.

References clang::LinkageComputer::getTypeLinkageAndVisibility().

◆ getLocallyUnqualifiedSingleStepDesugaredType()

QualType Type::getLocallyUnqualifiedSingleStepDesugaredType ( ) const

Pull a single level of sugar off of this locally-unqualified type.

Users should generally prefer SplitQualType::getSingleStepDesugaredType() or QualType::getSingleStepDesugaredType(const ASTContext&).

Definition at line 476 of file Type.cpp.

References getTypeClass().

Referenced by unwrapSugar(), clang::ASTNodeTraverser< Derived, NodeDelegateType >::Visit(), and clang::TextNodeDumper::Visit().

◆ getNullability()

std::optional< NullabilityKind > Type::getNullability ( ) const

Determine the nullability of the given type.

Note that nullability is only captured as sugar within the type system, not as part of the canonical type, so nullability will be lost by canonicalization and desugaring.

Definition at line 4693 of file Type.cpp.

References getAs(), and clang::ExtQualsTypeCommonBase::Type.

Referenced by clang::SemaObjC::BuildObjCBoxedExpr(), CheckMethodOverrideParam(), CheckMethodOverrideReturn(), CheckNonNullExpr(), CheckNullabilityTypeSpecifier(), clang::SemaObjC::CheckObjCPropertyAttributes(), computeConditionalNullability(), clang::Sema::deduceClosureReturnType(), clang::Sema::diagnoseNullableToNonnullConversion(), clang::ASTContext::getArrayDecayedType(), getBaseMessageSendResultType(), GetFullTypeForDeclarator(), clang::SemaObjC::getMessageSendResultType(), clang::ASTContext::hasSameNullabilityTypeQualifier(), mergeParamDeclTypes(), and mergeTypeNullabilityForRedecl().

◆ getObjCARCImplicitLifetime()

Qualifiers::ObjCLifetime Type::getObjCARCImplicitLifetime ( ) const

Return the implicit lifetime for this type, which must not be dependent.

Definition at line 4913 of file Type.cpp.

References isObjCARCImplicitlyUnretainedType(), clang::Qualifiers::OCL_ExplicitNone, and clang::Qualifiers::OCL_Strong.

Referenced by clang::SemaObjC::AdjustParameterTypeForObjCAutoRefCount(), clang::Sema::BuildCXXNew(), clang::Sema::CheckParameter(), clang::SemaObjC::handlePreciseLifetimeAttr(), and clang::tryMakeVariablePseudoStrong().

◆ getObjCSubstitutions()

std::optional< ArrayRef< QualType > > Type::getObjCSubstitutions ( const DeclContext * dc ) const

Retrieve the set of substitutions required when accessing a member of the Objective-C receiver type that is declared in the given context.

*this is the type of the object we're operating on, e.g., the receiver for a message send or the base of a property access, and is expected to be of some object or object pointer type.

Parameters

dc	The declaration context for which we are building up a substitution mapping, which should be an Objective-C class, extension, category, or method within.

Returns: an array of type arguments that can be substituted for the type parameters of the given declaration context in any type described within that context, or an empty optional to indicate that no substitution is required.

Extract the class from the receiver object type.

Definition at line 1637 of file Type.cpp.

References castAs(), clang::ObjCCategoryDecl::getClassInterface(), clang::ObjCObjectType::getInterface(), clang::ASTContext::getObjCObjectType(), clang::DeclContext::getParentASTContext(), clang::ObjCObjectType::getSuperClassType(), clang::ObjCObjectType::getTypeArgs(), clang::ObjCCategoryDecl::getTypeParamList(), clang::QualType::isNull(), clang::ObjCObjectType::isUnspecialized(), and clang::ASTContext::ObjCBuiltinIdTy.

Referenced by clang::SemaObjC::CheckMessageArgumentTypes(), clang::CodeCompletionResult::createCodeCompletionStringForDecl(), and clang::QualType::substObjCMemberType().

◆ getPointeeCXXRecordDecl()

const CXXRecordDecl * Type::getPointeeCXXRecordDecl ( ) const

If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to.

If this is not a pointer or reference, or the type being pointed to does not refer to a CXXRecordDecl, returns NULL.

Definition at line 1867 of file Type.cpp.

References getAs(), and getPointeeType().

Referenced by adjustReturnValue(), DiagnoseReinterpretUpDownCast(), emitBadConversionNotes(), clang::ento::retaincountchecker::RetainCountChecker::errorKindToBugKind(), clang::ento::StoreManager::evalBaseToDerived(), clang::ento::StoreManager::evalDerivedToBase(), clang::SourceLocExpr::EvaluateInContext(), isOSObjectPtr(), isSetOnReadPtrType(), clang::isUncountedPtr(), mangleOverrideDiscrimination(), clang::QualType::mayBeDynamicClass(), clang::QualType::mayBeNotDynamicClass(), regionMatchesCXXRecordType(), and clang::sema::shouldTrackFirstArgument().

◆ getPointeeOrArrayElementType()

const Type * clang::Type::getPointeeOrArrayElementType ( ) const

inline

If this is a pointer type, return the pointee type.

If this is an array type, return the array element type. This should never be used when type qualifiers are meaningful.

Definition at line 8497 of file Type.h.

References clang::ast_matchers::type.

Referenced by clang::SemaOpenCL::checkBuiltinEnqueueKernel(), checkIsValidOpenCLKernelParameter(), clang::Sema::DiagnoseAssignmentResult(), getOpenCLKernelParameterType(), clang::ASTNodeImporter::ImportDeclParts(), and clang::InitializationSequence::Perform().

◆ getPointeeType()

QualType Type::getPointeeType ( ) const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 705 of file Type.cpp.

References getPointeeType().

◆ getRVVEltType()

QualType Type::getRVVEltType ( const ASTContext & Ctx ) const

Returns the representative type for the element of an RVV builtin type.

This is used to represent fixed-length RVV vectors created with the 'riscv_rvv_vector_bits' type attribute as VectorType.

Definition at line 2579 of file Type.cpp.

References clang::ASTContext::BuiltinVectorTypeInfo::ElementType, clang::ASTContext::getBuiltinVectorTypeInfo(), clang::BuiltinType::getKind(), and isRVVVLSBuiltinType().

Referenced by clang::ASTContext::areLaxCompatibleRVVTypes(), getSizelessVectorEltType(), and HandleRISCVRVVVectorBitsTypeAttr().

◆ getScalarTypeKind()

Type::ScalarTypeKind Type::getScalarTypeKind ( ) const

Given that this is a scalar type, classify it.

Definition at line 2296 of file Type.cpp.

References isBitIntType(), isScalarType(), STK_BlockPointer, STK_Bool, STK_CPointer, STK_FixedPoint, STK_Floating, STK_FloatingComplex, STK_Integral, STK_IntegralComplex, STK_MemberPointer, STK_ObjCObjectPointer, and clang::T.

Referenced by matchTypes(), clang::Sema::PrepareScalarCast(), and clang::Sema::ScalarTypeToBooleanCastKind().

◆ getSizelessVectorEltType()

QualType Type::getSizelessVectorEltType ( const ASTContext & Ctx ) const

Returns the representative type for the element of a sizeless vector builtin type.

Definition at line 2536 of file Type.cpp.

References getRVVEltType(), getSveEltType(), isRVVSizelessBuiltinType(), isSizelessVectorType(), and isSVESizelessBuiltinType().

◆ getSveEltType()

QualType Type::getSveEltType ( const ASTContext & Ctx ) const

Returns the representative type for the element of an SVE builtin type.

This is used to represent fixed-length SVE vectors created with the 'arm_sve_vector_bits' type attribute as VectorType.

Definition at line 2548 of file Type.cpp.

References clang::ASTContext::BuiltinVectorTypeInfo::ElementType, clang::ASTContext::getBuiltinVectorTypeInfo(), clang::BuiltinType::getKind(), isSveVLSBuiltinType(), and clang::ASTContext::UnsignedCharTy.

Referenced by clang::ASTContext::areCompatibleSveTypes(), clang::ASTContext::areLaxCompatibleSveTypes(), clang::Sema::CheckImplicitConversion(), clang::Sema::CheckSizelessVectorConditionalTypes(), checkSizelessVectorShift(), clang::Sema::CreateBuiltinArraySubscriptExpr(), getSizelessVectorEltType(), HandleArmSveVectorBitsTypeAttr(), and isValidSizelessVectorForConditionalCondition().

◆ getTypeClass()

TypeClass clang::Type::getTypeClass ( ) const

inline

Definition at line 2334 of file Type.h.

◆ getTypeClassName()

const char * Type::getTypeClassName ( ) const

Definition at line 3273 of file Type.cpp.

References TypeBits.

Referenced by clang::JSONNodeDumper::Visit(), clang::TextNodeDumper::Visit(), and clang::ASTNodeImporter::VisitType().

◆ getUnqualifiedDesugaredType()

const Type * Type::getUnqualifiedDesugaredType ( ) const

Return the specified type with any "sugar" removed from the type, removing any typedefs, typeofs, etc., as well as any qualifiers.

getUnqualifiedDesugaredType - Pull any qualifiers and syntactic sugar off the given type.

This should produce an object of the same dynamic type as the canonical type.

Definition at line 605 of file Type.cpp.

References getTypeClass().

Referenced by clang::Sema::ActOnFunctionDeclarator(), clang::Sema::BuildPointerType(), getArrayElementTypeNoTypeQual(), getAsStructureType(), getAsUnionType(), clang::ASTContext::getTargetNullPointerValue(), clang::ASTContext::getTypeUnadjustedAlign(), clang::ASTContext::getUnqualifiedArrayType(), handleCallbackAttr(), clang::ento::iterator::isIteratorType(), IsPreserveAIArrayBase(), clang::isValidPreserveEnumValueArg(), clang::isValidPreserveTypeInfoArg(), and TryReferenceListInitialization().

◆ getVisibility()

Visibility clang::Type::getVisibility ( ) const

inline

Determine the visibility of this type.

Definition at line 2924 of file Type.h.

Referenced by mergeVisibilityAttr().

◆ hasAttr()

bool Type::hasAttr ( attr::Kind AK ) const

Determine whether this type had the specified attribute applied to it (looking through top-level type sugar).

Definition at line 1899 of file Type.cpp.

References getAs().

Referenced by clang::Sema::BuildFieldReferenceExpr(), IsPreserveAIArrayBase(), clang::Expr::isUnusedResultAWarning(), and IsVectorConversion().

◆ hasAutoForTrailingReturnType()

bool Type::hasAutoForTrailingReturnType ( ) const

Determine whether this type was written with a leading 'auto' corresponding to a trailing return type (possibly for a nested function type within a pointer to function type or similar).

Definition at line 2016 of file Type.cpp.

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

◆ hasFloatingRepresentation()

bool Type::hasFloatingRepresentation ( ) const

Determine whether this type has a floating-point representation of some sort, e.g., it is a floating-point type or a vector thereof.

Definition at line 2258 of file Type.cpp.

References isFloatingType().

Referenced by clang::Sema::ActOnParenExpr(), canApplyNoFPClass(), checkArithmeticOrEnumeralCompare(), checkArithmeticOrEnumeralThreeWayCompare(), clang::Sema::CheckBitwiseOperands(), clang::SemaHLSL::CheckBuiltinFunctionCall(), clang::Sema::CheckSizelessVectorCompareOperands(), clang::Sema::CheckVectorCompareOperands(), clang::Sema::CheckVectorLogicalOperands(), diagnoseTautologicalComparison(), EmitCompare(), getDotProductIntrinsic(), and handleTransparentUnionAttr().

◆ hasIntegerRepresentation()

bool Type::hasIntegerRepresentation ( ) const

Determine whether this type has an integer representation of some sort, e.g., it is an integer type or a vector.

Definition at line 2021 of file Type.cpp.

References isIntegerType().

Referenced by clang::SemaOpenMP::ActOnOpenMPDeclareSimdDirective(), clang::Sema::BuiltinShuffleVector(), clang::Sema::CheckBitwiseOperands(), clang::Sema::CheckRemainderOperands(), clang::Sema::CheckShiftOperands(), clang::Sema::CreateBuiltinUnaryOp(), clang::ASTContext::getCorrespondingSignedType(), and clang::ASTContext::getCorrespondingUnsignedType().

◆ hasObjCPointerRepresentation()

bool clang::Type::hasObjCPointerRepresentation ( ) const

inline

Whether this type can represent an objective pointer type for the purpose of GC'ability.

Definition at line 8486 of file Type.h.

◆ hasPointerRepresentation()

bool clang::Type::hasPointerRepresentation ( ) const

inline

Whether this type is represented natively as a pointer.

This includes pointers, references, block pointers, and Objective-C interface, qualified id, and qualified interface types, as well as nullptr_t.

Definition at line 8481 of file Type.h.

Referenced by Evaluate(), EvaluateBuiltinStrLen(), EvaluatePointer(), clang::SemaSwift::handleError(), ignorePointerCastsAndParens(), is32Or64BitBasicType(), and clang::isValidSwiftContextType().

◆ hasSignedIntegerRepresentation()

bool Type::hasSignedIntegerRepresentation ( ) const

Determine whether this type has an signed integer representation of some sort, e.g., it is an signed integer type or a vector.

Definition at line 2186 of file Type.cpp.

References isSignedIntegerOrEnumerationType().

Referenced by actOnOMPReductionKindClause(), AnalyzeComparison(), canConvertIntToOtherIntTy(), canConvertIntTyToFloatTy(), castValueToType(), checkOpenMPLoop(), checkPointerTypesForAssignment(), EmitCompare(), emitOMPAtomicCompareExpr(), clang::ASTContext::getCorrespondingSignedType(), getDotProductIntrinsic(), clang::CodeGen::ABIArgInfo::getExtend(), handleIntegerConversion(), and clang::analyze_format_string::ArgType::matchesType().

◆ hasSizedVLAType()

bool Type::hasSizedVLAType ( ) const

Whether this type involves a variable-length array type with a definite size.

Definition at line 5007 of file Type.cpp.

References getAsArrayTypeUnsafe(), and isVariablyModifiedType().

Referenced by clang::QualType::isCanonicalAsParam().

◆ hasUnnamedOrLocalType()

bool Type::hasUnnamedOrLocalType ( ) const

Whether this type is or contains a local or unnamed type.

Definition at line 4587 of file Type.cpp.

References clang::TypePropertyCache< Private >::ensure(), and TypeBits.

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

◆ hasUnsignedIntegerRepresentation()

bool Type::hasUnsignedIntegerRepresentation ( ) const

Determine whether this type has an unsigned integer representation of some sort, e.g., it is an unsigned integer type or a vector.

Definition at line 2236 of file Type.cpp.

References isUnsignedIntegerOrEnumerationType().

Referenced by AnalyzeComparison(), checkOpenMPLoop(), DiagnoseBadShiftValues(), DiagnoseFloatingImpCast(), clang::ASTContext::getCorrespondingUnsignedType(), getDotProductIntrinsic(), and isLegalTypeForHLSLSV_DispatchThreadID().

◆ isAggregateType()

bool Type::isAggregateType ( ) const

Determines whether the type is a C++ aggregate type or C aggregate or union type.

An aggregate type is an array or a class type (struct, union, or class) that has no user-declared constructors, no private or protected non-static data members, no base classes, and no virtual functions (C++ [dcl.init.aggr]p1). The notion of an aggregate type subsumes the notion of C aggregates (C99 6.2.5p21) because it also includes union types.

Definition at line 2338 of file Type.cpp.

Referenced by clang::Sema::AddInitializerToDecl(), calculateLegacyCbufferSize(), EvaluateUnaryTypeTrait(), TryConstructorInitialization(), TryListConversion(), and TryListInitialization().

◆ isAlignValT()

bool Type::isAlignValT ( ) const

Definition at line 3070 of file Type.cpp.

References clang::IdentifierInfo::isStr().

Referenced by clang::Sema::AddAllocAlignAttr(), getUsualDeleteParams(), and clang::FunctionDecl::isReplaceableGlobalAllocationFunction().

◆ isAnyCharacterType()

bool Type::isAnyCharacterType ( ) const

Determine whether this type is any of the built-in character types.

Definition at line 2125 of file Type.cpp.

Referenced by BuildExpressionFromIntegralTemplateArgumentValue(), clang::Sema::CheckCompatibleReinterpretCast(), diagnoseStringPlusChar(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), clang::UserDefinedLiteral::getLiteralOperatorKind(), clang::Sema::IsIntegralPromotion(), printIntegral(), and TryPrintAsStringLiteral().

◆ isAnyComplexType()

bool clang::Type::isAnyComplexType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8111 of file Type.h.

◆ isAnyPointerType()

bool clang::Type::isAnyPointerType ( ) const

inline

Definition at line 8011 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), clang::Sema::ActOnFinishFunctionBody(), clang::SemaOpenMP::ActOnOMPArraySectionExpr(), clang::SemaOpenMP::ActOnOpenMPCopyprivateClause(), clang::SemaOpenMP::ActOnOpenMPFirstprivateClause(), clang::SemaOpenMP::ActOnOpenMPPrivateClause(), clang::Sema::AddAlignValueAttr(), AreTypesCompatible(), AuditedType(), clang::tooling::buildAccess(), clang::Sema::BuildQualifiedType(), clang::SemaARM::BuiltinARMMemoryTaggingCall(), clang::Sema::BuiltinRemovePointer(), CastsAwayConstness(), clang::Sema::CheckAdditionOperands(), checkArithmeticBinOpPointerOperands(), checkArithmeticIncompletePointerType(), checkArithmeticNull(), checkArithmeticOpPointerOperand(), clang::SemaARM::CheckARMBuiltinExclusiveCall(), clang::SemaRISCV::CheckBuiltinFunctionCall(), clang::Sema::CheckCompareOperands(), checkConditionalNullPointer(), clang::Sema::CheckFunctionDeclaration(), CheckLValueConstantExpression(), checkMapConflicts(), clang::Sema::CheckMSVCRTEntryPoint(), CheckNullabilityTypeSpecifier(), CheckOriginalCallArgDeduction(), clang::Sema::CheckPointerConversion(), clang::Sema::CheckPtrComparisonWithNullChar(), clang::Sema::CheckSubtractionOperands(), computeConditionalNullability(), convertPointersToCompositeType(), clang::SemaSYCL::deepTypeCheckForDevice(), clang::Sema::DefaultLvalueConversion(), diagnoseArithmeticOnTwoFunctionPointers(), DiagnoseBadFunctionCast(), DiagnoseCastQual(), DiagnoseNullConversion(), diagnosePointerIncompatibility(), diagnoseStringPlusChar(), clang::ento::SMTConv::doTypeConversion(), emitOutlinedFunctionPrologue(), EvaluateUnaryTypeTrait(), clang::Sema::FindCompositePointerType(), clang::ento::SMTConv::fromCast(), clang::ento::SMTConv::getBinExpr(), getFuchsiaHandleSymbols(), getNonNullAttr(), clang::ASTContext::getObjCGCAttrKind(), clang::ASTContext::getObjCGCQualType(), clang::CXXMemberCallExpr::getRecordDecl(), getVariableCategoryFromDecl(), clang::ento::SMTConv::getZeroExpr(), handleOwnershipAttr(), handleRestrictAttr(), isCallback(), clang::ento::isDereferencableType(), isIndirectPointerType(), clang::ento::Loc::isLocType(), clang::SemaOpenMP::isOpenMPCapturedByRef(), clang::StandardConversionSequence::isPointerConversionToVoidPointer(), isPointerToConst(), clang::CodeGen::CodeGenTypes::isPointerZeroInitializable(), clang::ASTContext::isSentinelNullExpr(), IsStandardConversion(), clang::Sema::isValidPointerAttrType(), isValidPointerType(), threadSafetyCheckIsPointer(), TryReinterpretCast(), TypeIsInnerPointer(), unwrapCastAwayConstnessLevel(), clang::FunctionCallFilterCCC::ValidateCandidate(), and clang::ento::UndefOrNullArgVisitor::VisitNode().

◆ isArithmeticType()

bool Type::isArithmeticType ( ) const

Definition at line 2281 of file Type.cpp.

References isBitIntType().

Referenced by actOnOMPReductionKindClause(), clang::SemaObjC::ActOnPropertyImplDecl(), clang::Sema::CheckAdditionOperands(), checkArithmeticOrEnumeralCompare(), checkArithmeticOrEnumeralThreeWayCompare(), clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckConditionalOperands(), clang::Sema::CheckMultiplyDivideOperands(), clang::Sema::CheckSubtractionOperands(), CheckVecStepTraitOperandType(), clang::Sema::CreateBuiltinUnaryOp(), clang::Sema::CXXCheckConditionalOperands(), clang::SemaObjC::DiagnosePropertyAccessorMismatch(), clang::ento::SMTConv::doTypeConversion(), EvaluateUnaryTypeTrait(), IsStandardConversion(), IsVectorConversion(), IsVectorElementConversion(), tryGCCVectorConvertAndSplat(), and clang::Sema::UsualArithmeticConversions().

◆ isArrayParameterType()

bool clang::Type::isArrayParameterType ( ) const

inline

Definition at line 8091 of file Type.h.

Referenced by clang::ASTContext::getArrayParameterType(), clang::InitializationSequence::InitializeFrom(), and IsStandardConversion().

◆ isArrayType()

bool clang::Type::isArrayType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8075 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), clang::Sema::ActOnConditionalOp(), clang::Sema::ActOnCXXDelete(), clang::SemaOpenMP::ActOnOMPArraySectionExpr(), clang::SemaOpenMP::ActOnOpenMPAlignedClause(), clang::SemaOpenMP::ActOnOpenMPDeclareReductionType(), clang::SemaOpenMP::ActOnOpenMPDeclareSimdDirective(), clang::SemaOpenMP::ActOnOpenMPFirstprivateClause(), clang::SemaOpenMP::ActOnOpenMPIsDevicePtrClause(), clang::SemaObjC::AdjustParameterTypeForObjCAutoRefCount(), clang::Sema::BuildArrayType(), clang::Sema::BuildAtomicType(), clang::Sema::BuildCompoundLiteralExpr(), clang::Sema::BuildCXXForRangeStmt(), clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::BuildExceptionDeclaration(), clang::Sema::BuildExpressionFromDeclTemplateArgument(), buildSingleCopyAssign(), buildUserDefinedMapperRef(), clang::Sema::BuildVAArgExpr(), clang::Sema::BuildVectorType(), BuiltinAlignment(), clang::Sema::BuiltinDecay(), clang::SemaPPC::BuiltinPPCMMACall(), canInitializeArrayWithEmbedDataString(), captureInBlock(), CheckArrow(), clang::Sema::CheckConditionVariable(), clang::Sema::CheckConversionDeclarator(), CheckConvertibilityForTypeTraits(), clang::interp::CheckFieldsInitialized(), clang::Sema::CheckFunctionReturnType(), checkIsValidOpenCLKernelParameter(), clang::Sema::CheckNonTypeTemplateParameterType(), CheckNullabilityTypeSpecifier(), clang::Sema::CheckParameter(), clang::SemaPPC::CheckPPCMMAType(), clang::Sema::CheckSpecifiedExceptionType(), clang::Sema::CheckTemplateArgument(), CheckTemplateArgumentAddressOfObjectOrFunction(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), CheckUnaryTypeTraitTypeCompleteness(), ClassifyTemporary(), clang::Sema::ConstantFoldAttrArgs(), clang::CXXBindTemporaryExpr::Create(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::Sema::CreateGenericSelectionExpr(), clang::SemaObjC::CreatePropertyDecl(), createReferenceTemporary(), DecodeTypeFromStr(), clang::Sema::DeduceAutoType(), clang::Sema::deduceOpenCLAddressSpace(), DeduceTemplateArgumentsByTypeMatch(), clang::Sema::deduceVarTypeFromInitializer(), clang::SemaSYCL::deepTypeCheckForDevice(), clang::Sema::DefaultFunctionArrayConversion(), clang::Sema::DiagnoseAlwaysNonNullPointer(), clang::Sema::DiagnoseAssignmentResult(), diagnoseTautologicalComparison(), clang::Sema::DiagnoseUnusedExprResult(), doRewriteToUTF8StringBoxedExpressionHelper(), emitOMPArraySectionBase(), emitPrivatesInit(), emitReadOnlyPlacementAttrWarning(), clang::CodeGen::CGOpenMPRuntime::emitSingleReductionCombiner(), Evaluate(), EvaluateArray(), EvaluateArrayNewConstructExpr(), EvaluateArrayNewInitList(), EvaluateArrayTypeTrait(), clang::interp::Context::evaluateAsInitializer(), EvaluateInPlace(), EvaluateUnaryTypeTrait(), clang::Sema::FinalizeVarWithDestructor(), FindDesignatorMismatch(), findSubobject(), clang::ASTContext::getAdjustedParameterType(), getAsArrayToPointerDecayedDecl(), clang::QualType::getBaseTypeIdentifier(), clang::ASTContext::GetBuiltinType(), getCoreType(), clang::ASTContext::getCountAttributedType(), clang::ASTContext::getDecayedType(), getDesignatedType(), clang::ASTContext::getExceptionObjectType(), GetFullTypeForDeclarator(), clang::ASTContext::getInnerObjCOwnership(), clang::CodeGen::CodeGenModule::getNaturalTypeAlignment(), getOpenCLKernelParameterType(), getUuidAttrOfType(), handleLifetimeCategoryAttr(), handleLValueToRValueConversion(), clang::SemaHLSL::handlePackOffsetAttr(), clang::ASTContext::hasUniqueObjectRepresentations(), clang::ASTNodeImporter::ImportDeclParts(), clang::ASTNodeImporter::ImportFieldDeclDefinition(), clang::InitializationSequence::InitializeFrom(), clang::ento::NonLoc::isCompoundType(), clang::Expr::isConstantInitializer(), isDesignatorAtObjectEnd(), clang::arcmt::trans::MigrationContext::isGCOwnedNonObjC(), IsStandardConversion(), isTriviallyEqualityComparableType(), clang::Expr::isUnusedResultAWarning(), isZeroSized(), clang::Sema::MergeVarDeclTypes(), needsAmpersandOnTemplateArg(), clang::InitializationSequence::Perform(), pushTemporaryCleanup(), rebuildPotentialResultsAsNonOdrUsed(), clang::ASTContext::removeAddrSpaceQualType(), setObjCGCLValueClass(), tryDiagnoseOverloadedCast(), TryOrBuildParenListInitialization(), TryReferenceInit(), TryReferenceInitializationCore(), clang::interp::Compiler< Emitter >::VisitCXXConstructExpr(), clang::interp::Compiler< Emitter >::VisitImplicitValueInitExpr(), clang::interp::Compiler< Emitter >::visitInitList(), clang::ento::ExprEngine::VisitInitListExpr(), and clang::ento::ExprEngine::VisitMemberExpr().

◆ isAtomicType()

bool clang::Type::isAtomicType ( ) const

inline

◆ isBFloat16Type()

bool clang::Type::isBFloat16Type ( ) const

inline

Definition at line 8340 of file Type.h.

Referenced by clang::SemaRISCV::checkRVVTypeSupport(), clang::Sema::checkTypeSupport(), and IsFloatingPointConversion().

◆ isBitIntType()

bool clang::Type::isBitIntType ( ) const

inline

Definition at line 8241 of file Type.h.

Referenced by clang::Sema::ActOnGCCAsmStmt(), clang::Sema::ActOnMSAsmStmt(), clang::Sema::AddModeAttr(), clang::Sema::BuildAtomicExpr(), clang::Sema::BuildAtomicType(), clang::Sema::BuildExtVectorType(), clang::Sema::BuildVectorType(), clang::Sema::BuiltinChangeSignedness(), clang::Sema::CheckConditionalOperands(), clang::Sema::CheckEnumUnderlyingType(), clang::Sema::CheckTemplateArgument(), clang::Sema::checkTypeSupport(), clang::CodeGen::CodeGenTypes::convertTypeForLoadStore(), clang::CodeGen::CodeGenTypes::ConvertTypeForMem(), DetermineNoUndef(), DiagnoseBadShiftValues(), clang::CodeGen::ConstantEmitter::emitForMemory(), clang::ASTContext::getExtVectorType(), getScalarTypeKind(), clang::ASTContext::getVectorType(), isArithmeticType(), isIntegralOrUnscopedEnumerationType(), isIntegralType(), and isRealType().

◆ isBlockCompatibleObjCPointerType()

bool Type::isBlockCompatibleObjCPointerType ( ASTContext & ctx ) const

Definition at line 4880 of file Type.cpp.

References clang::ASTContext::getNSCopyingName(), and clang::ASTContext::getNSObjectName().

Referenced by clang::applyObjCTypeArgs(), clang::Sema::CheckAssignmentConstraints(), and clang::Sema::CheckCompareOperands().

◆ isBlockPointerType()

bool clang::Type::isBlockPointerType ( ) const

inline

Definition at line 8017 of file Type.h.

Referenced by clang::SemaObjC::ActOnObjCForCollectionStmt(), clang::applyObjCTypeArgs(), AuditedType(), clang::ASTContext::BlockRequiresCopying(), clang::Sema::BuildArrayType(), clang::Sema::BuildCXXMemberCallExpr(), clang::SemaObjC::BuildInstanceMessage(), clang::SemaObjC::BuildObjCBridgedCast(), BuiltinDumpStruct(), CanThrow(), clang::ento::StoreManager::castRegion(), CastsAwayConstness(), checkArithmeticNull(), clang::SemaARM::CheckARMBuiltinExclusiveCall(), clang::Sema::CheckAssignmentConstraints(), checkBlockType(), clang::SemaRISCV::CheckBuiltinFunctionCall(), checkCastFunctionType(), clang::Sema::CheckCompareOperands(), checkConditionalBlockPointerCompatibility(), checkConditionalNullPointer(), clang::Sema::CheckConditionalOperands(), clang::Sema::CheckFieldDecl(), clang::SemaObjC::CheckMessageArgumentTypes(), clang::SemaObjC::CheckObjCPropertyAttributes(), clang::Sema::CheckPointerConversion(), clang::Sema::CheckSingleAssignmentConstraints(), clang::SemaObjC::CheckSubscriptingKind(), clang::Sema::CheckVariableDeclarationType(), clang::interp::Context::classify(), compareConversionFunctions(), computeCopyInfoForBlockCapture(), clang::Sema::CreateBuiltinBinOp(), clang::Sema::CreateBuiltinUnaryOp(), clang::CodeCompletionResult::createCodeCompletionStringForDecl(), clang::Sema::DefaultVariadicArgumentPromotion(), DiagnoseBadFunctionCast(), DiagnoseNullConversion(), diagnoseObjCARCConversion(), diagnoseTautologicalComparison(), DiagnoseUninitializedUse(), clang::ento::SMTConv::doTypeConversion(), FormatFunctionParameter(), clang::ento::SMTConv::fromCast(), clang::Sema::GatherArgumentsForCall(), getBlockFieldFlagsForObjCObjectPointer(), clang::ASTContext::getByrefLifetime(), GetFullTypeForDeclarator(), clang::Decl::getFunctionType(), GetGCAttrTypeForType(), getNonNullAttr(), clang::ASTContext::getObjCGCAttrKind(), getPointerAuthInfoForType(), getScalarZeroExpressionForType(), clang::ObjCPropertyDecl::getSetterKind(), clang::ento::CallEventManager::getSimpleCall(), clang::ento::SMTConv::getZeroExpr(), handleAnalyzerNoReturnAttr(), clang::SemaSwift::handleAsyncAttr(), handleOwnershipAttr(), handleRestrictAttr(), handleSentinelAttr(), is32Or64BitBasicType(), clang::isBlockPointer(), isCallback(), isFunctionLike(), clang::CXXConversionDecl::isLambdaToBlockPointerConversion(), clang::ento::Loc::isLocType(), isObjCARCBridgableType(), isObjCRetainableType(), clang::Sema::IsPointerConversion(), clang::CodeGen::CodeGenTypes::isPointerZeroInitializable(), IsStandardConversion(), clang::Sema::isValidPointerAttrType(), isValidPointerType(), isVariableCapturable(), clang::analyze_format_string::ArgType::matchesType(), clang::Sema::maybeExtendBlockObject(), clang::ASTContext::mergeTypes(), clang::Sema::PerformImplicitConversion(), PropertyMemoryAttribute(), rewriteToObjCProperty(), shouldEmitSeparateBlockRetain(), SuggestInitializationFixit(), TryReinterpretCast(), TryStaticCast(), TypeIsInnerPointer(), and unwrapCastAwayConstnessLevel().

◆ isBooleanType()

bool clang::Type::isBooleanType ( ) const

inline

Definition at line 8447 of file Type.h.

Referenced by clang::Sema::ActOnGCCAsmStmt(), AddObjCKeyValueCompletions(), AddOrdinaryNameResults(), AnalyzeBitFieldAssignment(), AnalyzeImplicitConversions(), clang::ento::SMTConstraintManager::assumeSym(), buildCoawaitCalls(), BuildExpressionFromIntegralTemplateArgumentValue(), clang::Sema::BuildExtVectorType(), clang::Sema::BuildVAArgExpr(), clang::Sema::BuildVectorType(), clang::Sema::BuiltinChangeSignedness(), ChangeIntegralSignedness(), checkArithmeticOrEnumeralThreeWayCompare(), CheckConditionalOperator(), CheckConvertedConstantConversions(), clang::Sema::CheckEnumConstant(), clang::Sema::CheckImplicitConversion(), CheckIncrementDecrementOperand(), checkIntToPointerCast(), clang::Sema::CheckLogicalOperands(), clang::Sema::CheckLoopHintExpr(), clang::Sema::CheckSingleAssignmentConstraints(), CheckTautologicalComparison(), clang::Sema::CheckTemplateArgument(), clang::interp::Context::classify(), ConvertAPValueToString(), create_OSAtomicCompareAndSwap(), clang::Sema::CreateOverloadedBinOp(), DiagnoseBadFunctionCast(), clang::Sema::DiagnoseStaticAssertDetails(), ExprLooksBoolean(), clang::ento::SMTConv::fromCast(), clang::ASTContext::getIntWidth(), getOpenCLKernelParameterType(), getScalarZeroExpressionForType(), clang::ento::SMTConstraintManager::getSymVal(), clang::ento::SMTConv::getZeroExpr(), HandleIntToIntCast(), handleVecTypeHint(), hasBooleanRepresentation(), clang::InitializationSequence::InitializeFrom(), isBooleanType(), clang::Sema::IsIntegralPromotion(), isIntOrBool(), clang::Expr::isKnownToHaveBooleanValue(), IsStandardConversion(), clang::MatrixType::isValidElementType(), IsVectorElementConversion(), clang::ento::SMTConv::mkSort(), clang::Sema::PerformImplicitConversion(), clang::Sema::prepareVectorSplat(), printIntegral(), clang::APValue::printPretty(), clang::ento::ConditionBRVisitor::printValue(), rewriteToNumericBoxedExpression(), TryListInitialization(), TryReinterpretCast(), TryStaticCast(), clang::Sema::VerifyBitField(), clang::interp::Compiler< Emitter >::VisitCXXNoexceptExpr(), and clang::interp::Compiler< Emitter >::VisitTypeTraitExpr().

◆ isBuiltinType()

bool clang::Type::isBuiltinType ( ) const

inline

Helper methods to distinguish type categories.

All type predicates operate on the canonical type, ignoring typedefs and qualifiers. Returns true if the type is a builtin type.

Definition at line 8099 of file Type.h.

Referenced by clang::SemaObjC::BuildObjCBoxedExpr(), clang::Sema::BuildVectorType(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::ASTContext::getExtVectorType(), clang::ASTContext::getVectorType(), clang::SemaObjC::handleIBOutletCollection(), clang::ento::isPrimitiveType(), and isTypeSubstitutable().

◆ isCanonicalUnqualified()

bool clang::Type::isCanonicalUnqualified ( ) const

inline

Determines if this type would be canonical if it had no further qualification.

Definition at line 2360 of file Type.h.

Referenced by areCompatMatrixTypes(), areCompatVectorTypes(), clang::TypePropertyCache< Private >::ensure(), clang::Sema::getCopyElisionCandidate(), clang::TemplateTypeParmType::getIdentifier(), clang::ASTContext::getMemberPointerType(), clang::LinkageComputer::getTypeLinkageAndVisibility(), clang::QualType::isCanonical(), IsPossiblyOpaquelyQualifiedTypeInternal(), and clang::FunctionProtoType::Profile().

◆ isCARCBridgableType()

bool Type::isCARCBridgableType ( ) const

Determine whether the given type T is a "bridgeable" C type.

Definition at line 4984 of file Type.cpp.

References isRecordType(), isVoidType(), and Pointer.

Referenced by clang::SemaObjC::BuildObjCBridgedCast(), and clang::SemaObjC::handleNSObject().

◆ isChar16Type()

bool Type::isChar16Type ( ) const

Definition at line 2111 of file Type.cpp.

Referenced by BuildExpressionFromIntegralTemplateArgumentValue(), clang::Sema::BuiltinChangeSignedness(), getScalarZeroExpressionForType(), printIntegral(), and TryPrintAsStringLiteral().

◆ isChar32Type()

bool Type::isChar32Type ( ) const

Definition at line 2117 of file Type.cpp.

Referenced by BuildExpressionFromIntegralTemplateArgumentValue(), clang::Sema::BuiltinChangeSignedness(), getScalarZeroExpressionForType(), printIntegral(), and TryPrintAsStringLiteral().

◆ isChar8Type()

bool Type::isChar8Type ( ) const

Definition at line 2105 of file Type.cpp.

Referenced by BuildExpressionFromIntegralTemplateArgumentValue(), isOneByteCharacterType(), IsStringInit(), printIntegral(), and TryPrintAsStringLiteral().

◆ isCharType()

◆ isClassType()

bool Type::isClassType ( ) const

Definition at line 623 of file Type.cpp.

Referenced by EvaluateUnaryTypeTrait(), MaybePrintTagKeywordIfSupressingScopes(), and maybeTailCall().

◆ isClkEventT()

bool clang::Type::isClkEventT ( ) const

inline

Definition at line 8218 of file Type.h.

Referenced by clang::SemaOpenCL::checkBuiltinEnqueueKernel(), clang::Sema::CheckCompareOperands(), and diagnoseOpenCLTypes().

◆ isComplexIntegerType()

bool Type::isComplexIntegerType ( ) const

Definition at line 683 of file Type.cpp.

References getAsComplexIntegerType().

Referenced by clang::ento::SMTConstraintManager::canReasonAbout(), clang::Sema::CreateBuiltinUnaryOp(), DiagnoseBadFunctionCast(), handleComplexIntegerToFloatConversion(), handleIntToFloatConversion(), and clang::Sema::UsualArithmeticConversions().

◆ isComplexType()

bool Type::isComplexType ( ) const

isComplexType() does not include complex integers (a GCC extension).

isComplexIntegerType() can be used to test for complex integers.

Definition at line 677 of file Type.cpp.

Referenced by clang::Sema::AddModeAttr(), clang::ento::SMTConstraintManager::canReasonAbout(), clang::Sema::CreateBuiltinUnaryOp(), DiagnoseBadFunctionCast(), clang::StandardConversionSequence::getNarrowingKind(), handleComplexIntegerToFloatConversion(), clang::Sema::UsualArithmeticConversions(), and clang::Sema::UsualUnaryConversions().

◆ isCompoundType()

bool clang::Type::isCompoundType ( ) const

inline

Tests whether the type is categorized as a compound type.

Returns: True for types specified in C++0x [basic.compound].

Definition at line 7977 of file Type.h.

References isRecordType().

Referenced by EvaluateUnaryTypeTrait().

◆ isConstantArrayType()

bool clang::Type::isConstantArrayType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8079 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), clang::SemaOpenMP::ActOnOMPArraySectionExpr(), clang::Sema::deduceVarTypeFromInitializer(), EquivalentArrayTypes(), clang::ASTContext::getAdjustedParameterType(), clang::ASTContext::getArrayParameterType(), hasCompatibleArrayTypes(), isQualificationConversionStep(), IsStandardConversion(), unwrapCastAwayConstnessLevel(), and clang::Value::Value().

◆ isConstantMatrixType()

bool clang::Type::isConstantMatrixType ( ) const

inline

Definition at line 8137 of file Type.h.

Referenced by clang::Sema::CheckAdditionOperands(), clang::Sema::CheckMultiplyDivideOperands(), clang::Sema::CheckSubtractionOperands(), clang::CodeGen::CodeGenTypes::ConvertTypeForMem(), and EmitLoadOfMatrixLValue().

◆ isConstantSizeType()

bool Type::isConstantSizeType ( ) const

Return true if this is not a variable sized type, according to the rules of C99 6.7.5p3.

isConstantSizeType - Return true if this is not a variable sized type, according to the rules of C99 6.7.5p3.

It is not legal to call this on incomplete types.

It is not legal to call this on incomplete types or dependent types.

Definition at line 2352 of file Type.cpp.

References isDependentType(), and isIncompleteType().

Referenced by clang::Sema::BuildArrayType(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), getAlignmentAndOffsetFromBinAddOrSub(), clang::ASTContext::getConstantArrayType(), clang::CodeGen::CodeGenModule::getOrCreateStaticVarDecl(), HandleSizeof(), clang::interp::Compiler< Emitter >::VisitUnaryExprOrTypeTraitExpr(), and clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr().

◆ isConvertibleToFixedPointType()

bool clang::Type::isConvertibleToFixedPointType ( ) const

inline

Return true if this can be converted to (or from) a fixed point type.

Definition at line 8384 of file Type.h.

Referenced by IsStandardConversion().

◆ isCountAttributedType()

bool Type::isCountAttributedType ( ) const

Definition at line 694 of file Type.cpp.

◆ isCUDADeviceBuiltinSurfaceType()

bool Type::isCUDADeviceBuiltinSurfaceType ( ) const

Check if the type is the CUDA device builtin surface type.

Check if the specified type is the CUDA device builtin surface type.

Definition at line 4994 of file Type.cpp.

Referenced by clang::CodeGen::CodeGenTypes::ConvertType(), clang::CodeGen::CodeGenModule::getTBAAAccessInfo(), and clang::SemaCUDA::IdentifyTarget().

◆ isCUDADeviceBuiltinTextureType()

bool Type::isCUDADeviceBuiltinTextureType ( ) const

Check if the type is the CUDA device builtin texture type.

Check if the specified type is the CUDA device builtin texture type.

Definition at line 5001 of file Type.cpp.

Referenced by clang::CodeGen::CodeGenTypes::ConvertType(), clang::CodeGen::CodeGenModule::getTBAAAccessInfo(), and clang::SemaCUDA::IdentifyTarget().

◆ isDecltypeType()

bool clang::Type::isDecltypeType ( ) const

inline

Definition at line 8200 of file Type.h.

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

◆ isDependentAddressSpaceType()

bool clang::Type::isDependentAddressSpaceType ( ) const

inline

Definition at line 8141 of file Type.h.

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

◆ isDependentSizedArrayType()

bool clang::Type::isDependentSizedArrayType ( ) const

inline

Definition at line 8095 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), and EquivalentArrayTypes().

◆ isDependentType()

bool clang::Type::isDependentType ( ) const

inline

Whether this type is a dependent type, meaning that its definition somehow depends on a template parameter (C++ [temp.dep.type]).

Definition at line 2695 of file Type.h.

◆ isDoubleType()

bool clang::Type::isDoubleType ( ) const

inline

Definition at line 8336 of file Type.h.

◆ isElaboratedTypeSpecifier()

bool Type::isElaboratedTypeSpecifier ( ) const

Determine wither this type is a C++ elaborated-type-specifier.

Definition at line 3258 of file Type.cpp.

References clang::TypeWithKeyword::KeywordIsTagTypeKind().

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

◆ isEnumeralType()

bool clang::Type::isEnumeralType ( ) const

inline

Definition at line 8107 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnIntExpr(), AnalyzeBitFieldAssignment(), argTypeIsABIEquivalent(), clang::Sema::BuildCXXNestedNameSpecifier(), clang::Sema::BuildCXXNew(), BuildExpressionFromIntegralTemplateArgumentValue(), clang::Sema::BuiltinChangeSignedness(), clang::Sema::BuiltinEnumUnderlyingType(), ChangeIntegralSignedness(), checkArithmeticOrEnumeralCompare(), checkArithmeticOrEnumeralThreeWayCompare(), clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckCompareOperands(), CheckIncrementDecrementOperand(), checkIntToPointerCast(), clang::Sema::CheckOverloadedOperatorDeclaration(), clang::Sema::CheckSizelessVectorConditionalTypes(), clang::Sema::CheckSwitchCondition(), CheckTautologicalComparison(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckVectorConditionalTypes(), DiagnoseBadFunctionCast(), EvaluateUnaryTypeTrait(), clang::QualType::getBaseTypeIdentifier(), clang::ASTContext::getCorrespondingSignedType(), clang::ASTContext::getCorrespondingUnsignedType(), GetEnumUnderlyingType(), getFixedEnumPromtion(), getNextLargerIntegralType(), getScalarZeroExpressionForType(), HasEnumType(), is32Or64BitBasicType(), IsAcceptableNonMemberOperatorCandidate(), clang::Sema::IsIntegralPromotion(), isNullPointerConstantForConversion(), clang::ento::isPrimitiveType(), clang::ASTContext::isPromotableBitField(), clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), isRepresentableIntegerValue(), isTriviallyEqualityComparableType(), clang::MatrixType::isValidElementType(), isValidSizelessVectorForConditionalCondition(), isValidVectorForConditionalCondition(), clang::SemaOpenMP::PerformOpenMPImplicitIntegerConversion(), clang::TreeTransform< Derived >::TransformNestedNameSpecifierLoc(), tryGCCVectorConvertAndSplat(), TryStaticCast(), clang::Sema::VerifyIntegerConstantExpression(), and clang::interp::Compiler< Emitter >::VisitCastExpr().

◆ isEventT()

bool clang::Type::isEventT ( ) const

inline

Definition at line 8214 of file Type.h.

Referenced by clang::Sema::CheckFieldDecl(), diagnoseOpenCLTypes(), getOpenCLKernelParameterType(), IsStandardConversion(), clang::InitializationSequence::Perform(), and TryOCLZeroOpaqueTypeInitialization().

◆ isExtVectorBoolType()

bool clang::Type::isExtVectorBoolType ( ) const

inline

Definition at line 8123 of file Type.h.

Referenced by clang::Sema::CheckVectorOperands(), checkVectorShift(), clang::CodeGen::CodeGenTypes::convertTypeForLoadStore(), clang::CodeGen::CodeGenTypes::ConvertTypeForMem(), clang::Sema::GetSignedVectorType(), and LookupMemberExpr().

◆ isExtVectorType()

bool clang::Type::isExtVectorType ( ) const

inline

Definition at line 8119 of file Type.h.

Referenced by clang::Sema::areLaxCompatibleVectorTypes(), clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckConditionalOperands(), clang::Sema::CheckExtVectorCast(), clang::Sema::CheckVectorConditionalTypes(), clang::Sema::CheckVectorOperands(), convertVector(), clang::Sema::CreateBuiltinUnaryOp(), EvaluateUnaryTypeTrait(), handleVecTypeHint(), clang::InitializationSequence::InitializeFrom(), isValidVectorForConditionalCondition(), LookupMemberExpr(), clang::InitializationSequence::Perform(), clang::Sema::PerformImplicitConversion(), clang::Sema::prepareVectorSplat(), and TryReinterpretCast().

◆ isFixedPointOrIntegerType()

bool clang::Type::isFixedPointOrIntegerType ( ) const

inline

Return true if this is a fixed point or integer type.

Definition at line 8380 of file Type.h.

Referenced by clang::Sema::CheckShiftOperands(), and handleFixedPointConversion().

◆ isFixedPointType()

bool clang::Type::isFixedPointType ( ) const

inline

Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.

Definition at line 8372 of file Type.h.

◆ isFloat128Type()

bool clang::Type::isFloat128Type ( ) const

inline

Definition at line 8344 of file Type.h.

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

◆ isFloat16Type()

bool clang::Type::isFloat16Type ( ) const

inline

Definition at line 8328 of file Type.h.

Referenced by clang::SemaRISCV::checkRVVTypeSupport(), clang::Sema::checkTypeSupport(), and IsFloatingPointConversion().

◆ isFloat32Type()

bool clang::Type::isFloat32Type ( ) const

inline

Definition at line 8332 of file Type.h.

Referenced by CheckFloatOrHalfRepresentations().

◆ isFloatingType()

bool Type::isFloatingType ( ) const

Definition at line 2249 of file Type.cpp.

Referenced by actOnOMPReductionKindClause(), clang::Sema::AddInitializerToDecl(), clang::Sema::AddModeAttr(), clang::Sema::BuildAtomicExpr(), clang::SemaARM::CheckARMBuiltinExclusiveCall(), clang::SemaRISCV::CheckBuiltinFunctionCall(), checkCondition(), checkEnumArithmeticConversions(), clang::Sema::CheckImplicitConversion(), clang::Sema::CheckLogicalOperands(), clang::interp::Context::classify(), PNaClABIInfo::classifyArgumentType(), diagnoseIfNeedsFPReg(), EvaluateBuiltinConstantP(), EvaluateUnaryTypeTrait(), getAArch64PBV(), clang::UserDefinedLiteral::getLiteralOperatorKind(), handleVectorVectorBinOp(), handleVecTypeHint(), hasFloatingRepresentation(), clang::interp::interp__builtin_constant_p(), clang::Sema::PerformImplicitConversion(), clang::Sema::prepareVectorSplat(), rewriteToNumberLiteral(), clang::interp::Pointer::toRValue(), TryListInitialization(), unsupportedTypeConversion(), clang::Sema::UsualUnaryConversions(), clang::interp::Compiler< Emitter >::VisitBinaryOperator(), clang::interp::Compiler< Emitter >::VisitCastExpr(), clang::interp::Compiler< Emitter >::VisitCompoundAssignOperator(), clang::interp::Compiler< Emitter >::VisitFloatCompoundAssignOperator(), and clang::ento::ExprEngine::VisitUnaryOperator().

◆ isFromAST()

bool clang::Type::isFromAST ( ) const

inline

Whether this type comes from an AST file.

Definition at line 2337 of file Type.h.

Referenced by clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().

◆ isFunctionNoProtoType()

bool clang::Type::isFunctionNoProtoType ( ) const

inline

Definition at line 2527 of file Type.h.

Referenced by clang::Sema::ActOnFunctionDeclarator(), checkCastFunctionType(), clang::SemaOpenMP::checkOpenMPDeclareVariantFunction(), and setPrototype().

◆ isFunctionPointerType()

bool clang::Type::isFunctionPointerType ( ) const

inline

Definition at line 8043 of file Type.h.

References getPointeeType(), isFunctionType(), and clang::T.

Referenced by clang::Sema::ActOnVariableDeclarator(), clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P2(), BuiltinAlignment(), BuiltinDumpStruct(), BuiltinLaunder(), CanThrow(), checkCastFunctionType(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckParameter(), checkPointerTypesForAssignment(), checkPtrAuthTypeDiscriminatorOperandType(), clang::interp::Context::classify(), DiagnoseCallingConvCast(), diagnoseOpenCLTypes(), clang::CodeGen::CodeGenModule::getFunctionPointer(), clang::CodeGen::CodeGenModule::getFunctionPointerAuthInfo(), clang::Decl::getFunctionType(), getPointeeTypeText(), clang::ASTContext::getPointerAuthTypeDiscriminator(), handleAnalyzerNoReturnAttr(), handleCallbackAttr(), handleSentinelAttr(), isCallback(), isFunctionLike(), clang::Decl::isFunctionPointerType(), clang::QualType::isWebAssemblyFuncrefType(), maybeDiagnoseAssignmentToFunction(), ResolveOverloadForDeduction(), rewriteToObjCProperty(), TryConstCast(), TryReinterpretCast(), and TypeIsInnerPointer().

◆ isFunctionProtoType()

bool clang::Type::isFunctionProtoType ( ) const

inline

Definition at line 2528 of file Type.h.

Referenced by clang::SemaOpenMP::checkOpenMPDeclareVariantFunction(), clang::Sema::CreateBuiltin(), CreateNewFunctionDecl(), FindPossiblePrototype(), GetFullTypeForDeclarator(), clang::MemberPointerType::isMemberDataPointer(), clang::MemberPointerType::isMemberFunctionPointer(), clang::Sema::MergeVarDeclExceptionSpecs(), clang::InitializationSequence::Perform(), and setPrototype().

◆ isFunctionReferenceType()

bool clang::Type::isFunctionReferenceType ( ) const

inline

Definition at line 8050 of file Type.h.

References getPointeeType(), isFunctionType(), and clang::T.

Referenced by checkCastFunctionType(), checkPtrAuthTypeDiscriminatorOperandType(), clang::interp::Context::classify(), diagnoseOpenCLTypes(), clang::CodeGen::CodeGenModule::getFunctionPointer(), clang::CodeGen::CodeGenModule::getFunctionPointerAuthInfo(), clang::Decl::getFunctionType(), and clang::ASTContext::getPointerAuthTypeDiscriminator().

◆ isFunctionType()

bool clang::Type::isFunctionType ( ) const

inline

Definition at line 7999 of file Type.h.

◆ isFundamentalType()

bool clang::Type::isFundamentalType ( ) const

inline

Tests whether the type is categorized as a fundamental type.

Returns: True for types specified in C++0x [basic.fundamental].

Definition at line 7966 of file Type.h.

Referenced by EvaluateUnaryTypeTrait().

◆ isHalfType()

bool clang::Type::isHalfType ( ) const

inline

Definition at line 8323 of file Type.h.

Referenced by clang::Sema::BuildFunctionType(), clang::Sema::CheckAssignmentOperands(), CheckFloatOrHalfRepresentations(), clang::Sema::CheckFunctionReturnType(), checkIsValidOpenCLKernelParameter(), clang::Sema::CreateBuiltinUnaryOp(), clang::Sema::DefaultLvalueConversion(), diagnoseOpenCLTypes(), GetFullTypeForDeclarator(), getOpenCLKernelParameterType(), handleFloatConversion(), IsFloatingPointConversion(), clang::Sema::PerformImplicitConversion(), and clang::Sema::UsualUnaryConversions().

◆ isHLSLSpecificType()

bool clang::Type::isHLSLSpecificType ( ) const

inline

Definition at line 8277 of file Type.h.

Referenced by clang::Sema::CheckVariableDeclarationType(), and clang::CodeGen::CGHLSLRuntime::convertHLSLSpecificType().

◆ isIbm128Type()

bool clang::Type::isIbm128Type ( ) const

inline

Definition at line 8348 of file Type.h.

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

◆ isImageType()

bool clang::Type::isImageType ( ) const

inline

Definition at line 8230 of file Type.h.

Referenced by clang::Sema::BuildArrayType(), clang::Sema::CheckFieldDecl(), clang::Sema::CreateBuiltinBinOp(), clang::Sema::CreateBuiltinUnaryOp(), diagnoseOpenCLTypes(), clang::CodeGen::CodeGenModule::GenKernelArgMetadata(), GetFullTypeForDeclarator(), getOpenCLKernelParameterType(), and HandleOpenCLAccessAttr().

◆ isIncompleteArrayType()

bool clang::Type::isIncompleteArrayType ( ) const

inline

Definition at line 8083 of file Type.h.

Referenced by clang::Sema::ActOnFields(), clang::Sema::ActOnUninitializedDecl(), AdjustFunctionParmAndArgTypesForDeduction(), clang::Sema::BuildArrayType(), clang::Sema::BuildCountAttributedArrayOrPointerType(), clang::interp::CheckFieldsInitialized(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), CheckUnaryTypeTraitTypeCompleteness(), clang::computeDependence(), clang::Sema::DefineImplicitCopyAssignment(), clang::Sema::DefineImplicitMoveAssignment(), DiagnoseRetainableFlexibleArrayMember(), DiagnoseVariableSizedIvars(), EvaluateBinaryTypeTrait(), EvaluateBooleanTypeTrait(), EvaluateUnaryTypeTrait(), clang::Sema::getCompletedType(), clang::APValue::LValueBase::getType(), hasCompatibleArrayTypes(), isDesignatorAtObjectEnd(), isIncompleteOrZeroLengthArrayType(), isQualificationConversionStep(), clang::ASTContext::isSameEntity(), IsVariableSizedType(), clang::Sema::MergeVarDeclTypes(), clang::InitializationSequence::Perform(), setUsedBits(), clang::CodeGen::ConstantEmitter::tryEmitPrivate(), TryOrBuildParenListInitialization(), unwrapCastAwayConstnessLevel(), and clang::interp::Compiler< Emitter >::VisitImplicitValueInitExpr().

◆ isIncompleteOrObjectType()

bool clang::Type::isIncompleteOrObjectType ( ) const

inline

Return true if this is an incomplete or object type, in other words, not a function type.

Definition at line 2434 of file Type.h.

Referenced by clang::Sema::BuildQualifiedType(), checkConditionalObjectPointersCompatibility(), checkPointerTypesForAssignment(), clang::Sema::CheckTemplateArgument(), clang::Sema::IsPointerConversion(), and TryStaticCast().

◆ isIncompleteType()

bool Type::isIncompleteType ( NamedDecl ** Def = nullptr ) const

Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types, and incomplete types.

isIncompleteType - Return true if this is an incomplete type (C99 6.2.5p1)

Return true if this is an incomplete type. A type that can describe objects, but which lacks information needed to determine its size (e.g. void, or a fwd declared struct). Clients of this routine will need to determine if the size is actually required.

Def If non-null, and the type refers to some kind of declaration that can be completed (such as a C struct, C++ class, or Objective-C class), will be set to the declaration.

a type that can describe objects, but which lacks information needed to determine its size.

Definition at line 2362 of file Type.cpp.

References clang::Enum, getAsCXXRecordDecl(), clang::Decl::getASTContext(), clang::TargetInfo::getCXXABI(), clang::CXXRecordDecl::getMostRecentNonInjectedDecl(), clang::ASTContext::getTargetInfo(), clang::Decl::hasAttr(), clang::Interface, clang::TagDecl::isBeingDefined(), clang::EnumDecl::isComplete(), clang::TagDecl::isCompleteDefinition(), isDependentType(), clang::TargetCXXABI::isMicrosoft(), and isVoidType().

Referenced by clang::Sema::ActOnFields(), clang::Sema::ActOnGCCAsmStmt(), clang::SemaOpenMP::ActOnOMPArrayShapingExpr(), clang::Sema::BuildArrayType(), clang::Sema::BuildCaptureField(), clang::Sema::BuiltinEnumUnderlyingType(), calculateOffset(), clang::ento::StoreManager::castRegion(), clang::Sema::CheckAlignasUnderalignment(), clang::Sema::checkArrayElementAlignment(), clang::Sema::CheckCallReturnType(), clang::Sema::CheckCastAlign(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckCountedByAttrOnField(), clang::SemaOpenMP::checkDeclIsAllowedInOpenMPTarget(), clang::Sema::CheckFieldDecl(), clang::Sema::CheckFunctionDeclaration(), checkRecordTypeForCapability(), clang::SemaObjC::CheckSubscriptingKind(), CheckVecStepTraitOperandType(), computeOffset(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), determineEndOffset(), clang::InitializationSequence::Diagnose(), DiagnoseBadConversion(), DiagnoseForRangeVariableCopies(), clang::Sema::DiscardMisalignedMemberAddress(), EvaluateBooleanTypeTrait(), EvaluateComparisonBinaryOperator(), EvaluateUnaryTypeTrait(), clang::CodeGen::CodeGenTBAA::getAccessInfo(), clang::ento::ElementRegion::getAsArrayOffset(), clang::ASTContext::getConstantArrayType(), clang::ASTContext::getDeclAlign(), clang::dataflow::getFieldsFromClassHierarchy(), clang::Sema::getNamedReturnInfo(), clang::CodeGen::CodeGenModule::getNaturalTypeAlignment(), clang::ento::MemRegionManager::getStaticSize(), clang::ASTContext::getTypeAlignIfKnown(), clang::ASTContext::getTypeSizeInCharsIfKnown(), HandleOperatorNewCall(), handlePackedAttr(), handleTransparentUnionAttr(), clang::ASTContext::hasUniqueObjectRepresentations(), clang::interp::interp__builtin_atomic_lock_free(), isConstantSizeType(), clang::QualType::isCXX11PODType(), isEnableIf(), clang::CodeGen::CodeGenTypes::isFuncParamTypeConvertible(), isLiteralType(), isOnePastTheEndOfCompleteObject(), isStandardLayoutType(), isTriviallyCopyableTypeImpl(), isTriviallyEqualityComparableType(), clang::QualType::isTriviallyRelocatableType(), clang::Sema::isValidVarArgType(), isZeroSized(), clang::Sema::LookupParsedName(), clang::Sema::LookupTemplateName(), matchTypes(), clang::CodeGen::CGCXXABI::mayNeedDestruction(), TryToFixInvalidVariablyModifiedType(), clang::ASTNodeImporter::VisitTypedefNameDecl(), and clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr().

◆ isInstantiationDependentType()

bool clang::Type::isInstantiationDependentType ( ) const

inline

Determine whether this type is an instantiation-dependent type, meaning that the type involves a template parameter (even if the definition does not actually depend on the type substituted for that template parameter).

Definition at line 2703 of file Type.h.

Referenced by clang::SemaOpenMP::ActOnOpenMPCopyinClause(), buildDeclareReductionRef(), clang::Sema::BuildResolvedCallExpr(), buildUserDefinedMapperRef(), clang::SemaOpenMP::CheckOMPThreadPrivateDecl(), clang::Sema::CheckTemplateArgument(), computeCachedProperties(), clang::computeDependence(), clang::LinkageComputer::computeTypeLinkageInfo(), getAsSimpleValueDeclRef(), getCommonNonSugarTypeNode(), clang::PackIndexingType::getSelectedIndex(), clang::Sema::HandleFunctionTypeMismatch(), handleGlobalAttr(), clang::FunctionProtoType::hasInstantiationDependentExceptionSpec(), hasUserDefinedMapper(), clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), clang::DeclarationNameInfo::isInstantiationDependent(), NeedsInstantiationAsFunctionType(), RebuildDeclaratorInCurrentInstantiation(), clang::Sema::RebuildTypeInCurrentInstantiation(), clang::Sema::SubstType(), clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().

◆ isIntegerType()

bool clang::Type::isIntegerType ( ) const

inline

isIntegerType() does not include complex integers (a GCC extension).

isComplexIntegerType() can be used to test for complex integers.

Definition at line 8359 of file Type.h.

References clang::IsEnumDeclComplete(), and clang::IsEnumDeclScoped().

◆ isIntegralOrEnumerationType()

bool clang::Type::isIntegralOrEnumerationType ( ) const

inline

Determine whether this type is an integral or enumeration type.

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8434 of file Type.h.

References clang::IsEnumDeclComplete().

Referenced by clang::Sema::ActOnStartOfSwitchStmt(), clang::Sema::AddInitializerToDecl(), clang::Sema::AddModeAttr(), clang::ento::RangedConstraintManager::assumeSymUnsupported(), BuildConvertedConstantExpression(), BuildExpressionFromIntegralTemplateArgumentValue(), clang::ento::SymbolManager::canSymbolicate(), clang::ento::RangeSet::Factory::castTo(), clang::Sema::CheckCaseExpression(), clang::Sema::CheckConvertedConstantExpression(), CheckICE(), clang::Sema::CheckMSVCRTEntryPoint(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::SemaObjC::CheckSubscriptingKind(), clang::Sema::CheckSwitchCondition(), clang::Sema::CheckTemplateArgument(), conjureOffsetSymbolOnLocation(), DecodeTypeFromStr(), diagnoseNonConstVariable(), clang::ento::SMTConv::doTypeConversion(), EmitCompare(), emitReplacement(), Evaluate(), EvaluateAsInt(), EvaluateBuiltinConstantP(), EvaluateComparisonBinaryOperator(), EvaluateIntegerOrLValue(), clang::Sema::FinalizeDeclaration(), findCompleteObject(), clang::ento::SMTConv::fromCast(), getAbsoluteValueKind(), clang::ento::BasicValueFactory::getAPSIntType(), getBuiltinAlignArguments(), clang::getComparisonCategoryForBuiltinCmp(), clang::CodeGen::ABIArgInfo::getExtend(), getPreferredTypeOfBinaryRHS(), clang::CodeGen::ABIArgInfo::getSignExtend(), clang::ConstantExpr::getStorageKind(), clang::ento::ProgramState::getSVal(), clang::ento::ProgramState::getSValAsScalarOrLoc(), clang::ento::SMTConv::getZeroExpr(), clang::CodeGen::ABIArgInfo::getZeroExtend(), clang::ASTContext::hasUniqueObjectRepresentations(), clang::interp::interp__builtin_constant_p(), clang::ObjCSubscriptRefExpr::isArraySubscriptRefExpr(), clang::Expr::isKnownToHaveBooleanValue(), clang::Sema::isLaxVectorConversion(), clang::ASTContext::isMSStaticDataMemberInlineDefinition(), clang::Sema::ICEConvertDiagnoser::match(), clang::Sema::prepareVectorSplat(), clang::ento::ConditionBRVisitor::printValue(), RecoverCastedSymbol(), clang::TemplateArgument::TemplateArgument(), TryReinterpretCast(), TryStaticCast(), clang::Sema::VerifyBitField(), and clang::interp::Compiler< Emitter >::VisitCastExpr().

◆ isIntegralOrUnscopedEnumerationType()

bool Type::isIntegralOrUnscopedEnumerationType ( ) const

Determine whether this type is an integral or unscoped enumeration type.

Definition at line 2071 of file Type.cpp.

References isBitIntType(), and isUnscopedEnumerationType().

Referenced by adjustBlockReturnsToEnum(), clang::Sema::BuildArrayType(), clang::Sema::BuildCXXNew(), checkArraySize(), clang::Sema::CheckBitwiseOperands(), CheckConvertedConstantConversions(), checkPointerAuthValue(), clang::Sema::CreateOverloadedBinOp(), diagnoseStringPlusInt(), EvaluateCPlusPlus11IntegralConstantExpr(), getDependentArraySubscriptType(), clang::StandardConversionSequence::getNarrowingKind(), IsStandardConversion(), IsVectorElementConversion(), clang::Sema::ICEConvertDiagnoser::match(), TryListInitialization(), clang::Sema::UsualUnaryConversions(), and clang::Sema::VerifyIntegerConstantExpression().

◆ isIntegralType()

bool Type::isIntegralType ( const ASTContext & Ctx ) const

Determine whether this type is an integral type.

This routine determines whether the given type is an integral type per C++ [basic.fundamental]p7. Although the C standard does not define the term "integral type", it has a similar term "integer type", and in C++ the two terms are equivalent. However, C's "integer type" includes enumeration types, while C++'s "integer type" does not. The ASTContext parameter is used to determine whether we should be following the C or C++ rules when determining whether this type is an integral/integer type.

For cases where C permits "an integer type" and C++ permits "an integral type", use this routine.

For cases where C permits "an integer type" and C++ permits "an integral or enumeration type", use isIntegralOrEnumerationType() instead.

Parameters

Ctx	The context in which this type occurs.

Returns: true if the type is considered an integral type, false otherwise.

Definition at line 2058 of file Type.cpp.

References clang::ASTContext::getLangOpts(), and isBitIntType().

Referenced by clang::SemaOpenMP::ActOnOMPIteratorExpr(), clang::Sema::ActOnVariableDeclarator(), clang::Sema::AddAllocAlignAttr(), AnalyzeComparison(), argTypeIsABIEquivalent(), checkBuiltinTemplateIdType(), clang::Sema::CheckImplicitConversion(), checkIntToPointerCast(), clang::SemaObjC::CheckObjCConversion(), clang::checkSwiftAsyncErrorBlock(), clang::Sema::CheckVectorCast(), create_OSAtomicCompareAndSwap(), DiagnoseBinOpPrecedence(), EvaluateUnaryTypeTrait(), clang::StandardConversionSequence::getNarrowingKind(), getNextLargerIntegralType(), clang::SemaSwift::handleError(), handleVecTypeHint(), clang::Expr::IgnoreParenNoopCasts(), clang::Sema::IsIntegralPromotion(), isRepresentableIntegerValue(), IsStandardConversion(), isValidSizelessVectorForConditionalCondition(), isValidVectorForConditionalCondition(), IsVectorElementConversion(), clang::Sema::PerformImplicitConversion(), tryGCCVectorConvertAndSplat(), TryReinterpretCast(), TryStaticCast(), and tryVectorConvertAndSplat().

◆ isInterfaceType()

bool Type::isInterfaceType ( ) const

Definition at line 651 of file Type.cpp.

Referenced by EvaluateUnaryTypeTrait().

◆ isLinkageValid()

bool Type::isLinkageValid ( ) const

True if the computed linkage is valid.

Used for consistency checking. Should always return true.

Definition at line 4670 of file Type.cpp.

References clang::LinkageComputer::computeTypeLinkageInfo(), getCanonicalTypeInternal(), clang::LinkageInfo::getLinkage(), and TypeBits.

Referenced by clang::TagDecl::setTypedefNameForAnonDecl().

◆ isLiteralType()

bool Type::isLiteralType ( const ASTContext & Ctx ) const

Return true if this is a literal type (C++11 [basic.types]p10)

Definition at line 2892 of file Type.cpp.

References getAs(), getBaseElementTypeUnsafe(), getCanonicalTypeInternal(), clang::ASTContext::getLangOpts(), isAnyComplexType(), isDependentType(), isIncompleteType(), isReferenceType(), isScalarType(), isVariableArrayType(), isVectorType(), and isVoidType().

Referenced by clang::Sema::AddInitializerToDecl(), CheckLiteralType(), EvaluateUnaryTypeTrait(), findCompleteObject(), clang::MaterializeTemporaryExpr::isUsableInConstantExpressions(), clang::Sema::RequireLiteralType(), and clang::CXXRecordDecl::setBases().

◆ isLValueReferenceType()

bool clang::Type::isLValueReferenceType ( ) const

inline

Definition at line 8025 of file Type.h.

Referenced by alignReferenceTypes(), clang::Sema::CheckExplicitlyDefaultedComparison(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckTemplateArgument(), checkTupleLikeDecomposition(), ClassifyUnnamed(), create_call_once_funcptr_call(), createPrivatesRecordDecl(), DeduceTemplateArgumentsByTypeMatch(), clang::Sema::DefineImplicitCopyAssignment(), DiagnoseCastQual(), emitOutlinedFunctionPrologue(), emitTaskPrivateMappingFunction(), EvaluateUnaryTypeTrait(), FindConversionForRefInit(), getCanonicalParamType(), clang::ento::ExprEngine::handleLValueBitCast(), clang::sema::implicitObjectParamIsLifetimeBound(), clang::CXXConstructorDecl::isCopyConstructor(), isRelevantAttr(), isStructuralType(), clang::InitializationSequence::Perform(), TryListConversion(), TryReferenceInitializationCore(), and TryRefInitWithConversionFunction().

◆ isMatrixType()

bool clang::Type::isMatrixType ( ) const

inline

Definition at line 8133 of file Type.h.

Referenced by clang::Sema::ActOnArraySubscriptExpr(), clang::Sema::areMatrixTypesOfTheSameDimension(), clang::Sema::CheckMatrixCast(), clang::Sema::PerformImplicitConversion(), and TryStaticCast().

◆ isMemberDataPointerType()

bool clang::Type::isMemberDataPointerType ( ) const

inline

Definition at line 8068 of file Type.h.

References clang::T.

Referenced by clang::CodeGen::CodeGenModule::EmitNullConstant(), EvaluateBuiltinClassifyType(), and EvaluateUnaryTypeTrait().

◆ isMemberFunctionPointerType()

bool clang::Type::isMemberFunctionPointerType ( ) const

inline

Definition at line 8061 of file Type.h.

References clang::T.

Referenced by clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P2(), checkCastFunctionType(), checkPtrAuthTypeDiscriminatorOperandType(), diagnoseOpenCLTypes(), EvaluateUnaryTypeTrait(), clang::CodeGen::isAggregateTypeForABI(), pointerAuthResignMemberFunctionPointer(), ResolveOverloadForDeduction(), and TryConstCast().

◆ isMemberPointerType()

bool clang::Type::isMemberPointerType ( ) const

inline

Definition at line 8057 of file Type.h.

Referenced by clang::Sema::ActOnGCCAsmStmt(), clang::Sema::AddAlignValueAttr(), AddOrdinaryNameResults(), AdjustFunctionParmAndArgTypesForDeduction(), clang::Sema::BuildExpressionFromDeclTemplateArgument(), clang::Sema::BuildQualifiedType(), CastsAwayConstness(), checkArithmeticNull(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckNonTypeTemplateParameterType(), CheckNullabilityTypeSpecifier(), CheckOriginalCallArgDeduction(), clang::Sema::CheckTemplateArgument(), CheckTemplateArgumentPointerToMember(), clang::interp::Context::classify(), CompareDerivedToBaseConversions(), convertPointersToCompositeType(), DeduceNullPtrTemplateArgument(), clang::Sema::DeduceTemplateArguments(), clang::Sema::DefaultLvalueConversion(), DetermineNoUndef(), DiagnoseNullConversion(), Evaluate(), EvaluateComparisonBinaryOperator(), EvaluateMemberPointer(), EvaluateUnaryTypeTrait(), clang::Sema::FindCompositePointerType(), GetFullTypeForDeclarator(), clang::ASTContext::getPreferredTypeAlign(), getScalarZeroExpressionForType(), clang::Sema::HandleFunctionTypeMismatch(), handleMSPointerTypeQualifierAttr(), clang::Sema::handlerCanCatch(), isIndirectPointerType(), IsStandardConversion(), needsAmpersandOnTemplateArg(), TryConstCast(), TryReinterpretCast(), unwrapCastAwayConstnessLevel(), clang::Value::Value(), and clang::interp::Compiler< Emitter >::VisitUnaryOperator().

◆ isNonOverloadPlaceholderType()

bool clang::Type::isNonOverloadPlaceholderType ( ) const

inline

Test for a placeholder type other than Overload; see BuiltinType::isNonOverloadPlaceholderType.

Definition at line 8313 of file Type.h.

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), clang::Sema::ActOnArraySubscriptExpr(), clang::SemaOpenMP::ActOnOMPArraySectionExpr(), and clang::SemaPseudoObject::checkAssignment().

◆ isNothrowT()

bool Type::isNothrowT ( ) const

Definition at line 3061 of file Type.cpp.

References getAsCXXRecordDecl(), clang::NamedDecl::getIdentifier(), clang::Decl::isInStdNamespace(), and clang::IdentifierInfo::isStr().

Referenced by HandleOperatorNewCall(), clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), and clang::interp::Compiler< Emitter >::VisitCXXNewExpr().

◆ isNullPtrType()

bool clang::Type::isNullPtrType ( ) const

inline

Definition at line 8352 of file Type.h.

Referenced by clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckConditionalOperands(), CheckConvertedConstantConversions(), clang::Sema::CheckMSVCRTEntryPoint(), clang::Sema::CheckNonTypeTemplateParameterType(), checkPointerAuthValue(), clang::Sema::CheckSingleAssignmentConstraints(), clang::Sema::CheckTemplateArgument(), CheckTemplateArgumentAddressOfObjectOrFunction(), clang::interp::Context::classify(), clang::ento::SValBuilder::conjureSymbolVal(), clang::ImplicitCastExpr::Create(), clang::Sema::DefaultArgumentPromotion(), clang::Sema::DefaultLvalueConversion(), DetermineNoUndef(), DiagnoseNullConversion(), clang::Sema::diagnoseZeroToNullptrConversion(), clang::ento::SMTConv::doTypeConversion(), EvaluateBuiltinConstantP(), EvaluateComparisonBinaryOperator(), clang::Sema::FindCompositePointerType(), clang::ento::SValBuilder::getDerivedRegionValueSymbolVal(), clang::ento::SValBuilder::getRegionValueSymbolVal(), clang::ASTContext::getTargetNullPointerValue(), HandleDestructionImpl(), clang::Sema::handlerCanCatch(), clang::InitializationSequence::InitializeFrom(), clang::interp::interp__builtin_constant_p(), clang::ento::Loc::isLocType(), isNullPointerValueTemplateArgument(), clang::Sema::IsPointerConversion(), clang::ASTContext::isSentinelNullExpr(), clang::analyze_format_string::ArgType::matchesType(), TryContextuallyConvertToBool(), and TryReinterpretCast().

◆ isObjCARCBridgableType()

bool Type::isObjCARCBridgableType ( ) const

Determine whether the given type T is a "bridgable" Objective-C type, which is either an Objective-C object pointer type or an.

Definition at line 4979 of file Type.cpp.

References isBlockPointerType(), and isObjCObjectPointerType().

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

◆ isObjCARCImplicitlyUnretainedType()

bool Type::isObjCARCImplicitlyUnretainedType ( ) const

Determines if this type, which must satisfy isObjCLifetimeType(), is implicitly __unsafe_unretained rather than implicitly __strong.

Definition at line 4919 of file Type.cpp.

References getCanonicalTypeInternal(), clang::QualType::getTypePtr(), and isObjCLifetimeType().

Referenced by checkARCPropertyImpl(), clang::SemaObjC::CheckObjCPropertyAttributes(), getObjCARCImplicitLifetime(), inferARCWriteback(), and clang::Sema::MaybeBindToTemporary().

◆ isObjCBoxableRecordType()

bool Type::isObjCBoxableRecordType ( ) const

Definition at line 645 of file Type.cpp.

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

◆ isObjCBuiltinType()

bool clang::Type::isObjCBuiltinType ( ) const

inline

Definition at line 8196 of file Type.h.

Referenced by AuditedType(), clang::ASTContext::canAssignObjCInterfacesInBlockPointer(), checkObjCPointerTypesForAssignment(), clang::SemaObjC::FindCompositeObjCPointerType(), clang::Sema::isObjCPointerConversion(), and TypeIsInnerPointer().

◆ isObjCClassOrClassKindOfType()

bool Type::isObjCClassOrClassKindOfType ( ) const

Whether the type is Objective-C 'Class' or a __kindof type of an Class type, e.g., __kindof Class <NSCopying>.

Unlike isObjCIdOrObjectKindOfType, there is no relevant bound here because Objective-C's type system cannot express "a class object for a subclass of NSFoo".

Definition at line 786 of file Type.cpp.

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

◆ isObjCClassType()

bool clang::Type::isObjCClassType ( ) const

inline

Definition at line 8184 of file Type.h.

Referenced by clang::SemaObjC::BuildInstanceMessage(), clang::Sema::CheckAssignmentConstraints(), checkObjCPointerTypesForAssignment(), clang::SemaObjC::CheckObjCPropertyAttributes(), clang::SemaCodeCompletion::CodeCompleteObjCInstanceMessage(), clang::SemaObjC::FindCompositeObjCPointerType(), findMethodDecl(), getBaseMessageSendResultType(), clang::SemaObjC::getMessageSendResultType(), and clang::SemaObjC::SelectorsForTypoCorrection().

◆ isObjCIdOrObjectKindOfType()

bool Type::isObjCIdOrObjectKindOfType	(	const ASTContext &	ctx,
		const ObjCObjectType *&	bound
	)		const

Whether the type is Objective-C 'id' or a __kindof type of an object type, e.g., __kindof NSView * or __kindof id <NSCopying>.

Parameters

bound Will be set to the bound on non-id subtype types, which will be (possibly specialized) Objective-C class type, or null for 'id.

Definition at line 760 of file Type.cpp.

References getAs(), and clang::ObjCObjectType::stripObjCKindOfTypeAndQuals().

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

◆ isObjCIdType()

bool clang::Type::isObjCIdType ( ) const

inline

◆ isObjCIndependentClassType()

bool Type::isObjCIndependentClassType ( ) const

Definition at line 4944 of file Type.cpp.

References clang::ast_matchers::typedefType.

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

◆ isObjCIndirectLifetimeType()

bool Type::isObjCIndirectLifetimeType ( ) const

Definition at line 4956 of file Type.cpp.

References isObjCLifetimeType().

◆ isObjCInertUnsafeUnretainedType()

bool clang::Type::isObjCInertUnsafeUnretainedType ( ) const

inline

Was this type written with the special inert-in-ARC __unsafe_unretained qualifier?

This approximates the answer to the following question: if this translation unit were compiled in ARC, would this type be qualified with __unsafe_unretained?

Definition at line 2588 of file Type.h.

References hasAttr().

Referenced by computeCopyInfoForBlockCapture(), and computeDestroyInfoForBlockCapture().

◆ isObjCLifetimeType()

bool Type::isObjCLifetimeType ( ) const

Returns true if objects of this type have lifetime semantics under ARC.

Definition at line 4970 of file Type.cpp.

References clang::ast_matchers::type.

Referenced by clang::SemaObjC::AdjustParameterTypeForObjCAutoRefCount(), clang::Sema::BuildCXXNew(), clang::Sema::BuildVAArgExpr(), clang::Sema::CheckAllocatedType(), clang::Sema::CheckParameter(), clang::Sema::CheckTemplateTypeArgument(), createObjCPropertyGetter(), DeduceTemplateArgumentsByTypeMatch(), DiagnoseRetainableFlexibleArrayMember(), EvaluateUnaryTypeTrait(), clang::SemaObjC::handlePreciseLifetimeAttr(), isObjCARCImplicitlyUnretainedType(), isObjCIndirectLifetimeType(), clang::SemaObjC::isObjCWritebackConversion(), clang::Sema::isValidVarArgType(), and clang::TreeTransform< Derived >::RebuildQualifiedType().

◆ isObjCNSObjectType()

bool Type::isObjCNSObjectType ( ) const

Definition at line 4938 of file Type.cpp.

References clang::ast_matchers::typedefType.

Referenced by clang::applyObjCTypeArgs(), clang::ASTContext::isObjCNSObjectType(), isObjCRetainableType(), and clang::isValidSubjectOfNSAttribute().

◆ isObjCObjectOrInterfaceType()

bool clang::Type::isObjCObjectOrInterfaceType ( ) const

inline

Definition at line 8153 of file Type.h.

Referenced by clang::SemaCodeCompletion::CodeCompleteDeclSpec(), clang::SemaCodeCompletion::CodeCompleteMemberReferenceExpr(), clang::Sema::CompareReferenceRelationship(), and clang::Sema::LookupTemplateName().

◆ isObjCObjectPointerType()

bool clang::Type::isObjCObjectPointerType ( ) const

inline

Definition at line 8145 of file Type.h.

◆ isObjCObjectType()

bool clang::Type::isObjCObjectType ( ) const

inline

Definition at line 8149 of file Type.h.

Referenced by clang::SemaObjC::ActOnCompatibilityAlias(), clang::Sema::ActOnFields(), clang::SemaObjC::ActOnForwardClassDeclaration(), clang::SemaObjC::actOnObjCTypeParam(), clang::SemaObjC::ActOnSuperClassOfClassInterface(), clang::SemaObjC::ActOnTypedefedProtocols(), clang::Sema::BuildArrayType(), clang::Sema::BuildExceptionDeclaration(), clang::Sema::BuildPointerType(), CastsAwayConstness(), clang::Sema::CheckAddressOfOperand(), clang::Sema::CheckAssignmentOperands(), clang::Sema::CheckFunctionReturnType(), CheckObjCTraitOperandConstraints(), clang::Sema::CheckParameter(), clang::Sema::CheckVariableDeclarationType(), clang::Sema::checkVariadicArgument(), clang::SemaCodeCompletion::CodeCompleteMemberReferenceExpr(), clang::SemaObjC::CreatePropertyDecl(), GetFullTypeForDeclarator(), clang::SemaObjC::handleIBOutletCollection(), inferARCWriteback(), clang::Sema::isValidVarArgType(), transferARCOwnership(), and clang::Parser::TryAnnotateTypeOrScopeTokenAfterScopeSpec().

◆ isObjCQualifiedClassType()

bool clang::Type::isObjCQualifiedClassType ( ) const

inline

Definition at line 8172 of file Type.h.

Referenced by clang::SemaObjC::BuildInstanceMessage(), checkObjCPointerTypesForAssignment(), clang::SemaObjC::CheckObjCPropertyAttributes(), clang::SemaCodeCompletion::CodeCompleteObjCInstanceMessage(), getBaseMessageSendResultType(), and clang::SemaObjC::SelectorsForTypoCorrection().

◆ isObjCQualifiedIdType()

bool clang::Type::isObjCQualifiedIdType ( ) const

inline

Definition at line 8166 of file Type.h.

Referenced by clang::SemaObjC::BuildObjCExceptionDecl(), BuildSimilarlyQualifiedPointerType(), checkObjCPointerTypesForAssignment(), clang::Sema::DiagnoseAssignmentResult(), clang::ASTContext::ObjCObjectAdoptsQTypeProtocols(), clang::ASTContext::QIdProtocolsAdoptObjCObjectProtocols(), and clang::SemaObjC::SelectorsForTypoCorrection().

◆ isObjCQualifiedInterfaceType()

bool Type::isObjCQualifiedInterfaceType ( ) const

Definition at line 1827 of file Type.cpp.

References getAsObjCQualifiedInterfaceType().

◆ isObjCRetainableType()

bool Type::isObjCRetainableType ( ) const

Definition at line 4950 of file Type.cpp.

References isBlockPointerType(), isObjCNSObjectType(), and isObjCObjectPointerType().

Referenced by clang::SemaObjC::ActOnPropertyImplDecl(), AdjustObjCObjectType(), clang::ASTContext::BlockRequiresCopying(), clang::SemaObjC::BuildInstanceMessage(), checkAllAtProps(), clang::SemaObjC::CheckObjCPropertyAttributes(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::Sema::checkUnsafeExprAssigns(), computeCopyInfoForBlockCapture(), computeDestroyInfoForBlockCapture(), clang::SemaObjC::CreatePropertyDecl(), findWeakLValue(), clang::analyze_printf::PrintfSpecifier::fixType(), handleObjCOwnershipTypeAttr(), clang::SemaObjC::handleReturnsInnerPointerAttr(), inferARCWriteback(), isSynthesizedRetainableProperty(), clang::isValidSubjectOfNSReturnsRetainedAttribute(), clang::Sema::MaybeBindToTemporary(), MaybeProduceObjCObject(), PropertyMemoryAttribute(), transferARCOwnership(), transferARCOwnershipToDeclSpec(), and clang::tryMakeVariablePseudoStrong().

◆ isObjCSelType()

bool clang::Type::isObjCSelType ( ) const

inline

Definition at line 8190 of file Type.h.

Referenced by clang::ObjCMethodDecl::getMethodFamily(), isCallback(), and LookupMemberExpr().

◆ isObjectPointerType()

bool clang::Type::isObjectPointerType ( ) const

inline

Definition at line 8033 of file Type.h.

References getPointeeType(), isFunctionType(), and clang::T.

Referenced by clang::getComparisonCategoryForBuiltinCmp().

◆ isObjectType()

bool clang::Type::isObjectType ( ) const

inline

Determine whether this type is an object type.

Definition at line 2439 of file Type.h.

Referenced by BuiltinLaunder(), CheckConvertibilityForTypeTraits(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), EvaluateBinaryTypeTrait(), EvaluateBooleanTypeTrait(), EvaluateUnaryTypeTrait(), clang::Sema::FindCompositePointerType(), GetFullTypeForDeclarator(), clang::Sema::getNamedReturnInfo(), clang::Sema::handlerCanCatch(), clang::QualType::isTriviallyRelocatableType(), and clang::Value::Value().

◆ isOCLExtOpaqueType()

bool clang::Type::isOCLExtOpaqueType ( ) const

inline

Definition at line 8259 of file Type.h.

◆ isOCLIntelSubgroupAVCType()

bool clang::Type::isOCLIntelSubgroupAVCType ( ) const

inline

Definition at line 8251 of file Type.h.

Referenced by clang::InitializationSequence::Perform(), and TryOCLZeroOpaqueTypeInitialization().

◆ isOpenCLSpecificType()

bool clang::Type::isOpenCLSpecificType ( ) const

inline

Definition at line 8266 of file Type.h.

Referenced by clang::CodeGen::CGOpenCLRuntime::convertOpenCLSpecificType(), getOpenCLKernelParameterType(), and isTypeSubstitutable().

◆ isOverloadableType()

bool clang::Type::isOverloadableType ( ) const

inline

Determines whether this is a type for which one can define an overloaded operator.

Definition at line 8460 of file Type.h.

References isRecordType().

Referenced by clang::Sema::BuildBinOp(), buildCounterUpdate(), clang::Sema::BuildUnaryOp(), checkOpenMPIterationSpace(), and clang::TreeTransform< Derived >::RebuildCXXOperatorCallExpr().

◆ isPipeType()

bool clang::Type::isPipeType ( ) const

inline

Definition at line 8237 of file Type.h.

Referenced by clang::Sema::BuildArrayType(), clang::checkPipeArg(), clang::Sema::CreateBuiltinBinOp(), clang::Sema::CreateBuiltinUnaryOp(), diagnoseOpenCLTypes(), clang::CodeGen::CodeGenModule::GenKernelArgMetadata(), GetFullTypeForDeclarator(), and HandleOpenCLAccessAttr().

◆ isPlaceholderType()

bool clang::Type::isPlaceholderType ( ) const

inline

Test for a type which does not represent an actual type-system type but is instead used as a placeholder for various convenient purposes within Clang.

All such types are BuiltinTypes.

Definition at line 8295 of file Type.h.

Referenced by clang::Sema::BuildExprRequirement(), CheckIncrementDecrementOperand(), DeduceTemplateArgumentsByTypeMatch(), clang::ASTContext::getLValueReferenceType(), clang::ASTContext::getRValueReferenceType(), and clang::Expr::hasPlaceholderType().

◆ isPointerOrReferenceType()

bool clang::Type::isPointerOrReferenceType ( ) const

inline

Definition at line 8007 of file Type.h.

Referenced by clang::Sema::ActOnFunctionDeclarator(), clang::interp::CallVirt(), clang::Sema::CheckTemplateArgument(), clang::interp::Context::classify(), ClassifyDiagnostic(), clang::QualType::getBaseTypeIdentifier(), getCoreType(), clang::OverloadCandidate::getNumParams(), getOpenCLKernelParameterType(), getUuidAttrOfType(), clang::consumed::ConsumedStmtVisitor::handleCall(), handleMSAllocatorAttr(), isAutoCastType(), isConsumableType(), and clang::CXXTypeidExpr::isMostDerived().

◆ isPointerType()

bool clang::Type::isPointerType ( ) const

inline

Definition at line 8003 of file Type.h.

◆ isQueueT()

bool clang::Type::isQueueT ( ) const

inline

Definition at line 8222 of file Type.h.

Referenced by clang::SemaOpenCL::checkBuiltinEnqueueKernel(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckSingleAssignmentConstraints(), IsStandardConversion(), clang::InitializationSequence::Perform(), and TryOCLZeroOpaqueTypeInitialization().

◆ isRealFloatingType()

bool Type::isRealFloatingType ( ) const

Floating point categories.

Definition at line 2266 of file Type.cpp.

◆ isRealType()

bool Type::isRealType ( ) const

Definition at line 2272 of file Type.cpp.

References isBitIntType().

Referenced by CheckIncrementDecrementOperand(), clang::Sema::CheckSizelessVectorOperands(), clang::Sema::CheckVectorOperands(), clang::MatrixType::isValidElementType(), and rewriteToObjCProperty().

◆ isRecordType()

bool clang::Type::isRecordType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8103 of file Type.h.

◆ isReferenceType()

bool clang::Type::isReferenceType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8021 of file Type.h.

◆ isReserveIDT()

bool clang::Type::isReserveIDT ( ) const

inline

Definition at line 8226 of file Type.h.

Referenced by diagnoseOpenCLTypes(), and getOpenCLKernelParameterType().

◆ isRValueReferenceType()

bool clang::Type::isRValueReferenceType ( ) const

inline

Definition at line 8029 of file Type.h.

Referenced by clang::Sema::AddConversionCandidate(), alignReferenceTypes(), clang::Sema::BuildExceptionDeclaration(), clang::Sema::CheckTemplateArgument(), create_call_once_funcptr_call(), DiagnoseForRangeReferenceVariableCopies(), EvaluateUnaryTypeTrait(), FindConversionForRefInit(), GetExplicitObjectExpr(), clang::Sema::getMoreSpecializedTemplate(), clang::Sema::getNamedReturnInfo(), clang::ento::ExprEngine::handleLValueBitCast(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::CXXConstructorDecl::isMoveConstructor(), isRelevantAttr(), isRValueRef(), RefersToRValueRef(), clang::Sema::RequireStructuralType(), TryListConversion(), TryReferenceInit(), TryReferenceListInitialization(), TryStaticReferenceDowncast(), unwrapRValueReferenceIndirection(), and VerifyInitializationSequenceCXX98().

◆ isRVVSizelessBuiltinType()

bool Type::isRVVSizelessBuiltinType ( ) const

Returns true for RVV scalable vector types.

Definition at line 2497 of file Type.cpp.

Referenced by clang::ASTContext::areCompatibleRVVTypes(), clang::ASTContext::areLaxCompatibleRVVTypes(), clang::Sema::CheckAssignmentConstraints(), clang::SemaRISCV::CheckBuiltinFunctionCall(), clang::Sema::checkTypeSupport(), clang::Sema::CheckVariableDeclarationType(), clang::Sema::CheckVectorOperands(), getSizelessVectorEltType(), isSizelessVectorType(), isTrackedVar(), clang::SemaRISCV::isValidRVVBitcast(), and IsVectorConversion().

◆ isRVVVLSBuiltinType()

bool Type::isRVVVLSBuiltinType ( ) const

Determines if this is a sizeless type supported by the 'riscv_rvv_vector_bits' type attribute, which can be applied to a single RVV vector or mask.

Definition at line 2561 of file Type.cpp.

Referenced by clang::ASTContext::areCompatibleRVVTypes(), getRVVEltType(), getRVVTypeSize(), and HandleRISCVRVVVectorBitsTypeAttr().

◆ isSamplerT()

bool clang::Type::isSamplerT ( ) const

inline

Definition at line 8210 of file Type.h.

Referenced by clang::Sema::BuildArrayType(), clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckFieldDecl(), clang::Sema::CheckVariableDeclarationType(), clang::CodeGen::CGOpenCLRuntime::convertOpenCLSpecificType(), clang::Sema::CreateBuiltinBinOp(), clang::Sema::CreateBuiltinUnaryOp(), clang::Sema::deduceOpenCLAddressSpace(), deduceOpenCLPointeeAddrSpace(), diagnoseOpenCLTypes(), GetFullTypeForDeclarator(), IsStandardConversion(), clang::InitializationSequence::Perform(), and TryOCLSamplerInitialization().

◆ isSaturatedFixedPointType()

bool clang::Type::isSaturatedFixedPointType ( ) const

inline

Return true if this is a saturated fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.

This type can be signed or unsigned.

Definition at line 8388 of file Type.h.

Referenced by clang::ASTContext::getCorrespondingSaturatedType(), clang::ASTContext::getFixedPointSemantics(), handleFixedPointConversion(), and clang::analyze_format_string::ArgType::matchesType().

◆ isScalarType()

bool clang::Type::isScalarType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8418 of file Type.h.

References clang::IsEnumDeclComplete().

Referenced by clang::Sema::ActOnFunctionDeclarator(), actOnOMPReductionKindClause(), clang::SemaOpenMP::ActOnOpenMPAtomicDirective(), clang::SemaOpenMP::ActOnOpenMPLastprivateClause(), clang::Sema::areLaxCompatibleVectorTypes(), breakDownVectorType(), clang::Sema::BuildAtomicExpr(), clang::Sema::BuildPseudoDestructorExpr(), canRecoverDotPseudoDestructorCallsOnPointerObjects(), clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckBooleanCondition(), checkCondition(), clang::Sema::CheckLogicalOperands(), clang::Sema::CheckVectorOperands(), clang::Sema::CreateBuiltinUnaryOp(), DetermineNoUndef(), DiagnoseNullConversion(), EvaluateUnaryTypeTrait(), getDerivedSymbolForBinding(), clang::Sema::getFixItZeroInitializerForType(), getScalarTypeKind(), getScalarZeroExpressionForType(), getVariableCategoryFromDecl(), clang::ento::BasicValueFactory::getZeroWithTypeSize(), hasIsEqualMethod(), clang::QualType::isCXX11PODType(), isLiteralType(), clang::SemaOpenMP::isOpenMPCapturedByRef(), clang::ento::isPrimitiveType(), isStandardLayoutType(), isStructuralType(), isTrackedVar(), isTriviallyCopyableTypeImpl(), clang::QualType::isTrivialType(), LookupMemberExpr(), matchTypes(), clang::OpenACCIfClause::OpenACCIfClause(), clang::Sema::RequireStructuralType(), clang::SemaOpenACC::OpenACCParsedClause::setConditionDetails(), TryListInitialization(), and updateOutParameters().

◆ isScopedEnumeralType()

bool Type::isScopedEnumeralType ( ) const

Determine whether this type is a scoped enumeration type.

Definition at line 688 of file Type.cpp.

Referenced by EvaluateUnaryTypeTrait().

◆ isSignableType()

bool clang::Type::isSignableType ( ) const

inline

Definition at line 8015 of file Type.h.

Referenced by getPointerAuthInfoForType().

◆ isSignedFixedPointType()

bool clang::Type::isSignedFixedPointType ( ) const

inline

Return true if this is a fixed point type that is signed according to ISO/IEC JTC1 SC22 WG14 N1169.

This type can also be saturated.

Definition at line 8400 of file Type.h.

Referenced by clang::ASTContext::getCorrespondingSignedType(), clang::ASTContext::getFixedPointSemantics(), and handleFixedPointConversion().

◆ isSignedIntegerOrEnumerationType()

bool Type::isSignedIntegerOrEnumerationType ( ) const

Determines whether this is an integer type that is signed or an enumeration types whose underlying type is a signed integer type.

Definition at line 2167 of file Type.cpp.

References isSignedIntegerType().

Referenced by clang::Sema::ActOnEnumBody(), clang::Sema::ActOnFinishSwitchStmt(), clang::ento::iterator::assumeNoOverflow(), clang::ento::SMTConv::castAPSInt(), clang::interp::CheckConstant(), clang::Sema::CheckEnumConstant(), CheckICE(), clang::Sema::CheckTemplateArgument(), clang::interp::Context::classify(), clang::Sema::DiagnoseAssignmentEnum(), clang::ento::SMTConv::doIntTypeConversion(), EmitBitfieldTruncationCheckHelper(), clang::CodeGen::ConstantEmitter::emitForMemory(), EmitIntegerSignChangeCheckHelper(), EmitIntegerTruncationCheckHelper(), EmitIsNegativeTestHelper(), emitPointerArithmetic(), clang::ento::SMTConv::fromCast(), clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SMTConv::getBinExpr(), clang::StandardConversionSequence::getNarrowingKind(), getNextLargerIntegralType(), clang::ento::SMTConv::getRangeExpr(), clang::ento::SMTConstraintManager::getSymVal(), clang::ento::SMTConv::getZeroExpr(), HandleFloatToIntCast(), hasSignedIntegerRepresentation(), clang::interp::interp__builtin_overflowop(), isRepresentableIntegerValue(), isWithinConstantOverflowBounds(), clang::CodeGen::CGBitFieldInfo::MakeInfo(), clang::ASTContext::MakeIntValue(), clang::interp::pushInteger(), and tryRearrange().

◆ isSignedIntegerType()

bool Type::isSignedIntegerType ( ) const

Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation.

isSignedIntegerType - Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], an enum decl which has a signed representation

Definition at line 2146 of file Type.cpp.

References isSignedIntegerType().

Referenced by clang::Sema::AddModeAttr(), AnalyzeBitFieldAssignment(), calculateElementType(), clang::Sema::CheckCompatibleReinterpretCast(), clang::Sema::CheckImplicitConversion(), clang::InitializationSequence::Diagnose(), DiagnoseIntInBoolContext(), clang::CodeGen::CGOpenMPRuntime::emitLastprivateConditionalUpdate(), EvaluateUnaryTypeTrait(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), clang::ASTContext::getFixedPointSemantics(), getIntegerWidthAndSignedness(), clang::ASTContext::getPromotedIntegerType(), clang::Sema::IsIntegralPromotion(), isKnownToHaveUnsignedValue(), clang::ASTContext::isPromotableBitField(), isSignedIntegerOrEnumerationType(), isSignedIntegerType(), clang::EmbedExpr::ChildElementIter< Const >::operator*(), rewriteToNumericBoxedExpression(), clang::JSONNodeDumper::VisitIntegerLiteral(), and clang::ento::ExprEngine::VisitOffsetOfExpr().

◆ isSizelessBuiltinType()

bool Type::isSizelessBuiltinType ( ) const

Definition at line 2441 of file Type.cpp.

References isSizelessVectorType().

Referenced by clang::Sema::CheckVectorOperands(), clang::Sema::GetSignedSizelessVectorType(), clang::QualType::isCXX11PODType(), isSizelessType(), isTriviallyCopyableTypeImpl(), and warnBracedScalarInit().

◆ isSizelessType()

bool Type::isSizelessType ( ) const

As an extension, we classify types as one of "sized" or "sizeless"; every type is one or the other.

Standard types are all sized; sizeless types are purely an extension.

Sizeless types contain data with no specified size, alignment, or layout.

Definition at line 2477 of file Type.cpp.

References isSizelessBuiltinType().

Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::BuildArrayType(), clang::Sema::BuildAtomicType(), clang::Sema::BuildExceptionDeclaration(), clang::Sema::CheckAlignasUnderalignment(), clang::Sema::CheckCountedByAttrOnField(), clang::Sema::CheckCXXThrowOperand(), clang::Sema::CheckSpecifiedExceptionType(), clang::Sema::CheckVariableDeclarationType(), and clang::Sema::SizelessTypeDiagnoser< Ts >::diagnose().

◆ isSizelessVectorType()

bool Type::isSizelessVectorType ( ) const

Returns true for all scalable vector types.

Definition at line 2479 of file Type.cpp.

References isRVVSizelessBuiltinType(), and isSVESizelessBuiltinType().

Referenced by clang::Sema::checkCall(), clang::Sema::CheckFunctionDeclaration(), CheckVectorElementsTraitOperandType(), getSizelessVectorEltType(), and isSizelessBuiltinType().

◆ isSpecificBuiltinType()

bool clang::Type::isSpecificBuiltinType ( unsigned K ) const

inline

Test for a particular builtin type.

Definition at line 8288 of file Type.h.

Referenced by clang::SemaOpenMP::ActOnOMPArraySectionExpr(), clang::SemaOpenMP::ActOnOpenMPDependClause(), clang::SemaOpenMP::ActOnOpenMPMapClause(), clang::Sema::BuildAtomicExpr(), clang::Sema::BuildVAArgExpr(), BuiltinCountZeroBitsGeneric(), calculateElementType(), clang::ento::SMTConstraintManager::canReasonAbout(), clang::Sema::CheckConstraintExpression(), clang::Sema::CheckLiteralOperatorDeclaration(), checkMappableExpressionList(), clang::Sema::CheckOverloadedOperatorDeclaration(), clang::SemaRISCV::checkRVVTypeSupport(), CheckTautologicalComparison(), clang::interp::Context::classify(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::Sema::CreateBuiltinUnaryOp(), clang::Sema::DiagnoseAlwaysNonNullPointer(), clang::Sema::DiagnoseAssignmentResult(), DiagnoseFloatingImpCast(), clang::Sema::getCopyElisionCandidate(), clang::ASTContext::getPreferredTypeAlign(), IsImplicitBoolFloatConversion(), clang::SemaObjC::isSignedCharBool(), isTypeSubstitutable(), LookupMemberExpr(), printIntegral(), and processImplicitMapsWithDefaultMappers().

◆ isSpecificPlaceholderType()

bool clang::Type::isSpecificPlaceholderType ( unsigned K ) const

inline

Test for a specific placeholder type.

Definition at line 8308 of file Type.h.

Referenced by clang::Sema::canCalleeThrow(), clang::CallExpr::getCallReturnType(), clang::ASTContext::getLValueReferenceType(), clang::ASTContext::getRValueReferenceType(), and clang::ObjCPropertyRefExpr::ObjCPropertyRefExpr().

◆ isSpecifierType()

bool Type::isSpecifierType ( ) const

Returns true if this type can be represented by some set of type specifiers.

Definition at line 3088 of file Type.cpp.

References Complex, clang::Enum, and getTypeClass().

Referenced by GetBaseType().

◆ isStandardLayoutType()

bool Type::isStandardLayoutType ( ) const

Test if this type is a standard-layout type.

(C++0x [basic.type]p9)

Definition at line 2973 of file Type.cpp.

References getAs(), getBaseElementTypeUnsafe(), isDependentType(), isIncompleteType(), isScalarType(), and isVectorType().

Referenced by EvaluateUnaryTypeTrait(), and isLayoutCompatible().

◆ isStdByteType()

bool Type::isStdByteType ( ) const

Definition at line 3079 of file Type.cpp.

References clang::IdentifierInfo::isStr().

◆ isStructuralType()

bool Type::isStructuralType ( ) const

Determine if this type is a structural type, per C++20 [temp.param]p7.

Definition at line 2957 of file Type.cpp.

References getAsCXXRecordDecl(), isLValueReferenceType(), isScalarType(), and isVectorType().

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

◆ isStructureOrClassType()

bool Type::isStructureOrClassType ( ) const

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 657 of file Type.cpp.

References clang::TagDecl::isClass(), clang::TagDecl::isInterface(), and clang::TagDecl::isStruct().

Referenced by clang::SemaOpenMP::ActOnOpenMPDeclareMapperType(), buildUserDefinedMapperRef(), EvaluateBinaryTypeTrait(), isImplicitMapperNeeded(), isLayoutCompatible(), clang::Sema::IsPointerInterconvertibleBaseOf(), markEscapingByrefs(), and processImplicitMapsWithDefaultMappers().

◆ isStructureType()

bool Type::isStructureType ( ) const

Definition at line 629 of file Type.cpp.

Referenced by clang::Sema::ActOnGCCAsmStmt(), addFlexibleArrayMemberInitSize(), EvaluateUnaryTypeTrait(), getFuchsiaHandleSymbols(), clang::SemaHLSL::handlePackOffsetAttr(), MaybePrintTagKeywordIfSupressingScopes(), maybeTailCall(), and clang::Sema::MergeTypedefNameDecl().

◆ isStructureTypeWithFlexibleArrayMember()

bool Type::isStructureTypeWithFlexibleArrayMember ( ) const

Definition at line 635 of file Type.cpp.

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

◆ isSubscriptableVectorType()

bool clang::Type::isSubscriptableVectorType ( ) const

inline

Definition at line 8129 of file Type.h.

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

◆ isSVESizelessBuiltinType()

bool Type::isSVESizelessBuiltinType ( ) const

Returns true for SVE scalable vector types.

Definition at line 2483 of file Type.cpp.

Referenced by clang::Sema::CheckAssignmentConstraints(), clang::Sema::checkTypeSupport(), clang::Sema::CheckVariableDeclarationType(), clang::Sema::CheckVectorOperands(), getSizelessVectorEltType(), isSizelessVectorType(), isTypeSubstitutable(), clang::Sema::isValidSveBitcast(), and IsVectorConversion().

◆ isSveVLSBuiltinType()

bool Type::isSveVLSBuiltinType ( ) const

Determines if this is a sizeless type supported by the 'arm_sve_vector_bits' type attribute, which can be applied to a single SVE vector or predicate, excluding tuple types such as svint32x4_t.

Definition at line 2510 of file Type.cpp.

Referenced by clang::Sema::CheckAdditionOperands(), clang::Sema::CheckBitwiseOperands(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckImplicitConversion(), clang::Sema::CheckMultiplyDivideOperands(), clang::Sema::CheckRemainderOperands(), clang::Sema::CheckShiftOperands(), clang::Sema::CheckSizelessVectorConditionalTypes(), clang::Sema::CheckSizelessVectorOperands(), checkSizelessVectorShift(), clang::Sema::CheckSubtractionOperands(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::Sema::CreateBuiltinUnaryOp(), getSveEltType(), getSVETypeSize(), HandleArmSveVectorBitsTypeAttr(), isValidSizelessVectorForConditionalCondition(), and tryGCCVectorConvertAndSplat().

◆ isTemplateTypeParmType()

bool clang::Type::isTemplateTypeParmType ( ) const

inline

Definition at line 8284 of file Type.h.

Referenced by clang::SemaCodeCompletion::CodeCompleteMemberReferenceExpr().

◆ isTypedefNameType()

bool clang::Type::isTypedefNameType ( ) const

inline

Determines whether this type is written as a typedef-name.

Definition at line 8468 of file Type.h.

Referenced by clang::extractapi::TypedefUnderlyingTypeResolver::getUnderlyingTypeDecl(), and handlePreferredName().

◆ isUndeducedAutoType()

bool clang::Type::isUndeducedAutoType ( ) const

inline

Definition at line 8162 of file Type.h.

Referenced by clang::Sema::ActOnConversionDeclarator(), clang::Sema::BuildAtomicType(), clang::Sema::CheckExplicitlyDefaultedComparison(), and deduceOpenCLPointeeAddrSpace().

◆ isUndeducedType()

bool clang::Type::isUndeducedType ( ) const

inline

Determine whether this type is an undeduced type, meaning that it somehow involves a C++11 'auto' type or similar which has not yet been deduced.

Definition at line 8453 of file Type.h.

Referenced by clang::Sema::ActOnExplicitInstantiation(), clang::Sema::ActOnFinishFunctionBody(), clang::Sema::ActOnFunctionDeclarator(), clang::Sema::ActOnInitializerError(), clang::Sema::ActOnUninitializedDecl(), clang::Sema::AddConversionCandidate(), clang::Sema::AddInitializerToDecl(), clang::Sema::areMultiversionVariantFunctionsCompatible(), clang::Sema::BuildArrayType(), clang::Sema::BuildOverloadedCallExpr(), clang::Sema::BuildVariableInstantiation(), clang::Sema::canDelayFunctionBody(), clang::Sema::checkArrayElementAlignment(), clang::Sema::CheckFunctionDeclaration(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckVariableDeclarationType(), completeFunctionType(), clang::Sema::CreateRecoveryExpr(), clang::Sema::deduceClosureReturnType(), clang::Sema::DeduceReturnType(), clang::Sema::DefineImplicitLambdaToFunctionPointerConversion(), hasDeducedReturnType(), clang::VarDecl::hasDependentAlignment(), clang::Sema::MergeVarDeclTypes(), clang::Sema::RebuildTemplateParamsInCurrentInstantiation(), and TryToFixInvalidVariablyModifiedType().

◆ isUnionType()

bool Type::isUnionType ( ) const

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 671 of file Type.cpp.

Referenced by clang::SemaOpenMP::ActOnOpenMPDeclareMapperType(), appendRecordType(), buildUserDefinedMapperRef(), clang::ento::SymbolManager::canSymbolicate(), checkIsValidOpenCLKernelParameter(), checkMemberDecomposition(), clang::CodeGen::CGDebugInfo::EmitGlobalVariable(), EvaluateBinaryTypeTrait(), EvaluateBuiltinClassifyType(), evaluateCDTSize(), EvaluateUnaryTypeTrait(), isImplicitMapperNeeded(), isLayoutCompatible(), MaybePrintTagKeywordIfSupressingScopes(), processImplicitMapsWithDefaultMappers(), and TryOrBuildParenListInitialization().

◆ isUnsaturatedFixedPointType()

bool clang::Type::isUnsaturatedFixedPointType ( ) const

inline

Return true if this is a saturated fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.

This type can be signed or unsigned.

Definition at line 8396 of file Type.h.

Referenced by clang::ASTContext::getCorrespondingUnsaturatedType().

◆ isUnscopedEnumerationType()

bool Type::isUnscopedEnumerationType ( ) const

Definition at line 2082 of file Type.cpp.

Referenced by checkEnumArithmeticConversions(), and isIntegralOrUnscopedEnumerationType().

◆ isUnsignedFixedPointType()

bool clang::Type::isUnsignedFixedPointType ( ) const

inline

Return true if this is a fixed point type that is unsigned according to ISO/IEC JTC1 SC22 WG14 N1169.

This type can also be saturated.

Definition at line 8414 of file Type.h.

Referenced by clang::ento::BasicValueFactory::getAPSIntType(), clang::ASTContext::getCorrespondingSignedFixedPointType(), clang::ASTContext::getCorrespondingUnsignedType(), and handleFixedPointConversion().

◆ isUnsignedIntegerOrEnumerationType()

bool Type::isUnsignedIntegerOrEnumerationType ( ) const

Determines whether this is an integer type that is unsigned or an enumeration types whose underlying type is a unsigned integer type.

Definition at line 2217 of file Type.cpp.

References isUnsignedIntegerType().

Referenced by clang::interp::CheckConstant(), clang::Sema::CheckTemplateArgument(), clang::interp::Context::classify(), GetExprRange(), clang::ento::BasicValueFactory::getTruthValue(), GetValueRange(), HandleIntToIntCast(), hasUnsignedIntegerRepresentation(), isValidStructGUID(), clang::ento::SValBuilder::makeIntVal(), and clang::interp::pushInteger().

◆ isUnsignedIntegerType()

bool Type::isUnsignedIntegerType ( ) const

Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true for _Bool], or an enum decl which has an unsigned representation.

isUnsignedIntegerType - Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true for _Bool], an enum decl which has an unsigned representation

Definition at line 2196 of file Type.cpp.

References isUnsignedIntegerType().

Referenced by clang::Sema::ActOnStringLiteral(), clang::Sema::BuildVAArgExpr(), BuiltinCountZeroBitsGeneric(), BuiltinPopcountg(), calculateElementType(), clang::SemaOpenCL::checkBuiltinRWPipe(), CheckC23ConstexprInitStringLiteral(), clang::Sema::CheckCompatibleReinterpretCast(), clang::Sema::CheckImplicitConversion(), clang::Sema::DefaultArgumentPromotion(), clang::CodeGen::CGOpenMPRuntime::emitLastprivateConditionalUpdate(), clang::ento::SValBuilder::evalIntegralCast(), EvaluateUnaryTypeTrait(), expandStringLiteral(), extractStringLiteralCharacter(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), clang::ASTContext::getIntegerTypeOrder(), clang::ASTContext::getPromotedIntegerType(), handleVectorUnaryOperator(), handleVectorVectorBinOp(), clang::Sema::IsIntegralPromotion(), isNonNegativeIntegerExpr(), isUnsigned(), isUnsignedIntegerOrEnumerationType(), and isUnsignedIntegerType().

◆ isVariableArrayType()

bool clang::Type::isVariableArrayType ( ) const

inline

Definition at line 8087 of file Type.h.

Referenced by clang::SemaOpenMP::ActOnOMPArraySectionExpr(), clang::Sema::ActOnVariableDeclarator(), clang::Sema::BuildArrayType(), clang::Sema::BuildCompoundLiteralExpr(), CheckICE(), clang::Sema::CheckTypedefForVariablyModifiedType(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), clang::Sema::CheckVariableDeclarationType(), clang::Sema::CreateUnaryExprOrTypeTraitExpr(), DiagnoseVLAInCXXTypeTrait(), emitOMPArraySectionBase(), EquivalentArrayTypes(), isConstantSizeArrayWithMoreThanOneElement(), isLiteralType(), isSimpleArrayDecayOperand(), clang::Sema::RequireLiteralType(), and clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr().

◆ isVariablyModifiedType()

bool clang::Type::isVariablyModifiedType ( ) const

inline

Whether this type is a variably-modified type (C99 6.7.5).

Definition at line 2713 of file Type.h.

◆ isVectorType()

bool clang::Type::isVectorType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8115 of file Type.h.

◆ isVisibilityExplicit()

bool clang::Type::isVisibilityExplicit ( ) const

inline

Return true if the visibility was explicitly set is the code.

Definition at line 2929 of file Type.h.

◆ isVoidPointerType()

bool Type::isVoidPointerType ( ) const

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 665 of file Type.cpp.

Referenced by clang::Sema::BuildExpressionFromDeclTemplateArgument(), BuiltinLaunder(), clang::Sema::CheckAssignmentConstraints(), clang::Sema::CheckCompareOperands(), checkConditionalBlockPointerCompatibility(), checkIntToPointerCast(), clang::SemaObjC::CheckSubscriptingKind(), clang::ento::SMTConv::doTypeConversion(), EvaluateComparisonBinaryOperator(), clang::SemaObjC::FindCompositeObjCPointerType(), clang::Sema::FindCompositePointerType(), getExistingLazyBinding(), clang::SemaObjC::handleBridgeAttr(), HandleDynamicCast(), clang::CXXDynamicCastExpr::isAlwaysNull(), isVoidPointer(), maybeTailCall(), clang::Sema::MergeTypedefNameDecl(), TryReinterpretCast(), clang::interp::Compiler< Emitter >::VisitAddrLabelExpr(), and clang::interp::Compiler< Emitter >::VisitCastExpr().

◆ isVoidType()

bool clang::Type::isVoidType ( ) const

inline

Examples: /home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 8319 of file Type.h.

◆ isWebAssemblyExternrefType()

bool Type::isWebAssemblyExternrefType ( ) const

Check if this is a WebAssembly Externref Type.

Definition at line 2461 of file Type.cpp.

Referenced by clang::QualType::isWebAssemblyExternrefType().

◆ isWebAssemblyTableType()

bool Type::isWebAssemblyTableType ( ) const

Returns true if this is a WebAssembly table type: either an array of reference types, or a pointer to a reference type (which can only be created by array to pointer decay).

Definition at line 2467 of file Type.cpp.

Referenced by clang::Sema::ActOnArraySubscriptExpr(), clang::Sema::ActOnFunctionDeclarator(), clang::Sema::ActOnVariableDeclarator(), clang::Sema::BuildFunctionType(), clang::Sema::BuildPointerType(), clang::Sema::BuildReferenceType(), clang::Sema::CheckAddressOfOperand(), clang::Sema::CheckAssignmentOperands(), clang::Sema::CheckConditionalOperands(), clang::Sema::CheckParmsForFunctionDef(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), clang::Sema::CheckVariableDeclarationType(), clang::Sema::CXXCheckConditionalOperands(), and diagnoseTautologicalComparison().

◆ isWideCharType()

bool Type::isWideCharType ( ) const

Definition at line 2098 of file Type.cpp.

Referenced by BuildExpressionFromIntegralTemplateArgumentValue(), clang::Sema::BuiltinChangeSignedness(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), getScalarZeroExpressionForType(), printIntegral(), and TryPrintAsStringLiteral().

◆ operator=() [1/2]

Type & clang::Type::operator= ( const Type & )

delete

◆ operator=() [2/2]

Type & clang::Type::operator= ( Type && )

delete

◆ setDependence()

void clang::Type::setDependence ( TypeDependence D )

inlineprotected

Definition at line 2317 of file Type.h.

References D.

◆ this_()

Type * clang::Type::this_ ( )

inlineprotected

Definition at line 2315 of file Type.h.

Friends And Related Function Documentation

◆ ASTContext

friend class ASTContext

friend

Definition at line 2296 of file Type.h.

◆ ASTReader

friend class ASTReader

friend

Definition at line 2324 of file Type.h.

◆ ASTWriter

friend class ASTWriter

friend

Definition at line 2325 of file Type.h.

◆ serialization::AbstractTypeReader

template<class T >

friend class serialization::AbstractTypeReader

friend

Definition at line 2326 of file Type.h.

◆ serialization::AbstractTypeWriter

template<class T >

friend class serialization::AbstractTypeWriter

friend

Definition at line 2327 of file Type.h.

◆ TypePropertyCache

template<class T >

friend class TypePropertyCache

friend

Definition at line 2288 of file Type.h.

Member Data Documentation

◆

union { ... } clang::Type::@125

◆ ArrayTypeBits

ArrayTypeBitfields clang::Type::ArrayTypeBits

Definition at line 2263 of file Type.h.

Referenced by clang::ArrayType::ArrayType().

◆ AttributedTypeBits

AttributedTypeBitfields clang::Type::AttributedTypeBits

Definition at line 2265 of file Type.h.

◆ AutoTypeBits

AutoTypeBitfields clang::Type::AutoTypeBits

Definition at line 2266 of file Type.h.

◆ BuiltinTypeBits

BuiltinTypeBitfields clang::Type::BuiltinTypeBits

Definition at line 2270 of file Type.h.

◆ ConstantArrayTypeBits

ConstantArrayTypeBitfields clang::Type::ConstantArrayTypeBits

Definition at line 2264 of file Type.h.

Referenced by clang::ConstantArrayType::ConstantArrayType().

◆ CountAttributedTypeBits

CountAttributedTypeBitfields clang::Type::CountAttributedTypeBits

Definition at line 2284 of file Type.h.

◆ DependentTemplateSpecializationTypeBits

DependentTemplateSpecializationTypeBitfields clang::Type::DependentTemplateSpecializationTypeBits

Definition at line 2282 of file Type.h.

◆ ElaboratedTypeBits

ElaboratedTypeBitfields clang::Type::ElaboratedTypeBits

Definition at line 2275 of file Type.h.

◆ FunctionTypeBits

FunctionTypeBitfields clang::Type::FunctionTypeBits

Definition at line 2271 of file Type.h.

◆ ObjCObjectTypeBits

ObjCObjectTypeBitfields clang::Type::ObjCObjectTypeBits

Definition at line 2272 of file Type.h.

Referenced by clang::ObjCObjectType::isSpecialized(), and clang::ObjCObjectType::ObjCObjectType().

◆ PackExpansionTypeBits

PackExpansionTypeBitfields clang::Type::PackExpansionTypeBits

Definition at line 2283 of file Type.h.

◆ ReferenceTypeBits

ReferenceTypeBitfields clang::Type::ReferenceTypeBits

Definition at line 2273 of file Type.h.

◆ SubstTemplateTypeParmPackTypeBits

SubstTemplateTypeParmPackTypeBitfields clang::Type::SubstTemplateTypeParmPackTypeBits

Definition at line 2279 of file Type.h.

◆ SubstTemplateTypeParmTypeBits

SubstTemplateTypeParmTypeBitfields clang::Type::SubstTemplateTypeParmTypeBits

Definition at line 2278 of file Type.h.

◆ TemplateSpecializationTypeBits

TemplateSpecializationTypeBitfields clang::Type::TemplateSpecializationTypeBits

Definition at line 2280 of file Type.h.

◆ TemplateTypeParmTypeBits

TemplateTypeParmTypeBitfields clang::Type::TemplateTypeParmTypeBits

Definition at line 2277 of file Type.h.

◆ TypeBits

TypeBitfields clang::Type::TypeBits

Definition at line 2262 of file Type.h.

Referenced by clang::TypePropertyCache< Private >::ensure(), clang::TypePropertyCache< Private >::get(), getLinkage(), getTypeClassName(), hasUnnamedOrLocalType(), and isLinkageValid().

◆ TypedefBits

TypedefBitfields clang::Type::TypedefBits

Definition at line 2268 of file Type.h.

◆ TypeOfBits

TypeOfBitfields clang::Type::TypeOfBits

Definition at line 2267 of file Type.h.

Referenced by clang::TypeOfExprType::TypeOfExprType().

◆ TypeWithKeywordBits

TypeWithKeywordBitfields clang::Type::TypeWithKeywordBits

Definition at line 2274 of file Type.h.

◆ UsingBits

UsingBitfields clang::Type::UsingBits

Definition at line 2269 of file Type.h.

◆ VectorTypeBits

VectorTypeBitfields clang::Type::VectorTypeBits

Definition at line 2276 of file Type.h.

Referenced by clang::VectorType::VectorType().

The documentation for this class was generated from the following files:

include/clang/AST/Type.h
include/clang/AST/CanonicalType.h
lib/AST/ASTDumper.cpp
lib/AST/Type.cpp

Classes

Public Types

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Friends

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

◆ anonymous enum

◆ ScalarTypeKind

◆ TypeClass

Constructor & Destructor Documentation

◆ Type() [1/3]

◆ Type() [2/3]

◆ Type() [3/3]

Member Function Documentation

◆ acceptsObjCTypeParams()

◆ addDependence()

◆ canDecayToPointerType()

◆ canHaveNullability()

◆ castAs()

◆ castAsArrayTypeUnsafe()

◆ containsErrors()

◆ containsUnexpandedParameterPack()

◆ dump() [1/2]

◆ dump() [2/2]

◆ getArrayElementTypeNoTypeQual()

◆ getAs() [1/2]

◆ getAs() [2/2]

◆ getAsAdjusted()

◆ getAsArrayTypeUnsafe()

◆ getAsComplexIntegerType()

◆ getAsCXXRecordDecl()

◆ getAsObjCInterfacePointerType()

◆ getAsObjCInterfaceType()

◆ getAsObjCQualifiedClassType()

◆ getAsObjCQualifiedIdType()

◆ getAsObjCQualifiedInterfaceType()

◆ getAsPlaceholderType()

◆ getAsRecordDecl()

◆ getAsStructureType()

◆ getAsTagDecl()

◆ getAsUnionType()

◆ getBaseElementTypeUnsafe()

◆ getCanonicalTypeInternal()

◆ getCanonicalTypeUnqualified()

◆ getContainedAutoType()

◆ getContainedDeducedType()

◆ getDependence()

◆ getLinkage()

◆ getLinkageAndVisibility()

◆ getLocallyUnqualifiedSingleStepDesugaredType()

◆ getNullability()

◆ getObjCARCImplicitLifetime()

◆ getObjCSubstitutions()

◆ getPointeeCXXRecordDecl()

◆ getPointeeOrArrayElementType()

◆ getPointeeType()

◆ getRVVEltType()

◆ getScalarTypeKind()

◆ getSizelessVectorEltType()

◆ getSveEltType()

◆ getTypeClass()

◆ getTypeClassName()

◆ getUnqualifiedDesugaredType()

◆ getVisibility()

◆ hasAttr()

◆ hasAutoForTrailingReturnType()

◆ hasFloatingRepresentation()

◆ hasIntegerRepresentation()

◆ hasObjCPointerRepresentation()

◆ hasPointerRepresentation()

◆ hasSignedIntegerRepresentation()

◆ hasSizedVLAType()

◆ hasUnnamedOrLocalType()

◆ hasUnsignedIntegerRepresentation()

◆ isAggregateType()

◆ isAlignValT()