The collection of all-type qualifiers we support. More...

#include "clang/AST/Type.h"

Inheritance diagram for clang::Qualifiers:

Public Types
enum	TQ { Const = 0x1 , Restrict = 0x2 , Volatile = 0x4 , CVRMask = Const \| Volatile \| Restrict }

enum	GC { GCNone = 0 , Weak , Strong }

enum	ObjCLifetime { OCL_None , OCL_ExplicitNone , OCL_Strong , OCL_Weak , OCL_Autoreleasing }

enum	{ MaxAddressSpace = 0x7fffffu , FastWidth = 3 , FastMask = (1 << FastWidth) - 1 }

Public Member Functions
unsigned	getAsOpaqueValue () const

bool	hasConst () const

bool	hasOnlyConst () const

void	removeConst ()

void	addConst ()

Qualifiers	withConst () const

bool	hasVolatile () const

bool	hasOnlyVolatile () const

void	removeVolatile ()

void	addVolatile ()

Qualifiers	withVolatile () const

bool	hasRestrict () const

bool	hasOnlyRestrict () const

void	removeRestrict ()

void	addRestrict ()

Qualifiers	withRestrict () const

bool	hasCVRQualifiers () const

unsigned	getCVRQualifiers () const

unsigned	getCVRUQualifiers () const

void	setCVRQualifiers (unsigned mask)

void	removeCVRQualifiers (unsigned mask)

void	removeCVRQualifiers ()

void	addCVRQualifiers (unsigned mask)

void	addCVRUQualifiers (unsigned mask)

bool	hasUnaligned () const

void	setUnaligned (bool flag)

void	removeUnaligned ()

void	addUnaligned ()

bool	hasObjCGCAttr () const

GC	getObjCGCAttr () const

void	setObjCGCAttr (GC type)

void	removeObjCGCAttr ()

void	addObjCGCAttr (GC type)

Qualifiers	withoutObjCGCAttr () const

Qualifiers	withoutObjCLifetime () const

Qualifiers	withoutAddressSpace () const

bool	hasObjCLifetime () const

ObjCLifetime	getObjCLifetime () const

void	setObjCLifetime (ObjCLifetime type)

void	removeObjCLifetime ()

void	addObjCLifetime (ObjCLifetime type)

bool	hasNonTrivialObjCLifetime () const
	True if the lifetime is neither None or ExplicitNone.

bool	hasStrongOrWeakObjCLifetime () const
	True if the lifetime is either strong or weak.

bool	hasAddressSpace () const

LangAS	getAddressSpace () const

bool	hasTargetSpecificAddressSpace () const

unsigned	getAddressSpaceAttributePrintValue () const
	Get the address space attribute value to be printed by diagnostics.

void	setAddressSpace (LangAS space)

void	removeAddressSpace ()

void	addAddressSpace (LangAS space)

bool	hasFastQualifiers () const

unsigned	getFastQualifiers () const

void	setFastQualifiers (unsigned mask)

void	removeFastQualifiers (unsigned mask)

void	removeFastQualifiers ()

void	addFastQualifiers (unsigned mask)

bool	hasNonFastQualifiers () const
	Return true if the set contains any qualifiers which require an ExtQuals node to be allocated.

Qualifiers	getNonFastQualifiers () const

bool	hasQualifiers () const
	Return true if the set contains any qualifiers.

bool	empty () const

void	addQualifiers (Qualifiers Q)
	Add the qualifiers from the given set to this set.

void	removeQualifiers (Qualifiers Q)
	Remove the qualifiers from the given set from this set.

void	addConsistentQualifiers (Qualifiers qs)
	Add the qualifiers from the given set to this set, given that they don't conflict.

bool	isAddressSpaceSupersetOf (Qualifiers other) const
	Returns true if the address space in these qualifiers is equal to or a superset of the address space in the argument qualifiers.

bool	compatiblyIncludes (Qualifiers other) const
	Determines if these qualifiers compatibly include another set.

bool	compatiblyIncludesObjCLifetime (Qualifiers other) const
	Determines if these qualifiers compatibly include another set of qualifiers from the narrow perspective of Objective-C ARC lifetime.

bool	isStrictSupersetOf (Qualifiers Other) const
	Determine whether this set of qualifiers is a strict superset of another set of qualifiers, not considering qualifier compatibility.

bool	operator== (Qualifiers Other) const

bool	operator!= (Qualifiers Other) const

	operator bool () const

Qualifiers &	operator+= (Qualifiers R)

Qualifiers &	operator-= (Qualifiers R)

std::string	getAsString () const

std::string	getAsString (const PrintingPolicy &Policy) const

bool	isEmptyWhenPrinted (const PrintingPolicy &Policy) const

void	print (raw_ostream &OS, const PrintingPolicy &Policy, bool appendSpaceIfNonEmpty=false) const

void	Profile (llvm::FoldingSetNodeID &ID) const

Static Public Member Functions
static Qualifiers	removeCommonQualifiers (Qualifiers &L, Qualifiers &R)
	Returns the common set of qualifiers while removing them from the given sets.

static Qualifiers	fromFastMask (unsigned Mask)

static Qualifiers	fromCVRMask (unsigned CVR)

static Qualifiers	fromCVRUMask (unsigned CVRU)

static Qualifiers	fromOpaqueValue (unsigned opaque)

static bool	isAddressSpaceSupersetOf (LangAS A, LangAS B)
	Returns true if address space A is equal to or a superset of B.

static std::string	getAddrSpaceAsString (LangAS AS)

Friends
Qualifiers	operator+ (Qualifiers L, Qualifiers R)

Qualifiers	operator- (Qualifiers L, Qualifiers R)
	Compute the difference between two qualifier sets.

Detailed Description

The collection of all-type qualifiers we support.

Clang supports five independent qualifiers:

C99: const, volatile, and restrict
MS: __unaligned
Embedded C (TR18037): address spaces
Objective C: the GC attributes (none, weak, or strong)

Definition at line 146 of file Type.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator

MaxAddressSpace

The maximum supported address space number.

23 bits should be enough for anyone.

FastWidth

The width of the "fast" qualifier mask.

FastMask

The fast qualifier mask.

Definition at line 183 of file Type.h.

◆ ObjCLifetime

enum clang::Qualifiers::ObjCLifetime

Enumerator
OCL_None	There is no lifetime qualification on this type.
OCL_ExplicitNone	This object can be modified without requiring retains or releases.
OCL_Strong	Assigning into this object requires the old value to be released and the new value to be retained. The timing of the release of the old value is inexact: it may be moved to immediately after the last known point where the value is live.
OCL_Weak	Reading or writing from this object requires a barrier call.
OCL_Autoreleasing	Assigning into this object requires a lifetime extension.

Definition at line 161 of file Type.h.

Member Function Documentation

◆ addAddressSpace()

void clang::Qualifiers::addAddressSpace ( LangAS space )

inline

Definition at line 403 of file Type.h.

References clang::Default, and setAddressSpace().

Referenced by addQualifiers(), clang::ASTContext::getAddrSpaceQualType(), getDummyLambdaType(), GetFullTypeForDeclarator(), clang::CodeGen::CGOpenMPRuntimeGPU::translateParameter(), and TryReferenceInitializationCore().

◆ addConsistentQualifiers()

void clang::Qualifiers::addConsistentQualifiers ( Qualifiers qs )

inline

Add the qualifiers from the given set to this set, given that they don't conflict.

Definition at line 477 of file Type.h.

References getAddressSpace(), getObjCGCAttr(), getObjCLifetime(), hasAddressSpace(), hasObjCGCAttr(), and hasObjCLifetime().

Referenced by clang::ASTContext::getBaseElementType(), clang::SplitQualType::getSingleStepDesugaredType(), clang::ASTContext::getUnqualifiedArrayType(), clang::QualifierCollector::strip(), and unwrapSugar().

◆ addConst()

void clang::Qualifiers::addConst ( )

inline

Definition at line 266 of file Type.h.

References Const.

Referenced by clang::Sema::ActOnBlockArguments(), addBlockPointerConversion(), clang::QualifiersAndAtomic::addConst(), addFunctionPointerConversion(), clang::Sema::CheckExplicitlyDefaultedComparison(), clang::Sema::CheckFunctionDeclaration(), clang::Sema::CheckFunctionTemplateSpecialization(), getDummyLambdaType(), clang::Sema::IsOverload(), TryObjectArgumentInitialization(), and withConst().

◆ addCVRQualifiers()

void clang::Qualifiers::addCVRQualifiers ( unsigned mask )

inline

Definition at line 308 of file Type.h.

References CVRMask.

Referenced by fromCVRMask(), and removeCommonQualifiers().

◆ addCVRUQualifiers()

void clang::Qualifiers::addCVRUQualifiers ( unsigned mask )

inline

Definition at line 312 of file Type.h.

References CVRMask.

Referenced by fromCVRUMask(), and GetFullTypeForDeclarator().

◆ addFastQualifiers()

void clang::Qualifiers::addFastQualifiers ( unsigned mask )

inline

Definition at line 423 of file Type.h.

References FastMask.

Referenced by fromFastMask(), clang::QualType::getLocalQualifiers(), clang::QualType::getQualifiers(), clang::QualType::split(), and clang::QualifierCollector::strip().

◆ addObjCGCAttr()

void clang::Qualifiers::addObjCGCAttr ( GC type )

inline

Definition at line 330 of file Type.h.

References setObjCGCAttr(), and clang::ast_matchers::type.

Referenced by addQualifiers(), and clang::ASTContext::getObjCGCQualType().

◆ addObjCLifetime()

void clang::Qualifiers::addObjCLifetime ( ObjCLifetime type )

inline

Definition at line 358 of file Type.h.

References hasObjCLifetime(), and clang::ast_matchers::type.

Referenced by clang::Sema::ActOnPropertyImplDecl(), addQualifiers(), clang::ASTContext::getLifetimeQualifiedType(), handleObjCOwnershipTypeAttr(), inferARCLifetimeForPointee(), inferARCWriteback(), and transferARCOwnershipToDeclSpec().

◆ addQualifiers()

void clang::Qualifiers::addQualifiers ( Qualifiers Q )

inline

Add the qualifiers from the given set to this set.

Definition at line 442 of file Type.h.

References addAddressSpace(), addObjCGCAttr(), addObjCLifetime(), CVRMask, getAddressSpace(), getObjCGCAttr(), getObjCLifetime(), hasAddressSpace(), hasObjCGCAttr(), and hasObjCLifetime().

Referenced by operator+=().

◆ addRestrict()

void clang::Qualifiers::addRestrict ( )

inline

Definition at line 286 of file Type.h.

References Restrict.

Referenced by clang::QualifiersAndAtomic::addRestrict(), CollectVRQualifiers(), clang::CodeGen::CGOpenMPRuntimeGPU::translateParameter(), and withRestrict().

◆ addUnaligned()

void clang::Qualifiers::addUnaligned ( )

inline

Definition at line 322 of file Type.h.

◆ addVolatile()

void clang::Qualifiers::addVolatile ( )

inline

Definition at line 276 of file Type.h.

References Volatile.

Referenced by clang::QualifiersAndAtomic::addVolatile(), CollectVRQualifiers(), clang::CodeGen::AggValueSlot::setVolatile(), TryObjectArgumentInitialization(), and withVolatile().

◆ compatiblyIncludes()

bool clang::Qualifiers::compatiblyIncludes ( Qualifiers other ) const

inline

Determines if these qualifiers compatibly include another set.

Generally this answers the question of whether an object with the other qualifiers can be safely used as an object with these qualifiers.

Definition at line 531 of file Type.h.

References CVRMask, getObjCGCAttr(), getObjCLifetime(), hasObjCGCAttr(), hasUnaligned(), and isAddressSpaceSupersetOf().

Referenced by AdoptQualifiers(), CheckOriginalCallArgDeduction(), checkPointerTypesForAssignment(), compareOverloads(), DeduceTemplateArgumentsByTypeMatch(), emitBadConversionNotes(), clang::Sema::handlerCanCatch(), clang::QualType::isAtLeastAsQualifiedAs(), clang::QualType::isMoreQualifiedThan(), clang::Sema::isObjCWritebackConversion(), isQualificationConversionStep(), TryReferenceInit(), and TryStaticCast().

◆ compatiblyIncludesObjCLifetime()

bool clang::Qualifiers::compatiblyIncludesObjCLifetime ( Qualifiers other ) const

inline

Determines if these qualifiers compatibly include another set of qualifiers from the narrow perspective of Objective-C ARC lifetime.

One set of Objective-C lifetime qualifiers compatibly includes the other if the lifetime qualifiers match, or if both are non-__weak and the including set also contains the 'const' qualifier, or both are non-__weak and one is None (which can only happen in non-ARC modes).

Definition at line 552 of file Type.h.

References getObjCLifetime(), hasConst(), OCL_None, and OCL_Weak.

Referenced by CastsAwayConstness(), checkPointerTypesForAssignment(), and isQualificationConversionStep().

◆ empty()

bool clang::Qualifiers::empty ( ) const

inline

Definition at line 439 of file Type.h.

Referenced by clang::Sema::actOnObjCTypeParam(), clang::Sema::CheckMain(), checkQualifiedFunction(), clang::Sema::CheckQualifiedFunctionForTypeId(), clang::ASTContext::getAsArrayType(), clang::ASTContext::getUnqualifiedArrayType(), clang::Expr::isNullPointerConstant(), clang::Sema::isObjCWritebackConversion(), isValidSwiftErrorResultType(), clang::TreeTransform< Derived >::TransformNestedNameSpecifierLoc(), and TypeInfoIsInStandardLibrary().

◆ fromCVRMask()

static Qualifiers clang::Qualifiers::fromCVRMask ( unsigned CVR )

inlinestatic

Definition at line 239 of file Type.h.

References addCVRQualifiers().

Referenced by clang::Sema::BuildQualifiedType(), CastsAwayConstness(), clang::InitializationSequence::Diagnose(), clang::ASTContext::getCVRQualifiedType(), clang::ArrayType::getIndexTypeQualifiers(), and clang::TreeTransform< Derived >::RebuildQualifiedType().

◆ fromCVRUMask()

static Qualifiers clang::Qualifiers::fromCVRUMask ( unsigned CVRU )

inlinestatic

Definition at line 245 of file Type.h.

References addCVRUQualifiers().

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

◆ fromFastMask()

static Qualifiers clang::Qualifiers::fromFastMask ( unsigned Mask )

inlinestatic

Definition at line 233 of file Type.h.

References addFastQualifiers().

Referenced by clang::FunctionType::getFastTypeQuals(), and clang::QualType::split().

◆ fromOpaqueValue()

static Qualifiers clang::Qualifiers::fromOpaqueValue ( unsigned opaque )

inlinestatic

Definition at line 252 of file Type.h.

Referenced by clang::FormatASTNodeDiagnosticArgument(), clang::serialization::DataStreamBasicReader< Impl >::readQualifiers(), and clang::ASTRecordReader::readQualifiers().

◆ getAddressSpace()

LangAS clang::Qualifiers::getAddressSpace ( ) const

inline

Definition at line 377 of file Type.h.

Referenced by addConsistentQualifiers(), addQualifiers(), checkConditionalPointerCompatibility(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), checkPointerTypesForAssignment(), clang::CodeGen::CodeGenTypes::DeriveThisType(), clang::Sema::DiagnoseAssignmentResult(), DiagnoseBadConversion(), EmitDeclDestroy(), clang::Sema::FindCompositePointerType(), clang::QualType::getAddressSpace(), clang::ExtQuals::getAddressSpace(), clang::CodeGen::LValue::getAddressSpace(), getAddressSpaceAttributePrintValue(), hasInconsistentOrSupersetQualifiersOf(), hasTargetSpecificAddressSpace(), isAddressSpaceSupersetOf(), isEmptyWhenPrinted(), IsModifiable(), isQualificationConversionStep(), isStrictSupersetOf(), clang::ASTContext::mergeObjCGCQualifiers(), clang::ASTContext::mergeTypes(), print(), clang::TreeTransform< Derived >::RebuildQualifiedType(), removeCommonQualifiers(), removeQualifiers(), ResolveConstructorOverload(), TryReferenceInitializationCore(), and TryUserDefinedConversion().

◆ getAddressSpaceAttributePrintValue()

unsigned clang::Qualifiers::getAddressSpaceAttributePrintValue ( ) const

inline

Get the address space attribute value to be printed by diagnostics.

Definition at line 384 of file Type.h.

References clang::Default, getAddressSpace(), hasTargetSpecificAddressSpace(), and clang::toTargetAddressSpace().

Referenced by clang::Sema::ActOnCXXDelete(), and clang::Sema::CheckAllocatedType().

◆ getAddrSpaceAsString()

std::string Qualifiers::getAddrSpaceAsString ( LangAS AS )

static

◆ getAsOpaqueValue()

unsigned clang::Qualifiers::getAsOpaqueValue ( ) const

inline

Definition at line 259 of file Type.h.

Referenced by clang::ODRHash::AddQualType(), clang::ASTContext::mergeTypes(), clang::operator<<(), clang::serialization::DataStreamBasicReader< Impl >::readQualifiers(), and clang::serialization::DataStreamBasicWriter< Impl >::writeQualifiers().

◆ getAsString() [1/2]

std::string Qualifiers::getAsString ( ) const

Definition at line 2276 of file TypePrinter.cpp.

References getAsString().

Referenced by clang::Sema::actOnObjCTypeParam(), applyObjCTypeArgs(), clang::Sema::BuildCallToMemberFunction(), fixLocalVarDeclWithSpan(), fixParamWithSpan(), clang::FormatASTNodeDiagnosticArgument(), getAsString(), getFunctionQualifiersAsString(), clang::JSONNodeDumper::Visit(), clang::TextNodeDumper::Visit(), clang::JSONNodeDumper::VisitArrayType(), and clang::TextNodeDumper::VisitArrayType().

◆ getAsString() [2/2]

std::string Qualifiers::getAsString ( const PrintingPolicy & Policy ) const

Definition at line 2284 of file TypePrinter.cpp.

References print().

◆ getCVRQualifiers()

unsigned clang::Qualifiers::getCVRQualifiers ( ) const

inline

◆ getCVRUQualifiers()

unsigned clang::Qualifiers::getCVRUQualifiers ( ) const

inline

Definition at line 295 of file Type.h.

References CVRMask.

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

◆ getFastQualifiers()

unsigned clang::Qualifiers::getFastQualifiers ( ) const

inline

Definition at line 411 of file Type.h.

References FastMask.

Referenced by clang::QualifierCollector::apply(), clang::ASTContext::getQualifiedType(), hasFastQualifiers(), and clang::ASTContext::removeAddrSpaceQualType().

◆ getNonFastQualifiers()

Qualifiers clang::Qualifiers::getNonFastQualifiers ( ) const

inline

Definition at line 431 of file Type.h.

References setFastQualifiers().

◆ getObjCGCAttr()

GC clang::Qualifiers::getObjCGCAttr ( ) const

inline

◆ getObjCLifetime()

ObjCLifetime clang::Qualifiers::getObjCLifetime ( ) const

inline

Definition at line 351 of file Type.h.

Referenced by clang::Sema::ActOnFields(), addConsistentQualifiers(), addQualifiers(), clang::ASTContext::BlockRequiresCopying(), CheckOriginalCallArgDeduction(), checkPointerTypesForAssignment(), compatiblyIncludes(), compatiblyIncludesObjCLifetime(), computeCopyInfoForBlockCapture(), clang::Sema::DiagnoseAssignmentResult(), DiagnoseBadConversion(), clang::CodeGen::CGObjCRuntime::EmitInitOfCatchParam(), clang::Sema::FindCompositePointerType(), GetFullTypeForDeclarator(), clang::QualType::getObjCLifetime(), clang::ExtQuals::getObjCLifetime(), clang::CodeGen::LValue::getObjCLifetime(), clang::CodeGen::AggValueSlot::getObjCLifetime(), handleObjCExternallyRetainedAttr(), hasInconsistentOrSupersetQualifiersOf(), hasNonTrivialObjCLifetime(), hasStrongOrWeakObjCLifetime(), InitCatchParam(), isEmptyWhenPrinted(), isNonTrivialObjCLifetimeConversion(), clang::QualType::isNonTrivialToPrimitiveCopy(), clang::Sema::isObjCWritebackConversion(), isQualificationConversionStep(), isStrictSupersetOf(), clang::ASTContext::mergeTypes(), print(), removeCommonQualifiers(), removeQualifiers(), and tryMakeVariablePseudoStrong().

◆ hasAddressSpace()

bool clang::Qualifiers::hasAddressSpace ( ) const

inline

Definition at line 376 of file Type.h.

Referenced by addConsistentQualifiers(), addQualifiers(), clang::Sema::BuildFieldReferenceExpr(), DeduceTemplateArgumentsByTypeMatch(), clang::ASTContext::getAddrSpaceQualType(), clang::QualType::hasAddressSpace(), clang::ExtQuals::hasAddressSpace(), hasInconsistentOrSupersetQualifiersOf(), hasMangledSubstitutionQualifiers(), isStrictSupersetOf(), TryReferenceInitializationCore(), and TryReferenceListInitialization().

◆ hasConst()

bool clang::Qualifiers::hasConst ( ) const

inline

Definition at line 263 of file Type.h.

References Const.

Referenced by CastsAwayConstness(), clang::Sema::CheckFunctionDeclaration(), CheckOriginalCallArgDeduction(), compatiblyIncludesObjCLifetime(), DiagnoseCastQual(), getNextQualifier(), clang::QualifiersAndAtomic::hasConst(), clang::FunctionType::isConst(), isConstantEmittableObjectType(), isNonTrivialObjCLifetimeConversion(), isQualificationConversionStep(), TryReferenceInitializationCore(), and TryReferenceListInitialization().

◆ hasCVRQualifiers()

bool clang::Qualifiers::hasCVRQualifiers ( ) const

inline

Definition at line 293 of file Type.h.

References getCVRQualifiers().

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

◆ hasFastQualifiers()

bool clang::Qualifiers::hasFastQualifiers ( ) const

inline

Definition at line 410 of file Type.h.

References getFastQualifiers().

Referenced by clang::ExtQuals::ExtQuals(), and clang::ExtQuals::Profile().

◆ hasNonFastQualifiers()

bool clang::Qualifiers::hasNonFastQualifiers ( ) const

inline

Return true if the set contains any qualifiers which require an ExtQuals node to be allocated.

Definition at line 430 of file Type.h.

Referenced by clang::QualifierCollector::apply(), clang::ExtQuals::ExtQuals(), clang::ASTContext::getQualifiedType(), and clang::ASTContext::removeAddrSpaceQualType().

◆ hasNonTrivialObjCLifetime()

bool clang::Qualifiers::hasNonTrivialObjCLifetime ( ) const

inline

True if the lifetime is neither None or ExplicitNone.

Definition at line 365 of file Type.h.

References getObjCLifetime(), and OCL_ExplicitNone.

Referenced by DeduceTemplateArgumentsByTypeMatch(), and clang::QualType::hasNonTrivialObjCLifetime().

◆ hasObjCGCAttr()

bool clang::Qualifiers::hasObjCGCAttr ( ) const

inline

Definition at line 324 of file Type.h.

Referenced by addConsistentQualifiers(), addQualifiers(), compatiblyIncludes(), DeduceTemplateArgumentsByTypeMatch(), clang::ASTContext::getObjCGCQualType(), hasInconsistentOrSupersetQualifiersOf(), clang::ExtQuals::hasObjCGCAttr(), isQualificationConversionStep(), and isStrictSupersetOf().

◆ hasObjCLifetime()

bool clang::Qualifiers::hasObjCLifetime ( ) const

inline

Definition at line 350 of file Type.h.

Referenced by addConsistentQualifiers(), addObjCLifetime(), addQualifiers(), checkARCPropertyImpl(), computeDestroyInfoForBlockCapture(), DeduceTemplateArgumentsByTypeMatch(), DiagnoseUninitializedUse(), clang::ASTContext::getCanonicalFunctionResultType(), GetFullTypeForDeclarator(), HasExplicitOwnershipAttr(), hasInconsistentOrSupersetQualifiersOf(), clang::ExtQuals::hasObjCLifetime(), isStrictSupersetOf(), clang::TreeTransform< Derived >::RebuildQualifiedType(), rewriteToObjCProperty(), and TryDefaultInitialization().

◆ hasOnlyConst()

bool clang::Qualifiers::hasOnlyConst ( ) const

inline

Definition at line 264 of file Type.h.

References Const.

Referenced by TryObjectArgumentInitialization().

◆ hasOnlyRestrict()

bool clang::Qualifiers::hasOnlyRestrict ( ) const

inline

Definition at line 284 of file Type.h.

References Restrict.

◆ hasOnlyVolatile()

bool clang::Qualifiers::hasOnlyVolatile ( ) const

inline

Definition at line 274 of file Type.h.

References Volatile.

◆ hasQualifiers()

bool clang::Qualifiers::hasQualifiers ( ) const

inline

Return true if the set contains any qualifiers.

Definition at line 438 of file Type.h.

Referenced by clang::InitializationSequence::Diagnose(), operator bool(), and clang::ASTNodeTraverser< Derived, NodeDelegateType >::Visit().

◆ hasRestrict()

bool clang::Qualifiers::hasRestrict ( ) const

inline

Definition at line 283 of file Type.h.

References Restrict.

Referenced by clang::Sema::BuildQualifiedType(), CollectVRQualifiers(), getNextQualifier(), clang::QualifiersAndAtomic::hasRestrict(), clang::FunctionType::isRestrict(), clang::CodeGen::LValue::isRestrictQualified(), and clang::TreeTransform< Derived >::RebuildQualifiedType().

◆ hasStrongOrWeakObjCLifetime()

bool clang::Qualifiers::hasStrongOrWeakObjCLifetime ( ) const

inline

True if the lifetime is either strong or weak.

Definition at line 371 of file Type.h.

References getObjCLifetime(), OCL_Strong, and OCL_Weak.

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

◆ hasTargetSpecificAddressSpace()

bool clang::Qualifiers::hasTargetSpecificAddressSpace ( ) const

inline

Definition at line 380 of file Type.h.

References getAddressSpace(), and clang::isTargetAddressSpace().

Referenced by getAddressSpaceAttributePrintValue().

◆ hasUnaligned()

bool clang::Qualifiers::hasUnaligned ( ) const

inline

Definition at line 317 of file Type.h.

Referenced by compatiblyIncludes(), decomposeTypeForEH(), GetAlignOfType(), clang::ASTContext::getDeclAlign(), clang::CodeGen::CodeGenModule::getNaturalTypeAlignment(), hasMangledSubstitutionQualifiers(), clang::ASTContext::mergeTypes(), clang::Sema::PerformImplicitConversion(), print(), clang::Sema::RefersToMemberWithReducedAlignment(), and withoutUnaligned().

◆ hasVolatile()

bool clang::Qualifiers::hasVolatile ( ) const

inline

Definition at line 273 of file Type.h.

References Volatile.

Referenced by CollectVRQualifiers(), DiagnoseCastQual(), getNextQualifier(), clang::QualifiersAndAtomic::hasVolatile(), isConstantEmittableObjectType(), clang::QualType::isNonTrivialToPrimitiveCopy(), clang::FunctionType::isVolatile(), clang::CodeGen::LValue::isVolatile(), clang::CodeGen::AggValueSlot::isVolatile(), clang::CodeGen::LValue::isVolatileQualified(), TryReferenceInitializationCore(), and TryReferenceListInitialization().

◆ isAddressSpaceSupersetOf() [1/2]

static bool clang::Qualifiers::isAddressSpaceSupersetOf	(	LangAS	A,
		LangAS	B
	)

inlinestatic

Returns true if address space A is equal to or a superset of B.

OpenCL v2.0 defines conversion rules (OpenCLC v2.0 s6.5.5) and notion of overlapping address spaces. CL1.1 or CL1.2: every address space is a superset of itself. CL2.0 adds: __generic is a superset of any address space except for __constant.

Definition at line 494 of file Type.h.

References clang::cuda_constant, clang::cuda_device, clang::cuda_shared, clang::Default, clang::isPtrSizeAddressSpace(), clang::opencl_constant, clang::opencl_generic, clang::opencl_global, clang::opencl_global_device, clang::opencl_global_host, clang::sycl_global, clang::sycl_global_device, clang::sycl_global_host, clang::sycl_local, and clang::sycl_private.

Referenced by clang::Sema::AddOverloadCandidate(), checkConditionalPointerCompatibility(), checkPointerTypesForAssignment(), compatiblyIncludes(), clang::InitializationSequence::Diagnose(), clang::Sema::FindCompositePointerType(), clang::QualType::isAddressSpaceOverlapping(), isAddressSpaceSupersetOf(), clang::isBetterOverloadCandidate(), isQualificationConversionStep(), clang::ASTContext::mergeTypes(), clang::Sema::PerformImplicitConversion(), TryObjectArgumentInitialization(), TryReferenceInitializationCore(), TryReferenceListInitialization(), and TryReinterpretCast().

◆ isAddressSpaceSupersetOf() [2/2]

bool clang::Qualifiers::isAddressSpaceSupersetOf ( Qualifiers other ) const

inline

Returns true if the address space in these qualifiers is equal to or a superset of the address space in the argument qualifiers.

Definition at line 524 of file Type.h.

References getAddressSpace(), and isAddressSpaceSupersetOf().

◆ isEmptyWhenPrinted()

bool Qualifiers::isEmptyWhenPrinted ( const PrintingPolicy & Policy ) const

Definition at line 2291 of file TypePrinter.cpp.

References clang::Default, getAddressSpace(), getCVRQualifiers(), getObjCGCAttr(), getObjCLifetime(), OCL_Strong, and clang::PrintingPolicy::SuppressStrongLifetime.

◆ isStrictSupersetOf()

bool Qualifiers::isStrictSupersetOf ( Qualifiers Other ) const

Determine whether this set of qualifiers is a strict superset of another set of qualifiers, not considering qualifier compatibility.

Definition at line 60 of file Type.cpp.

References CVRMask, getAddressSpace(), getObjCGCAttr(), getObjCLifetime(), hasAddressSpace(), hasObjCGCAttr(), and hasObjCLifetime().

Referenced by DeduceTemplateArgumentsByTypeMatch().

◆ operator bool()

clang::Qualifiers::operator bool ( ) const

inlineexplicit

Definition at line 572 of file Type.h.

References hasQualifiers().

◆ operator!=()

bool clang::Qualifiers::operator!= ( Qualifiers Other ) const

inline

Definition at line 570 of file Type.h.

◆ operator+=()

Qualifiers & clang::Qualifiers::operator+= ( Qualifiers R )

inline

Definition at line 574 of file Type.h.

References addQualifiers().

◆ operator-=()

Qualifiers & clang::Qualifiers::operator-= ( Qualifiers R )

inline

Definition at line 586 of file Type.h.

References removeQualifiers().

◆ operator==()

bool clang::Qualifiers::operator== ( Qualifiers Other ) const

inline

Definition at line 569 of file Type.h.

◆ print()

void Qualifiers::print	(	raw_ostream &	OS,
		const PrintingPolicy &	Policy,
		bool	appendSpaceIfNonEmpty = `false`
	)		const

Definition at line 2355 of file TypePrinter.cpp.

References AppendTypeQualList(), getAddressSpace(), getAddrSpaceAsString(), getCVRQualifiers(), getObjCGCAttr(), getObjCLifetime(), hasUnaligned(), clang::isTargetAddressSpace(), OCL_Autoreleasing, OCL_ExplicitNone, OCL_None, OCL_Strong, OCL_Weak, clang::PrintingPolicy::Restrict, clang::PrintingPolicy::SuppressStrongLifetime, and Weak.

Referenced by getAsString().

◆ Profile()

void clang::Qualifiers::Profile ( llvm::FoldingSetNodeID & ID ) const

inline

Definition at line 606 of file Type.h.

References ID.

Referenced by clang::ExtQuals::Profile().

◆ removeAddressSpace()

void clang::Qualifiers::removeAddressSpace ( )

inline

Definition at line 402 of file Type.h.

References clang::Default, and setAddressSpace().

Referenced by clang::Sema::BuildCallToMemberFunction(), checkBlockPointerTypesForAssignment(), checkConditionalPointerCompatibility(), DeduceTemplateArgumentsByTypeMatch(), clang::Expr::isNullPointerConstant(), clang::ASTContext::mergeTypes(), RemoveAddressSpaceFromPtr(), clang::ASTContext::removeAddrSpaceQualType(), removeCommonQualifiers(), removeQualifiers(), stripUnusedQualifiers(), TryReferenceInitializationCore(), and withoutAddressSpace().

◆ removeCommonQualifiers()

static Qualifiers clang::Qualifiers::removeCommonQualifiers	(	Qualifiers &	L,
		Qualifiers &	R
	)

inlinestatic

Returns the common set of qualifiers while removing them from the given sets.

Definition at line 197 of file Type.h.

References addCVRQualifiers(), CVRMask, getAddressSpace(), getCVRQualifiers(), getObjCGCAttr(), getObjCLifetime(), removeAddressSpace(), removeCVRQualifiers(), removeObjCGCAttr(), removeObjCLifetime(), setAddressSpace(), setObjCGCAttr(), and setObjCLifetime().

Referenced by clang::ASTContext::getCommonSugaredType(), and UnwrapTypeForDebugInfo().

◆ removeConst()

void clang::Qualifiers::removeConst ( )

inline

Definition at line 265 of file Type.h.

Referenced by clang::Sema::BuildFieldReferenceExpr(), clang::Sema::BuildQualifiedType(), clang::Sema::BuiltinChangeCVRQualifiers(), clang::Sema::BuiltinRemoveReference(), CastsAwayConstness(), clang::Sema::CheckMain(), checkMemberDecomposition(), getNextQualifier(), clang::QualifiersAndAtomic::removeConst(), and TypeInfoIsInStandardLibrary().

◆ removeCVRQualifiers() [1/2]

void clang::Qualifiers::removeCVRQualifiers ( )

inline

Definition at line 305 of file Type.h.

References CVRMask, and removeCVRQualifiers().

Referenced by removeCVRQualifiers().

◆ removeCVRQualifiers() [2/2]

void clang::Qualifiers::removeCVRQualifiers ( unsigned mask )

inline

Definition at line 301 of file Type.h.

References CVRMask.

Referenced by clang::Sema::ActOnCXXDelete(), clang::Sema::actOnObjCTypeParam(), checkConditionalPointerCompatibility(), DeduceTemplateArgumentsByTypeMatch(), GetFullTypeForDeclarator(), clang::ASTContext::hasCvrSimilarType(), removeCommonQualifiers(), and shouldBeModeledWithNoOp().

◆ removeFastQualifiers() [1/2]

void clang::Qualifiers::removeFastQualifiers ( )

inline

Definition at line 420 of file Type.h.

References FastMask, and removeFastQualifiers().

Referenced by removeFastQualifiers().

◆ removeFastQualifiers() [2/2]

void clang::Qualifiers::removeFastQualifiers ( unsigned mask )

inline

Definition at line 416 of file Type.h.

References FastMask.

◆ removeObjCGCAttr()

void clang::Qualifiers::removeObjCGCAttr ( )

inline

Definition at line 329 of file Type.h.

References GCNone, and setObjCGCAttr().

Referenced by clang::Sema::BuildCallToMemberFunction(), clang::Sema::BuildFieldReferenceExpr(), DeduceTemplateArgumentsByTypeMatch(), isQualificationConversionStep(), removeCommonQualifiers(), removeQualifiers(), stripUnusedQualifiers(), TryReferenceInit(), TryStaticCast(), and withoutObjCGCAttr().

◆ removeObjCLifetime()

void clang::Qualifiers::removeObjCLifetime ( )

inline

Definition at line 357 of file Type.h.

References OCL_None, and setObjCLifetime().

Referenced by BuildSimilarlyQualifiedPointerType(), checkPointerTypesForAssignment(), DeduceTemplateArgumentsByTypeMatch(), clang::ASTContext::getCanonicalFunctionResultType(), clang::ASTContext::getUnqualifiedObjCPointerType(), handleObjCOwnershipTypeAttr(), isQualificationConversionStep(), clang::TreeTransform< Derived >::RebuildQualifiedType(), removeCommonQualifiers(), removeQualifiers(), rewriteToObjCProperty(), stripUnusedQualifiers(), TryReferenceInit(), TryStaticCast(), and withoutObjCLifetime().

◆ removeQualifiers()

void clang::Qualifiers::removeQualifiers ( Qualifiers Q )

inline

Remove the qualifiers from the given set from this set.

Definition at line 459 of file Type.h.

References CVRMask, getAddressSpace(), getObjCGCAttr(), getObjCLifetime(), removeAddressSpace(), removeObjCGCAttr(), and removeObjCLifetime().

Referenced by operator-=().

◆ removeRestrict()

void clang::Qualifiers::removeRestrict ( )

inline

Definition at line 285 of file Type.h.

Referenced by clang::Sema::BuildQualifiedType(), clang::Sema::BuiltinChangeCVRQualifiers(), getNextQualifier(), and clang::QualifiersAndAtomic::removeRestrict().

◆ removeUnaligned()

void clang::Qualifiers::removeUnaligned ( )

inline

Definition at line 321 of file Type.h.

Referenced by clang::QualType::isAtLeastAsQualifiedAs(), isQualificationConversionStep(), stripUnusedQualifiers(), TryReferenceInit(), and withoutUnaligned().

◆ removeVolatile()

void clang::Qualifiers::removeVolatile ( )

inline

Definition at line 275 of file Type.h.

Referenced by clang::Sema::BuildQualifiedType(), clang::Sema::BuiltinChangeCVRQualifiers(), clang::Sema::BuiltinRemoveReference(), clang::Sema::CheckExplicitlyDefaultedComparison(), getNextQualifier(), clang::QualifiersAndAtomic::removeVolatile(), and clang::CodeGen::AggValueSlot::setVolatile().

◆ setAddressSpace()

void clang::Qualifiers::setAddressSpace ( LangAS space )

inline

Definition at line 397 of file Type.h.

References MaxAddressSpace.

Referenced by addAddressSpace(), clang::Sema::BuildCallExpr(), checkConditionalPointerCompatibility(), clang::Sema::FindCompositePointerType(), clang::ASTContext::InitBuiltinTypes(), NoteFunctionCandidate(), removeAddressSpace(), and removeCommonQualifiers().

◆ setCVRQualifiers()

void clang::Qualifiers::setCVRQualifiers ( unsigned mask )

inline

Definition at line 297 of file Type.h.

References CVRMask.

Referenced by DeduceTemplateArgumentsByTypeMatch().

◆ setFastQualifiers()

void clang::Qualifiers::setFastQualifiers ( unsigned mask )

inline

Definition at line 412 of file Type.h.

References FastMask.

Referenced by getNonFastQualifiers().

◆ setObjCGCAttr()

void clang::Qualifiers::setObjCGCAttr ( GC type )

inline

Definition at line 326 of file Type.h.

References clang::ast_matchers::type.

Referenced by addObjCGCAttr(), clang::Sema::FindCompositePointerType(), clang::CodeGen::LValue::MakeAddr(), removeCommonQualifiers(), and removeObjCGCAttr().

◆ setObjCLifetime()

void clang::Qualifiers::setObjCLifetime ( ObjCLifetime type )

inline

Definition at line 354 of file Type.h.

References clang::ast_matchers::type.

Referenced by checkARCPropertyImpl(), CheckOriginalCallArgDeduction(), clang::Sema::CheckTemplateTypeArgument(), DeduceTemplateArgumentsByTypeMatch(), clang::Sema::FindCompositePointerType(), clang::ObjCMethodDecl::getSelfType(), clang::Sema::isObjCWritebackConversion(), removeCommonQualifiers(), and removeObjCLifetime().

◆ setUnaligned()

void clang::Qualifiers::setUnaligned ( bool flag )

inline

Definition at line 318 of file Type.h.

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

◆ withConst()

Qualifiers clang::Qualifiers::withConst ( ) const

inline

Definition at line 267 of file Type.h.

References addConst().

Referenced by clang::QualifiersAndAtomic::withConst().

◆ withoutAddressSpace()

Qualifiers clang::Qualifiers::withoutAddressSpace ( ) const

inline

Definition at line 344 of file Type.h.

References removeAddressSpace().

Referenced by TryReferenceInitializationCore(), and TryReferenceListInitialization().

◆ withoutObjCGCAttr()

Qualifiers clang::Qualifiers::withoutObjCGCAttr ( ) const

inline

Definition at line 334 of file Type.h.

References removeObjCGCAttr().

Referenced by checkPointerTypesForAssignment().

◆ withoutObjCLifetime()

Qualifiers clang::Qualifiers::withoutObjCLifetime ( ) const

inline

Definition at line 339 of file Type.h.

References removeObjCLifetime().

Referenced by checkPointerTypesForAssignment(), DeduceTemplateArgumentsByTypeMatch(), and clang::Sema::isObjCWritebackConversion().

◆ withRestrict()

Qualifiers clang::Qualifiers::withRestrict ( ) const

inline

Definition at line 287 of file Type.h.

References addRestrict().

Referenced by clang::QualifiersAndAtomic::withRestrict().

◆ withVolatile()

Qualifiers clang::Qualifiers::withVolatile ( ) const

inline

Definition at line 277 of file Type.h.

References addVolatile().

Referenced by clang::QualifiersAndAtomic::withVolatile().

Friends And Related Function Documentation

◆ operator+

Qualifiers operator+	(	Qualifiers	L,
		Qualifiers	R
	)

friend

Definition at line 581 of file Type.h.

◆ operator-

Qualifiers operator-	(	Qualifiers	L,
		Qualifiers	R
	)

friend

Compute the difference between two qualifier sets.

Definition at line 592 of file Type.h.

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

include/clang/AST/Type.h
lib/AST/Type.cpp
lib/AST/TypePrinter.cpp

Public Types

Public Member Functions

Static Public Member Functions

Friends

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

◆ GC

◆ ObjCLifetime

◆ TQ

Member Function Documentation

◆ addAddressSpace()

◆ addConsistentQualifiers()

◆ addConst()

◆ addCVRQualifiers()

◆ addCVRUQualifiers()

◆ addFastQualifiers()

◆ addObjCGCAttr()

◆ addObjCLifetime()

◆ addQualifiers()

◆ addRestrict()

◆ addUnaligned()

◆ addVolatile()

◆ compatiblyIncludes()

◆ compatiblyIncludesObjCLifetime()

◆ empty()

◆ fromCVRMask()

◆ fromCVRUMask()

◆ fromFastMask()

◆ fromOpaqueValue()

◆ getAddressSpace()

◆ getAddressSpaceAttributePrintValue()

◆ getAddrSpaceAsString()

◆ getAsOpaqueValue()

◆ getAsString() [1/2]

◆ getAsString() [2/2]

◆ getCVRQualifiers()

◆ getCVRUQualifiers()

◆ getFastQualifiers()

◆ getNonFastQualifiers()

◆ getObjCGCAttr()

◆ getObjCLifetime()

◆ hasAddressSpace()

◆ hasConst()

◆ hasCVRQualifiers()

◆ hasFastQualifiers()

◆ hasNonFastQualifiers()

◆ hasNonTrivialObjCLifetime()

◆ hasObjCGCAttr()

◆ hasObjCLifetime()

◆ hasOnlyConst()

◆ hasOnlyRestrict()

◆ hasOnlyVolatile()

◆ hasQualifiers()

◆ hasRestrict()

◆ hasStrongOrWeakObjCLifetime()

◆ hasTargetSpecificAddressSpace()

◆ hasUnaligned()

◆ hasVolatile()

◆ isAddressSpaceSupersetOf() [1/2]

◆ isAddressSpaceSupersetOf() [2/2]

◆ isEmptyWhenPrinted()

◆ isStrictSupersetOf()

◆ operator bool()

◆ operator!=()

◆ operator+=()

◆ operator-=()

◆ operator==()

◆ print()

◆ Profile()

◆ removeAddressSpace()

◆ removeCommonQualifiers()

◆ removeConst()

◆ removeCVRQualifiers() [1/2]

◆ removeCVRQualifiers() [2/2]

◆ removeFastQualifiers() [1/2]

◆ removeFastQualifiers() [2/2]

◆ removeObjCGCAttr()

◆ removeObjCLifetime()

◆ removeQualifiers()