clang
6.0.0
|
The base class of the type hierarchy. More...
#include "clang/AST/Type.h"
Classes | |
class | ArrayTypeBitfields |
class | AttributedTypeBitfields |
class | AutoTypeBitfields |
class | BuiltinTypeBitfields |
class | FunctionTypeBitfields |
class | ObjCObjectTypeBitfields |
class | ReferenceTypeBitfields |
class | TypeWithKeywordBitfields |
class | VectorTypeBitfields |
Public Types | |
enum | TypeClass { TagFirst = Record, TagLast = Enum } |
enum | ScalarTypeKind { STK_CPointer, STK_BlockPointer, STK_ObjCObjectPointer, STK_MemberPointer, STK_Bool, STK_Integral, STK_Floating, STK_IntegralComplex, STK_FloatingComplex } |
Public Member Functions | |
Type (const Type &)=delete | |
Type & | operator= (const Type &)=delete |
TypeClass | getTypeClass () const |
bool | isFromAST () const |
Whether this type comes from an AST file. More... | |
bool | containsUnexpandedParameterPack () const |
Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templates. More... | |
bool | isCanonicalUnqualified () const |
Determines if this type would be canonical if it had no further qualification. More... | |
QualType | getLocallyUnqualifiedSingleStepDesugaredType () const |
Pull a single level of sugar off of this locally-unqualified type. More... | |
bool | isIncompleteType (NamedDecl **Def=nullptr) const |
Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types, and incomplete types. More... | |
bool | isIncompleteOrObjectType () const |
Return true if this is an incomplete or object type, in other words, not a function type. More... | |
bool | isObjectType () const |
Determine whether this type is an object type. More... | |
bool | isLiteralType (const ASTContext &Ctx) const |
Return true if this is a literal type (C++11 [basic.types]p10) More... | |
bool | isStandardLayoutType () const |
Test if this type is a standard-layout type. More... | |
bool | isBuiltinType () const |
Helper methods to distinguish type categories. More... | |
bool | isSpecificBuiltinType (unsigned K) const |
Test for a particular builtin type. More... | |
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. More... | |
const BuiltinType * | getAsPlaceholderType () const |
bool | isSpecificPlaceholderType (unsigned K) const |
Test for a specific placeholder type. More... | |
bool | isNonOverloadPlaceholderType () const |
Test for a placeholder type other than Overload; see BuiltinType::isNonOverloadPlaceholderType. More... | |
bool | isIntegerType () const |
isIntegerType() does not include complex integers (a GCC extension). More... | |
bool | isEnumeralType () const |
bool | isBooleanType () const |
bool | isCharType () const |
bool | isWideCharType () const |
bool | isChar16Type () const |
bool | isChar32Type () const |
bool | isAnyCharacterType () const |
Determine whether this type is any of the built-in character types. More... | |
bool | isIntegralType (const ASTContext &Ctx) const |
Determine whether this type is an integral type. More... | |
bool | isIntegralOrEnumerationType () const |
Determine whether this type is an integral or enumeration type. More... | |
bool | isIntegralOrUnscopedEnumerationType () const |
Determine whether this type is an integral or unscoped enumeration type. More... | |
bool | isRealFloatingType () const |
Floating point categories. More... | |
bool | isComplexType () const |
isComplexType() does not include complex integers (a GCC extension). More... | |
bool | isAnyComplexType () const |
bool | isFloatingType () const |
bool | isHalfType () 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. More... | |
bool | isFundamentalType () const |
Tests whether the type is categorized as a fundamental type. More... | |
bool | isCompoundType () const |
Tests whether the type is categorized as a compound type. More... | |
bool | isFunctionType () const |
bool | isFunctionNoProtoType () const |
bool | isFunctionProtoType () const |
bool | isPointerType () const |
bool | isAnyPointerType () const |
bool | isBlockPointerType () const |
bool | isVoidPointerType () const |
bool | isReferenceType () const |
bool | isLValueReferenceType () const |
bool | isRValueReferenceType () const |
bool | isFunctionPointerType () const |
bool | isMemberPointerType () const |
bool | isMemberFunctionPointerType () const |
bool | isMemberDataPointerType () const |
bool | isArrayType () const |
bool | isConstantArrayType () const |
bool | isIncompleteArrayType () const |
bool | isVariableArrayType () const |
bool | isDependentSizedArrayType () const |
bool | isRecordType () const |
bool | isClassType () const |
bool | isStructureType () const |
bool | isObjCBoxableRecordType () const |
bool | isInterfaceType () const |
bool | isStructureOrClassType () const |
bool | isUnionType () const |
bool | isComplexIntegerType () const |
bool | isVectorType () const |
bool | isExtVectorType () 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. More... | |
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 | isObjCInertUnsafeUnretainedType () const |
Was this type written with the special inert-in-MRC __unsafe_unretained qualifier? More... | |
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>. More... | |
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>. More... | |
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. More... | |
bool | isCARCBridgableType () const |
Determine whether the given type T is a "bridgeable" C type. More... | |
bool | isTemplateTypeParmType () const |
bool | isNullPtrType () const |
bool | isAlignValT () const |
bool | isStdByteType () const |
bool | isAtomicType () const |
bool | isImageType () const |
bool | isSamplerT () const |
bool | isEventT () const |
bool | isClkEventT () const |
bool | isQueueT () const |
bool | isReserveIDT () const |
bool | isPipeType () const |
bool | isOpenCLSpecificType () const |
bool | isObjCARCImplicitlyUnretainedType () const |
Determines if this type, which must satisfy isObjCLifetimeType(), is implicitly __unsafe_unretained rather than implicitly __strong. More... | |
Qualifiers::ObjCLifetime | getObjCARCImplicitLifetime () const |
Return the implicit lifetime for this type, which must not be dependent. More... | |
ScalarTypeKind | getScalarTypeKind () const |
Given that this is a scalar type, classify it. More... | |
bool | isDependentType () const |
Whether this type is a dependent type, meaning that its definition somehow depends on a template parameter (C++ [temp.dep.type]). More... | |
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). More... | |
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. More... | |
bool | isVariablyModifiedType () const |
Whether this type is a variably-modified type (C99 6.7.5). More... | |
bool | hasSizedVLAType () const |
Whether this type involves a variable-length array type with a definite size. More... | |
bool | hasUnnamedOrLocalType () const |
Whether this type is or contains a local or unnamed type. More... | |
bool | isOverloadableType () const |
Determines whether this is a type for which one can define an overloaded operator. More... | |
bool | isElaboratedTypeSpecifier () const |
Determine wither this type is a C++ elaborated-type-specifier. More... | |
bool | canDecayToPointerType () const |
Determines whether this type can decay to a pointer type. More... | |
bool | hasPointerRepresentation () const |
Whether this type is represented natively as a pointer. More... | |
bool | hasObjCPointerRepresentation () const |
Whether this type can represent an objective pointer type for the purpose of GC'ability. More... | |
bool | hasIntegerRepresentation () const |
Determine whether this type has an integer representation of some sort, e.g., it is an integer type or a vector. More... | |
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. More... | |
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. More... | |
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. More... | |
const RecordType * | getAsStructureType () const |
const RecordType * | getAsUnionType () const |
NOTE: getAs*ArrayType are methods on ASTContext. More... | |
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. More... | |
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. More... | |
const CXXRecordDecl * | getPointeeCXXRecordDecl () const |
If this is a pointer or reference to a RecordType, return the CXXRecordDecl that that type refers to. More... | |
DeducedType * | getContainedDeducedType () const |
Get the DeducedType whose type will be deduced for a variable with an initializer of this type. More... | |
AutoType * | getContainedAutoType () const |
Get the AutoType whose type will be deduced for a variable with an initializer of this type. More... | |
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). More... | |
template<typename T > | |
const T * | getAs () const |
Member-template getAs<specific type>'. More... | |
template<typename T > | |
const T * | getAsAdjusted () const |
Member-template getAsAdjusted<specific type>. More... | |
const ArrayType * | getAsArrayTypeUnsafe () const |
A variant of getAs<> for array types which silently discards qualifiers from the outermost type. More... | |
template<typename T > | |
const T * | castAs () const |
Member-template castAs<specific type>. More... | |
const ArrayType * | castAsArrayTypeUnsafe () const |
A variant of castAs<> for array type which silently discards qualifiers from the outermost type. More... | |
const Type * | getBaseElementTypeUnsafe () const |
Get the base element type of this type, potentially discarding type qualifiers. More... | |
const Type * | getArrayElementTypeNoTypeQual () const |
If this is an array type, return the element type of the array, potentially with type qualifiers missing. More... | |
const Type * | getPointeeOrArrayElementType () const |
If this is a pointer type, return the pointee type. More... | |
QualType | getPointeeType () const |
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee. More... | |
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. More... | |
bool | isPromotableIntegerType () const |
More type predicates useful for type checking/promotion. More... | |
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. More... | |
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. More... | |
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. More... | |
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. More... | |
bool | isConstantSizeType () const |
Return true if this is not a variable sized type, according to the rules of C99 6.7.5p3. More... | |
bool | isSpecifierType () const |
Returns true if this type can be represented by some set of type specifiers. More... | |
Linkage | getLinkage () const |
Determine the linkage of this type. More... | |
Visibility | getVisibility () const |
Determine the visibility of this type. More... | |
bool | isVisibilityExplicit () const |
Return true if the visibility was explicitly set is the code. More... | |
LinkageInfo | getLinkageAndVisibility () const |
Determine the linkage and visibility of this type. More... | |
bool | isLinkageValid () const |
True if the computed linkage is valid. More... | |
Optional< NullabilityKind > | getNullability (const ASTContext &context) const |
Determine the nullability of the given type. More... | |
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. More... | |
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. More... | |
bool | acceptsObjCTypeParams () const |
Determines if this is an ObjC interface type that may accept type parameters. More... | |
const char * | getTypeClassName () const |
QualType | getCanonicalTypeInternal () const |
CanQualType | getCanonicalTypeUnqualified () const |
void | dump () const |
void | dump (llvm::raw_ostream &OS) 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. More... | |
template<> | |
const TemplateSpecializationType * | getAs () const |
This will check for a TemplateSpecializationType by removing any existing sugar until it reaches a TemplateSpecializationType or a non-sugared type. More... | |
template<> | |
const AttributedType * | getAs () const |
This will check for an AttributedType by removing any existing sugar until it reaches an AttributedType or a non-sugared type. More... | |
Protected Member Functions | |
Type (TypeClass tc, QualType canon, bool Dependent, bool InstantiationDependent, bool VariablyModified, bool ContainsUnexpandedParameterPack) | |
Type * | this_ () |
void | setDependent (bool D=true) |
void | setInstantiationDependent (bool D=true) |
void | setVariablyModified (bool VM=true) |
void | setContainsUnexpandedParameterPack (bool PP=true) |
Friends | |
template<class T > | |
class | TypePropertyCache |
class | ASTContext |
class | ASTReader |
class | ASTWriter |
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.
|
inlineprotected |
Definition at line 1572 of file Type.h.
References clang::NoLinkage.
Referenced by clang::TemplateSpecializationType::anyDependentTemplateArguments(), clang::DeclarationName::getCXXNameType(), clang::TemplateTypeParmType::getIdentifier(), and isObjCInertUnsafeUnretainedType().
|
delete |
bool Type::acceptsObjCTypeParams | ( | ) | const |
Determines if this is an ObjC interface type that may accept type parameters.
Definition at line 1426 of file Type.cpp.
References getAsObjCInterfaceType().
Referenced by takeDeclAttributes().
|
inline |
Determine whether the given type can have a nullability specifier applied to it, i.e., if it is any kind of pointer type.
ResultIfUnknown | The value to return if we don't yet know whether this type can have nullability because it is dependent. |
Definition at line 3616 of file Type.cpp.
References clang::Auto, getCanonicalTypeInternal(), getKind(), getTypeClass(), and clang::QualType::getTypePtr().
Referenced by processTypeAttrs(), and clang::TreeTransform< Derived >::TransformDependentTemplateSpecializationType().
const T * clang::Type::castAs | ( | ) | const |
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.
Definition at line 6368 of file Type.h.
References clang::T.
Referenced by clang::Sema::adjustCCAndNoReturn(), clang::ASTContext::adjustDeducedFunctionResultType(), clang::ASTContext::applyObjCProtocolQualifiers(), clang::ASTContext::areCommonBaseCompatible(), clang::Sema::BuildMemberReferenceExpr(), clang::ASTContext::canAssignObjCInterfaces(), clang::CapturedStmt::Capture::Capture(), checkConditionalPointerCompatibility(), CheckConstexprCtorInitializer(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExplicitlyDefaultedMemberExceptionSpec(), clang::Sema::checkInitMethod(), clang::Sema::CheckMain(), clang::Sema::CheckMemberOperatorAccess(), clang::Sema::CheckMSVCRTEntryPoint(), clang::Sema::CheckOverridingFunctionExceptionSpec(), clang::Sema::CheckTransparentUnionArgumentConstraints(), clang::Sema::CodeCompleteCase(), commonEmitCXXMemberOrOperatorCall(), completeFunctionType(), clang::ObjCObjectType::computeSuperClassTypeSlow(), convertToComplexValue(), clang::Sema::DeduceReturnType(), clang::Sema::DefineImplicitCopyAssignment(), clang::Sema::DefineImplicitCopyConstructor(), clang::Sema::DefineImplicitDefaultConstructor(), clang::Sema::DefineImplicitDestructor(), clang::Sema::DefineImplicitMoveAssignment(), clang::Sema::DefineImplicitMoveConstructor(), clang::Sema::DefineInheritingConstructor(), DiagnoseCallingConvCast(), clang::Sema::DiagnoseSentinelCalls(), clang::CodeGen::CodeGenFunction::emitAddrOfImagComponent(), emitCombinerOrInitializer(), emitCXXDestructor(), clang::CodeGen::CodeGenFunction::EmitCXXMemberOrOperatorCall(), clang::CodeGen::CodeGenFunction::EmitCXXMemberOrOperatorMemberCallExpr(), emitDestructorsFunction(), clang::CodeGen::CodeGenFunction::EmitDynamicCast(), clang::CodeGen::CodeGenFunction::EmitForwardingCallToLambda(), clang::CodeGen::CGDebugInfo::EmitGlobalVariable(), clang::CodeGen::CodeGenModule::EmitNullConstant(), emitParallelOrTeamsOutlinedFunction(), emitPointerArithmetic(), emitProxyTaskFunction(), emitTaskDupFunction(), emitWritebackArg(), EvalAndBitcastToAPInt(), EvaluateComplex(), clang::Sema::EvaluateImplicitExceptionSpec(), evaluateLValueAsAllocSize(), EvaluateMemberPointer(), EvaluatePointer(), EvaluateTemporary(), EvaluateVector(), clang::CXXRecordDecl::FindBaseClass(), clang::Expr::findBoundMemberType(), clang::CXXRecordDecl::FindVirtualBaseClass(), clang::CodeGen::CodeGenFunction::generateThunk(), GetAlignOfExpr(), getCallingConvMangling(), clang::CallExpr::getCallReturnType(), clang::CXXMethodDecl::getDevirtualizedMethod(), clang::BlockExpr::getFunctionType(), clang::ObjCObjectPointerType::getInterfaceType(), getObjCSubstitutions(), clang::ObjCObjectPointerType::getObjectType(), clang::getParameterABISpelling(), clang::ReferenceType::getPointeeType(), clang::ObjCInterfaceDecl::getSuperClassType(), clang::CastExpr::getTargetFieldForToUnionCast(), clang::CodeGen::CodeGenFunction::GetUndefRValue(), getUsualDeleteParams(), clang::AtomicExpr::getValueType(), HandleConstructorCall(), hasDeducedReturnType(), clang::Sema::InstantiateExceptionSpec(), clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), clang::CXXDynamicCastExpr::isAlwaysNull(), isIdiomaticBraceElisionEntity(), isNoexcept(), clang::Sema::IsOpenMPCapturedByRef(), clang::CodeGen::CodeGenModule::isPaddedAtomicType(), isRecordEmpty(), clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), clang::FunctionDecl::isReservedGlobalPlacementOperator(), isStructEmpty(), isThrowCaught(), clang::Sema::LookupMethodInObjectType(), LookupMethodInReceiverType(), clang::MangleContext::mangleName(), mangleThunkThisAdjustment(), ObjCEncodingForEnumType(), clang::Sema::prepareVectorSplat(), clang::Sema::ResolveExceptionSpec(), clang::CXXNewExpr::shouldNullCheckAllocation(), clang::Sema::startLambdaDefinition(), and clang::ObjCObjectPointerType::stripObjCKindOfTypeAndQuals().
|
inline |
A variant of castAs<> for array type which silently discards qualifiers from the outermost type.
Definition at line 6377 of file Type.h.
References clang::AttributedType::stripOuterNullability().
Referenced by CheckConstantExpression(), getArrayIndexingBound(), clang::OMPArraySectionExpr::getBaseOriginalType(), clang::QualType::getBaseTypeIdentifier(), and getCoreType().
|
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':
Note that this routine does not specify which
Definition at line 1633 of file Type.h.
Referenced by clang::Sema::BuildBaseInitializer(), buildDeclareReductionRef(), clang::Sema::CheckBaseSpecifier(), clang::Sema::CheckPackExpansion(), clang::NestedNameSpecifier::containsUnexpandedParameterPack(), clang::Sema::containsUnexpandedParameterPacks(), clang::ExprWithCleanups::Create(), clang::OffsetOfExpr::CreateEmpty(), clang::DeducedType::DeducedType(), clang::Sema::DiagnoseUnexpandedParameterPack(), clang::FunctionType::getNameForCallConv(), clang::ASTContext::getPackExpansionType(), clang::ObjCPropertyRefExpr::getReceiverType(), hasOnlyNonStaticMemberFunctions(), clang::DependentSizedExtVectorType::Profile(), and clang::Sema::SubstParmVarDecl().
LLVM_DUMP_METHOD void Type::dump | ( | ) | const |
Definition at line 2680 of file ASTDumper.cpp.
References dump().
LLVM_DUMP_METHOD void Type::dump | ( | llvm::raw_ostream & | OS | ) | const |
Definition at line 2682 of file ASTDumper.cpp.
References clang::QualType::dump().
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 229 of file Type.cpp.
References clang::VectorType::desugar(), clang::QualType::getDesugaredType(), clang::VectorType::getElementType(), getLocallyUnqualifiedSingleStepDesugaredType(), clang::ASTContext::getQualifiedType(), clang::QualType::getTypePtr(), getUnqualifiedDesugaredType(), clang::SplitQualType::Quals, clang::QualType::split(), and clang::SplitQualType::Ty.
Referenced by evenFlexibleArraySize().
const T * clang::Type::getAs | ( | ) | const |
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 6305 of file Type.h.
References clang::T.
Referenced by clang::Sema::ActOnCompatibilityAlias(), clang::Sema::ActOnCXXDelete(), clang::Sema::ActOnDependentMemberExpr(), clang::Sema::ActOnFinishFunctionBody(), clang::Sema::ActOnObjCAtSynchronizedOperand(), clang::Sema::ActOnStartCXXMemberReference(), clang::Sema::ActOnTypedefedProtocols(), addBaseAndFieldSizes(), AddClassMessageCompletions(), AddFunctionParameterChunks(), AddFunctionTypeQualsToCompletionString(), clang::Sema::AddMethodCandidate(), clang::Sema::AddOverloadCandidate(), clang::CodeGen::swiftcall::SwiftAggLowering::addTypedData(), clang::Sema::adjustCCAndNoReturn(), AdjustFunctionParmAndArgTypesForDeduction(), AnalyzeBitFieldAssignment(), appendFunctionType(), appendType(), clang::ASTContext::areComparableObjCPointerTypes(), clang::ASTContext::areCompatibleVectorTypes(), clang::ASTDeclReader::attachPreviousDeclImpl(), breakDownVectorType(), clang::Sema::BuildAnonymousStructUnionMemberReference(), clang::CodeGen::CodeGenFunction::BuildAppleKextVirtualCall(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::BuildExpressionFromIntegralTemplateArgument(), clang::Sema::BuildMemberReferenceExpr(), buildMemcpyForAssignmentOp(), clang::Sema::BuildObjCAtThrowStmt(), clang::Sema::BuildQualifiedType(), buildSingleCopyAssignRecursively(), clang::Sema::BuildUnaryTransformType(), BuildUniqueMethodName(), clang::Sema::ImplicitExceptionSpecification::CalledDecl(), clang::arcmt::trans::canApplyWeak(), canAssignObjCObjectTypes(), CanThrow(), clang::canTypeidThrow(), CanUseSingleInheritance(), clang::ento::StoreManager::CastRetrievedVal(), checkArithmeticBinOpPointerOperands(), checkArithmeticIncompletePointerType(), checkArithmeticOpPointerOperand(), CheckArrow(), clang::Sema::CheckBaseClassAccess(), checkBuiltinArgument(), clang::Sema::CheckCastAlign(), clang::Sema::CheckCompatibleReinterpretCast(), checkConditionalObjectPointersCompatibility(), clang::Sema::CheckConditionalOperands(), checkConditionalPointerCompatibility(), CheckConstantExpression(), CheckConstexprParameterTypes(), clang::Sema::CheckConstructorDeclarator(), clang::Sema::CheckConversionDeclarator(), CheckCXX98CompatAccessibleCopy(), clang::Sema::CheckDestructorDeclarator(), clang::Sema::CheckDistantExceptionSpec(), checkEnumComparison(), clang::Sema::CheckEnumUnderlyingType(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExceptionSpecSubset(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), CheckFallThroughForBody(), checkFoundationAPI(), clang::Sema::CheckFriendTypeDecl(), CheckIncrementDecrementOperand(), CheckIndirectionOperand(), CheckKeyForObjCARCConversion(), checkLiteralOperatorTemplateParameterList(), CheckMapClauseExpressionBase(), clang::Sema::CheckMemberPointerConversion(), clang::Sema::CheckMessageArgumentTypes(), checkObjCArrayLiteral(), checkObjCCollectionLiteralElement(), clang::Sema::CheckObjCConversion(), checkObjCDictionaryLiteral(), clang::Sema::CheckObjCForCollectionOperand(), checkObjCPointerTypesForAssignment(), checkOpenCLConditionVector(), checkOpenCLEnqueueVariadicArgs(), checkOpenCLPipePacketType(), CheckOperatorNewDeleteTypes(), clang::Sema::CheckOverloadedOperatorDeclaration(), clang::Sema::CheckOverridingFunctionAttributes(), clang::Sema::CheckOverridingFunctionExceptionSpec(), clang::Sema::CheckOverridingFunctionReturnType(), clang::Sema::CheckPointerToMemberOperands(), clang::Sema::CheckSpecifiedExceptionType(), clang::Sema::CheckSubscriptingKind(), CheckTautologicalComparison(), CheckTemplateArgumentIsCompatibleWithParameter(), checkTypedefTypeForCapability(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), checkVAStartIsInVariadicFunction(), clang::Sema::CheckVectorCompareOperands(), clang::Sema::CheckVectorLogicalOperands(), clang::Sema::CheckVectorOperands(), checkVectorResult(), checkVectorShift(), ClassifyDiagnostic(), classifyPointerDeclarator(), classifyTypeForARCConversion(), ClassifyUnnamed(), clang::Sema::CodeCompleteCall(), clang::Sema::CodeCompleteMemberReferenceExpr(), CompareDerivedToBaseConversions(), CompareStandardConversionSequences(), clang::Sema::CompleteConstructorCall(), clang::Sema::computeDeclContext(), ComputeVMIClassTypeInfoFlags(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), clang::Sema::ConversionToObjCStringLiteralCheck(), clang::CodeGen::CodeGenTypes::ConvertFunctionType(), CopyObject(), create_dispatch_once(), create_OSAtomicCompareAndSwap(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::Sema::CreateUnaryExprOrTypeTraitExpr(), clang::Sema::DeclClonePragmaWeak(), decomposeTypeForEH(), clang::Sema::DeduceAutoType(), clang::Sema::DeduceFunctionTypeFromReturnExpr(), clang::Sema::DeduceReturnType(), clang::Sema::DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), defaultedSpecialMemberIsConstexpr(), clang::Sema::DefineImplicitCopyAssignment(), clang::InitializationSequence::Diagnose(), clang::Sema::DiagnoseAssignmentEnum(), DiagnoseBadFunctionCast(), DiagnoseCastOfObjCSEL(), DiagnoseNarrowingInInitList(), clang::Sema::DiagnosePropertyAccessorMismatch(), DiagnoseRecursiveConstFields(), DiagnoseSelfAssignment(), clang::Sema::DiagnoseSentinelCalls(), doesUsualArrayDeleteWantSize(), doRewriteToUTF8StringBoxedExpressionHelper(), clang::CodeGen::CodeGenFunction::EmitAggregateCopy(), clang::CodeGen::CodeGenFunction::EmitAutoVarAlloca(), EmitBaseInitializer(), clang::CodeGen::CodeGenFunction::EmitCallAndReturnForThunk(), clang::CodeGen::CodeGenFunction::EmitDeleteCall(), clang::CodeGen::CodeGenFunction::EmitDynamicCast(), clang::CodeGen::CodeGenFunction::EmitEndEHSpec(), clang::CodeGen::CodeGenFunction::EmitExtVectorElementLValue(), clang::CodeGen::ConstantEmitter::emitForMemory(), EmitFunctionDeclPointer(), clang::CodeGen::CodeGenFunction::EmitLoadOfExtVectorElementLValue(), clang::CodeGen::CodeGenModule::EmitNullConstant(), clang::CodeGen::CodeGenFunction::EmitNullInitialization(), emitNumThreadsForTargetDirective(), EmitObjectDelete(), emitPointerArithmetic(), clang::CodeGen::CodeGenFunction::EmitScalarRangeCheck(), clang::CodeGen::CodeGenFunction::EmitStartEHSpec(), clang::CodeGen::CodeGenFunction::EmitStoreThroughExtVectorComponentLValue(), clang::CodeGen::CGDebugInfo::EmitUsingDecl(), clang::CodeGen::CodeGenFunction::EmitVTablePtrCheckForCast(), EmitX86_64VAArgFromMemory(), clang::ento::ExprEngine::evalLoad(), EvaluateBinaryTypeTrait(), EvaluateBuiltinClassifyType(), EvaluateComplex(), EvaluateUnaryTypeTrait(), EvaluateVector(), evenFlexibleArraySize(), extractPBaseFlags(), clang::Sema::ExtractUnqualifiedFunctionType(), FieldHasTrivialDestructorBody(), clang::Sema::FindAllocationFunctions(), clang::Sema::FindCompositePointerType(), FindConversionForRefInit(), findMethodDecl(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), GeneralizeFunctionType(), clang::CodeGen::CodeGenFunction::GenerateVarArgsThunk(), GetAlignOfType(), clang::CXXNewExpr::getAllocatedType(), clang::TypedefNameDecl::getAnonDeclWithTypedefName(), getArrayIndexingBound(), getBadTypeidFn(), GetBaseType(), clang::QualType::getBaseTypeIdentifier(), clang::Sema::getCallingConvAttributedType(), clang::FunctionDecl::getCallResultType(), clang::CallExpr::getCallReturnType(), clang::ASTContext::getCanonicalNestedNameSpecifier(), getCanonicalTypeInternal(), clang::ASTContext::getCommentForDecl(), clang::CXXConversionDecl::getConversionType(), clang::ASTContext::getCorrespondingUnsignedType(), clang::ento::MemRegionManager::getCXXThisRegion(), clang::ASTContext::getDeclAlign(), clang::ento::CallEvent::getDeclaredResultType(), clang::getDeclUsageType(), clang::CXXDeleteExpr::getDestroyedType(), clang::CFGImplicitDtor::getDestructorDecl(), GetExprType(), getFloatingRank(), clang::ASTContext::getFloatTypeSemantics(), clang::Sema::getFullyPackExpandedSize(), clang::TypeName::getFullyQualifiedNestedNameSpecifier(), clang::getFunctionExtInfo(), clang::CodeCompleteConsumer::OverloadCandidate::getFunctionType(), clang::Decl::getFunctionType(), clang::CodeGen::CodeGenTypes::GetFunctionTypeForVTable(), GetGCAttrTypeForType(), getIncrementedVar(), clang::ASTContext::getInnerObjCOwnership(), clang::ObjCObjectType::getInterface(), GetIntrinsic(), clang::ASTContext::getIntWidth(), clang::ASTContext::getLegacyIntegralTypeEncoding(), getLocallyUnqualifiedSingleStepDesugaredType(), clang::ento::TypedValueRegion::getLocationType(), clang::ASTContext::getLValueReferenceType(), getMaxAtomicAccessSize(), getMostInformativeDerivedClassImpl(), clang::UnresolvedMemberExpr::getNamingClass(), clang::StandardConversionSequence::getNarrowingKind(), clang::CodeGen::CodeGenFunction::getNaturalTypeAlignment(), getNonMemoryType(), clang::QualType::getNonReferenceType(), clang::NSAPI::GetNSIntegralKind(), clang::NSAPI::getNSNumberFactoryMethodKind(), getNullabilityAnnotation(), clang::OverloadCandidate::getNumParams(), clang::FunctionDecl::getNumParams(), getObjCBridgeAttr(), clang::ASTContext::getObjCGCAttrKind(), clang::ASTContext::getObjCGCQualType(), clang::ASTContext::getObjCObjectType(), clang::TemplateArgument::getPackExpansionPattern(), clang::getParameterABISpelling(), clang::CodeGen::CGOpenCLRuntime::getPipeElemAlign(), clang::CodeGen::CGOpenCLRuntime::getPipeElemSize(), getPointeeCXXRecordDecl(), clang::ASTContext::getPreferredTypeAlign(), clang::ASTContext::getPromotedIntegerType(), getRangeForType(), clang::ObjCMessageExpr::getReceiverInterface(), getRecordArgABI(), getRecordType(), clang::FunctionDecl::getReturnType(), GetReturnType(), getReturnTypeForMethod(), clang::ASTContext::getRValueReferenceType(), clang::Sema::GetSignedVectorType(), getSizeOfArgType(), getThrowFn(), clang::ASTContext::getTypeAlignIfKnown(), getTypeExpansion(), clang::ASTContext::getTypeInfoDataSizeInChars(), clang::GetUnderlyingFunction(), clang::FunctionDecl::getUnusedResultAttr(), clang::Expr::getValueKindForType(), clang::AtomicExpr::getValueType(), clang::ento::MemRegionManager::getVarRegion(), clang::CodeGen::CodeGenTBAA::getVTablePtrAccessInfo(), GetX86_64ByValArgumentPair(), HandleBaseToDerivedCast(), HandleConstructorCall(), clang::Sema::HandleFunctionTypeMismatch(), handleObjCOwnershipTypeAttr(), HandleOpenCLAccessAttr(), hasBooleanRepresentation(), clang::RecordType::hasConstFields(), hasDefaultCXXMethodCC(), hasDefinition(), clang::hasImplicitExceptionSpec(), hasIsEqualMethod(), hasMangledSubstitutionQualifiers(), HasNonDllImportDtor(), clang::ASTContext::hasUniqueObjectRepresentations(), clang::CodeGen::CodeGenFunction::hasVolatileMember(), hasWeakMember(), clang::Sema::inferCUDATargetForImplicitSpecialMember(), clang::TemplateDeclInstantiator::InitFunctionInstantiation(), clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), is32Or64BitBasicType(), clang::CXXDynamicCastExpr::isAlwaysNull(), isAtLeastAsSpecializedAs(), clang::Sema::IsBlockPointerConversion(), isBooleanType(), isCanonicalExceptionSpecification(), IsCFError(), isCFStringType(), isCharSpecialization(), clang::ento::cocoa::isCocoaObjectRef(), clang::Sema::IsComplexPromotion(), clang::Expr::isConstantInitializer(), clang::CodeGen::CodeGenFunction::IsConstructorDelegationValid(), clang::CXXMethodDecl::isCopyAssignmentOperator(), clang::CXXConstructorDecl::isCopyOrMoveConstructor(), clang::QualType::isCXX11PODType(), isDispatchBlock(), isEmptyField(), isEmptyRecord(), clang::Sema::IsFloatingPointPromotion(), isForwardingReference(), clang::CodeGen::CodeGenTypes::isFuncParamTypeConvertible(), clang::comments::Sema::isFunctionOrBlockPointerVarLikeDecl(), clang::comments::Sema::isFunctionOrMethodVariadic(), clang::arcmt::trans::MigrationContext::isGCOwnedNonObjC(), isGeneralizedObjectRef(), clang::CodeGen::ABIInfo::isHomogeneousAggregate(), isIdiomaticBraceElisionEntity(), isInitializerOfDynamicClass(), clang::Sema::isInitListConstructor(), isIntegerLikeType(), clang::Sema::IsIntegralPromotion(), isKnownNonNilCollectionType(), isLiteralType(), IsLLVMStringRef(), clang::Sema::IsMemberPointerConversion(), IsNSError(), isNSStringType(), clang::BinaryOperator::isNullPointerArithmeticExtension(), clang::Expr::isNullPointerConstant(), isObjCIdOrObjectKindOfType(), clang::Sema::isObjCPointerConversion(), IsPartOfAST(), isPermittedNeonBaseType(), isPointerToRecordType(), isRecordEmpty(), isRecordWithSSEVectorType(), isSafeForCXXConstantCapture(), isSafeToConvert(), IsSameCharType(), isSameEntity(), isScopedEnumerationType(), isSimpleTemplateIdType(), isSingleElementStruct(), IsSmallVector(), isSSEVectorType(), IsStandardConversion(), isStandardLayoutType(), clang::Sema::isStdInitializerList(), IsStdString(), IsStdVector(), isStreamCharSpecialization(), clang::Sema::IsStringLiteralToNonConstPointerConversion(), clang::NSAPI::isSubclassOfNSClass(), isTemplateArgumentTemplateParameter(), clang::CXXRecordDecl::isTriviallyCopyable(), clang::QualType::isTriviallyCopyableType(), clang::QualType::isTrivialType(), IsUserDefinedConversion(), isValidBaseType(), isValidOrderingForOp(), isValidSwiftErrorResultType(), isValidSwiftIndirectResultType(), isVarDeclStrongDefinition(), IsVariableSizedType(), isVector(), isVoidPointerToNonConst(), IsVoidStarType(), clang::CodeGen::CodeGenTypes::isZeroInitializable(), loadToBegin(), LookThroughTransitiveAssignmentsAndCommaOperators(), LookupDirect(), LookupMemberExpr(), LookupMethodInReceiverType(), clang::Sema::MarkFunctionReferenced(), clang::analyze_format_string::ArgType::matchesType(), maybeAdjustInterfaceForSubscriptingCheck(), clang::Sema::MaybeBindToTemporary(), clang::ASTContext::mergeFunctionTypes(), clang::ASTContext::mergeObjCGCQualifiers(), clang::ASTContext::mergeTypes(), ObjCEnumerationCollection(), clang::ASTContext::ObjCObjectAdoptsQTypeProtocols(), clang::ASTContext::ObjCQualifiedClassTypesAreCompatible(), clang::ASTContext::ObjCQualifiedIdTypesAreCompatible(), OpenCLConvertScalarsToVectors(), clang::InitializationSequence::Perform(), clang::Sema::PerformContextualImplicitConversion(), clang::Sema::PerformMoveOrCopyInitialization(), PopulateKeysForFields(), print_elem(), printCXXConstructorDestructorName(), printExprAsWritten(), PrintFloatingLiteral(), printIntegral(), clang::APValue::printPretty(), PropertyMemoryAttribute(), clang::ASTContext::QIdProtocolsAdoptObjCObjectProtocols(), clang::TreeTransform< Derived >::RebuildCXXPseudoDestructorExpr(), clang::TreeTransform< Derived >::RebuildUnresolvedUsingType(), recordFixedType(), clang::Sema::RequireCompleteDeclContext(), clang::Sema::RequireCompleteType(), clang::CodeGen::CodeGenModule::ReturnTypeUsesFP2Ret(), clang::CodeGen::CodeGenModule::ReturnTypeUsesFPRet(), rewriteInputConstraintReferences(), rewriteToNumericBoxedExpression(), roundUpSizeToCharAlignment(), scanToNextArgument(), clang::Sema::SemaBuiltinShuffleVector(), clang::Sema::SemaConvertVectorExpr(), SemaOpenCLBuiltinEnqueueKernel(), clang::CXXRecordDecl::setBases(), clang::ASTContext::setCFConstantStringType(), ShouldDiagnoseAvailabilityOfDecl(), ShouldDiagnoseUnusedDecl(), clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue(), ShouldTryAgainWithRedefinitionType(), clang::Sema::SpecialMemberIsTrivial(), clang::CodeGen::CodeGenFunction::StartFunction(), clang::CodeGen::CodeGenFunction::StartThunk(), clang::QualType::stripObjCKindOfType(), clang::ObjCObjectType::stripObjCKindOfTypeAndQuals(), SymbolNameForMethod(), clang::TreeTransform< Derived >::TransformDependentTemplateSpecializationType(), clang::TreeTransform< Derived >::TransformExceptionSpec(), clang::TreeTransform< Derived >::TransformReferenceType(), clang::TreeTransform< Derived >::TransformTemplateSpecializationType(), clang::TransformTypeSpecType(), tryAtomicConversion(), TryClassUnification(), TryConstCast(), TryConstructorInitialization(), tryGCCVectorConvertAndSplat(), tryGetFunctionProtoType(), TryImplicitConversion(), TryListConversion(), TryLValueToRValueCast(), TryObjectArgumentInitialization(), TryReferenceInit(), TryReferenceInitialization(), TryReferenceListInitialization(), TryRefInitWithConversionFunction(), TryReinterpretCast(), TryStaticCast(), TryStaticMemberPointerUpcast(), TryStaticPointerDowncast(), TryStaticReferenceDowncast(), TryUserDefinedConversion(), TryValueInitialization(), TypeIsInnerPointer(), UnwrapDissimilarPointerTypes(), clang::ASTContext::UnwrapSimilarPointerTypes(), UseNSOptionsMacro(), clang::FunctionCallFilterCCC::ValidateCandidate(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::ExprEngine::VisitOffsetOfExpr(), clang::ento::SValExplainer::VisitSymbolicRegion(), and warnBracedScalarInit().
const TypedefType * Type::getAs | ( | ) | const |
This will check for a TypedefType by removing any existing sugar until it reaches a TypedefType or a non-sugared type.
const TemplateSpecializationType * Type::getAs | ( | ) | const |
This will check for a TemplateSpecializationType by removing any existing sugar until it reaches a TemplateSpecializationType or a non-sugared type.
const AttributedType * Type::getAs | ( | ) | const |
This will check for an AttributedType by removing any existing sugar until it reaches an AttributedType or a non-sugared type.
const T * clang::Type::getAsAdjusted | ( | ) | const |
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>.
|
inline |
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
Definition at line 6354 of file Type.h.
Referenced by appendType(), classifyTypeForARCConversion(), clang::CodeGen::CodeGenFunction::EmitOMPAggregateAssign(), EmitOMPAggregateInit(), EmitOMPAggregateReduction(), clang::ASTContext::getBaseElementType(), getBaseElementTypeUnsafe(), getCanonicalParamType(), clang::ASTContext::getConstantArrayElementCount(), getTypeString(), hasSizedVLAType(), isObjCLifetimeType(), clang::InitListExpr::isStringLiteralInit(), and clang::InitializedEntity::isVariableLengthArrayNew().
const ComplexType * Type::getAsComplexIntegerType | ( | ) | const |
Definition at line 449 of file Type.cpp.
Referenced by handleComplexIntConversion(), and isComplexIntegerType().
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.
Definition at line 1590 of file Type.cpp.
References getAsTagDecl().
Referenced by clang::ento::StoreManager::attemptDownCast(), clang::ASTContext::BlockRequiresCopying(), buildByrefHelpers(), clang::Sema::BuildCXXConstructExpr(), BuildNonArrayForRange(), canRecoverDotPseudoDestructorCallsOnPointerObjects(), clang::Sema::CheckBaseSpecifier(), CheckConstexprCtorInitializer(), clang::Sema::CheckDestructor(), clang::CheckEquivalentExceptionSpecImpl(), checkMoveAssignmentForRepeatedMove(), checkTrivialClassMembers(), checkTrivialSubobjectCall(), checkTupleLikeDecomposition(), CheckUnaryTypeTraitTypeCompleteness(), clang::Sema::CodeCompleteCall(), clang::Sema::CodeCompleteConstructor(), computeBlockInfo(), computeDestroyInfoForBlockCapture(), clang::TypeName::createNestedNameSpecifierForScopeOf(), DiagnoseReinterpretUpDownCast(), DiagnoseUninitializedReference(), diagnoseUnreadableFields(), clang::CodeGen::CodeGenFunction::emitAutoVarTypeCleanup(), emitCXXDestructor(), EmitDeclDestroy(), EmitDestroyingObjectDelete(), clang::CodeGen::CodeGenFunction::EmitLambdaBlockInvokeBody(), clang::CodeGen::CodeGenFunction::EmitParmDecl(), emitRTtypeidCall(), clang::ento::StoreManager::evalDerivedToBase(), EvaluateMemberPointer(), evaluateTypeTrait(), EvaluateUnaryTypeTrait(), clang::Sema::FindAllocationFunctions(), findDecomposableBaseClass(), clang::Sema::FindInstantiatedDecl(), forConstantArrayExpansion(), clang::ento::MemRegion::getAsOffset(), clang::NestedNameSpecifier::getAsRecordDecl(), getBadTypeidFn(), getContainedDynamicClass(), clang::CFGImplicitDtor::getDestructorDecl(), clang::CXXInstanceCall::getExtraInvalidatedValues(), clang::Sema::getFixItZeroInitializerForType(), clang::TypeName::getFullyQualifiedNestedNameSpecifier(), getMSPropertyAttr(), clang::UnresolvedMemberExpr::getNamingClass(), clang::CodeGen::CodeGenFunction::getNaturalTypeAlignment(), clang::CXXMemberCallExpr::getRecordDecl(), clang::BlockCall::getRuntimeDefinition(), clang::CXXInstanceCall::getRuntimeDefinition(), HandleBaseToDerivedCast(), HandleLValueBase(), HandleLValueBasePath(), hasNontrivialDestruction(), hasSizedVLAType(), InitializationHasSideEffects(), isAutoCastType(), isConsumableType(), clang::Sema::IsDerivedFrom(), isImplicitThis(), isInAllocaArgument(), isReadByLvalueToRvalueConversion(), clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), clang::Sema::isThisOutsideMemberFunctionBody(), isThrowCaught(), clang::CodeGen::CodeGenModule::isTypeConstant(), isTypeValid(), clang::Expr::isUnusedResultAWarning(), isValidBaseClass(), clang::CodeGen::CodeGenFunction::isVptrCheckRequired(), LeastDerivedClassWithSameLayout(), lookupStdTypeTraitMember(), mapConsumableAttrState(), clang::CodeGen::CodeGenModule::maybeSetTrivialComdat(), clang::consumed::ConsumedStateMap::operator!=(), PerformReturnAdjustment(), print_elem(), clang::ento::ExprEngine::ProcessDeleteDtor(), clang::CodeGen::CodeGenFunction::PushDestructorCleanup(), regionMatchesCXXRecordType(), ResolveConstructorOverload(), treatUnusedNewEscaped(), TryListInitialization(), usesMultipleInheritanceModel(), clang::tooling::RecursiveSymbolVisitor< T >::VisitTypeLoc(), and warnAboutRedundantParens().
const ObjCObjectPointerType * Type::getAsObjCInterfacePointerType | ( | ) | const |
Definition at line 1567 of file Type.cpp.
Referenced by CheckObjCBridgeCFCast(), CheckObjCBridgeNSCast(), clang::Sema::CodeCompleteMemberReferenceExpr(), and clang::Sema::SelectorsForTypoCorrection().
const ObjCObjectType * Type::getAsObjCInterfaceType | ( | ) | const |
Definition at line 1559 of file Type.cpp.
Referenced by acceptsObjCTypeParams().
const ObjCObjectPointerType * Type::getAsObjCQualifiedClassType | ( | ) | const |
const ObjCObjectPointerType * Type::getAsObjCQualifiedIdType | ( | ) | const |
Definition at line 1539 of file Type.cpp.
Referenced by clang::ASTContext::ObjCQualifiedIdTypesAreCompatible().
const ObjCObjectType * Type::getAsObjCQualifiedInterfaceType | ( | ) | const |
Definition at line 1525 of file Type.cpp.
Referenced by isObjCQualifiedInterfaceType().
|
inline |
Definition at line 6149 of file Type.h.
Referenced by clang::Sema::BuildBinOp(), and clang::Sema::CheckPlaceholderExpr().
const RecordType * Type::getAsStructureType | ( | ) | const |
Definition at line 472 of file Type.cpp.
References getUnqualifiedDesugaredType().
Referenced by appendType(), describeUninitializedArgumentInCall(), isCallback(), and clang::analyze_format_string::ArgType::matchesType().
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 1594 of file Type.cpp.
References clang::ArrayType::getElementType(), clang::DependentSizedExtVectorType::getElementType(), clang::VectorType::getElementType(), clang::ParenType::getInnerType(), clang::AttributedType::getModifiedType(), clang::ElaboratedType::getNamedType(), clang::AdjustedType::getOriginalType(), clang::PointerType::getPointeeType(), clang::BlockPointerType::getPointeeType(), clang::MemberPointerType::getPointeeType(), clang::ReferenceType::getPointeeTypeAsWritten(), clang::FunctionType::getReturnType(), clang::QualType::getTypePtr(), clang::FunctionProtoType::hasTrailingReturn(), and clang::QualType::isNull().
Referenced by emitDestructorsFunction(), emitProxyTaskFunction(), getAsCXXRecordDecl(), clang::FunctionDecl::getUnusedResultAttr(), and getUuidAttrOfType().
const RecordType * Type::getAsUnionType | ( | ) | const |
NOTE: getAs*ArrayType are methods on ASTContext.
Definition at line 491 of file Type.cpp.
References getUnqualifiedDesugaredType().
Referenced by appendType(), CheckNonNullExpr(), clang::Sema::CheckTransparentUnionArgumentConstraints(), clang::CodeGen::CodeGenFunction::EnterDtorCleanups(), IsTransparentUnionStandardConversion(), clang::Sema::isValidPointerAttrType(), clang::ASTContext::mergeTransparentUnionType(), and useFirstFieldIfTransparentUnion().
|
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 6263 of file Type.h.
References clang::ast_matchers::arrayType, getAsArrayTypeUnsafe(), and clang::ast_matchers::type.
Referenced by clang::Sema::BuildCXXConstructExpr(), buildMemcpyForAssignmentOp(), CheckUnaryTypeTraitTypeCompleteness(), DiagnoseUninitializedReference(), diagnoseUnreadableFields(), doesUsualArrayDeleteWantSize(), getContainedDynamicClass(), getPointeeOrArrayElementType(), clang::ASTContext::getPreferredTypeAlign(), getUuidAttrOfType(), HasNonDllImportDtor(), hasNontrivialDestruction(), hasSizedVLAType(), InitializationHasSideEffects(), clang::QualType::isCXX11PODType(), isLiteralType(), isReadByLvalueToRvalueConversion(), isSafeForCXXConstantCapture(), isStandardLayoutType(), clang::CodeGen::CodeGenModule::maybeSetTrivialComdat(), and print_elem().
|
inline |
Definition at line 2107 of file Type.h.
References dump(), and getAs().
Referenced by addAssociatedClassesAndNamespaces(), canHaveNullability(), checkOpenCLPipePacketType(), clang::TypePropertyCache< Private >::ensure(), clang::ASTContext::getASTObjCImplementationLayout(), clang::ASTContext::getCanonicalType(), getCurrentInstantiationOf(), clang::diff::SyntaxTree::Impl::getDeclValue(), clang::ASTContext::getObjCGCAttrKind(), GetThisType(), clang::LocInfoType::getType(), clang::LinkageComputer::getTypeLinkageAndVisibility(), isLinkageValid(), isLiteralType(), isObjCARCImplicitlyUnretainedType(), isSameQualifier(), clang::Parser::ParseUnqualifiedId(), and clang::ASTTypeWriter::VisitTagType().
|
inline |
Definition at line 215 of file CanonicalType.h.
References clang::CanQual< Type >::CreateUnsafe().
Referenced by adjustReturnValue(), clang::CodeGen::CodeGenTypes::arrangeCXXMethodType(), clang::CodeGen::CodeGenTypes::arrangeFunctionDeclaration(), clang::Sema::checkExceptionSpecification(), findDirectBaseWithType(), GetFormalType(), and GetReturnType().
|
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 1956 of file Type.h.
References clang::T.
Referenced by clang::Sema::ActOnObjCForCollectionStmt(), clang::Sema::DeduceTemplateArguments(), and clang::Sema::InstantiateFunctionDefinition().
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 1686 of file Type.cpp.
Referenced by clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::BuildDeclaratorGroup(), clang::ExprWithCleanups::Create(), clang::Sema::DeduceTemplateSpecializationFromInitializer(), GetDeclSpecTypeForDeclarator(), LookupDirect(), and clang::TreeTransform< Derived >::RebuildDependentNameType().
Linkage Type::getLinkage | ( | ) | const |
Determine the linkage of this type.
Definition at line 3491 of file Type.cpp.
References clang::TypePropertyCache< Private >::ensure(), and TypeBits.
Referenced by clang::CodeGen::CodeGenModule::CreateMetadataIdentifierForType(), clang::CodeGen::CodeGenModule::CreateMetadataIdentifierGeneralized(), getTypeInfoLinkage(), getTypeInfoVTable(), clang::LinkageComputer::getTypeLinkageAndVisibility(), getVisibilityOf(), clang::Sema::isExternalWithNoLinkageType(), and clang::ObjCTypeParamType::Profile().
LinkageInfo Type::getLinkageAndVisibility | ( | ) | const |
Determine the linkage and visibility of this type.
Definition at line 3593 of file Type.cpp.
References clang::LinkageComputer::getTypeLinkageAndVisibility().
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 262 of file Type.cpp.
References clang::Qualifiers::addConsistentQualifiers(), clang::Qualifiers::empty(), getAs(), clang::QualType::getSplitDesugaredType(), getTypeClass(), clang::QualType::IgnoreParens(), clang::SplitQualType::Quals, clang::QualType::split(), clang::QualifierCollector::strip(), clang::T, and clang::SplitQualType::Ty.
Referenced by getArrayElementTypeNoTypeQual(), isObjCInertUnsafeUnretainedType(), and isObjCNSObjectType().
Optional< NullabilityKind > Type::getNullability | ( | const ASTContext & | context | ) | 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 3597 of file Type.cpp.
References clang::QualType::getSingleStepDesugaredType(), clang::QualType::getTypePtr(), clang::None, and clang::ast_matchers::type.
Referenced by CheckNonNullExpr(), clang::Sema::checkNullabilityTypeSpecifier(), computeConditionalNullability(), clang::Sema::diagnoseNullableToNonnullConversion(), clang::CodeGen::CodeGenFunction::EmitNullabilityCheck(), clang::CodeGen::CodeGenFunction::EmitParmDecl(), clang::ASTContext::getArrayDecayedType(), clang::Sema::getMessageSendResultType(), clang::ASTContext::hasSameNullabilityTypeQualifier(), isNonNullType(), and clang::CodeGen::CodeGenFunction::StartFunction().
Qualifiers::ObjCLifetime Type::getObjCARCImplicitLifetime | ( | ) | const |
Return the implicit lifetime for this type, which must not be dependent.
Definition at line 3779 of file Type.cpp.
References isObjCARCImplicitlyUnretainedType(), clang::Qualifiers::OCL_ExplicitNone, and clang::Qualifiers::OCL_Strong.
Referenced by clang::Sema::inferObjCARCLifetime().
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.
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. |
Extract the class from the receiver object type.
Definition at line 1344 of file Type.cpp.
References castAs(), clang::ObjCObjectType::getInterface(), clang::ASTContext::getObjCObjectType(), clang::DeclContext::getParentASTContext(), clang::ObjCObjectType::getSuperClassType(), clang::ObjCObjectType::getTypeArgs(), clang::ObjCInterfaceDecl::getTypeParamList(), clang::QualType::isNull(), clang::ObjCObjectType::isUnspecialized(), clang::None, and clang::ASTContext::ObjCBuiltinIdTy.
Referenced by clang::QualType::substObjCMemberType().
const CXXRecordDecl * Type::getPointeeCXXRecordDecl | ( | ) | const |
If this is a pointer or reference to a RecordType, return the CXXRecordDecl that that 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 1575 of file Type.cpp.
References getAs(), and getPointeeType().
Referenced by adjustReturnValue(), DiagnoseReinterpretUpDownCast(), clang::ento::StoreManager::evalDerivedToBase(), isSetOnReadPtrType(), regionMatchesCXXRecordType(), and clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue().
|
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 6270 of file Type.h.
References getBaseElementTypeUnsafe(), getPointeeType(), clang::QualType::getTypePtr(), isAnyPointerType(), isArrayType(), and clang::ast_matchers::type.
Referenced by getArrayIndexingBound(), IsTailPaddedMemberArray(), and SemaOpenCLBuiltinEnqueueKernel().
QualType Type::getPointeeType | ( | ) | const |
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Definition at line 456 of file Type.cpp.
References getPointeeType(), and clang::ExtQualsTypeCommonBase::QualType.
Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::ActOnStartCXXMemberReference(), adjustCVQualifiersForCXXThisWithinLambda(), clang::ento::StoreManager::attemptDownCast(), clang::Sema::BuildAnonymousStructUnionMemberReference(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::BuildPseudoDestructorExpr(), clang::Sema::BuildQualifiedType(), clang::arcmt::trans::canApplyWeak(), captureThis(), clang::ento::StoreManager::castRegion(), castToBase(), checkArithmeticBinOpPointerOperands(), checkArithmeticIncompletePointerType(), checkArithmeticOpPointerOperand(), CheckArrow(), clang::Sema::CheckCompatibleReinterpretCast(), checkConditionalPointerCompatibility(), clang::Sema::CheckDistantExceptionSpec(), clang::Sema::CheckExceptionSpecSubset(), CheckFallThroughForBody(), CheckIndirectionOperand(), CheckKeyForObjCARCConversion(), CheckMapClauseExpressionBase(), clang::ento::mpi::MPIChecker::checkMissingWaits(), CheckObjCBridgeCFCast(), CheckObjCBridgeNSCast(), clang::Sema::CheckObjCConversion(), clang::Sema::CheckSpecifiedExceptionType(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), clang::Sema::CheckVirtualDtorCall(), ClassifyDiagnostic(), classifyPointerDeclarator(), classifyTypeForARCConversion(), clang::Sema::CodeCompleteMemberReferenceExpr(), CompareStandardConversionSequences(), computeCachedProperties(), clang::LinkageComputer::computeTypeLinkageInfo(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), decomposeTypeForEH(), DeduceTemplateArgumentsByTypeMatch(), clang::DEF_TRAVERSE_TYPE(), clang::Sema::DefineImplicitCopyAssignment(), describeUninitializedArgumentInCall(), diagnoseArithmeticOnFunctionPointer(), diagnoseArithmeticOnTwoFunctionPointers(), DiagnoseCastOfObjCSEL(), clang::Sema::DiagnoseSentinelCalls(), diagnoseStringPlusChar(), doRewriteToUTF8StringBoxedExpressionHelper(), EmitCheckedMixedSignMultiply(), emitCXXDestructor(), clang::CodeGen::CodeGenFunction::EmitLoadOfReference(), clang::CodeGen::CodeGenFunction::EmitLoadOfReferenceLValue(), clang::CodeGen::CodeGenFunction::EmitLValueForField(), emitNumThreadsForTargetDirective(), clang::Sema::ExtractUnqualifiedFunctionType(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), GeneralizeType(), clang::CodeGen::CodeGenFunction::GenerateObjCAtomicGetterCopyHelperFunction(), clang::CodeGen::CodeGenFunction::GenerateObjCAtomicSetterCopyHelperFunction(), GetAlignOfExpr(), GetAlignOfType(), clang::ento::MemRegion::getAsOffset(), clang::OMPArraySectionExpr::getBaseOriginalType(), GetBaseType(), clang::QualType::getBaseTypeIdentifier(), clang::CallExpr::getCallReturnType(), getCanonicalParamType(), getCoreType(), clang::ASTContext::getDeclAlign(), clang::getDeclUsageType(), getDeepPointeeType(), clang::TypeName::getFullyQualifiedType(), clang::getFunctionExtInfo(), clang::ASTContext::getInnerObjCOwnership(), clang::PointerLikeTypeLoc< ObjCObjectPointerTypeLoc, ObjCObjectPointerType >::getInnerType(), clang::DependentAddressSpaceTypeLoc::getInnerType(), clang::CodeGen::CodeGenFunction::getNaturalPointeeTypeAlignment(), clang::QualType::getNonLValueExprType(), clang::QualType::getNonReferenceType(), clang::OverloadCandidate::getNumParams(), getObjCBridgeAttr(), clang::ASTContext::getObjCGCQualType(), clang::getParameterABISpelling(), getPointeeCXXRecordDecl(), getPointeeOrArrayElementType(), getPointeeType(), clang::CXXMemberCallExpr::getRecordDecl(), getRecordType(), clang::CXXInstanceCall::getRuntimeDefinition(), getSizeOfArgType(), clang::ASTContext::getTargetNullPointerValue(), clang::GetUnderlyingFunction(), getUuidAttrOfType(), HandleBaseToDerivedCast(), clang::consumed::ConsumedStmtVisitor::handleCall(), HandleConstructorCall(), handleObjCOwnershipTypeAttr(), InitCatchParam(), clang::CXXDynamicCastExpr::isAlwaysNull(), clang::Sema::IsBlockPointerConversion(), isCallback(), clang::CXXMethodDecl::isCopyAssignmentOperator(), clang::comments::Sema::isFunctionOrMethodVariadic(), isFunctionPointerType(), clang::arcmt::trans::MigrationContext::isGCOwnedNonObjC(), isGeneralizedObjectRef(), clang::Sema::isInitListConstructor(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::Expr::isNullPointerConstant(), isPointerToConst(), isRecordEmpty(), clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), clang::Sema::IsStringLiteralToNonConstPointerConversion(), isThrowCaught(), IsTypeModifiable(), isValidOrderingForOp(), isValidSwiftContextType(), isValidSwiftErrorResultType(), isValidSwiftIndirectResultType(), isVoidPointerToNonConst(), loadToBegin(), LookupMemberExpr(), clang::analyze_format_string::ArgType::matchesType(), clang::Sema::MaybeBindToTemporary(), PerformReturnAdjustment(), print_elem(), clang::APValue::printPretty(), roundUpSizeToCharAlignment(), scanToNextArgument(), SemaOpenCLBuiltinEnqueueKernel(), clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue(), clang::CodeGen::CodeGenFunction::StartFunction(), clang::TransformTypeSpecType(), treatUnusedNewEscaped(), tryEmitFMulAdd(), tryGetFunctionProtoType(), TryObjectArgumentInitialization(), TryStaticCast(), UnwrapDissimilarPointerTypes(), clang::ASTContext::UnwrapSimilarPointerTypes(), clang::FunctionCallFilterCCC::ValidateCandidate(), clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().
Type::ScalarTypeKind Type::getScalarTypeKind | ( | ) | const |
Given that this is a scalar type, classify it.
Definition at line 1923 of file Type.cpp.
References clang::QualType::getTypePtr(), isScalarType(), STK_BlockPointer, STK_Bool, STK_CPointer, STK_Floating, STK_FloatingComplex, STK_Integral, STK_IntegralComplex, STK_MemberPointer, and STK_ObjCObjectPointer.
Referenced by matchTypes(), and clang::Sema::ScalarTypeToBooleanCastKind().
|
inline |
Definition at line 1613 of file Type.h.
Referenced by addAssociatedClassesAndNamespaces(), clang::TypoCorrectionConsumer::addNamespaces(), AppendTypeQualList(), canHaveNullability(), CanUseSingleInheritance(), clang::LocInfoType::classof(), clang::BuiltinType::classof(), clang::ComplexType::classof(), clang::ParenType::classof(), clang::PointerType::classof(), clang::AdjustedType::classof(), clang::DecayedType::classof(), clang::BlockPointerType::classof(), clang::ReferenceType::classof(), clang::LValueReferenceType::classof(), clang::RValueReferenceType::classof(), clang::MemberPointerType::classof(), clang::ArrayType::classof(), clang::ConstantArrayType::classof(), clang::IncompleteArrayType::classof(), clang::VariableArrayType::classof(), clang::DependentSizedArrayType::classof(), clang::DependentAddressSpaceType::classof(), clang::DependentSizedExtVectorType::classof(), clang::VectorType::classof(), clang::ExtVectorType::classof(), clang::FunctionType::classof(), clang::FunctionNoProtoType::classof(), clang::FunctionProtoType::classof(), clang::UnresolvedUsingType::classof(), clang::TypedefType::classof(), clang::TypeOfExprType::classof(), clang::TypeOfType::classof(), clang::DecltypeType::classof(), clang::UnaryTransformType::classof(), clang::TagType::classof(), clang::RecordType::classof(), clang::EnumType::classof(), clang::AttributedType::classof(), clang::TemplateTypeParmType::classof(), clang::SubstTemplateTypeParmType::classof(), clang::SubstTemplateTypeParmPackType::classof(), clang::DeducedType::classof(), clang::AutoType::classof(), clang::DeducedTemplateSpecializationType::classof(), clang::TemplateSpecializationType::classof(), clang::InjectedClassNameType::classof(), clang::ElaboratedType::classof(), clang::DependentNameType::classof(), clang::DependentTemplateSpecializationType::classof(), clang::PackExpansionType::classof(), clang::ObjCTypeParamType::classof(), clang::ObjCObjectType::classof(), clang::ObjCInterfaceType::classof(), clang::ObjCObjectPointerType::classof(), clang::AtomicType::classof(), clang::PipeType::classof(), clang::CodeGen::CGDebugInfo::completeUnusedClass(), computeCachedProperties(), clang::LinkageComputer::computeTypeLinkageInfo(), clang::CodeGen::CodeGenTypes::ConvertType(), clang::Sema::CreateParsedType(), DeduceTemplateArgumentsByTypeMatch(), EvaluateBuiltinClassifyType(), getAsSugar(), clang::QualType::getBaseTypeIdentifier(), clang::CodeGen::CodeGenFunction::getEvaluationKind(), clang::ast_type_traits::ASTNodeKind::getFromNode(), getLocallyUnqualifiedSingleStepDesugaredType(), clang::TypeLoc::getTypeLocClass(), clang::UnqualTypeLoc::getTypeLocClass(), getUnqualifiedDesugaredType(), clang::ASTContext::getVariableArrayDecayedType(), clang::QualType::isCXX98PODType(), isLayoutCompatible(), isObjCReceiverType(), IsPossiblyOpaquelyQualifiedType(), isSpecifierType(), MarkUsedTemplateParameters(), clang::ASTContext::mergeTypes(), clang::ASTContext::PrintStats(), clang::RecursiveASTVisitor< CallGraph >::TraverseType(), typeIsPostfix(), UnwrapTypeForDebugInfo(), clang::TypeVisitor< ASTNodeImporter, QualType >::Visit(), and clang::ASTTypeWriter::Visit().
const char * Type::getTypeClassName | ( | ) | const |
Definition at line 2570 of file Type.cpp.
References TypeBits.
Referenced by clang::ASTNodeImporter::VisitType().
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 379 of file Type.cpp.
References getTypeClass().
Referenced by getArrayElementTypeNoTypeQual(), getAsStructureType(), getAsUnionType(), clang::ASTContext::getTargetNullPointerValue(), clang::ASTContext::getUnqualifiedArrayType(), and isThrowCaught().
|
inline |
Determine the visibility of this type.
Definition at line 2053 of file Type.h.
Referenced by extractPBaseFlags().
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 1691 of file Type.cpp.
Referenced by hasDeducedAuto().
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 1886 of file Type.cpp.
References isFloatingType().
Referenced by clang::Sema::CheckCompareOperands(), and clang::Sema::CheckVectorLogicalOperands().
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 1696 of file Type.cpp.
References isIntegerType().
Referenced by clang::Sema::CheckShiftOperands(), and clang::Sema::SemaBuiltinShuffleVector().
|
inline |
|
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 6254 of file Type.h.
Referenced by Evaluate(), EvaluatePointer(), ignorePointerCastsAndParens(), is32Or64BitBasicType(), isValidSwiftContextType(), and rewriteInputConstraintReferences().
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 1830 of file Type.cpp.
References isSignedIntegerOrEnumerationType().
Referenced by AnalyzeComparison(), canConvertIntToOtherIntTy(), canConvertIntTyToFloatTy(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), emitEmptyOrdered(), clang::ASTContext::getCorrespondingUnsignedType(), GetIntrinsic(), handleIntegerConversion(), and clang::analyze_format_string::ArgType::matchesType().
bool Type::hasSizedVLAType | ( | ) | const |
Whether this type involves a variable-length array type with a definite size.
Definition at line 3867 of file Type.cpp.
References getAsArrayTypeUnsafe(), getAsCXXRecordDecl(), getBaseElementTypeUnsafe(), clang::QualType::getObjCLifetime(), clang::CXXRecordDecl::hasDefinition(), clang::CXXRecordDecl::hasTrivialDestructor(), isVariablyModifiedType(), clang::Qualifiers::OCL_Autoreleasing, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, and clang::Qualifiers::OCL_Weak.
Referenced by clang::QualType::isCanonicalAsParam().
bool Type::hasUnnamedOrLocalType | ( | ) | const |
Whether this type is or contains a local or unnamed type.
Definition at line 3496 of file Type.cpp.
References clang::TypePropertyCache< Private >::ensure(), and TypeBits.
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 1870 of file Type.cpp.
References isUnsignedIntegerOrEnumerationType().
Referenced by AnalyzeComparison(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), and DiagnoseBadShiftValues().
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 1962 of file Type.cpp.
Referenced by EvaluateUnaryTypeTrait(), TryListConversion(), TryListInitialization(), and warnBracedScalarInit().
bool Type::isAlignValT | ( | ) | const |
Definition at line 2363 of file Type.cpp.
Referenced by getUsualDeleteParams(), and clang::FunctionDecl::isReplaceableGlobalAllocationFunction().
bool Type::isAnyCharacterType | ( | ) | const |
Determine whether this type is any of the built-in character types.
Definition at line 1780 of file Type.cpp.
References clang::BuiltinType::getKind().
Referenced by diagnoseStringPlusChar(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), and clang::UserDefinedLiteral::getLiteralOperatorKind().
|
inline |
Definition at line 6023 of file Type.h.
Referenced by addBaseAndFieldSizes(), addOrSubLValueAsInteger(), clang::CodeGen::CodeGenFunction::EmitAggregateCopy(), clang::CodeGen::CodeGenFunction::EmitComplexToScalarConversion(), emitReplacement(), EmitX86_64VAArgFromMemory(), Evaluate(), EvaluateBuiltinConstantP(), EvaluateComplex(), EvaluateUnaryTypeTrait(), getAbsoluteValueKind(), GetIntrinsic(), isLiteralType(), IsStandardConversion(), clang::ento::SValBuilder::makeZeroVal(), rewriteInputConstraintReferences(), TryListInitialization(), clang::ento::ExprEngine::VisitInitListExpr(), and warnBracedScalarInit().
|
inline |
Definition at line 5946 of file Type.h.
Referenced by clang::Sema::ActOnOpenMPCopyprivateClause(), clang::Sema::ActOnOpenMPPrivateClause(), AreTypesCompatible(), AuditedType(), clang::Sema::BuildQualifiedType(), CastsAwayConstness(), clang::Sema::CheckAdditionOperands(), checkArithmeticBinOpPointerOperands(), checkArithmeticIncompletePointerType(), checkArithmeticOpPointerOperand(), checkBuiltinArgument(), checkConditionalNullPointer(), CheckMapClauseExpressionBase(), CheckMapConflicts(), clang::Sema::CheckPointerConversion(), computeConditionalNullability(), diagnoseArithmeticOnFunctionPointer(), diagnoseArithmeticOnTwoFunctionPointers(), DiagnoseBadFunctionCast(), DiagnoseCastQual(), DiagnoseNullConversion(), diagnosePointerIncompatibility(), diagnoseStringPlusChar(), EvalAddr(), clang::Sema::FindCompositePointerType(), getNonNullAttr(), clang::ASTContext::getObjCGCAttrKind(), clang::ASTContext::getObjCGCQualType(), getPointeeOrArrayElementType(), getReceiverNullability(), clang::CXXMemberCallExpr::getRecordDecl(), isCallback(), clang::ento::Loc::isLocType(), isPointerToConst(), clang::CodeGen::CodeGenTypes::isPointerZeroInitializable(), isRecordEmpty(), IsStandardConversion(), TryReinterpretCast(), TypeIsInnerPointer(), and clang::FunctionCallFilterCCC::ValidateCandidate().
bool Type::isArithmeticType | ( | ) | const |
Definition at line 1908 of file Type.cpp.
Referenced by clang::Sema::CheckAdditionOperands(), clang::Sema::CheckConditionalOperands(), clang::Sema::CheckMultiplyDivideOperands(), clang::Sema::CheckSubtractionOperands(), clang::Sema::CXXCheckConditionalOperands(), DiagnoseBadFunctionCast(), clang::Sema::DiagnosePropertyAccessorMismatch(), EvaluateUnaryTypeTrait(), clang::ento::MemRegionManager::getVarRegion(), IsStandardConversion(), IsVectorConversion(), and tryGCCVectorConvertAndSplat().
|
inline |
Definition at line 5991 of file Type.h.
Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::ActOnOpenMPAlignedClause(), clang::Sema::ActOnOpenMPIsDevicePtrClause(), clang::CodeGen::swiftcall::SwiftAggLowering::addTypedData(), AdjustFunctionParmAndArgTypesForDeduction(), clang::Sema::BuildAtomicType(), clang::Sema::BuildCompoundLiteralExpr(), clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::BuildExpressionFromDeclTemplateArgument(), buildSingleCopyAssign(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckConditionVariable(), clang::Sema::CheckConversionDeclarator(), clang::Sema::CheckFunctionReturnType(), CheckMapClauseExpressionBase(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckSpecifiedExceptionType(), ClassifyTemporary(), clang::CXXBindTemporaryExpr::Create(), clang::Sema::CreateBuiltinArraySubscriptExpr(), createReferenceTemporary(), doRewriteToUTF8StringBoxedExpressionHelper(), clang::CodeGen::CodeGenFunction::EmitAggregateCopy(), clang::CodeGen::CodeGenFunction::emitArrayDestroy(), clang::CodeGen::CodeGenFunction::EmitAutoVarAlloca(), clang::CodeGen::CodeGenFunction::emitAutoVarTypeCleanup(), emitOMPArraySectionBase(), clang::CodeGen::CodeGenFunction::EmitOMPCopy(), clang::CodeGen::CodeGenFunction::EmitOMPFirstprivateClause(), emitPrivatesInit(), clang::CodeGen::emitSingleReductionCombiner(), Evaluate(), EvaluateArray(), EvaluateArrayTypeTrait(), EvaluateBinaryTypeTrait(), EvaluateInPlace(), EvaluateUnaryTypeTrait(), FastEvaluateAsRValue(), clang::ASTContext::getAdjustedParameterType(), clang::QualType::getBaseTypeIdentifier(), clang::ASTContext::GetBuiltinType(), getCoreType(), clang::ASTContext::getDecayedType(), clang::ASTContext::getExceptionObjectType(), GetGCAttrTypeForType(), clang::ASTContext::getInnerObjCOwnership(), clang::ASTContext::getObjCEncodingTypeSize(), getPointeeOrArrayElementType(), getUuidAttrOfType(), clang::ASTContext::hasUniqueObjectRepresentations(), clang::ento::NonLoc::isCompoundType(), clang::Expr::isConstantInitializer(), clang::arcmt::trans::MigrationContext::isGCOwnedNonObjC(), isIdiomaticBraceElisionEntity(), isRecordEmpty(), IsStandardConversion(), isValidBaseType(), isZeroSized(), clang::ento::SValBuilder::makeZeroVal(), performLifetimeExtension(), clang::ento::ExprEngine::ProcessInitializer(), processTypeAttrs(), scanToNextArgument(), TryListConversion(), TryReferenceInit(), TryReferenceInitializationCore(), clang::ento::ExprEngine::VisitInitListExpr(), and warnBracedScalarInit().
|
inline |
Definition at line 6052 of file Type.h.
Referenced by clang::Sema::BuildAtomicType(), clang::Sema::BuildQualifiedType(), clang::Sema::CheckSingleAssignmentConstraints(), clang::Sema::CreateBuiltinBinOp(), diagnoseRedundantReturnTypeQualifiers(), clang::CodeGen::CodeGenFunction::EmitAtomicInit(), clang::CodeGen::CodeGenFunction::EmitAtomicLoad(), clang::CodeGen::CodeGenFunction::EmitAtomicStore(), clang::CodeGen::CodeGenFunction::EmitExprAsInit(), clang::CodeGen::CodeGenFunction::EmitLoadOfScalar(), clang::CodeGen::CodeGenFunction::EmitStoreOfScalar(), Evaluate(), EvaluateAtomic(), EvaluateInPlace(), isBlockVarRef(), isValidOrderingForOp(), clang::InitializationSequence::Perform(), and warnBracedScalarInit().
bool Type::isBlockCompatibleObjCPointerType | ( | ASTContext & | ctx | ) | const |
Definition at line 3746 of file Type.cpp.
References clang::ObjCObjectPointerType::getInterfaceDecl(), clang::ASTContext::getNSCopyingName(), clang::ASTContext::getNSObjectName(), clang::ObjCObjectPointerType::isObjCIdType(), clang::ObjCObjectPointerType::isObjCQualifiedIdType(), and clang::ObjCObjectPointerType::quals().
|
inline |
Definition at line 5950 of file Type.h.
Referenced by AuditedType(), clang::ASTContext::BlockRequiresCopying(), buildByrefHelpers(), clang::Sema::BuildObjCBridgedCast(), CanThrow(), clang::ento::StoreManager::castRegion(), CastsAwayConstness(), checkBuiltinArgument(), clang::Sema::CheckCompareOperands(), clang::Sema::CheckCompleteVariableDeclaration(), checkConditionalBlockPointerCompatibility(), checkConditionalNullPointer(), clang::Sema::CheckConditionalOperands(), CheckObjCCollectionLiteralElement(), CheckReturnStackAddr(), clang::Sema::CheckSubscriptingKind(), compareConversionFunctions(), computeCopyInfoForBlockCapture(), computeDestroyInfoForBlockCapture(), clang::Sema::CreateBuiltinBinOp(), DiagnoseBadFunctionCast(), DiagnoseNullConversion(), diagnoseObjCARCConversion(), DiagnoseUninitializedUse(), clang::CodeGen::CodeGenFunction::EmitARCRetain(), clang::CodeGen::CodeGenFunction::EmitARCRetainAutorelease(), clang::CodeGen::CodeGenFunction::EmitARCStoreStrong(), EvalAddr(), clang::ento::SValBuilder::evalCast(), FormatFunctionParameter(), clang::ASTContext::getByrefLifetime(), clang::Decl::getFunctionType(), GetGCAttrTypeForType(), getNonNullAttr(), clang::ASTContext::getObjCGCAttrKind(), clang::CallEventManager::getSimpleCall(), clang::Sema::getVariadicCallType(), handleObjCGCTypeAttr(), is32Or64BitBasicType(), isBlockPointer(), isCallback(), clang::comments::Sema::isFunctionOrBlockPointerVarLikeDecl(), clang::comments::Sema::isFunctionOrMethodVariadic(), clang::ento::Loc::isLocType(), isObjCARCBridgableType(), isObjCRetainableType(), clang::CodeGen::CodeGenTypes::isPointerZeroInitializable(), IsStandardConversion(), clang::analyze_format_string::ArgType::matchesType(), clang::ASTContext::mergeTypes(), PropertyMemoryAttribute(), rewriteInputConstraintReferences(), rewriteToObjCProperty(), shouldEmitSeparateBlockRetain(), SuggestInitializationFixit(), TryReinterpretCast(), TryStaticCast(), and TypeIsInnerPointer().
|
inline |
Definition at line 6232 of file Type.h.
Referenced by AnalyzeBitFieldAssignment(), clang::Sema::BuildExtVectorType(), CheckConvertedConstantConversions(), checkIntToPointerCast(), CheckTautologicalComparison(), create_OSAtomicCompareAndSwap(), DiagnoseBadFunctionCast(), clang::ento::SValBuilder::evalCast(), getIntegerWidthAndSignedness(), clang::ASTContext::getIntWidth(), HandleVectorSizeAttr(), hasBooleanRepresentation(), isBooleanType(), clang::Sema::IsIntegralPromotion(), isIntOrBool(), IsStandardConversion(), clang::Sema::prepareVectorSplat(), printIntegral(), clang::APValue::printPretty(), rewriteToNumericBoxedExpression(), clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue(), TryReinterpretCast(), TryStaticCast(), and clang::ento::ConditionBRVisitor::VisitConditionVariable().
|
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 6011 of file Type.h.
Referenced by EmitX86_64VAArgFromMemory(), clang::ASTContext::getExtVectorType(), clang::ASTContext::getVectorType(), HandleVectorSizeAttr(), isTypeSubstitutable(), mangleAArch64VectorBase(), and clang::ento::ExprEngine::VisitOffsetOfExpr().
|
inline |
Determines if this type would be canonical if it had no further qualification.
Definition at line 1639 of file Type.h.
Referenced by areCompatVectorTypes(), clang::TypePropertyCache< Private >::ensure(), clang::ASTContext::getASTObjCImplementationLayout(), clang::ASTContext::getFloatingTypeOrder(), clang::TemplateTypeParmType::getIdentifier(), clang::ASTContext::getMemberPointerType(), clang::ASTContext::getSubstTemplateTypeParmPackType(), clang::LinkageComputer::getTypeLinkageAndVisibility(), clang::QualType::isCanonical(), clang::FunctionProtoType::Profile(), and clang::ASTTypeWriter::VisitTagType().
bool Type::isCARCBridgableType | ( | ) | const |
Determine whether the given type T is a "bridgeable" C type.
Definition at line 3858 of file Type.cpp.
References clang::PointerType::getPointeeType(), isRecordType(), and isVoidType().
Referenced by clang::Sema::BuildObjCBridgedCast().
bool Type::isCharType | ( | ) | const |
Definition at line 1750 of file Type.cpp.
Referenced by clang::analyze_printf::PrintfSpecifier::fixType(), clang::BinaryOperator::isNullPointerArithmeticExtension(), isSameWidthConstantConversion(), and printIntegral().
bool Type::isClassType | ( | ) | const |
Definition at line 397 of file Type.cpp.
Referenced by EvaluateUnaryTypeTrait().
|
inline |
Definition at line 6104 of file Type.h.
Referenced by SemaOpenCLBuiltinEnqueueKernel().
bool Type::isComplexIntegerType | ( | ) | const |
Definition at line 444 of file Type.cpp.
References getAsComplexIntegerType().
Referenced by DiagnoseBadFunctionCast().
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 438 of file Type.cpp.
Referenced by DiagnoseBadFunctionCast(), EvaluateComplex(), clang::ASTContext::getFloatingTypeOfSizeWithinDomain(), and clang::ento::NonLoc::isCompoundType().
|
inline |
Tests whether the type is categorized as a compound type.
Definition at line 5916 of file Type.h.
References isRecordType().
Referenced by EvaluateUnaryTypeTrait().
|
inline |
Definition at line 5995 of file Type.h.
Referenced by hasCompatibleArrayTypes().
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 1976 of file Type.cpp.
References isDependentType(), and isIncompleteType().
Referenced by clang::CodeGen::CodeGenModule::ConstructAttributeList(), clang::CodeGen::CodeGenFunction::EmitAutoVarAlloca(), clang::ASTContext::getConstantArrayType(), clang::CodeGen::CodeGenModule::getOrCreateStaticVarDecl(), and HandleSizeof().
|
inline |
|
inline |
|
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 1858 of file Type.h.
Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::ActOnDependentMemberExpr(), clang::Sema::ActOnFinishCXXInClassMemberInitializer(), clang::Sema::ActOnInitializerError(), clang::Sema::ActOnObjCAtSynchronizedOperand(), clang::Sema::ActOnPseudoDestructorExpr(), clang::Sema::ActOnStartCXXMemberReference(), clang::Sema::ActOnUninitializedDecl(), clang::Sema::AddInitializerToDecl(), AddRecordMembersCompletionResults(), clang::TemplateSpecializationType::anyDependentTemplateArguments(), clang::Sema::BuildArrayTypeTrait(), clang::Sema::BuildAtomicType(), clang::Sema::BuildBaseInitializer(), clang::Sema::BuildBuiltinOffsetOf(), clang::Sema::BuildClassMessage(), clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::BuildCXXUuidof(), buildDeclareReductionRef(), clang::Sema::BuildExtVectorType(), clang::Sema::buildLambdaScope(), clang::Sema::BuildMemberInitializer(), clang::Sema::BuildMemberPointerType(), clang::Sema::BuildMemberReferenceExpr(), clang::Sema::BuildObjCAtThrowStmt(), clang::Sema::BuildObjCBridgedCast(), clang::Sema::BuildObjCEncodeExpression(), clang::Sema::BuildObjCExceptionDecl(), clang::Sema::BuildPseudoDestructorExpr(), clang::Sema::BuildQualifiedType(), clang::Sema::BuildUnaryTransformType(), canRecoverDotPseudoDestructorCallsOnPointerObjects(), clang::Sema::CheckAllocatedType(), checkArithmeticIncompletePointerType(), clang::Sema::CheckBaseSpecifier(), clang::Sema::CheckCastAlign(), clang::Sema::CheckCompleteDecompositionDeclaration(), clang::Sema::CheckConversionDeclarator(), clang::Sema::CheckEnumRedeclaration(), clang::Sema::CheckEnumUnderlyingType(), CheckImplicitConversion(), clang::Sema::CheckNontrivialField(), clang::Sema::CheckNonTypeTemplateParameterType(), CheckOperatorNewDeleteTypes(), clang::Sema::CheckOverloadedOperatorDeclaration(), clang::Sema::CheckOverrideControl(), clang::Sema::CheckQualifiedMemberReference(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckUnaryExprOrTypeTraitOperand(), classifyPointerDeclarator(), clang::Sema::computeDeclContext(), computeDeclRefDependence(), clang::CoroutineSuspendExpr::CoroutineSuspendExpr(), clang::ExprWithCleanups::Create(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::OffsetOfExpr::CreateEmpty(), clang::Sema::CreateUnaryExprOrTypeTraitExpr(), clang::CXXInheritedCtorInitExpr::CXXInheritedCtorInitExpr(), clang::Sema::DeduceAutoType(), clang::Sema::deduceClosureReturnType(), clang::DeducedType::DeducedType(), DeduceFromInitializerList(), DeduceTemplateArgumentsByTypeMatch(), clang::DependentCoawaitExpr::DependentCoawaitExpr(), clang::Sema::DiagnoseSizeOfParametersAndReturnValue(), clang::Sema::DiagnoseUnusedNestedTypedefs(), EvaluateArrayTypeTrait(), EvaluateBinaryTypeTrait(), EvaluateUnaryTypeTrait(), clang::Sema::FillInlineAsmIdentifierInfo(), findTemplateParameter(), FormatFunctionParameter(), clang::ASTContext::getCanonicalTemplateSpecializationType(), clang::LambdaCapture::getCaptureKind(), clang::ASTContext::getConstantArrayType(), clang::ento::CallEvent::getDeclaredResultType(), clang::CXXDeleteExpr::getDestroyedType(), clang::ASTContext::getExtVectorType(), clang::FunctionType::getNameForCallConv(), clang::ObjCPropertyRefExpr::getReceiverType(), clang::ASTContext::getUnaryTransformType(), getVisibilityOf(), handleObjCOwnershipTypeAttr(), HandleSizeof(), hasDeducibleTemplateParameters(), hasDependentAlignment(), hasOnlyNonStaticMemberFunctions(), clang::Sema::isAcceptableNestedNameSpecifier(), isConstantSizeType(), clang::Sema::isCopyElisionCandidate(), clang::QualType::isCXX11PODType(), clang::NestedNameSpecifier::isDependent(), clang::TemplateArgument::isDependent(), clang::DeclarationName::isDependentName(), IsImplicitBoolFloatConversion(), isLiteralType(), isObjCInertUnsafeUnretainedType(), isObjCReceiverType(), isPromotableIntegerType(), isStandardLayoutType(), clang::PackExpansionType::isSugared(), clang::QualType::isTriviallyCopyableType(), clang::QualType::isTrivialType(), isTypeSubstitutable(), isValidSubjectOfNSReturnsRetainedAttribute(), isValidSwiftContextType(), isValidSwiftErrorResultType(), isValidSwiftIndirectResultType(), LookupDirect(), clang::Sema::LookupInlineAsmIdentifier(), LookupMemberExpr(), MarkUsedTemplateParameters(), MatchTemplateParameterKind(), clang::InitializationSequence::Perform(), processTypeAttrs(), clang::TreeTransform< Derived >::RebuildInitList(), clang::TreeTransform< Derived >::RebuildQualifiedType(), clang::Sema::RequireLiteralType(), clang::Sema::SemaConvertVectorExpr(), clang::CXXRecordDecl::setBases(), clang::Sema::SubstAutoType(), clang::Sema::SubstAutoTypeSourceInfo(), SubstDefaultTemplateArgument(), clang::TreeTransform< Derived >::TransformNestedNameSpecifierLoc(), TryReinterpretCast(), clang::TypoExpr::TypoExpr(), VariableCanNeverBeAConstantExpression(), clang::Sema::VerifyBitField(), clang::ASTTypeWriter::VisitTagType(), and warnAboutRedundantParens().
bool Type::isElaboratedTypeSpecifier | ( | ) | const |
Determine wither this type is a C++ elaborated-type-specifier.
Definition at line 2555 of file Type.cpp.
References clang::TypeWithKeyword::KeywordIsTagTypeKind().
Referenced by clang::Sema::ActOnFriendTypeDecl(), and clang::Sema::CheckFriendTypeDecl().
|
inline |
Definition at line 6019 of file Type.h.
Referenced by AnalyzeBitFieldAssignment(), clang::Sema::BuildUnaryTransformType(), checkIntToPointerCast(), clang::Sema::CheckOverloadedOperatorDeclaration(), CheckTautologicalComparison(), checkVAStartIsInVariadicFunction(), clang::Sema::CodeCompleteCase(), DiagnoseBadFunctionCast(), EvaluateUnaryTypeTrait(), clang::QualType::getBaseTypeIdentifier(), HasEnumType(), is32Or64BitBasicType(), clang::Sema::IsIntegralPromotion(), clang::Expr::isNullPointerConstant(), clang::Sema::PerformOpenMPImplicitIntegerConversion(), rewriteInputConstraintReferences(), clang::TreeTransform< Derived >::TransformNestedNameSpecifierLoc(), and TryStaticCast().
|
inline |
Definition at line 6100 of file Type.h.
Referenced by DiagnoseBadFunctionCast(), IsStandardConversion(), clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue(), and TryOCLZeroEventInitialization().
|
inline |
Definition at line 6031 of file Type.h.
Referenced by clang::Sema::areLaxCompatibleVectorTypes(), clang::Sema::CheckExtVectorCast(), checkFoundationAPI(), DiagnoseBadFunctionCast(), EvaluateUnaryTypeTrait(), IsVectorConversion(), LookupMemberExpr(), clang::Sema::prepareVectorSplat(), and warnBracedScalarInit().
bool Type::isFloatingType | ( | ) | const |
Definition at line 1877 of file Type.cpp.
Referenced by checkCondition(), DiagnoseBadFunctionCast(), clang::CodeGen::CodeGenFunction::EmitCheckTypeDescriptor(), EvaluateBuiltinConstantP(), EvaluateUnaryTypeTrait(), findCompleteObject(), clang::UserDefinedLiteral::getLiteralOperatorKind(), hasFloatingRepresentation(), clang::Sema::prepareVectorSplat(), rewriteToNumberLiteral(), and warnBracedScalarInit().
|
inline |
|
inline |
Definition at line 5966 of file Type.h.
References getPointeeType(), isFunctionType(), and clang::T.
Referenced by BuildUniqueMethodName(), CanThrow(), DiagnoseCallingConvCast(), clang::ento::SValBuilder::evalCast(), clang::Decl::getFunctionType(), HandleConstructorCall(), isCallback(), clang::comments::Sema::isFunctionOrBlockPointerVarLikeDecl(), clang::comments::Sema::isFunctionOrMethodVariadic(), clang::comments::Sema::isFunctionPointerVarDecl(), ResolveOverloadForDeduction(), rewriteToObjCProperty(), TryConstCast(), TryReinterpretCast(), and TypeIsInnerPointer().
|
inline |
Definition at line 1743 of file Type.h.
References isRecordType().
Referenced by clang::MemberPointerType::isMemberDataPointer(), and clang::MemberPointerType::isMemberFunctionPointer().
|
inline |
Definition at line 5938 of file Type.h.
Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::ActOnFriendFunctionDecl(), AdjustFunctionParmAndArgTypesForDeduction(), clang::Sema::BuildAtomicType(), clang::Sema::BuildBlockPointerType(), clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::BuildMemberPointerType(), clang::Sema::BuildPointerType(), clang::Sema::CheckAllocatedType(), checkArithmeticBinOpPointerOperands(), checkArithmeticOpPointerOperand(), clang::Sema::CheckConditionVariable(), clang::Sema::CheckFunctionReturnType(), clang::Sema::CheckMain(), clang::Sema::CheckMSVCRTEntryPoint(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckPointerToMemberOperands(), clang::Sema::CheckSpecifiedExceptionType(), CheckTemplateArgumentIsCompatibleWithParameter(), ClassifyUnnamed(), DeduceTemplateArgumentsByTypeMatch(), determineEndOffset(), clang::CodeGen::CodeGenFunction::EmitLoadOfLValue(), emitPointerArithmetic(), clang::ento::SValBuilder::evalCast(), Evaluate(), EvaluateBinaryTypeTrait(), EvaluateLValue(), evaluateTypeTrait(), EvaluateUnaryTypeTrait(), clang::Sema::FillInlineAsmIdentifierInfo(), clang::Expr::findBoundMemberType(), clang::ASTContext::getAdjustedParameterType(), clang::ASTContext::getBlockPointerType(), clang::ASTContext::getDecayedType(), clang::ASTContext::getDeclAlign(), clang::ASTContext::getExceptionObjectType(), clang::getParameterABISpelling(), HandleAddressSpaceTypeAttribute(), HandleSizeof(), clang::Sema::IgnoredValueConversions(), clang::TemplateDeclInstantiator::InstantiateVarTemplatePartialSpecialization(), isFunctionPointerType(), IsStandardConversion(), clang::Sema::LookupInlineAsmIdentifier(), LookupMemberExpr(), maybeSynthesizeBlockSignature(), clang::ASTContext::mergeObjCGCQualifiers(), clang::Sema::PerformMemberExprBaseConversion(), clang::TreeTransform< Derived >::RebuildQualifiedType(), ResolveOverloadForDeduction(), clang::CodeGen::CodeGenFunction::OpaqueValueMappingData::shouldBindAsLValue(), TryReferenceInit(), TryReferenceInitializationCore(), TryStaticCast(), clang::TemplateDeclInstantiator::VisitVarDecl(), clang::TemplateDeclInstantiator::VisitVarTemplateSpecializationDecl(), and warnBracedScalarInit().
|
inline |
Tests whether the type is categorized as a fundamental type.
Definition at line 5906 of file Type.h.
Referenced by EvaluateUnaryTypeTrait().
|
inline |
Definition at line 6175 of file Type.h.
Referenced by clang::Sema::CheckAssignmentOperands(), clang::Sema::CheckFunctionReturnType(), and DiagnoseBadFunctionCast().
|
inline |
Definition at line 6116 of file Type.h.
Referenced by clang::Sema::CreateBuiltinBinOp(), and HandleOpenCLAccessAttr().
|
inline |
Definition at line 5999 of file Type.h.
Referenced by AdjustFunctionParmAndArgTypesForDeduction(), clang::Sema::BuildArrayType(), CheckUnaryTypeTraitTypeCompleteness(), computeDeclRefDependence(), EvaluateBinaryTypeTrait(), evaluateTypeTrait(), clang::ASTContext::getObjCEncodingTypeSize(), hasCompatibleArrayTypes(), isSameEntity(), IsVariableSizedType(), clang::InitializationSequence::Perform(), roundUpSizeToCharAlignment(), and warnBracedScalarInit().
|
inline |
Return true if this is an incomplete or object type, in other words, not a function type.
Definition at line 1663 of file Type.h.
Referenced by clang::Sema::BuildQualifiedType(), checkConditionalObjectPointersCompatibility(), and TryStaticCast().
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.
Definition at line 1986 of file Type.cpp.
References clang::Decl::getASTContext(), clang::ObjCObjectType::getBaseType(), clang::TargetInfo::getCXXABI(), clang::CXXRecordDecl::getMostRecentDecl(), clang::ASTContext::getTargetInfo(), clang::Decl::hasAttr(), clang::ObjCInterfaceDecl::hasDefinition(), clang::TagDecl::isCompleteDefinition(), clang::EnumDecl::isFixed(), isIncompleteType(), clang::TargetCXXABI::isMicrosoft(), and isVoidType().
Referenced by addValue(), clang::Sema::BuildUnaryTransformType(), clang::ento::StoreManager::castRegion(), clang::Sema::CheckCallReturnType(), clang::Sema::CheckCastAlign(), clang::Sema::checkDeclIsAllowedInOpenMPTarget(), clang::Sema::CheckSubscriptingKind(), CheckTypeMappable(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), determineEndOffset(), DiagnoseForRangeVariableCopies(), clang::CodeGen::CodeGenFunction::EmitTypeCheck(), evaluateTypeTrait(), EvaluateUnaryTypeTrait(), clang::ento::ElementRegion::getAsArrayOffset(), clang::ento::MemRegion::getAsOffset(), clang::ASTContext::getConstantArrayType(), clang::ento::TypedValueRegion::getExtent(), clang::CodeGen::CodeGenFunction::getNaturalTypeAlignment(), clang::ASTContext::getObjCEncodingTypeSize(), clang::CodeGen::CodeGenModule::getTBAAAccessInfo(), clang::ASTContext::getTypeAlignIfKnown(), isConstantSizeType(), clang::QualType::isCXX11PODType(), isEnableIf(), clang::CodeGen::CodeGenTypes::isFuncParamTypeConvertible(), isIncompleteType(), isLiteralType(), isOnePastTheEndOfCompleteObject(), isStandardLayoutType(), clang::QualType::isTriviallyCopyableType(), clang::Sema::isValidVarArgType(), isZeroSized(), matchTypes(), clang::CodeGen::CodeGenModule::maybeSetTrivialComdat(), and warnBracedScalarInit().
|
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 1864 of file Type.h.
Referenced by clang::TemplateSpecializationType::anyDependentTemplateArguments(), buildDeclareReductionRef(), computeCachedProperties(), computeDeclRefDependence(), clang::LinkageComputer::computeTypeLinkageInfo(), clang::OffsetOfExpr::CreateEmpty(), clang::DeducedType::DeducedType(), clang::FunctionType::getNameForCallConv(), clang::ObjCPropertyRefExpr::getReceiverType(), hasOnlyNonStaticMemberFunctions(), clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), clang::NestedNameSpecifier::isInstantiationDependent(), clang::TemplateArgument::isInstantiationDependent(), isObjCInertUnsafeUnretainedType(), isTypeSubstitutable(), NeedsInstantiationAsFunctionType(), clang::Sema::SubstType(), and clang::TemplateDeclInstantiator::VisitVarDecl().
|
inline |
isIntegerType() does not include complex integers (a GCC extension).
isComplexIntegerType() can be used to test for complex integers.
Definition at line 6191 of file Type.h.
References clang::IsEnumDeclComplete(), and clang::IsEnumDeclScoped().
Referenced by clang::Sema::ActOnSEHExceptBlock(), clang::Sema::BuildExtVectorType(), checkBuiltinArgument(), CheckIncrementDecrementOperand(), checkOpenCLConditionVector(), checkOpenCLEnqueueIntType(), clang::Sema::CheckRemainderOperands(), create_dispatch_once(), DiagnoseBadFunctionCast(), clang::Sema::DiscardMisalignedMemberAddress(), clang::CodeGen::CodeGenFunction::EmitCheckTypeDescriptor(), clang::CodeGen::CodeGenFunction::EmitLoadOfGlobalRegLValue(), clang::CodeGen::CodeGenFunction::EmitStoreThroughGlobalRegLValue(), EvaluateComplex(), EvaluateVector(), getIntegerWidthAndSignedness(), clang::UserDefinedLiteral::getLiteralOperatorKind(), getUsualDeleteParams(), HandleVectorSizeAttr(), hasIntegerRepresentation(), clang::IntegerLiteral::IntegerLiteral(), isAcceptableMethodMismatch(), isIntOrBool(), isKnownToHaveUnsignedValue(), clang::BinaryOperator::isNullPointerArithmeticExtension(), clang::InitListExpr::isStringLiteralInit(), isValidOrderingForOp(), OpenCLArithmeticConversions(), SemaBuiltinReserveRWPipe(), SemaBuiltinRWPipe(), SemaOpenCLBuiltinEnqueueKernel(), and tryVectorConvertAndSplat().
|
inline |
Determine whether this type is an integral or enumeration type.
Definition at line 6219 of file Type.h.
References clang::IsEnumDeclComplete().
Referenced by clang::Sema::ActOnFinishSwitchStmt(), addOrSubLValueAsInteger(), clang::ento::RangedConstraintManager::assumeSymUnsupported(), clang::Sema::CheckConvertedConstantExpression(), CheckICE(), CheckKeyForObjCARCConversion(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckSubscriptingKind(), conjureOffsetSymbolOnLocation(), emitReplacement(), clang::ento::SValBuilder::evalCast(), Evaluate(), EvaluateBuiltinConstantP(), EvaluateCPlusPlus11IntegralConstantExpr(), EvaluateIntegerOrLValue(), findCompleteObject(), getAbsoluteValueKind(), clang::ento::BasicValueFactory::getAPSIntType(), GetCFNumberSize(), clang::ASTContext::getObjCEncodingTypeSize(), clang::ento::ProgramState::getSVal(), clang::ento::ProgramState::getSValAsScalarOrLoc(), GetX86_64ByValArgumentPair(), clang::ASTContext::hasUniqueObjectRepresentations(), clang::ento::SValBuilder::haveSameType(), clang::ASTContext::isMSStaticDataMemberInlineDefinition(), isRecordEmpty(), clang::ento::SValBuilder::makeZeroVal(), clang::Sema::ICEConvertDiagnoser::match(), clang::Sema::prepareVectorSplat(), RecoverCastedSymbol(), TryReinterpretCast(), TryStaticCast(), clang::Sema::VerifyBitField(), and clang::ento::ConditionBRVisitor::VisitConditionVariable().
bool Type::isIntegralOrUnscopedEnumerationType | ( | ) | const |
Determine whether this type is an integral or unscoped enumeration type.
Definition at line 1735 of file Type.cpp.
Referenced by clang::Sema::CheckBitwiseOperands(), CheckConvertedConstantConversions(), diagnoseStringPlusInt(), getIncrementedVar(), clang::StandardConversionSequence::getNarrowingKind(), IsStandardConversion(), and clang::Sema::ICEConvertDiagnoser::match().
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.
Ctx | The context in which this type occurs. |
Definition at line 1722 of file Type.cpp.
References clang::ASTContext::getLangOpts().
Referenced by AnalyzeComparison(), checkIntToPointerCast(), clang::Sema::CheckObjCConversion(), clang::Sema::CheckVectorCast(), create_OSAtomicCompareAndSwap(), DiagnoseBadFunctionCast(), DiagnoseBinOpPrecedence(), EvaluateUnaryTypeTrait(), clang::StandardConversionSequence::getNarrowingKind(), IsStandardConversion(), tryGCCVectorConvertAndSplat(), TryReinterpretCast(), TryStaticCast(), and tryVectorConvertAndSplat().
bool Type::isInterfaceType | ( | ) | const |
Definition at line 413 of file Type.cpp.
Referenced by EvaluateUnaryTypeTrait().
bool Type::isLinkageValid | ( | ) | const |
True if the computed linkage is valid.
Used for consistency checking. Should always return true.
Definition at line 3574 of file Type.cpp.
References clang::LinkageComputer::computeTypeLinkageInfo(), getCanonicalTypeInternal(), clang::LinkageInfo::getLinkage(), and TypeBits.
Referenced by clang::TagDecl::setTypedefNameForAnonDecl().
bool Type::isLiteralType | ( | const ASTContext & | Ctx | ) | const |
Return true if this is a literal type (C++11 [basic.types]p10)
Definition at line 2210 of file Type.cpp.
References getAs(), getBaseElementTypeUnsafe(), getCanonicalTypeInternal(), clang::ASTContext::getLangOpts(), isAnyComplexType(), isDependentType(), isIncompleteType(), isReferenceType(), isScalarType(), isVariableArrayType(), isVectorType(), and isVoidType().
Referenced by CheckLiteralType(), EvaluateObjectArgument(), EvaluateUnaryTypeTrait(), and clang::CXXRecordDecl::setBases().
|
inline |
Definition at line 5958 of file Type.h.
Referenced by CastsAwayConstness(), ClassifyUnnamed(), clang::ExprWithCleanups::Create(), DeduceTemplateArgumentsByTypeMatch(), DiagnoseCastQual(), EvaluateUnaryTypeTrait(), getCanonicalParamType(), clang::UserDefinedLiteral::getUDSuffix(), LookupMethodInReceiverType(), clang::InitializationSequence::Perform(), TryListConversion(), and TryReferenceInitializationCore().
|
inline |
Definition at line 5984 of file Type.h.
References clang::T.
Referenced by clang::CodeGen::CodeGenModule::EmitNullConstant(), EvaluateBuiltinClassifyType(), and EvaluateUnaryTypeTrait().
|
inline |
Definition at line 5977 of file Type.h.
References clang::T.
Referenced by EvaluateBuiltinClassifyType(), EvaluateUnaryTypeTrait(), isAggregateTypeForABI(), ResolveOverloadForDeduction(), and TryConstCast().
|
inline |
Definition at line 5973 of file Type.h.
Referenced by AdjustFunctionParmAndArgTypesForDeduction(), clang::Sema::BuildQualifiedType(), CastsAwayConstness(), clang::Sema::CheckNonTypeTemplateParameterType(), CompareDerivedToBaseConversions(), convertPointersToCompositeType(), DiagnoseNullConversion(), EmitX86_64VAArgFromMemory(), clang::ento::SValBuilder::evalCast(), Evaluate(), EvaluateMemberPointer(), EvaluateUnaryTypeTrait(), clang::Sema::FindCompositePointerType(), clang::ento::ExprEngine::getInitialState(), clang::ASTContext::getPreferredTypeAlign(), clang::Sema::HandleFunctionTypeMismatch(), handleMSPointerTypeQualifierAttr(), clang::ASTContext::hasUniqueObjectRepresentations(), IsStandardConversion(), rewriteInputConstraintReferences(), TryConstCast(), and TryReinterpretCast().
|
inline |
Test for a placeholder type other than Overload; see BuiltinType::isNonOverloadPlaceholderType.
Definition at line 6163 of file Type.h.
Referenced by clang::Sema::DeduceAutoType().
|
inline |
Definition at line 6182 of file Type.h.
References clang::IsEnumDeclComplete(), and clang::IsEnumDeclScoped().
Referenced by CheckConvertedConstantConversions(), clang::Sema::CheckNonTypeTemplateParameterType(), CheckTemplateArgumentAddressOfObjectOrFunction(), clang::ento::SValBuilder::conjureSymbolVal(), DiagnoseNullConversion(), emitCXXDestructor(), clang::Sema::FindCompositePointerType(), clang::ento::SValBuilder::getDerivedRegionValueSymbolVal(), clang::ento::SValBuilder::getRegionValueSymbolVal(), clang::ASTContext::getTargetNullPointerValue(), clang::ento::Loc::isLocType(), IsStandardConversion(), clang::analyze_format_string::ArgType::matchesType(), and TryReinterpretCast().
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 3853 of file Type.cpp.
References isBlockPointerType(), and isObjCObjectPointerType().
Referenced by clang::Sema::BuildObjCBridgedCast(), and classifyTypeForARCConversion().
bool Type::isObjCARCImplicitlyUnretainedType | ( | ) | const |
Determines if this type, which must satisfy isObjCLifetimeType(), is implicitly __unsafe_unretained rather than implicitly __strong.
Definition at line 3785 of file Type.cpp.
References getCanonicalTypeInternal(), clang::QualType::getTypePtr(), and isObjCLifetimeType().
Referenced by getObjCARCImplicitLifetime(), and inferARCWriteback().
|
inline |
Definition at line 6086 of file Type.h.
Referenced by AuditedType(), clang::ASTContext::canAssignObjCInterfacesInBlockPointer(), checkObjCPointerTypesForAssignment(), and TypeIsInnerPointer().
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 537 of file Type.cpp.
References clang::ObjCObjectPointerType::isKindOfType(), clang::ObjCObjectPointerType::isObjCClassType(), and clang::ObjCObjectPointerType::isObjCQualifiedClassType().
|
inline |
Definition at line 6074 of file Type.h.
Referenced by AppendTypeQualList(), clang::ASTContext::applyObjCProtocolQualifiers(), checkObjCPointerTypesForAssignment(), clang::Sema::FindCompositeObjCPointerType(), findMethodDecl(), clang::ASTContext::ObjCQualifiedIdTypesAreCompatible(), and clang::Sema::SelectorsForTypoCorrection().
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>.
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 511 of file Type.cpp.
References getAs(), clang::ObjCObjectPointerType::getObjectType(), clang::ObjCObjectPointerType::isKindOfType(), clang::ObjCObjectPointerType::isObjCClassType(), clang::ObjCObjectPointerType::isObjCIdType(), clang::ObjCObjectPointerType::isObjCQualifiedClassType(), and clang::ObjCObjectType::stripObjCKindOfTypeAndQuals().
|
inline |
Definition at line 6068 of file Type.h.
Referenced by AppendTypeQualList(), clang::ASTContext::applyObjCProtocolQualifiers(), CheckKeyForObjCARCConversion(), CheckObjCBridgeCFCast(), CheckObjCBridgeNSCast(), clang::Sema::CheckSubscriptingKind(), findMethodDecl(), clang::ObjCMethodDecl::getMethodFamily(), isObjCReceiverType(), clang::ASTContext::mergeTypes(), clang::ASTContext::ObjCQualifiedIdTypesAreCompatible(), ReplaceWithClasstype(), clang::Sema::SelectorsForTypoCorrection(), and SymbolNameForMethod().
bool Type::isObjCIndependentClassType | ( | ) | const |
Definition at line 3818 of file Type.cpp.
References clang::ast_matchers::typedefType.
bool Type::isObjCIndirectLifetimeType | ( | ) | const |
Definition at line 3830 of file Type.cpp.
References isObjCLifetimeType().
bool Type::isObjCInertUnsafeUnretainedType | ( | ) | const |
Was this type written with the special inert-in-MRC __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 560 of file Type.cpp.
References clang::AttributedType::attr_objc_inert_unsafe_unretained, getLocallyUnqualifiedSingleStepDesugaredType(), clang::QualType::getTypePtr(), isDependentType(), isInstantiationDependentType(), isVariablyModifiedType(), and Type().
Referenced by computeBlockInfo().
bool Type::isObjCLifetimeType | ( | ) | const |
Returns true if objects of this type have lifetime semantics under ARC.
Definition at line 3844 of file Type.cpp.
References getAsArrayTypeUnsafe(), and isObjCRetainableType().
Referenced by clang::Sema::CheckAllocatedType(), DeduceTemplateArgumentsByTypeMatch(), DiagnoseBadFunctionCast(), EvaluateUnaryTypeTrait(), clang::Sema::inferObjCARCLifetime(), isObjCARCImplicitlyUnretainedType(), isObjCIndirectLifetimeType(), and clang::TreeTransform< Derived >::RebuildQualifiedType().
bool Type::isObjCNSObjectType | ( | ) | const |
Definition at line 3805 of file Type.cpp.
References getLocallyUnqualifiedSingleStepDesugaredType(), and clang::ast_matchers::typedefType.
Referenced by clang::ASTContext::isObjCNSObjectType(), and isObjCRetainableType().
|
inline |
Definition at line 6047 of file Type.h.
Referenced by clang::Sema::ActOnStartCXXMemberReference(), clang::Sema::CodeCompleteDeclSpec(), and clang::Sema::CodeCompleteMemberReferenceExpr().
|
inline |
Definition at line 6039 of file Type.h.
Referenced by clang::Sema::ActOnObjCAtSynchronizedOperand(), clang::Sema::ActOnStartCXXMemberReference(), AdjustFunctionParmAndArgTypesForDeduction(), adjustReturnValue(), AuditedType(), clang::ASTContext::BlockRequiresCopying(), buildByrefHelpers(), clang::Sema::BuildObjCAtThrowStmt(), clang::Sema::BuildObjCExceptionDecl(), clang::Sema::BuildQualifiedType(), clang::ento::StoreManager::castRegion(), clang::Sema::CheckAdditionOperands(), CheckKeyForObjCARCConversion(), clang::Sema::CheckMessageArgumentTypes(), CheckObjCCollectionLiteralElement(), checkObjCPointerIntrospection(), clang::Sema::CheckSubscriptingKind(), clang::Sema::CodeCompleteMemberReferenceExpr(), clang::CodeGen::CodeGenFunction::EmitAutoVarAlloca(), emitBadConversionNotes(), clang::CodeGen::CodeGenModule::GetAddrOfRTTIDescriptor(), clang::ASTContext::getByrefLifetime(), GetGCAttrTypeForType(), clang::ASTContext::getObjCGCAttrKind(), clang::ASTContext::getUnqualifiedObjCPointerType(), handleObjCGCTypeAttr(), hasIsEqualMethod(), clang::ento::cocoa::isCocoaObjectRef(), isObjCARCBridgableType(), isObjCReceiverType(), isObjCRetainableType(), clang::Sema::IsPointerConversion(), LookThroughTransitiveAssignmentsAndCommaOperators(), clang::analyze_format_string::ArgType::matchesType(), clang::ASTContext::mergeObjCGCQualifiers(), clang::ASTContext::mergeTypes(), objectifyExpr(), clang::ento::ConditionBRVisitor::patternMatch(), clang::TreeTransform< Derived >::RebuildCXXForRangeStmt(), scanToNextArgument(), clang::Sema::SelectorsForTypoCorrection(), TryConstCast(), TryReinterpretCast(), TryStaticCast(), TypeIsInnerPointer(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
|
inline |
Definition at line 6043 of file Type.h.
Referenced by clang::Sema::ActOnCompatibilityAlias(), clang::Sema::ActOnForwardClassDeclaration(), clang::Sema::ActOnTypedefedProtocols(), clang::ASTContext::applyObjCProtocolQualifiers(), clang::Sema::BuildPointerType(), CastsAwayConstness(), clang::Sema::CheckFunctionReturnType(), clang::Sema::CheckVariableDeclarationType(), inferARCWriteback(), isObjCReceiverType(), clang::Sema::isValidVarArgType(), transferARCOwnership(), and warnBracedScalarInit().
|
inline |
Definition at line 6062 of file Type.h.
Referenced by AppendTypeQualList(), checkObjCPointerTypesForAssignment(), and clang::Sema::SelectorsForTypoCorrection().
|
inline |
Definition at line 6056 of file Type.h.
Referenced by AppendTypeQualList(), clang::Sema::BuildObjCExceptionDecl(), checkObjCPointerTypesForAssignment(), EvalAddr(), clang::ASTContext::ObjCObjectAdoptsQTypeProtocols(), clang::ASTContext::QIdProtocolsAdoptObjCObjectProtocols(), scanToNextArgument(), clang::Sema::SelectorsForTypoCorrection(), and SymbolNameForMethod().
bool Type::isObjCQualifiedInterfaceType | ( | ) | const |
Definition at line 1535 of file Type.cpp.
References getAsObjCQualifiedInterfaceType().
Referenced by scanToNextArgument().
bool Type::isObjCRetainableType | ( | ) | const |
Definition at line 3824 of file Type.cpp.
References isBlockPointerType(), isObjCNSObjectType(), and isObjCObjectPointerType().
Referenced by AdjustObjCObjectType(), clang::ASTContext::BlockRequiresCopying(), buildByrefHelpers(), checkAllAtProps(), clang::Sema::checkUnsafeExprAssigns(), checkWeakGCAttrs(), computeBlockInfo(), computeCopyInfoForBlockCapture(), computeDestroyInfoForBlockCapture(), errorForGCAttrsOnNonObjC(), clang::analyze_printf::PrintfSpecifier::fixType(), getImpliedARCOwnership(), handleObjCOwnershipTypeAttr(), inferARCWriteback(), isObjCLifetimeType(), isValidSubjectOfNSReturnsRetainedAttribute(), clang::Sema::MaybeBindToTemporary(), MaybeProduceObjCObject(), PropertyMemoryAttribute(), clang::CodeGen::CodeGenFunction::StartFunction(), transferARCOwnership(), and transferARCOwnershipToDeclSpec().
|
inline |
Definition at line 6080 of file Type.h.
Referenced by clang::ObjCMethodDecl::getMethodFamily(), isCallback(), and LookupMemberExpr().
|
inline |
Determine whether this type is an object type.
Definition at line 1668 of file Type.h.
References isBooleanType(), and isCharType().
Referenced by emitCXXDestructor(), EvaluateBinaryTypeTrait(), and EvaluateUnaryTypeTrait().
|
inline |
Definition at line 6127 of file Type.h.
Referenced by clang::CodeGen::CGOpenCLRuntime::convertOpenCLSpecificType(), isTypeSubstitutable(), and warnBracedScalarInit().
|
inline |
Determines whether this is a type for which one can define an overloaded operator.
Definition at line 6245 of file Type.h.
References isRecordType().
Referenced by clang::Sema::BuildBinOp(), and clang::TreeTransform< Derived >::RebuildCXXOperatorCallExpr().
|
inline |
Definition at line 6123 of file Type.h.
Referenced by checkOpenCLPipeArg(), clang::Sema::CreateBuiltinBinOp(), HandleOpenCLAccessAttr(), and SemaBuiltinPipePackets().
|
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 6143 of file Type.h.
Referenced by clang::Sema::BuildExpressionTrait(), DeduceTemplateArgumentsByTypeMatch(), and DiagnoseBadFunctionCast().
|
inline |
Definition at line 5942 of file Type.h.
Referenced by clang::Sema::ActOnOpenMPAlignedClause(), clang::Sema::ActOnOpenMPIsDevicePtrClause(), clang::Sema::ActOnOpenMPUseDevicePtrClause(), clang::Sema::ActOnStartCXXMemberReference(), AdjustFunctionParmAndArgTypesForDeduction(), buildCapture(), clang::Sema::BuildMemberReferenceExpr(), clang::Sema::BuildPseudoDestructorExpr(), castToBase(), clang::Sema::CheckAdditionOperands(), clang::Sema::CheckConditionalOperands(), CheckForDanglingReferenceOrPointer(), clang::Sema::CheckNonTypeTemplateParameterType(), checkPointerIntegerMismatch(), CheckReturnStackAddr(), CheckTemplateArgumentAddressOfObjectOrFunction(), CheckTemplateArgumentIsCompatibleWithParameter(), clang::Sema::CheckTransparentUnionArgumentConstraints(), ClassifyDiagnostic(), CompareDerivedToBaseConversions(), convertPointersToCompositeType(), decomposeTypeForEH(), describeUninitializedArgumentInCall(), DiagnoseBadFunctionCast(), diagnoseObjCARCConversion(), clang::Sema::DiscardMisalignedMemberAddress(), emitCXXDestructor(), clang::CodeGen::CodeGenFunction::EmitDynamicCast(), EmitDynamicCastToNull(), clang::CodeGen::CodeGenFunction::EmitLoadOfGlobalRegLValue(), emitParallelOrTeamsOutlinedFunction(), clang::CodeGen::CodeGenFunction::EmitStoreThroughGlobalRegLValue(), clang::ento::SValBuilder::evalCast(), EvaluateBuiltinConstantP(), EvaluateObjectArgument(), EvaluatePointer(), EvaluateUnaryTypeTrait(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), GeneralizeType(), clang::QualType::getBaseTypeIdentifier(), getCanonicalParamType(), getCoreType(), clang::CXXDeleteExpr::getDestroyedType(), clang::UserDefinedLiteral::getLiteralOperatorKind(), getObjCBridgeAttr(), clang::ASTContext::getObjCGCAttrKind(), getUuidAttrOfType(), handleObjCGCTypeAttr(), handleObjCOwnershipTypeAttr(), clang::ASTContext::hasUniqueObjectRepresentations(), isAutoCastType(), isConsumableType(), isGeneralizedObjectRef(), isIntegerLikeType(), isLibstdcxxPointerReturnFalseHack(), clang::BinaryOperator::isNullPointerArithmeticExtension(), isPointerOrRef(), isThrowCaught(), IsTypeModifiable(), isValidBaseType(), isValidOrderingForOp(), IsVoidStarType(), loadToBegin(), LookThroughTransitiveAssignmentsAndCommaOperators(), clang::analyze_format_string::ArgType::matchesType(), objectifyExpr(), clang::ento::ConditionBRVisitor::patternMatch(), clang::InitializationSequence::Perform(), SemaOpenCLBuiltinEnqueueKernel(), clang::CodeGen::CodeGenFunction::StartFunction(), TryConstCast(), TypeIsInnerPointer(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
bool Type::isPromotableIntegerType | ( | ) | const |
More type predicates useful for type checking/promotion.
Definition at line 2381 of file Type.cpp.
References isDependentType().
Referenced by addBaseAndFieldSizes(), checkVAStartIsInVariadicFunction(), clang::ASTContext::getPromotedIntegerType(), GetX86_64ByValArgumentPair(), clang::Sema::IsIntegralPromotion(), clang::analyze_format_string::ArgType::matchesType(), and clang::ASTContext::mergeFunctionTypes().
|
inline |
Definition at line 6108 of file Type.h.
Referenced by IsStandardConversion(), SemaOpenCLBuiltinEnqueueKernel(), clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue(), and TryOCLZeroQueueInitialization().
bool Type::isRealFloatingType | ( | ) | const |
Floating point categories.
Definition at line 1893 of file Type.cpp.
Referenced by addOrSubLValueAsInteger(), clang::Sema::BuildExtVectorType(), DiagnoseBadFunctionCast(), emitReplacement(), Evaluate(), EvaluateComplex(), EvaluateFloat(), EvaluateVector(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), getAbsoluteValueKind(), clang::ASTContext::getFloatingTypeOfSizeWithinDomain(), getIncrementedVar(), GetIntrinsic(), clang::StandardConversionSequence::getNarrowingKind(), HandleVectorSizeAttr(), isIntegerLikeType(), IsStandardConversion(), OpenCLArithmeticConversions(), tryGCCVectorConvertAndSplat(), TryStaticCast(), and tryVectorConvertAndSplat().
bool Type::isRealType | ( | ) | const |
Definition at line 1899 of file Type.cpp.
Referenced by breakDownVectorType(), and rewriteToObjCProperty().
|
inline |
Definition at line 6015 of file Type.h.
Referenced by clang::Sema::ActOnDependentMemberExpr(), clang::Sema::ActOnPseudoDestructorExpr(), clang::Sema::ActOnStartCXXMemberReference(), clang::Sema::BuildAnonymousStructUnionMemberReference(), clang::Sema::BuildBaseInitializer(), clang::Sema::BuildBuiltinOffsetOf(), BuildImplicitMemberInitializer(), clang::Sema::BuildMemberPointerType(), buildMemcpyForAssignmentOp(), clang::Sema::BuildOverloadedArrowExpr(), clang::Sema::CheckExceptionSpecSubset(), checkFoundationAPI(), CheckMoveOnConstruction(), CheckObjCCollectionLiteralElement(), clang::Sema::CheckOverloadedOperatorDeclaration(), clang::Sema::CheckSingleAssignmentConstraints(), clang::Sema::CheckSpecifiedExceptionType(), ClassifyTemporary(), classifyTypeForARCConversion(), clang::Sema::CollectIvarsToConstructOrDestruct(), clang::CXXBindTemporaryExpr::Create(), createReferenceTemporary(), clang::Sema::CXXCheckConditionalOperands(), clang::Sema::DefineImplicitCopyAssignment(), clang::Sema::DefineImplicitMoveAssignment(), clang::InitializationSequence::Diagnose(), clang::CodeGen::CodeGenFunction::EmitAutoVarAlloca(), clang::CodeGen::CodeGenFunction::EmitDynamicCast(), Evaluate(), EvaluateInPlace(), EvaluateRecord(), EvaluateTemporary(), FastEvaluateAsRValue(), clang::Sema::FindAllocationFunctions(), FindConversionForRefInit(), clang::CodeGen::CodeGenFunction::GenerateObjCAtomicGetterCopyHelperFunction(), clang::CodeGen::CodeGenFunction::GenerateObjCAtomicSetterCopyHelperFunction(), clang::QualType::getBaseTypeIdentifier(), clang::ASTContext::getByrefLifetime(), clang::CXXMethodDecl::getDevirtualizedMethod(), GetGCAttrTypeForType(), getSelfInitExpr(), clang::FunctionDecl::getUnusedResultAttr(), HandleConstructorCall(), clang::ASTContext::hasUniqueObjectRepresentations(), InitCatchParam(), isCARCBridgableType(), clang::ento::NonLoc::isCompoundType(), clang::Expr::isConstantInitializer(), clang::Sema::isCopyElisionCandidate(), isIdiomaticBraceElisionEntity(), isImplicitThis(), clang::CodeGen::CodeGenModule::isInSanitizerBlacklist(), isObjCReceiverType(), isPointerToConst(), isRecordType(), IsStandardConversion(), isTrackedVar(), LookupMemberExpr(), LookupMethodInReceiverType(), clang::ento::SValBuilder::makeZeroVal(), ResolveOverloadedFunctionForReferenceBinding(), clang::TreeTransform< Derived >::TransformNestedNameSpecifierLoc(), TryConstCast(), clang::CodeGen::ConstantEmitter::tryEmitPrivateForVarInit(), TryListConversion(), TryListInitialization(), TryObjectArgumentInitialization(), TryReferenceInit(), TryReferenceInitializationCore(), TryReinterpretCast(), TryStaticImplicitCast(), TryUserDefinedConversion(), clang::ento::ExprEngine::VisitInitListExpr(), warnAboutAmbiguousFunction(), warnAboutRedundantParens(), and warnBracedScalarInit().
|
inline |
Definition at line 5954 of file Type.h.
Referenced by clang::CodeGen::CodeGenFunction::OMPPrivateScope::addPrivate(), clang::Sema::BuildArrayType(), clang::Sema::BuildAtomicType(), BuildImplicitMemberInitializer(), clang::Sema::BuildMemberPointerType(), clang::Sema::BuildPointerType(), clang::Sema::BuildQualifiedType(), clang::canDynamicCastThrow(), clang::CapturedStmt::Capture::Capture(), castToBase(), clang::Sema::CheckAllocatedType(), clang::Sema::CheckCompareOperands(), CheckConvertedConstantExpression(), CheckForDanglingReferenceOrPointer(), CheckForReference(), CheckLValueConstantExpression(), CheckMapClauseExpressionBase(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckOpenMPLinearDecl(), CheckReturnStackAddr(), CheckTemplateArgumentAddressOfObjectOrFunction(), CheckTemplateArgumentIsCompatibleWithParameter(), checkVAStartIsInVariadicFunction(), ClassifyDiagnostic(), clang::Sema::CompareReferenceRelationship(), decomposeTypeForEH(), describeUninitializedArgumentInCall(), clang::InitializationSequence::Diagnose(), DiagnoseForRangeVariableCopies(), DiagnoseUninitializedReference(), clang::CodeGen::CodeGenFunction::EmitConstructorBody(), emitCXXDestructor(), clang::CodeGen::CodeGenFunction::EmitCXXGlobalVarDeclInit(), EmitDeclInit(), clang::CodeGen::CodeGenFunction::EmitDelegateCallArg(), clang::CodeGen::CodeGenFunction::EmitExprAsInit(), clang::CodeGen::CodeGenFunction::EmitLValueForField(), clang::CodeGen::CodeGenFunction::EmitLValueForFieldInitialization(), emitRTtypeidCall(), clang::CodeGen::CodeGenFunction::EmitRValueForField(), clang::ento::SValBuilder::evalCast(), clang::Expr::EvaluateAsInitializer(), EvaluateUnaryTypeTrait(), clang::CodeGen::CodeGenFunction::generateObjCGetterBody(), getBadTypeidFn(), clang::QualType::getBaseTypeIdentifier(), getCoreType(), clang::CFGImplicitDtor::getDestructorDecl(), clang::CodeGen::CGOpenMPRuntimeNVPTX::getParameterAddress(), getThreadLocalWrapperLinkage(), getUuidAttrOfType(), clang::consumed::ConsumedStmtVisitor::handleCall(), HandleConstructorCall(), clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), isAutoCastType(), isCallback(), isConstantEmittableObjectType(), isConsumableType(), isLiteralType(), clang::ento::Loc::isLocType(), isPointerOrRef(), isRecordEmpty(), clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), isThrowCaught(), clang::CodeGen::CodeGenModule::isTypeConstant(), clang::Expr::isUnusedResultAWarning(), isValidBaseType(), clang::Sema::isValidPointerAttrType(), loadToBegin(), clang::CodeGen::CodeGenModule::maybeSetTrivialComdat(), clang::InitializationSequence::Perform(), PerformReturnAdjustment(), clang::APValue::printPretty(), clang::ento::ExprEngine::ProcessAutomaticObjDtor(), clang::ento::ExprEngine::ProcessInitializer(), clang::TreeTransform< Derived >::RebuildQualifiedType(), clang::ReferenceType::ReferenceType(), clang::Expr::setType(), supportsNilWithFloatRet(), clang::CodeGen::CGOpenMPRuntimeNVPTX::translateParameter(), TryCopyInitialization(), clang::CodeGen::ConstantEmitter::tryEmitPrivate(), clang::CodeGen::ConstantEmitter::tryEmitPrivateForVarInit(), TryListConversion(), TryListInitialization(), TryReferenceInit(), TryStaticImplicitCast(), TryUserDefinedConversion(), clang::FunctionCallFilterCCC::ValidateCandidate(), clang::ento::ExprEngine::VisitCommonDeclRefExpr(), clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl(), warnAboutAmbiguousFunction(), and warnBracedScalarInit().
|
inline |
Definition at line 6112 of file Type.h.
Referenced by SemaBuiltinCommitRWPipe(), and SemaBuiltinRWPipe().
|
inline |
Definition at line 5962 of file Type.h.
Referenced by clang::ExprWithCleanups::Create(), EvaluateUnaryTypeTrait(), clang::UserDefinedLiteral::getUDSuffix(), isRValueRef(), RefersToRValueRef(), TryListConversion(), TryReferenceInit(), TryReferenceListInitialization(), and TryStaticReferenceDowncast().
|
inline |
Definition at line 6096 of file Type.h.
Referenced by clang::Sema::CreateBuiltinBinOp(), clang::CodeGen::CodeGenFunction::EmitVarDecl(), clang::CodeGen::CodeGenModule::maybeSetTrivialComdat(), and TryOCLSamplerInitialization().
|
inline |
Definition at line 6204 of file Type.h.
References clang::IsEnumDeclComplete().
Referenced by clang::Sema::ActOnOpenMPAtomicDirective(), clang::Sema::areLaxCompatibleVectorTypes(), breakDownVectorType(), clang::Sema::BuildPseudoDestructorExpr(), canRecoverDotPseudoDestructorCallsOnPointerObjects(), clang::CapturedStmt::Capture::Capture(), checkCondition(), DiagnoseBadFunctionCast(), DiagnoseNullConversion(), EvaluateUnaryTypeTrait(), getExistingLazyBinding(), clang::Sema::getFixItZeroInitializerForType(), getScalarTypeKind(), clang::ento::BasicValueFactory::getZeroWithTypeSize(), hasIsEqualMethod(), clang::QualType::isCXX11PODType(), isLiteralType(), isRecordEmpty(), isStandardLayoutType(), isTrackedVar(), clang::QualType::isTriviallyCopyableType(), clang::QualType::isTrivialType(), matchTypes(), TryListInitialization(), clang::ento::ConditionBRVisitor::VisitTrueTest(), and warnBracedScalarInit().
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 1816 of file Type.cpp.
Referenced by EmitCXXNewAllocSize(), emitPointerArithmetic(), EvaluateInteger(), clang::ento::BasicValueFactory::getAPSIntType(), clang::StandardConversionSequence::getNarrowingKind(), HandleFloatToIntCast(), hasSignedIntegerRepresentation(), clang::CodeGen::CGBitFieldInfo::MakeInfo(), clang::ASTContext::MakeIntValue(), and clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue().
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 1800 of file Type.cpp.
Referenced by AnalyzeBitFieldAssignment(), clang::CodeGen::CodeGenFunction::EmitCheckTypeDescriptor(), EvaluateUnaryTypeTrait(), EvaluateVector(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), getIntegerWidthAndSignedness(), clang::ASTContext::getPromotedIntegerType(), clang::Sema::IsIntegralPromotion(), isKnownToHaveUnsignedValue(), isOverflowingIntegerType(), printExprAsWritten(), rewriteToNumericBoxedExpression(), clang::ento::ExprEngine::VisitOffsetOfExpr(), and warnBracedScalarInit().
|
inline |
Test for a particular builtin type.
Definition at line 6136 of file Type.h.
Referenced by CheckImplicitConversion(), clang::Sema::CheckLiteralOperatorDeclaration(), clang::Sema::CheckOverloadedOperatorDeclaration(), checkVAStartIsInVariadicFunction(), DiagnoseFloatingImpCast(), clang::ASTContext::getOpenMPDefaultSimdAlign(), clang::ASTContext::getPreferredTypeAlign(), HandleConstructorCall(), isCharType(), isTypeSubstitutable(), and LookupMemberExpr().
|
inline |
Test for a specific placeholder type.
Definition at line 6156 of file Type.h.
References clang::BuiltinType::isPlaceholderTypeKind().
Referenced by clang::CallExpr::getCallReturnType(), and clang::ObjCPropertyRefExpr::ObjCPropertyRefExpr().
bool Type::isSpecifierType | ( | ) | const |
Returns true if this type can be represented by some set of type specifiers.
Definition at line 2413 of file Type.cpp.
References getTypeClass().
Referenced by AppendTypeQualList(), and GetBaseType().
bool Type::isStandardLayoutType | ( | ) | const |
Test if this type is a standard-layout type.
(C++0x [basic.type]p9)
Definition at line 2276 of file Type.cpp.
References getAs(), getBaseElementTypeUnsafe(), isDependentType(), isIncompleteType(), isScalarType(), and isVectorType().
Referenced by EvaluateUnaryTypeTrait(), and isLayoutCompatible().
bool Type::isStdByteType | ( | ) | const |
Definition at line 2372 of file Type.cpp.
Referenced by isValidBaseType().
bool Type::isStructureOrClassType | ( | ) | const |
Definition at line 418 of file Type.cpp.
References clang::TagDecl::isClass(), clang::TagDecl::isInterface(), and clang::TagDecl::isStruct().
Referenced by isRecordEmpty().
bool Type::isStructureType | ( | ) | const |
Definition at line 403 of file Type.cpp.
Referenced by EvaluateUnaryTypeTrait().
|
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 6238 of file Type.h.
Referenced by clang::Sema::ActOnFinishFunctionBody(), clang::Sema::ActOnUninitializedDecl(), clang::Sema::AddInitializerToDecl(), clang::Sema::canDelayFunctionBody(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckVariableDeclarationType(), completeFunctionType(), clang::Sema::deduceClosureReturnType(), clang::Sema::DeduceReturnType(), clang::Sema::DefineImplicitLambdaToFunctionPointerConversion(), FinishForRangeVarDecl(), GetTypeOfFunction(), handleObjCOwnershipTypeAttr(), hasDeducedReturnType(), and clang::Sema::MergeVarDeclTypes().
bool Type::isUnionType | ( | ) | const |
Definition at line 432 of file Type.cpp.
Referenced by appendRecordType(), CheckConstexprCtorInitializer(), checkFoundationAPI(), clang::CodeGen::CGDebugInfo::EmitGlobalVariable(), EvaluateUnaryTypeTrait(), GetGCAttrTypeForType(), isRecordEmpty(), and warnBracedScalarInit().
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 1856 of file Type.cpp.
Referenced by addOrSubLValueAsInteger(), HandleIntToIntCast(), hasUnsignedIntegerRepresentation(), and clang::ento::SValBuilder::makeIntVal().
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 1840 of file Type.cpp.
Referenced by clang::ento::SValBuilder::evalIntegralCast(), EvaluateUnaryTypeTrait(), clang::analyze_printf::PrintfSpecifier::fixType(), clang::analyze_scanf::ScanfSpecifier::fixType(), clang::ASTContext::getIntegerTypeOrder(), clang::ASTContext::getPromotedIntegerType(), IsStdFunction(), SemaBuiltinReserveRWPipe(), SemaBuiltinRWPipe(), and warnBracedScalarInit().
|
inline |
Definition at line 6003 of file Type.h.
Referenced by emitOMPArraySectionBase(), clang::ento::SValBuilder::evalCast(), and isLiteralType().
|
inline |
Whether this type is a variably-modified type (C99 6.7.5).
Definition at line 1874 of file Type.h.
Referenced by clang::Sema::ActOnOpenMPCopyprivateClause(), clang::Sema::ActOnOpenMPPrivateClause(), clang::Sema::CheckAllocatedType(), clang::Sema::CheckNonTypeTemplateParameterType(), clang::Sema::CheckTemplateArgument(), clang::Sema::CreateUnaryExprOrTypeTraitExpr(), diagnoseArrayStarInParamType(), clang::CodeGen::CodeGenFunction::EmitAutoVarAlloca(), clang::CodeGen::CodeGenFunction::EmitStaticVarDecl(), clang::CodeGen::CodeGenFunction::EmitVariablyModifiedType(), clang::FunctionType::getNameForCallConv(), clang::ASTContext::getVariableArrayDecayedType(), hasSizedVLAType(), clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), clang::QualType::isCanonicalAsParam(), isCheapEnoughToEvaluateUnconditionally(), isObjCInertUnsafeUnretainedType(), NeedsInstantiationAsFunctionType(), clang::DependentSizedExtVectorType::Profile(), clang::CodeGen::CodeGenFunction::StartFunction(), clang::Sema::SubstType(), clang::Sema::tryCaptureVariable(), and clang::TemplateDeclInstantiator::VisitVarDecl().
|
inline |
Definition at line 6027 of file Type.h.
Referenced by clang::Sema::ActOnCastExpr(), clang::ASTContext::areCompatibleVectorTypes(), clang::Sema::areLaxCompatibleVectorTypes(), clang::Sema::BuildPseudoDestructorExpr(), canRecoverDotPseudoDestructorCallsOnPointerObjects(), checkFoundationAPI(), checkObjCMethodX86VectorTypes(), clang::Sema::CheckVectorCast(), clang::Sema::CXXCheckConditionalOperands(), DiagnoseBadFunctionCast(), clang::CodeGen::CodeGenFunction::EmitLoadOfScalar(), clang::CodeGen::CodeGenFunction::EmitLValueForField(), clang::CodeGen::CodeGenFunction::EmitStoreOfScalar(), EmitX86_64VAArgFromMemory(), Evaluate(), EvaluateUnaryTypeTrait(), EvaluateVector(), GetIntrinsic(), clang::Sema::InvalidLogicalVectorOperands(), isCheapEnoughToEvaluateUnconditionally(), clang::ento::NonLoc::isCompoundType(), clang::QualType::isCXX11PODType(), isIdiomaticBraceElisionEntity(), isIntegerLikeType(), clang::Sema::isLaxVectorConversion(), isLiteralType(), isRecordEmpty(), isStandardLayoutType(), isTrackedVar(), clang::QualType::isTriviallyCopyableType(), clang::QualType::isTrivialType(), IsVectorConversion(), clang::ento::SValBuilder::makeZeroVal(), rewriteInputConstraintReferences(), clang::Sema::SemaBuiltinShuffleVector(), clang::Sema::SemaConvertVectorExpr(), TryReinterpretCast(), clang::ento::ExprEngine::VisitArraySubscriptExpr(), clang::ento::ExprEngine::VisitInitListExpr(), clang::ento::ExprEngine::VisitLogicalExpr(), and warnBracedScalarInit().
|
inline |
bool Type::isVoidPointerType | ( | ) | const |
Definition at line 426 of file Type.cpp.
Referenced by checkConditionalBlockPointerCompatibility(), checkIntToPointerCast(), clang::Sema::CheckSubscriptingKind(), EvaluatePointer(), getExistingLazyBinding(), clang::analyze_format_string::ArgType::matchesType(), and clang::ASTContext::ObjCQualifiedIdTypesAreCompatible().
|
inline |
Definition at line 6169 of file Type.h.
Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::ActOnObjCAtSynchronizedOperand(), addBaseAndFieldSizes(), clang::ento::StoreManager::attemptDownCast(), clang::Sema::BuildArrayType(), clang::Sema::BuildCXXTypeConstructExpr(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::buildLambdaScope(), clang::Sema::BuildMemberPointerType(), clang::Sema::BuildObjCAtThrowStmt(), clang::Sema::BuildPseudoDestructorExpr(), checkArithmeticBinOpPointerOperands(), checkArithmeticOpPointerOperand(), clang::Sema::CheckCallReturnType(), checkConditionalObjectPointersCompatibility(), clang::Sema::CheckConditionalOperands(), checkConditionalVoidType(), CheckIndirectionOperand(), clang::comments::Sema::checkReturnsCommand(), clang::Sema::CheckSpecifiedExceptionType(), clang::Sema::CheckTransparentUnionArgumentConstraints(), CheckUnaryTypeTraitTypeCompleteness(), clang::Sema::checkUnknownAnyCast(), ClassifyConditional(), classifyTypeForARCConversion(), clang::Sema::CXXCheckConditionalOperands(), deduceOpenCLImplicitAddrSpace(), DiagnoseBadFunctionCast(), DiagnoseCastOfObjCSEL(), clang::CodeGen::CodeGenFunction::EmitCallAndReturnForThunk(), clang::CodeGen::CodeGenFunction::EmitDynamicCast(), emitPointerArithmetic(), EmitX86_64VAArgFromMemory(), Evaluate(), EvaluateBinaryTypeTrait(), evaluateCDTSize(), EvaluateLValue(), evaluateTypeTrait(), EvaluateUnaryTypeTrait(), EvaluateVoid(), FinishForRangeVarDecl(), formatBlockPlaceholder(), clang::CodeGen::CodeGenFunction::GenerateCode(), getSizeOfArgType(), clang::CodeGen::CodeGenFunction::GetUndefRValue(), HandleFunctionCall(), HandleSizeof(), clang::CXXDynamicCastExpr::isAlwaysNull(), isCARCBridgableType(), isCheapEnoughToEvaluateUnconditionally(), isDispatchBlock(), isIncompleteType(), isLiteralType(), clang::Expr::isNullPointerConstant(), isUnitTest(), clang::Expr::isUnusedResultAWarning(), clang::ento::SymExpr::isValidTypeForSymbol(), clang::Sema::isValidVarArgType(), isVoidPointerToNonConst(), IsVoidStarType(), clang::analyze_format_string::ArgType::matchesType(), clang::consumed::ConsumedAnalyzer::run(), shouldBeModeledWithNoOp(), clang::CodeGen::CodeGenFunction::ShouldNullCheckClassCastValue(), clang::CodeGen::CodeGenFunction::StartFunction(), clang::Sema::SubstParmVarDecl(), TryReinterpretCast(), TryStaticCast(), warnAboutAmbiguousFunction(), and warnBracedScalarInit().
bool Type::isWideCharType | ( | ) | const |
Definition at line 1759 of file Type.cpp.
Referenced by clang::analyze_printf::PrintfSpecifier::fixType(), and clang::analyze_scanf::ScanfSpecifier::fixType().
Definition at line 1602 of file Type.h.
Referenced by clang::TemplateSpecializationType::anyDependentTemplateArguments(), clang::FunctionType::getNameForCallConv(), and clang::ObjCObjectType::ObjCObjectType().
Definition at line 1591 of file Type.h.
Referenced by clang::FunctionType::getNameForCallConv(), and clang::ObjCObjectType::ObjCObjectType().
Definition at line 1597 of file Type.h.
Referenced by clang::TemplateSpecializationType::anyDependentTemplateArguments(), clang::FunctionType::getNameForCallConv(), and clang::ObjCObjectType::ObjCObjectType().
Definition at line 1600 of file Type.h.
Referenced by clang::TemplateSpecializationType::anyDependentTemplateArguments().
|
friend |
|
friend |
union { ... } |
ArrayTypeBitfields clang::Type::ArrayTypeBits |
AttributedTypeBitfields clang::Type::AttributedTypeBits |
AutoTypeBitfields clang::Type::AutoTypeBits |
BuiltinTypeBitfields clang::Type::BuiltinTypeBits |
FunctionTypeBitfields clang::Type::FunctionTypeBits |
Definition at line 1554 of file Type.h.
Referenced by clang::FunctionType::getNameForCallConv().
ObjCObjectTypeBitfields clang::Type::ObjCObjectTypeBits |
Definition at line 1555 of file Type.h.
Referenced by clang::ObjCObjectType::isSpecialized(), and clang::ObjCObjectType::ObjCObjectType().
ReferenceTypeBitfields clang::Type::ReferenceTypeBits |
TypeBitfields clang::Type::TypeBits |
Definition at line 1549 of file Type.h.
Referenced by clang::TypePropertyCache< Private >::ensure(), clang::TypePropertyCache< Private >::get(), getLinkage(), getTypeClassName(), hasUnnamedOrLocalType(), and isLinkageValid().
TypeWithKeywordBitfields clang::Type::TypeWithKeywordBits |
VectorTypeBitfields clang::Type::VectorTypeBits |
Definition at line 1558 of file Type.h.
Referenced by clang::VectorType::VectorType().