clang 18.0.0git
|
StandardConversionSequence - represents a standard conversion sequence (C++ 13.3.3.1.1). More...
#include "clang/Sema/Overload.h"
Public Member Functions | |
void | setFromType (QualType T) |
void | setToType (unsigned Idx, QualType T) |
void | setAllToTypes (QualType T) |
QualType | getFromType () const |
QualType | getToType (unsigned Idx) const |
void | setAsIdentityConversion () |
StandardConversionSequence - Set the standard conversion sequence to the identity conversion. | |
bool | isIdentityConversion () const |
ImplicitConversionRank | getRank () const |
getRank - Retrieve the rank of this standard conversion sequence (C++ 13.3.3.1.1p3). | |
NarrowingKind | getNarrowingKind (ASTContext &Context, const Expr *Converted, APValue &ConstantValue, QualType &ConstantType, bool IgnoreFloatToIntegralConversion=false) const |
Check if this standard conversion sequence represents a narrowing conversion, according to C++11 [dcl.init.list]p7. | |
bool | isPointerConversionToBool () const |
isPointerConversionToBool - Determines whether this conversion is a conversion of a pointer or pointer-to-member to bool. | |
bool | isPointerConversionToVoidPointer (ASTContext &Context) const |
isPointerConversionToVoidPointer - Determines whether this conversion is a conversion of a pointer to a void pointer. | |
void | dump () const |
dump - Print this standard conversion sequence to standard error. | |
Public Attributes | |
ImplicitConversionKind | First: 8 |
First – The first conversion can be an lvalue-to-rvalue conversion, array-to-pointer conversion, or function-to-pointer conversion. | |
ImplicitConversionKind | Second: 8 |
Second - The second conversion can be an integral promotion, floating point promotion, integral conversion, floating point conversion, floating-integral conversion, pointer conversion, pointer-to-member conversion, or boolean conversion. | |
ImplicitConversionKind | Third: 8 |
Third - The third conversion can be a qualification conversion or a function conversion. | |
unsigned | DeprecatedStringLiteralToCharPtr: 1 |
Whether this is the deprecated conversion of a string literal to a pointer to non-const character data (C++ 4.2p2). | |
unsigned | QualificationIncludesObjCLifetime: 1 |
Whether the qualification conversion involves a change in the Objective-C lifetime (for automatic reference counting). | |
unsigned | IncompatibleObjC: 1 |
IncompatibleObjC - Whether this is an Objective-C conversion that we should warn about (if we actually use it). | |
unsigned | ReferenceBinding: 1 |
ReferenceBinding - True when this is a reference binding (C++ [over.ics.ref]). | |
unsigned | DirectBinding: 1 |
DirectBinding - True when this is a reference binding that is a direct binding (C++ [dcl.init.ref]). | |
unsigned | IsLvalueReference: 1 |
Whether this is an lvalue reference binding (otherwise, it's an rvalue reference binding). | |
unsigned | BindsToFunctionLvalue: 1 |
Whether we're binding to a function lvalue. | |
unsigned | BindsToRvalue: 1 |
Whether we're binding to an rvalue. | |
unsigned | BindsImplicitObjectArgumentWithoutRefQualifier: 1 |
Whether this binds an implicit object argument to a non-static member function without a ref-qualifier. | |
unsigned | ObjCLifetimeConversionBinding: 1 |
Whether this binds a reference to an object with a different Objective-C lifetime qualifier. | |
void * | FromTypePtr |
FromType - The type that this conversion is converting from. | |
void * | ToTypePtrs [3] |
ToType - The types that this conversion is converting to in each step. | |
CXXConstructorDecl * | CopyConstructor |
CopyConstructor - The copy constructor that is used to perform this conversion, when the conversion is actually just the initialization of an object via copy constructor. | |
DeclAccessPair | FoundCopyConstructor |
StandardConversionSequence - represents a standard conversion sequence (C++ 13.3.3.1.1).
A standard conversion sequence contains between zero and three conversions. If a particular conversion is not needed, it will be set to the identity conversion (ICK_Identity). Note that the three conversions are specified as separate members (rather than in an array) so that we can keep the size of a standard conversion sequence to a single word.
Definition at line 261 of file Overload.h.
LLVM_DUMP_METHOD void StandardConversionSequence::dump | ( | ) | const |
dump - Print this standard conversion sequence to standard error.
Useful for debugging overloading issues.
Definition at line 498 of file SemaOverload.cpp.
References CopyConstructor, DirectBinding, First, GetImplicitConversionName(), clang::ICK_Identity, ReferenceBinding, Second, and Third.
Referenced by clang::UserDefinedConversionSequence::dump(), and clang::ImplicitConversionSequence::dump().
|
inline |
Definition at line 348 of file Overload.h.
References FromTypePtr, and clang::QualType::getFromOpaquePtr().
Referenced by CheckConvertedConstantConversions(), CompareDerivedToBaseConversions(), CompareStandardConversionSequences(), getFixedEnumPromtion(), isPointerConversionToBool(), and isPointerConversionToVoidPointer().
NarrowingKind StandardConversionSequence::getNarrowingKind | ( | ASTContext & | Ctx, |
const Expr * | Converted, | ||
APValue & | ConstantValue, | ||
QualType & | ConstantType, | ||
bool | IgnoreFloatToIntegralConversion = false |
||
) | const |
Check if this standard conversion sequence represents a narrowing conversion, according to C++11 [dcl.init.list]p7.
Ctx | The AST context. |
Converted | The result of applying this standard conversion sequence. |
ConstantValue | If this is an NK_Constant_Narrowing conversion, the value of the expression prior to the narrowing conversion. |
ConstantType | If this is an NK_Constant_Narrowing conversion, the type of the expression prior to the narrowing conversion. |
IgnoreFloatToIntegralConversion | If true type-narrowing conversions from floating point types to integral types should be ignored. |
Definition at line 324 of file SemaOverload.cpp.
References clang::Type::getAs(), clang::APValue::getFloat(), clang::ASTContext::getFloatingTypeOrder(), clang::ASTContext::getFloatTypeSemantics(), clang::ASTContext::getIntWidth(), clang::ASTContext::getLangOpts(), getToType(), clang::ICK_Boolean_Conversion, clang::ICK_Floating_Conversion, clang::ICK_Floating_Integral, clang::ICK_Integral_Conversion, IgnoreNarrowingConversion(), clang::Initializer, clang::APValue::isFloat(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::Type::isIntegralType(), clang::Type::isRealFloatingType(), clang::Type::isSignedIntegerOrEnumerationType(), clang::NK_Constant_Narrowing, clang::NK_Dependent_Narrowing, clang::NK_Not_Narrowing, clang::NK_Type_Narrowing, clang::NK_Variable_Narrowing, clang::Result, and Second.
Referenced by BuildConvertedConstantExpression(), checkThreeWayNarrowingConversion(), and DiagnoseNarrowingInInitList().
ImplicitConversionRank StandardConversionSequence::getRank | ( | ) | const |
getRank - Retrieve the rank of this standard conversion sequence (C++ 13.3.3.1.1p3).
The rank is the largest rank of each of the implicit conversions.
Definition at line 225 of file SemaOverload.cpp.
References First, clang::GetConversionRank(), clang::ICR_Exact_Match, Second, and Third.
Referenced by CompareStandardConversionSequences().
Definition at line 352 of file Overload.h.
References clang::QualType::getFromOpaquePtr(), and ToTypePtrs.
Referenced by CheckConvertedConstantConversions(), CompareDerivedToBaseConversions(), CompareQualificationConversions(), CompareStandardConversionSequences(), compareStandardConversionSubsets(), getFixedEnumPromtion(), getNarrowingKind(), clang::InitializationSequence::InitializeFrom(), isPointerConversionToBool(), isPointerConversionToVoidPointer(), tryAtomicConversion(), TryListInitialization(), and TryRefInitWithConversionFunction().
|
inline |
Definition at line 359 of file Overload.h.
References clang::ICK_Identity, Second, and Third.
Referenced by compareStandardConversionSubsets().
bool StandardConversionSequence::isPointerConversionToBool | ( | ) | const |
isPointerConversionToBool - Determines whether this conversion is a conversion of a pointer or pointer-to-member to bool.
This is used as part of the ranking of standard conversion sequences (C++ 13.3.3.2p4).
Definition at line 240 of file SemaOverload.cpp.
References First, getFromType(), getToType(), clang::ICK_Array_To_Pointer, clang::ICK_Function_To_Pointer, and isBooleanType().
Referenced by CompareStandardConversionSequences().
bool StandardConversionSequence::isPointerConversionToVoidPointer | ( | ASTContext & | Context | ) | const |
isPointerConversionToVoidPointer - Determines whether this conversion is a conversion of a pointer to a void pointer.
This is used as part of the ranking of standard conversion sequences (C++ 13.3.3.2p4).
Definition at line 261 of file SemaOverload.cpp.
References First, clang::ASTContext::getArrayDecayedType(), clang::Type::getAs(), getFromType(), clang::Type::getPointeeType(), getToType(), clang::ICK_Array_To_Pointer, clang::ICK_Pointer_Conversion, clang::Type::isAnyPointerType(), clang::Type::isVoidType(), and Second.
Referenced by CompareStandardConversionSequences().
|
inline |
Definition at line 342 of file Overload.h.
References clang::QualType::getAsOpaquePtr(), and ToTypePtrs.
Referenced by clang::Sema::AddConversionCandidate(), clang::InitializationSequence::InitializeFrom(), IsInitializerListConstructorConversion(), IsStandardConversion(), IsUserDefinedConversion(), clang::ImplicitConversionSequence::setAsIdentityConversion(), TryImplicitConversion(), TryObjectArgumentInitialization(), and TryUserDefinedConversion().
void StandardConversionSequence::setAsIdentityConversion | ( | ) |
StandardConversionSequence - Set the standard conversion sequence to the identity conversion.
Definition at line 206 of file SemaOverload.cpp.
References BindsImplicitObjectArgumentWithoutRefQualifier, BindsToFunctionLvalue, BindsToRvalue, CopyConstructor, DeprecatedStringLiteralToCharPtr, DirectBinding, First, clang::ICK_Identity, IsLvalueReference, ObjCLifetimeConversionBinding, QualificationIncludesObjCLifetime, ReferenceBinding, Second, and Third.
Referenced by clang::Sema::AddConversionCandidate(), checkThreeWayNarrowingConversion(), clang::ImplicitConversionSequence::getNullptrToBool(), clang::ImplicitConversionSequence::ImplicitConversionSequence(), clang::InitializationSequence::InitializeFrom(), IsInitializerListConstructorConversion(), IsStandardConversion(), IsUserDefinedConversion(), clang::ImplicitConversionSequence::setAsIdentityConversion(), TryImplicitConversion(), TryListInitialization(), tryObjCWritebackConversion(), TryObjectArgumentInitialization(), and TryUserDefinedConversion().
|
inline |
Definition at line 335 of file Overload.h.
References FromTypePtr, and clang::QualType::getAsOpaquePtr().
Referenced by clang::Sema::AddConversionCandidate(), clang::ImplicitConversionSequence::getNullptrToBool(), IsInitializerListConstructorConversion(), IsStandardConversion(), IsUserDefinedConversion(), clang::ImplicitConversionSequence::setAsIdentityConversion(), TryImplicitConversion(), TryListInitialization(), TryObjectArgumentInitialization(), TryReferenceInit(), and TryUserDefinedConversion().
Definition at line 337 of file Overload.h.
References clang::QualType::getAsOpaquePtr(), and ToTypePtrs.
Referenced by checkThreeWayNarrowingConversion(), clang::ImplicitConversionSequence::getNullptrToBool(), IsStandardConversion(), tryAtomicConversion(), TryListInitialization(), and TryReferenceInit().
unsigned clang::StandardConversionSequence::BindsImplicitObjectArgumentWithoutRefQualifier |
Whether this binds an implicit object argument to a non-static member function without a ref-qualifier.
Definition at line 311 of file Overload.h.
Referenced by isBetterReferenceBindingKind(), setAsIdentityConversion(), TryListConversion(), TryObjectArgumentInitialization(), and TryReferenceInit().
unsigned clang::StandardConversionSequence::BindsToFunctionLvalue |
Whether we're binding to a function lvalue.
Definition at line 304 of file Overload.h.
Referenced by isBetterReferenceBindingKind(), setAsIdentityConversion(), TryListConversion(), TryObjectArgumentInitialization(), and TryReferenceInit().
unsigned clang::StandardConversionSequence::BindsToRvalue |
Whether we're binding to an rvalue.
Definition at line 307 of file Overload.h.
Referenced by isBetterReferenceBindingKind(), setAsIdentityConversion(), TryListConversion(), TryObjectArgumentInitialization(), and TryReferenceInit().
CXXConstructorDecl* clang::StandardConversionSequence::CopyConstructor |
CopyConstructor - The copy constructor that is used to perform this conversion, when the conversion is actually just the initialization of an object via copy constructor.
Such conversions are either identity conversions or derived-to-base conversions.
Definition at line 332 of file Overload.h.
Referenced by dump(), IsStandardConversion(), clang::Sema::PerformImplicitConversion(), setAsIdentityConversion(), TryImplicitConversion(), TryReferenceInit(), and TryUserDefinedConversion().
unsigned clang::StandardConversionSequence::DeprecatedStringLiteralToCharPtr |
Whether this is the deprecated conversion of a string literal to a pointer to non-const character data (C++ 4.2p2).
Definition at line 281 of file Overload.h.
Referenced by CompareQualificationConversions(), hasDeprecatedStringLiteralToCharPtrConversion(), IsStandardConversion(), clang::Sema::PerformImplicitConversion(), setAsIdentityConversion(), and TryReferenceInit().
unsigned clang::StandardConversionSequence::DirectBinding |
DirectBinding - True when this is a reference binding that is a direct binding (C++ [dcl.init.ref]).
Definition at line 297 of file Overload.h.
Referenced by BuildConvertedConstantExpression(), dump(), FindConversionForRefInit(), setAsIdentityConversion(), TryObjectArgumentInitialization(), and TryReferenceInit().
ImplicitConversionKind clang::StandardConversionSequence::First |
First – The first conversion can be an lvalue-to-rvalue conversion, array-to-pointer conversion, or function-to-pointer conversion.
Definition at line 266 of file Overload.h.
Referenced by clang::Sema::AddConversionCandidate(), CompareDerivedToBaseConversions(), CompareQualificationConversions(), CompareStandardConversionSequences(), dump(), clang::UserDefinedConversionSequence::dump(), clang::ImplicitConversionSequence::getNullptrToBool(), getRank(), clang::InitializationSequence::InitializeFrom(), isPointerConversionToBool(), isPointerConversionToVoidPointer(), IsStandardConversion(), clang::Sema::PerformImplicitConversion(), setAsIdentityConversion(), TryListInitialization(), tryObjCWritebackConversion(), and TryReferenceInit().
DeclAccessPair clang::StandardConversionSequence::FoundCopyConstructor |
Definition at line 333 of file Overload.h.
Referenced by clang::Sema::PerformImplicitConversion(), and TryUserDefinedConversion().
void* clang::StandardConversionSequence::FromTypePtr |
FromType - The type that this conversion is converting from.
This is an opaque pointer that can be translated into a QualType.
Definition at line 320 of file Overload.h.
Referenced by getFromType(), and setFromType().
unsigned clang::StandardConversionSequence::IncompatibleObjC |
IncompatibleObjC - Whether this is an Objective-C conversion that we should warn about (if we actually use it).
Definition at line 289 of file Overload.h.
Referenced by IsStandardConversion(), and clang::Sema::PerformImplicitConversion().
unsigned clang::StandardConversionSequence::IsLvalueReference |
Whether this is an lvalue reference binding (otherwise, it's an rvalue reference binding).
Definition at line 301 of file Overload.h.
Referenced by isBetterReferenceBindingKind(), setAsIdentityConversion(), TryListConversion(), TryObjectArgumentInitialization(), and TryReferenceInit().
unsigned clang::StandardConversionSequence::ObjCLifetimeConversionBinding |
Whether this binds a reference to an object with a different Objective-C lifetime qualifier.
Definition at line 315 of file Overload.h.
Referenced by CompareStandardConversionSequences(), setAsIdentityConversion(), TryListConversion(), and TryReferenceInit().
unsigned clang::StandardConversionSequence::QualificationIncludesObjCLifetime |
Whether the qualification conversion involves a change in the Objective-C lifetime (for automatic reference counting).
Definition at line 285 of file Overload.h.
Referenced by CompareQualificationConversions(), IsStandardConversion(), setAsIdentityConversion(), and tryAtomicConversion().
unsigned clang::StandardConversionSequence::ReferenceBinding |
ReferenceBinding - True when this is a reference binding (C++ [over.ics.ref]).
Definition at line 293 of file Overload.h.
Referenced by BuildConvertedConstantExpression(), CompareStandardConversionSequences(), dump(), FindConversionForRefInit(), setAsIdentityConversion(), TryListConversion(), TryObjectArgumentInitialization(), and TryReferenceInit().
ImplicitConversionKind clang::StandardConversionSequence::Second |
Second - The second conversion can be an integral promotion, floating point promotion, integral conversion, floating point conversion, floating-integral conversion, pointer conversion, pointer-to-member conversion, or boolean conversion.
Definition at line 272 of file Overload.h.
Referenced by clang::Sema::AddConversionCandidate(), CheckConvertedConstantConversions(), checkThreeWayNarrowingConversion(), CompareDerivedToBaseConversions(), CompareQualificationConversions(), CompareStandardConversionSequences(), compareStandardConversionSubsets(), dropPointerConversion(), dump(), clang::UserDefinedConversionSequence::dump(), getFixedEnumPromtion(), getNarrowingKind(), clang::ImplicitConversionSequence::getNullptrToBool(), getRank(), clang::InitializationSequence::InitializeFrom(), isIdentityConversion(), isPointerConversionToVoidPointer(), IsStandardConversion(), clang::Sema::PerformImplicitConversion(), clang::Sema::PerformObjectArgumentInitialization(), setAsIdentityConversion(), tryAtomicConversion(), TryImplicitConversion(), TryListInitialization(), TryObjectArgumentInitialization(), TryReferenceInit(), and TryUserDefinedConversion().
ImplicitConversionKind clang::StandardConversionSequence::Third |
Third - The third conversion can be a qualification conversion or a function conversion.
Definition at line 276 of file Overload.h.
Referenced by CompareQualificationConversions(), compareStandardConversionSubsets(), dropPointerConversion(), dump(), clang::UserDefinedConversionSequence::dump(), getRank(), isIdentityConversion(), IsStandardConversion(), clang::Sema::PerformImplicitConversion(), setAsIdentityConversion(), tryAtomicConversion(), and TryReferenceInit().
void* clang::StandardConversionSequence::ToTypePtrs[3] |
ToType - The types that this conversion is converting to in each step.
This is an opaque pointer that can be translated into a QualType.
Definition at line 325 of file Overload.h.
Referenced by dropPointerConversion(), getToType(), setAllToTypes(), and setToType().