clang
10.0.0git
|
#include "clang/Sema/Overload.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/TypeOrdering.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/DiagnosticOptions.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateDeduction.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include <algorithm>
#include <cstdlib>
Go to the source code of this file.
Functions | |
static bool | functionHasPassObjectSizeParams (const FunctionDecl *FD) |
static ExprResult | CreateFunctionRefExpr (Sema &S, FunctionDecl *Fn, NamedDecl *FoundDecl, const Expr *Base, bool HadMultipleCandidates, SourceLocation Loc=SourceLocation(), const DeclarationNameLoc &LocInfo=DeclarationNameLoc()) |
A convenience routine for creating a decayed reference to a function. More... | |
static bool | IsStandardConversion (Sema &S, Expr *From, QualType ToType, bool InOverloadResolution, StandardConversionSequence &SCS, bool CStyle, bool AllowObjCWritebackConversion) |
IsStandardConversion - Determines whether there is a standard conversion sequence (C++ [conv], C++ [over.ics.scs]) from the expression From to the type ToType. More... | |
static bool | IsTransparentUnionStandardConversion (Sema &S, Expr *From, QualType &ToType, bool InOverloadResolution, StandardConversionSequence &SCS, bool CStyle) |
static OverloadingResult | IsUserDefinedConversion (Sema &S, Expr *From, QualType ToType, UserDefinedConversionSequence &User, OverloadCandidateSet &CandidateSet, bool AllowExplicit, bool AllowObjCConversionOnExplicit) |
Determines whether there is a user-defined conversion sequence (C++ [over.ics.user]) that converts expression From to the type ToType. More... | |
static ImplicitConversionSequence::CompareKind | CompareStandardConversionSequences (Sema &S, SourceLocation Loc, const StandardConversionSequence &SCS1, const StandardConversionSequence &SCS2) |
CompareStandardConversionSequences - Compare two standard conversion sequences to determine whether one is better than the other or if they are indistinguishable (C++ 13.3.3.2p3). More... | |
static ImplicitConversionSequence::CompareKind | CompareQualificationConversions (Sema &S, const StandardConversionSequence &SCS1, const StandardConversionSequence &SCS2) |
CompareQualificationConversions - Compares two standard conversion sequences to determine whether they can be ranked based on their qualification conversions (C++ 13.3.3.2p3 bullet 3). More... | |
static ImplicitConversionSequence::CompareKind | CompareDerivedToBaseConversions (Sema &S, SourceLocation Loc, const StandardConversionSequence &SCS1, const StandardConversionSequence &SCS2) |
CompareDerivedToBaseConversions - Compares two standard conversion sequences to determine whether they can be ranked based on their various kinds of derived-to-base conversions (C++ [over.ics.rank]p4b3). More... | |
static const char * | GetImplicitConversionName (ImplicitConversionKind Kind) |
GetImplicitConversionName - Return the name of this kind of implicit conversion. More... | |
static const Expr * | IgnoreNarrowingConversion (ASTContext &Ctx, const Expr *Converted) |
Skip any implicit casts which could be either part of a narrowing conversion or after one in an implicit conversion. More... | |
static bool | checkPlaceholderForOverload (Sema &S, Expr *&E, UnbridgedCastsSet *unbridgedCasts=nullptr) |
checkPlaceholderForOverload - Do any interesting placeholder-like preprocessing on the given expression. More... | |
static bool | checkArgPlaceholdersForOverload (Sema &S, MultiExprArg Args, UnbridgedCastsSet &unbridged) |
checkArgPlaceholdersForOverload - Check a set of call operands for placeholders. More... | |
static ImplicitConversionSequence | TryUserDefinedConversion (Sema &S, Expr *From, QualType ToType, bool SuppressUserConversions, bool AllowExplicit, bool InOverloadResolution, bool CStyle, bool AllowObjCWritebackConversion, bool AllowObjCConversionOnExplicit) |
Tries a user-defined conversion from From to ToType. More... | |
static ImplicitConversionSequence | TryImplicitConversion (Sema &S, Expr *From, QualType ToType, bool SuppressUserConversions, bool AllowExplicit, bool InOverloadResolution, bool CStyle, bool AllowObjCWritebackConversion, bool AllowObjCConversionOnExplicit) |
TryImplicitConversion - Attempt to perform an implicit conversion from the given expression (Expr) to the given type (ToType). More... | |
static bool | IsVectorConversion (Sema &S, QualType FromType, QualType ToType, ImplicitConversionKind &ICK) |
Determine whether the conversion from FromType to ToType is a valid vector conversion. More... | |
static bool | tryAtomicConversion (Sema &S, Expr *From, QualType ToType, bool InOverloadResolution, StandardConversionSequence &SCS, bool CStyle) |
static QualType | BuildSimilarlyQualifiedPointerType (const Type *FromPtr, QualType ToPointee, QualType ToType, ASTContext &Context, bool StripObjCLifetime=false) |
BuildSimilarlyQualifiedPointerType - In a pointer conversion from the pointer type FromPtr to a pointer to type ToPointee, with the same type qualifiers as FromPtr has on its pointee type. More... | |
static bool | isNullPointerConstantForConversion (Expr *Expr, bool InOverloadResolution, ASTContext &Context) |
static QualType | AdoptQualifiers (ASTContext &Context, QualType T, Qualifiers Qs) |
Adopt the given qualifiers for the given type. More... | |
static const FunctionProtoType * | tryGetFunctionProtoType (QualType FromType) |
Attempts to get the FunctionProtoType from a Type. More... | |
static bool | isNonTrivialObjCLifetimeConversion (Qualifiers FromQuals, Qualifiers ToQuals) |
Determine whether the lifetime conversion between the two given qualifiers sets is nontrivial. More... | |
static bool | isQualificationConversionStep (QualType FromType, QualType ToType, bool CStyle, bool IsTopLevel, bool &PreviousToQualsIncludeConst, bool &ObjCLifetimeConversion) |
Perform a single iteration of the loop for checking if a qualification conversion is valid. More... | |
static bool | isFirstArgumentCompatibleWithType (ASTContext &Context, CXXConstructorDecl *Constructor, QualType Type) |
static OverloadingResult | IsInitializerListConstructorConversion (Sema &S, Expr *From, QualType ToType, CXXRecordDecl *To, UserDefinedConversionSequence &User, OverloadCandidateSet &CandidateSet, bool AllowExplicit) |
static ImplicitConversionSequence::CompareKind | compareConversionFunctions (Sema &S, FunctionDecl *Function1, FunctionDecl *Function2) |
Compare the user-defined conversion functions or constructors of two user-defined conversion sequences to determine whether any ordering is possible. More... | |
static bool | hasDeprecatedStringLiteralToCharPtrConversion (const ImplicitConversionSequence &ICS) |
static ImplicitConversionSequence::CompareKind | CompareImplicitConversionSequences (Sema &S, SourceLocation Loc, const ImplicitConversionSequence &ICS1, const ImplicitConversionSequence &ICS2) |
CompareImplicitConversionSequences - Compare two implicit conversion sequences to determine whether one is better than the other or if they are indistinguishable (C++ 13.3.3.2). More... | |
static ImplicitConversionSequence::CompareKind | compareStandardConversionSubsets (ASTContext &Context, const StandardConversionSequence &SCS1, const StandardConversionSequence &SCS2) |
static bool | isBetterReferenceBindingKind (const StandardConversionSequence &SCS1, const StandardConversionSequence &SCS2) |
Determine whether one of the given reference bindings is better than the other based on what kind of bindings they are. More... | |
static FixedEnumPromotion | getFixedEnumPromtion (Sema &S, const StandardConversionSequence &SCS) |
Returns kind of fixed enum promotion the SCS uses. More... | |
static bool | isTypeValid (QualType T) |
Determine whether the given type is valid, e.g., it is not an invalid C++ class. More... | |
static QualType | withoutUnaligned (ASTContext &Ctx, QualType T) |
static bool | FindConversionForRefInit (Sema &S, ImplicitConversionSequence &ICS, QualType DeclType, SourceLocation DeclLoc, Expr *Init, QualType T2, bool AllowRvalues, bool AllowExplicit) |
Look for a user-defined conversion to a value reference-compatible with DeclType. More... | |
static ImplicitConversionSequence | TryReferenceInit (Sema &S, Expr *Init, QualType DeclType, SourceLocation DeclLoc, bool SuppressUserConversions, bool AllowExplicit) |
Compute an implicit conversion sequence for reference initialization. More... | |
static ImplicitConversionSequence | TryCopyInitialization (Sema &S, Expr *From, QualType ToType, bool SuppressUserConversions, bool InOverloadResolution, bool AllowObjCWritebackConversion, bool AllowExplicit) |
TryCopyInitialization - Try to copy-initialize a value of type ToType from the expression From. More... | |
static ImplicitConversionSequence | TryListConversion (Sema &S, InitListExpr *From, QualType ToType, bool SuppressUserConversions, bool InOverloadResolution, bool AllowObjCWritebackConversion) |
TryListConversion - Try to copy-initialize a value of type ToType from the initializer list From. More... | |
static bool | TryCopyInitialization (const CanQualType FromQTy, const CanQualType ToQTy, Sema &S, SourceLocation Loc, ExprValueKind FromVK) |
static ImplicitConversionSequence | TryObjectArgumentInitialization (Sema &S, SourceLocation Loc, QualType FromType, Expr::Classification FromClassification, CXXMethodDecl *Method, CXXRecordDecl *ActingContext) |
TryObjectArgumentInitialization - Try to initialize the object parameter of the given member function (Method ) from the expression From . More... | |
static ImplicitConversionSequence | TryContextuallyConvertToBool (Sema &S, Expr *From) |
TryContextuallyConvertToBool - Attempt to contextually convert the expression From to bool (C++0x [conv]p3). More... | |
static bool | CheckConvertedConstantConversions (Sema &S, StandardConversionSequence &SCS) |
Check that the specified conversion is permitted in a converted constant expression, according to C++11 [expr.const]p3. More... | |
static ExprResult | CheckConvertedConstantExpression (Sema &S, Expr *From, QualType T, APValue &Value, Sema::CCEKind CCE, bool RequireInt) |
CheckConvertedConstantExpression - Check that the expression From is a converted constant expression of type T, perform the conversion and produce the converted expression, per C++11 [expr.const]p3. More... | |
static void | dropPointerConversion (StandardConversionSequence &SCS) |
dropPointerConversions - If the given standard conversion sequence involves any pointer conversions, remove them. More... | |
static ImplicitConversionSequence | TryContextuallyConvertToObjCPointer (Sema &S, Expr *From) |
TryContextuallyConvertToObjCPointer - Attempt to contextually convert the expression From to an Objective-C pointer type. More... | |
static ExprResult | diagnoseAmbiguousConversion (Sema &SemaRef, SourceLocation Loc, Expr *From, Sema::ContextualImplicitConverter &Converter, QualType T, UnresolvedSetImpl &ViableConversions) |
static bool | diagnoseNoViableConversion (Sema &SemaRef, SourceLocation Loc, Expr *&From, Sema::ContextualImplicitConverter &Converter, QualType T, bool HadMultipleCandidates, UnresolvedSetImpl &ExplicitConversions) |
static bool | recordConversion (Sema &SemaRef, SourceLocation Loc, Expr *&From, Sema::ContextualImplicitConverter &Converter, QualType T, bool HadMultipleCandidates, DeclAccessPair &Found) |
static ExprResult | finishContextualImplicitConversion (Sema &SemaRef, SourceLocation Loc, Expr *From, Sema::ContextualImplicitConverter &Converter) |
static void | collectViableConversionCandidates (Sema &SemaRef, Expr *From, QualType ToType, UnresolvedSetImpl &ViableConversions, OverloadCandidateSet &CandidateSet) |
static bool | IsAcceptableNonMemberOperatorCandidate (ASTContext &Context, FunctionDecl *Fn, ArrayRef< Expr *> Args) |
IsAcceptableNonMemberOperatorCandidate - Determine whether Fn is an acceptable non-member overloaded operator for a call whose arguments have types T1 (and, if non-empty, T2). More... | |
static bool | convertArgsForAvailabilityChecks (Sema &S, FunctionDecl *Function, Expr *ThisArg, ArrayRef< Expr *> Args, Sema::SFINAETrap &Trap, bool MissingImplicitThis, Expr *&ConvertedThis, SmallVectorImpl< Expr *> &ConvertedArgs) |
template<typename CheckFn > | |
static bool | diagnoseDiagnoseIfAttrsWith (Sema &S, const NamedDecl *ND, bool ArgDependent, SourceLocation Loc, CheckFn &&IsSuccessful) |
static bool | isNonDependentlyExplicit (FunctionTemplateDecl *FTD) |
Determine whether a given function template has a simple explicit specifier or a non-value-dependent explicit-specification that evaluates to true. More... | |
static bool | isAllowableExplicitConversion (Sema &S, QualType ConvType, QualType ToType, bool AllowObjCPointerConversion) |
Determine whether this is an allowable conversion from the result of an explicit conversion operator to the expected type, per C++ [over.match.conv]p1 and [over.match.ref]p1. More... | |
static QualType | AdjustAddressSpaceForBuiltinOperandType (Sema &S, QualType T, Expr *Arg) |
Helper function for adjusting address spaces for the pointer or reference operands of builtin operators depending on the argument. More... | |
static void | AddBuiltinAssignmentOperatorCandidates (Sema &S, QualType T, ArrayRef< Expr *> Args, OverloadCandidateSet &CandidateSet) |
Helper function for AddBuiltinOperatorCandidates() that adds the volatile- and non-volatile-qualified assignment operators for the given type to the candidate set. More... | |
static Qualifiers | CollectVRQualifiers (ASTContext &Context, Expr *ArgExpr) |
CollectVRQualifiers - This routine returns Volatile/Restrict qualifiers, if any, found in visible type conversion functions found in ArgExpr's type. More... | |
static Comparison | compareEnableIfAttrs (const Sema &S, const FunctionDecl *Cand1, const FunctionDecl *Cand2) |
Compares the enable_if attributes of two FunctionDecls, for the purposes of overload resolution. More... | |
static bool | isBetterMultiversionCandidate (const OverloadCandidate &Cand1, const OverloadCandidate &Cand2) |
static bool | isFunctionAlwaysEnabled (const ASTContext &Ctx, const FunctionDecl *FD) |
static bool | checkAddressOfFunctionIsAvailable (Sema &S, const FunctionDecl *FD, bool Complain, bool InOverloadResolution, SourceLocation Loc) |
Returns true if we can take the address of the function. More... | |
static bool | checkAddressOfCandidateIsAvailable (Sema &S, const FunctionDecl *FD) |
static void | MaybeDiagnoseAmbiguousConstraints (Sema &S, ArrayRef< OverloadCandidate > Cands) |
static void | DiagnoseBadConversion (Sema &S, OverloadCandidate *Cand, unsigned I, bool TakingCandidateAddress) |
static bool | CheckArityMismatch (Sema &S, OverloadCandidate *Cand, unsigned NumArgs) |
Additional arity mismatch diagnosis specific to a function overload candidates. More... | |
static void | DiagnoseArityMismatch (Sema &S, NamedDecl *Found, Decl *D, unsigned NumFormalArgs) |
General arity mismatch diagnosis over a candidate in a candidate set. More... | |
static void | DiagnoseArityMismatch (Sema &S, OverloadCandidate *Cand, unsigned NumFormalArgs) |
Arity mismatch diagnosis specific to a function overload candidate. More... | |
static TemplateDecl * | getDescribedTemplate (Decl *Templated) |
static void | DiagnoseBadDeduction (Sema &S, NamedDecl *Found, Decl *Templated, DeductionFailureInfo &DeductionFailure, unsigned NumArgs, bool TakingCandidateAddress) |
Diagnose a failed template-argument deduction. More... | |
static void | DiagnoseBadDeduction (Sema &S, OverloadCandidate *Cand, unsigned NumArgs, bool TakingCandidateAddress) |
Diagnose a failed template-argument deduction, for function calls. More... | |
static void | DiagnoseBadTarget (Sema &S, OverloadCandidate *Cand) |
CUDA: diagnose an invalid call across targets. More... | |
static void | DiagnoseFailedEnableIfAttr (Sema &S, OverloadCandidate *Cand) |
static void | DiagnoseFailedExplicitSpec (Sema &S, OverloadCandidate *Cand) |
static void | DiagnoseOpenCLExtensionDisabled (Sema &S, OverloadCandidate *Cand) |
static void | NoteFunctionCandidate (Sema &S, OverloadCandidate *Cand, unsigned NumArgs, bool TakingCandidateAddress, LangAS CtorDestAS=LangAS::Default) |
Generates a 'note' diagnostic for an overload candidate. More... | |
static void | NoteSurrogateCandidate (Sema &S, OverloadCandidate *Cand) |
static void | NoteBuiltinOperatorCandidate (Sema &S, StringRef Opc, SourceLocation OpLoc, OverloadCandidate *Cand) |
static void | NoteAmbiguousUserConversions (Sema &S, SourceLocation OpLoc, OverloadCandidate *Cand) |
static SourceLocation | GetLocationForCandidate (const OverloadCandidate *Cand) |
static unsigned | RankDeductionFailure (const DeductionFailureInfo &DFI) |
static void | CompleteNonViableCandidate (Sema &S, OverloadCandidate *Cand, ArrayRef< Expr *> Args, OverloadCandidateSet::CandidateSetKind CSK) |
CompleteNonViableCandidate - Normally, overload resolution only computes up to the first bad conversion. More... | |
static SourceLocation | GetLocationForCandidate (const TemplateSpecCandidate *Cand) |
static bool | completeFunctionType (Sema &S, FunctionDecl *FD, SourceLocation Loc, bool Complain=true) |
static void | AddOverloadedCallCandidate (Sema &S, DeclAccessPair FoundDecl, TemplateArgumentListInfo *ExplicitTemplateArgs, ArrayRef< Expr *> Args, OverloadCandidateSet &CandidateSet, bool PartialOverloading, bool KnownValid) |
Add a single candidate to the overload set. More... | |
static bool | canBeDeclaredInNamespace (const DeclarationName &Name) |
Determine whether a declaration with the specified name could be moved into a different namespace. More... | |
static bool | DiagnoseTwoPhaseLookup (Sema &SemaRef, SourceLocation FnLoc, const CXXScopeSpec &SS, LookupResult &R, OverloadCandidateSet::CandidateSetKind CSK, TemplateArgumentListInfo *ExplicitTemplateArgs, ArrayRef< Expr *> Args, bool *DoDiagnoseEmptyLookup=nullptr) |
Attempt to recover from an ill-formed use of a non-dependent name in a template, where the non-dependent name was declared after the template was defined. More... | |
static bool | DiagnoseTwoPhaseOperatorLookup (Sema &SemaRef, OverloadedOperatorKind Op, SourceLocation OpLoc, ArrayRef< Expr *> Args) |
Attempt to recover from ill-formed use of a non-dependent operator in a template, where the non-dependent operator was declared after the template was defined. More... | |
static ExprResult | BuildRecoveryCallExpr (Sema &SemaRef, Scope *S, Expr *Fn, UnresolvedLookupExpr *ULE, SourceLocation LParenLoc, MutableArrayRef< Expr *> Args, SourceLocation RParenLoc, bool EmptyLookup, bool AllowTypoCorrection) |
Attempts to recover from a call where no functions were found. More... | |
static ExprResult | FinishOverloadedCallExpr (Sema &SemaRef, Scope *S, Expr *Fn, UnresolvedLookupExpr *ULE, SourceLocation LParenLoc, MultiExprArg Args, SourceLocation RParenLoc, Expr *ExecConfig, OverloadCandidateSet *CandidateSet, OverloadCandidateSet::iterator *Best, OverloadingResult OverloadResult, bool AllowTypoCorrection) |
FinishOverloadedCallExpr - given an OverloadCandidateSet, builds and returns the completed call expression. More... | |
static void | markUnaddressableCandidatesUnviable (Sema &S, OverloadCandidateSet &CS) |
static bool | IsOverloaded (const UnresolvedSetImpl &Functions) |
anonymous enum |
Enumerator | |
---|---|
ft_default | |
ft_different_class | |
ft_parameter_arity | |
ft_parameter_mismatch | |
ft_return_type | |
ft_qualifer_mismatch | |
ft_noexcept |
Definition at line 2821 of file SemaOverload.cpp.
|
strong |
Definition at line 9306 of file SemaOverload.cpp.
|
strong |
Enumerator | |
---|---|
None | |
ToUnderlyingType | |
ToPromotedUnderlyingType |
Definition at line 3850 of file SemaOverload.cpp.
Definition at line 9833 of file SemaOverload.cpp.
Definition at line 9847 of file SemaOverload.cpp.
|
static |
Helper function for AddBuiltinOperatorCandidates() that adds the volatile- and non-volatile-qualified assignment operators for the given type to the candidate set.
Definition at line 7940 of file SemaOverload.cpp.
|
static |
Add a single candidate to the overload set.
Definition at line 12326 of file SemaOverload.cpp.
Referenced by clang::Sema::AddOverloadedCallCandidates(), and DiagnoseTwoPhaseLookup().
Helper function for adjusting address spaces for the pointer or reference operands of builtin operators depending on the argument.
Definition at line 7932 of file SemaOverload.cpp.
|
static |
Adopt the given qualifiers for the given type.
Definition at line 2474 of file SemaOverload.cpp.
|
static |
Attempts to recover from a call where no functions were found.
Returns true if new candidates were found.
Definition at line 12575 of file SemaOverload.cpp.
References clang::CXXScopeSpec::Adopt(), clang::Sema::BuildCallExpr(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::BuildPossibleImplicitMemberExpr(), clang::Sema::BuildTemplateIdExpr(), clang::OverloadExpr::copyTemplateArgumentsInto(), clang::OverloadCandidateSet::CSK_Normal, clang::Sema::DiagnoseEmptyLookup(), DiagnoseTwoPhaseLookup(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Expr::getExprLoc(), clang::OverloadExpr::getName(), clang::OverloadExpr::getNameLoc(), clang::OverloadExpr::getQualifierLoc(), clang::OverloadExpr::getTemplateKeywordLoc(), clang::OverloadExpr::hasExplicitTemplateArgs(), clang::Sema::IsBuildingRecoveryCallExpr, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::SourceLocation::isValid(), and clang::Sema::LookupOrdinaryName.
Referenced by FinishOverloadedCallExpr().
|
static |
BuildSimilarlyQualifiedPointerType - In a pointer conversion from the pointer type FromPtr to a pointer to type ToPointee, with the same type qualifiers as FromPtr has on its pointee type.
ToType, if non-empty, will be a pointer to ToType that may or may not have the right set of qualifiers on its pointee.
Conversions to 'id' subsume cv-qualifier conversions.
Definition at line 2266 of file SemaOverload.cpp.
|
static |
Determine whether a declaration with the specified name could be moved into a different namespace.
Definition at line 12422 of file SemaOverload.cpp.
Referenced by DiagnoseTwoPhaseLookup().
|
static |
Definition at line 10003 of file SemaOverload.cpp.
Referenced by clang::Sema::NoteOverloadCandidate().
|
static |
Returns true if we can take the address of the function.
Complain | - If true, we'll emit a diagnostic |
InOverloadResolution | - For the purposes of emitting a diagnostic, are we in overload resolution? |
Loc | - The location of the statement we're complaining about. Ignored if we're not complaining, or if we're in overload resolution. |
Definition at line 9950 of file SemaOverload.cpp.
Referenced by clang::Sema::checkAddressOfFunctionIsAvailable(), clang::Sema::DefaultFunctionArrayConversion(), and clang::Sema::resolveAddressOfSingleOverloadCandidate().
|
static |
checkArgPlaceholdersForOverload - Check a set of call operands for placeholders.
Definition at line 983 of file SemaOverload.cpp.
References checkPlaceholderForOverload().
Referenced by clang::Sema::BuildCallToObjectOfClassType(), and clang::Sema::buildOverloadedCallSet().
|
static |
Additional arity mismatch diagnosis specific to a function overload candidates.
This is not covered by the more general DiagnoseArityMismatch() over a candidate in any candidate set.
Definition at line 10377 of file SemaOverload.cpp.
|
static |
Check that the specified conversion is permitted in a converted constant expression, according to C++11 [expr.const]p3.
Return true if the conversion is acceptable.
Definition at line 5460 of file SemaOverload.cpp.
References clang::StandardConversionSequence::getFromType(), clang::StandardConversionSequence::getToType(), clang::ICK_Array_To_Pointer, clang::ICK_Block_Pointer_Conversion, clang::ICK_Boolean_Conversion, clang::ICK_C_Only_Conversion, clang::ICK_Compatible_Conversion, clang::ICK_Complex_Conversion, clang::ICK_Complex_Promotion, clang::ICK_Complex_Real, clang::ICK_Derived_To_Base, clang::ICK_Floating_Conversion, clang::ICK_Floating_Integral, clang::ICK_Floating_Promotion, clang::ICK_Function_Conversion, clang::ICK_Function_To_Pointer, clang::ICK_Identity, clang::ICK_Incompatible_Pointer_Conversion, clang::ICK_Integral_Conversion, clang::ICK_Integral_Promotion, clang::ICK_Lvalue_To_Rvalue, clang::ICK_Num_Conversion_Kinds, clang::ICK_Pointer_Conversion, clang::ICK_Pointer_Member, clang::ICK_Qualification, clang::ICK_TransparentUnionConversion, clang::ICK_Vector_Conversion, clang::ICK_Vector_Splat, clang::ICK_Writeback_Conversion, clang::ICK_Zero_Event_Conversion, clang::ICK_Zero_Queue_Conversion, clang::Type::isBooleanType(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::Type::isNullPtrType(), and clang::StandardConversionSequence::Second.
Referenced by CheckConvertedConstantExpression().
|
static |
CheckConvertedConstantExpression - Check that the expression From is a converted constant expression of type T, perform the conversion and produce the converted expression, per C++11 [expr.const]p3.
Definition at line 5526 of file SemaOverload.cpp.
References clang::Sema::AA_Converting, clang::Sema::ActOnFinishFullExpr(), clang::UserDefinedConversionSequence::After, clang::ImplicitConversionSequence::AmbiguousConversion, clang::ImplicitConversionSequence::BadConversion, clang::Sema::CCEK_ConstexprIf, clang::Sema::CCEK_ExplicitBool, clang::Sema::CCEK_TemplateArg, CheckConvertedConstantConversions(), checkPlaceholderForOverload(), clang::Sema::Context, clang::ConstantExpr::Create(), clang::Expr::EvalStatus::Diag, clang::Sema::Diag(), clang::Sema::DiagnoseMultipleUserDefinedConversion(), clang::StandardConversionSequence::DirectBinding, clang::ImplicitConversionSequence::EllipsisConversion, clang::Expr::EvaluateForCodeGen, clang::Expr::EvaluateForMangling, clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::APValue::getAsString(), clang::Stmt::getBeginLoc(), clang::Expr::getExprLoc(), clang::ImplicitConversionSequence::getKind(), clang::Sema::getLangOpts(), clang::StandardConversionSequence::getNarrowingKind(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::APValue::isInt(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::NK_Constant_Narrowing, clang::NK_Dependent_Narrowing, clang::NK_Not_Narrowing, clang::NK_Type_Narrowing, clang::NK_Variable_Narrowing, clang::Sema::PerformImplicitConversion(), clang::StandardConversionSequence::ReferenceBinding, clang::ImplicitConversionSequence::Standard, clang::ImplicitConversionSequence::StandardConversion, TryContextuallyConvertToBool(), TryCopyInitialization(), clang::ImplicitConversionSequence::UserDefined, clang::ImplicitConversionSequence::UserDefinedConversion, and clang::Expr::EvalResult::Val.
Referenced by clang::Sema::ActOnCaseExpr(), clang::Sema::CheckConvertedConstantExpression(), and clang::Sema::tryResolveExplicitSpecifier().
|
static |
checkPlaceholderForOverload - Do any interesting placeholder-like preprocessing on the given expression.
unbridgedCasts | a collection to which to add unbridged casts; without this, they will be immediately diagnosed as errors |
Return true on unrecoverable error.
Definition at line 953 of file SemaOverload.cpp.
References clang::Sema::CheckPlaceholderExpr(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Type::getAsPlaceholderType(), clang::Expr::getType(), and clang::ActionResult< PtrTy, CompressInvalid >::isInvalid().
Referenced by clang::Sema::BuildCallToObjectOfClassType(), clang::Sema::BuildOverloadedArrowExpr(), checkArgPlaceholdersForOverload(), CheckConvertedConstantExpression(), clang::Sema::PerformContextuallyConvertToBool(), clang::Sema::PerformContextuallyConvertToObjCPointer(), and clang::Sema::PerformImplicitConversion().
|
static |
Definition at line 5851 of file SemaOverload.cpp.
References clang::Sema::AddConversionCandidate(), clang::Sema::AddTemplateConversionCandidate(), clang::DeclAccessPair::getDecl(), clang::Decl::getDeclContext(), clang::FunctionTemplateDecl::getTemplatedDecl(), and clang::UnresolvedSetImpl::size().
Referenced by clang::Sema::PerformContextualImplicitConversion().
|
static |
CollectVRQualifiers - This routine returns Volatile/Restrict qualifiers, if any, found in visible type conversion functions found in ArgExpr's type.
Definition at line 7966 of file SemaOverload.cpp.
Referenced by clang::Sema::AddBuiltinOperatorCandidates().
|
static |
Compare the user-defined conversion functions or constructors of two user-defined conversion sequences to determine whether any ordering is possible.
Definition at line 3634 of file SemaOverload.cpp.
References clang::ImplicitConversionSequence::Better, clang::CXXConversionDecl::getConversionType(), clang::Sema::getLangOpts(), clang::CXXMethodDecl::getParent(), clang::ImplicitConversionSequence::Indistinguishable, clang::Type::isBlockPointerType(), clang::CXXRecordDecl::isLambda(), and clang::ImplicitConversionSequence::Worse.
Referenced by CompareImplicitConversionSequences().
|
static |
CompareDerivedToBaseConversions - Compares two standard conversion sequences to determine whether they can be ranked based on their various kinds of derived-to-base conversions (C++ [over.ics.rank]p4b3).
As part of these checks, we also look at conversions between Objective-C interface types.
Definition at line 4206 of file SemaOverload.cpp.
References clang::ImplicitConversionSequence::Better, clang::ASTContext::canAssignObjCInterfaces(), clang::Type::castAs(), clang::Sema::Context, clang::StandardConversionSequence::First, clang::ASTContext::getArrayDecayedType(), clang::Type::getAs(), clang::ASTContext::getCanonicalType(), clang::MemberPointerType::getClass(), clang::StandardConversionSequence::getFromType(), clang::ObjCObjectPointerType::getInterfaceDecl(), clang::StandardConversionSequence::getToType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::ASTContext::hasSameUnqualifiedType(), clang::ICK_Array_To_Pointer, clang::ICK_Derived_To_Base, clang::ICK_Pointer_Conversion, clang::ICK_Pointer_Member, clang::ImplicitConversionSequence::Indistinguishable, clang::Sema::IsDerivedFrom(), clang::Type::isMemberPointerType(), clang::ObjCObjectPointerType::isObjCClassType(), clang::ObjCObjectPointerType::isObjCIdType(), clang::Type::isPointerType(), clang::ObjCObjectPointerType::isSpecialized(), clang::StandardConversionSequence::Second, and clang::ImplicitConversionSequence::Worse.
Referenced by CompareStandardConversionSequences().
|
static |
Compares the enable_if attributes of two FunctionDecls, for the purposes of overload resolution.
Cand1's set of enable_if attributes are said to be "better" than Cand2's iff Cand1's first N enable_if attributes have precisely the same conditions as Cand2's first N enable_if attributes (where N = the number of enable_if attributes on Cand2), and Cand1 has more than N enable_if attributes.
Note that you can have a pair of candidates such that Cand1's enable_if attributes are worse than Cand2's, and Cand2's enable_if attributes are worse than Cand1's.
Definition at line 9320 of file SemaOverload.cpp.
|
static |
CompareImplicitConversionSequences - Compare two implicit conversion sequences to determine whether one is better than the other or if they are indistinguishable (C++ 13.3.3.2).
Definition at line 3675 of file SemaOverload.cpp.
References clang::UserDefinedConversionSequence::After, clang::ImplicitConversionSequence::Better, compareConversionFunctions(), CompareStandardConversionSequences(), clang::UserDefinedConversionSequence::ConversionFunction, clang::ImplicitConversionSequence::getKind(), clang::ImplicitConversionSequence::getKindRank(), clang::Sema::getLangOpts(), hasDeprecatedStringLiteralToCharPtrConversion(), clang::ImplicitConversionSequence::Indistinguishable, clang::ImplicitConversionSequence::isBad(), clang::ImplicitConversionSequence::isStandard(), clang::ImplicitConversionSequence::isStdInitializerListElement(), clang::ImplicitConversionSequence::isUserDefined(), clang::ImplicitConversionSequence::Standard, clang::ImplicitConversionSequence::UserDefined, and clang::ImplicitConversionSequence::Worse.
Referenced by TryListConversion().
|
static |
CompareQualificationConversions - Compares two standard conversion sequences to determine whether they can be ranked based on their qualification conversions (C++ 13.3.3.2p3 bullet 3).
Definition at line 4096 of file SemaOverload.cpp.
References clang::ImplicitConversionSequence::Better, clang::Sema::Context, clang::StandardConversionSequence::DeprecatedStringLiteralToCharPtr, clang::StandardConversionSequence::First, clang::ASTContext::getCanonicalType(), clang::QualType::getQualifiers(), clang::StandardConversionSequence::getToType(), clang::ASTContext::getUnqualifiedArrayType(), clang::ASTContext::hasSameUnqualifiedType(), clang::ICK_Qualification, clang::ImplicitConversionSequence::Indistinguishable, clang::QualType::isMoreQualifiedThan(), clang::Type::isReferenceType(), clang::StandardConversionSequence::QualificationIncludesObjCLifetime, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::Third, clang::ASTContext::UnwrapSimilarTypes(), clang::Qualifiers::withoutObjCLifetime(), and clang::ImplicitConversionSequence::Worse.
Referenced by CompareStandardConversionSequences().
|
static |
CompareStandardConversionSequences - Compare two standard conversion sequences to determine whether one is better than the other or if they are indistinguishable (C++ 13.3.3.2p3).
Definition at line 3882 of file SemaOverload.cpp.
References clang::ASTContext::areCompatibleVectorTypes(), clang::ImplicitConversionSequence::Better, clang::ASTContext::canAssignObjCInterfaces(), CompareDerivedToBaseConversions(), CompareQualificationConversions(), compareStandardConversionSubsets(), clang::Sema::Context, clang::StandardConversionSequence::First, clang::ASTContext::getArrayDecayedType(), clang::Type::getAs(), clang::ASTContext::getCanonicalType(), getFixedEnumPromtion(), clang::StandardConversionSequence::getFromType(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::ASTContext::getQualifiedType(), clang::StandardConversionSequence::getRank(), clang::StandardConversionSequence::getToType(), clang::ASTContext::getTypeSize(), clang::ASTContext::getUnqualifiedArrayType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::ICK_Array_To_Pointer, clang::ICK_Floating_Integral, clang::ICK_Integral_Conversion, clang::ICK_Vector_Conversion, clang::ImplicitConversionSequence::Indistinguishable, isBetterReferenceBindingKind(), clang::Sema::IsDerivedFrom(), clang::QualType::isMoreQualifiedThan(), clang::StandardConversionSequence::isPointerConversionToBool(), clang::StandardConversionSequence::isPointerConversionToVoidPointer(), None, clang::StandardConversionSequence::ObjCLifetimeConversionBinding, clang::StandardConversionSequence::ReferenceBinding, clang::StandardConversionSequence::Second, ToUnderlyingType, and clang::ImplicitConversionSequence::Worse.
Referenced by CompareImplicitConversionSequences().
|
static |
Definition at line 3781 of file SemaOverload.cpp.
Referenced by CompareStandardConversionSequences().
|
static |
Definition at line 11580 of file SemaOverload.cpp.
References clang::Type::castAs(), clang::Sema::DeduceReturnType(), clang::Sema::getLangOpts(), clang::FunctionDecl::getReturnType(), clang::ValueDecl::getType(), clang::Type::isUndeducedType(), clang::isUnresolvedExceptionSpec(), and clang::Sema::ResolveExceptionSpec().
|
static |
CompleteNonViableCandidate - Normally, overload resolution only computes up to the first bad conversion.
Produces the FixIt set if possible.
Definition at line 11259 of file SemaOverload.cpp.
|
static |
Definition at line 6447 of file SemaOverload.cpp.
References clang::Sema::Context, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ParmVarDecl::getDefaultArg(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::ParmVarDecl::getUninstantiatedDefaultArg(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::ParmVarDecl::hasUninstantiatedDefaultArg(), clang::InitializedEntity::InitializeParameter(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::CXXMethodDecl::isStatic(), clang::FunctionDecl::isVariadic(), min(), P, clang::FunctionDecl::param_size(), clang::Sema::PerformCopyInitialization(), and clang::Sema::PerformObjectArgumentInitialization().
Referenced by clang::Sema::CheckEnableIf().
|
static |
A convenience routine for creating a decayed reference to a function.
Definition at line 49 of file SemaOverload.cpp.
Referenced by clang::Sema::BuildLiteralOperatorCall().
|
static |
Definition at line 5754 of file SemaOverload.cpp.
References clang::Sema::ContextualImplicitConverter::diagnoseAmbiguous(), clang::ExprError(), clang::CXXConversionDecl::getConversionType(), clang::QualType::getNonReferenceType(), clang::Stmt::getSourceRange(), clang::Sema::ContextualImplicitConverter::noteAmbiguous(), clang::UnresolvedSetImpl::size(), and clang::Sema::ContextualImplicitConverter::Suppress.
Referenced by clang::Sema::PerformContextualImplicitConversion().
|
static |
General arity mismatch diagnosis over a candidate in a candidate set.
Definition at line 10405 of file SemaOverload.cpp.
|
static |
Arity mismatch diagnosis specific to a function overload candidate.
Definition at line 10452 of file SemaOverload.cpp.
|
static |
Definition at line 10137 of file SemaOverload.cpp.
|
static |
Diagnose a failed template-argument deduction.
Definition at line 10466 of file SemaOverload.cpp.
Referenced by clang::TemplateSpecCandidate::NoteDeductionFailure().
|
static |
Diagnose a failed template-argument deduction, for function calls.
Definition at line 10743 of file SemaOverload.cpp.
|
static |
CUDA: diagnose an invalid call across targets.
Definition at line 10756 of file SemaOverload.cpp.
|
static |
Definition at line 6548 of file SemaOverload.cpp.
References clang::Sema::Diag(), and clang::Decl::specific_attrs().
Referenced by clang::Sema::diagnoseArgDependentDiagnoseIfAttrs(), and clang::Sema::diagnoseArgIndependentDiagnoseIfAttrs().
|
static |
Definition at line 10814 of file SemaOverload.cpp.
|
static |
Definition at line 10823 of file SemaOverload.cpp.
|
static |
Definition at line 5772 of file SemaOverload.cpp.
References clang::Sema::BuildCXXMemberCallExpr(), clang::Sema::CheckMemberOperatorAccess(), clang::Sema::Context, clang::ImplicitCastExpr::Create(), clang::FixItHint::CreateInsertion(), clang::Sema::ContextualImplicitConverter::diagnoseExplicitConv(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::QualType::getAsStringInternal(), clang::Stmt::getBeginLoc(), clang::CXXConversionDecl::getConversionType(), clang::Stmt::getEndLoc(), clang::Expr::getExprLoc(), clang::Sema::getLocForEndOfToken(), clang::QualType::getNonReferenceType(), clang::Sema::getPrintingPolicy(), clang::NamedDecl::getUnderlyingDecl(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::isSFINAEContext(), clang::Sema::ContextualImplicitConverter::noteExplicitConv(), clang::UnresolvedSetImpl::size(), and clang::Sema::ContextualImplicitConverter::Suppress.
Referenced by clang::Sema::PerformContextualImplicitConversion().
|
static |
Definition at line 10856 of file SemaOverload.cpp.
|
static |
Attempt to recover from an ill-formed use of a non-dependent name in a template, where the non-dependent name was declared after the template was defined.
This is common in code written for a compilers which do not correctly implement two-stage name lookup.
Returns true if a viable candidate was found and a diagnostic was issued.
Definition at line 12440 of file SemaOverload.cpp.
References AddOverloadedCallCandidate(), clang::LookupResult::begin(), canBeDeclaredInNamespace(), clang::LookupResult::clear(), clang::Sema::CurContext, clang::Sema::Diag(), clang::LookupResult::empty(), clang::DeclContext::Encloses(), clang::LookupResult::end(), clang::Sema::FindAssociatedClassesAndNamespaces(), clang::LookupResult::getLookupName(), clang::LookupResult::getNameLoc(), clang::DeclContext::getParent(), clang::NamedDecl::getQualifiedNameAsString(), clang::Sema::getStdNamespace(), clang::Sema::inTemplateInstantiation(), clang::CXXScopeSpec::isEmpty(), clang::Sema::LookupQualifiedName(), clang::OR_Success, Std, and clang::LookupResult::suppressDiagnostics().
Referenced by BuildRecoveryCallExpr(), and DiagnoseTwoPhaseOperatorLookup().
|
static |
Attempt to recover from ill-formed use of a non-dependent operator in a template, where the non-dependent operator was declared after the template was defined.
Returns true if a viable candidate was found and a diagnostic was issued.
Definition at line 12544 of file SemaOverload.cpp.
References clang::Sema::Context, clang::OverloadCandidateSet::CSK_Operator, clang::ASTContext::DeclarationNames, DiagnoseTwoPhaseLookup(), clang::DeclarationNameTable::getCXXOperatorName(), clang::Sema::IsBuildingRecoveryCallExpr, and clang::Sema::LookupOperatorName.
|
static |
dropPointerConversions - If the given standard conversion sequence involves any pointer conversions, remove them.
This may change the result type of the conversion sequence.
Definition at line 5688 of file SemaOverload.cpp.
References clang::ICK_Identity, clang::ICK_Pointer_Conversion, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::Third, and clang::StandardConversionSequence::ToTypePtrs.
Referenced by TryContextuallyConvertToObjCPointer().
|
static |
Look for a user-defined conversion to a value reference-compatible with DeclType.
Return true if something definite is found.
Definition at line 4531 of file SemaOverload.cpp.
References clang::AmbiguousConversionSequence::addConversion(), clang::Sema::AddConversionCandidate(), clang::Sema::AddTemplateConversionCandidate(), clang::UserDefinedConversionSequence::After, clang::ImplicitConversionSequence::Ambiguous, clang::UserDefinedConversionSequence::Before, clang::Type::castAs(), clang::Sema::CompareReferenceRelationship(), clang::UserDefinedConversionSequence::ConversionFunction, clang::OverloadCandidateSet::CSK_InitByUserDefinedConversion, clang::StandardConversionSequence::DirectBinding, clang::UserDefinedConversionSequence::EllipsisConversion, clang::UserDefinedConversionSequence::FoundConversionFunction, clang::Type::getAs(), clang::Decl::getDeclContext(), clang::QualType::getNonReferenceType(), clang::ReferenceType::getPointeeType(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::QualType::getUnqualifiedType(), clang::UserDefinedConversionSequence::HadMultipleCandidates, clang::Type::isFunctionType(), clang::Type::isLValueReferenceType(), clang::Type::isRecordType(), clang::Type::isRValueReferenceType(), clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, clang::Sema::Ref_Incompatible, clang::StandardConversionSequence::ReferenceBinding, clang::ImplicitConversionSequence::setAmbiguous(), clang::ImplicitConversionSequence::setUserDefined(), and clang::ImplicitConversionSequence::UserDefined.
Referenced by TryReferenceInit().
|
static |
Definition at line 5840 of file SemaOverload.cpp.
References clang::Sema::DefaultLvalueConversion(), clang::Sema::ContextualImplicitConverter::diagnoseNoMatch(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Sema::ContextualImplicitConverter::match(), and clang::Sema::ContextualImplicitConverter::Suppress.
Referenced by clang::Sema::PerformContextualImplicitConversion().
|
static |
FinishOverloadedCallExpr - given an OverloadCandidateSet, builds and returns the completed call expression.
If overload resolution fails, emits diagnostics and returns ExprError()
Definition at line 12723 of file SemaOverload.cpp.
References BuildRecoveryCallExpr(), clang::Sema::BuildResolvedCallExpr(), clang::Sema::checkAddressOfFunctionIsAvailable(), clang::Sema::CheckUnresolvedLookupAccess(), clang::Sema::DiagnoseUseOfDecl(), clang::OverloadCandidateSet::empty(), clang::ExprError(), clang::Sema::FixOverloadedFunctionReference(), clang::Stmt::getBeginLoc(), clang::OverloadExpr::getName(), clang::OverloadExpr::getNameLoc(), clang::Stmt::getSourceRange(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::OverloadCandidateSet::NoteCandidates(), clang::OCD_AllCandidates, clang::OCD_AmbiguousCandidates, clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, and clang::Sema::PDiag().
Referenced by clang::Sema::BuildOverloadedCallExpr().
|
static |
Definition at line 41 of file SemaOverload.cpp.
References P, and clang::FunctionDecl::parameters().
|
static |
Definition at line 10458 of file SemaOverload.cpp.
References clang::Decl::getDescribedTemplate().
|
static |
Returns kind of fixed enum promotion the SCS uses.
Definition at line 3858 of file SemaOverload.cpp.
References clang::Sema::Context, clang::Type::getAs(), clang::StandardConversionSequence::getFromType(), clang::EnumDecl::getIntegerType(), clang::StandardConversionSequence::getToType(), clang::ASTContext::hasSameType(), clang::ICK_Integral_Promotion, clang::Type::isEnumeralType(), clang::EnumDecl::isFixed(), None, clang::StandardConversionSequence::Second, ToPromotedUnderlyingType, and ToUnderlyingType.
Referenced by CompareStandardConversionSequences().
|
static |
GetImplicitConversionName - Return the name of this kind of implicit conversion.
Definition at line 153 of file SemaOverload.cpp.
Referenced by clang::StandardConversionSequence::dump().
|
static |
Definition at line 11061 of file SemaOverload.cpp.
References clang::OverloadCandidate::Function, clang::Decl::getLocation(), clang::OverloadCandidate::IsSurrogate, and clang::OverloadCandidate::Surrogate.
|
static |
Definition at line 11455 of file SemaOverload.cpp.
References clang::Decl::getLocation(), and clang::TemplateSpecCandidate::Specialization.
|
static |
Definition at line 3664 of file SemaOverload.cpp.
References clang::UserDefinedConversionSequence::Before, clang::StandardConversionSequence::DeprecatedStringLiteralToCharPtr, clang::ImplicitConversionSequence::isStandard(), clang::ImplicitConversionSequence::isUserDefined(), clang::ImplicitConversionSequence::Standard, and clang::ImplicitConversionSequence::UserDefined.
Referenced by CompareImplicitConversionSequences().
|
static |
Skip any implicit casts which could be either part of a narrowing conversion or after one in an implicit conversion.
Definition at line 264 of file SemaOverload.cpp.
Referenced by clang::StandardConversionSequence::getNarrowingKind().
|
static |
IsAcceptableNonMemberOperatorCandidate - Determine whether Fn is an acceptable non-member overloaded operator for a call whose arguments have types T1 (and, if non-empty, T2).
This routine implements the check in C++ [over.match.oper]p3b2 concerning enumeration types.
Definition at line 6086 of file SemaOverload.cpp.
Referenced by clang::Sema::AddOverloadCandidate().
|
static |
Determine whether this is an allowable conversion from the result of an explicit conversion operator to the expected type, per C++ [over.match.conv]p1 and [over.match.ref]p1.
ConvType | The return type of the conversion function. |
ToType | The type we are converting to. |
AllowObjCPointerConversion | Allow a conversion from one Objective-C pointer to another. |
Definition at line 7094 of file SemaOverload.cpp.
|
static |
Definition at line 9358 of file SemaOverload.cpp.
References clang::OverloadCandidate::Function, clang::Decl::getAttr(), getName(), clang::IdentifierInfo::getName(), clang::Decl::hasAttr(), clang::Decl::isInvalidDecl(), and clang::FunctionDecl::isMultiVersion().
|
static |
Determine whether one of the given reference bindings is better than the other based on what kind of bindings they are.
Definition at line 3825 of file SemaOverload.cpp.
References clang::StandardConversionSequence::BindsImplicitObjectArgumentWithoutRefQualifier, clang::StandardConversionSequence::BindsToFunctionLvalue, clang::StandardConversionSequence::BindsToRvalue, and clang::StandardConversionSequence::IsLvalueReference.
Referenced by CompareStandardConversionSequences().
|
static |
Definition at line 3308 of file SemaOverload.cpp.
Referenced by IsInitializerListConstructorConversion(), and IsUserDefinedConversion().
|
static |
Definition at line 9930 of file SemaOverload.cpp.
References clang::Decl::specific_attrs().
|
static |
Definition at line 3321 of file SemaOverload.cpp.
References clang::Sema::AddOverloadCandidate(), clang::Sema::AddTemplateOverloadCandidate(), clang::UserDefinedConversionSequence::After, clang::UserDefinedConversionSequence::Before, clang::OverloadCandidateSet::BestViableFunction(), clang::OverloadCandidateSet::clear(), clang::Sema::Context, clang::UserDefinedConversionSequence::ConversionFunction, clang::OverloadCandidateSet::CSK_InitByUserDefinedConversion, clang::UserDefinedConversionSequence::FoundConversionFunction, clang::Stmt::getBeginLoc(), clang::getConstructorInfo(), clang::PointerType::getPointeeType(), clang::CXXMethodDecl::getThisType(), clang::UserDefinedConversionSequence::HadMultipleCandidates, isFirstArgumentCompatibleWithType(), clang::Sema::isInitListConstructor(), clang::Sema::LookupConstructors(), clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::StandardConversionSequence::setFromType(), and clang::OverloadCandidateSet::size().
Referenced by IsUserDefinedConversion().
|
static |
Determine whether a given function template has a simple explicit specifier or a non-value-dependent explicit-specification that evaluates to true.
Definition at line 6940 of file SemaOverload.cpp.
References clang::ExplicitSpecifier::getFromDecl(), and clang::FunctionTemplateDecl::getTemplatedDecl().
|
static |
Determine whether the lifetime conversion between the two given qualifiers sets is nontrivial.
Definition at line 3162 of file SemaOverload.cpp.
References clang::Qualifiers::getObjCLifetime(), clang::Qualifiers::hasConst(), and clang::Qualifiers::OCL_ExplicitNone.
Referenced by isQualificationConversionStep().
|
static |
Definition at line 2308 of file SemaOverload.cpp.
Referenced by clang::Sema::IsPointerConversion().
|
static |
Definition at line 12860 of file SemaOverload.cpp.
References clang::UnresolvedSetImpl::begin(), and clang::UnresolvedSetImpl::size().
|
static |
Perform a single iteration of the loop for checking if a qualification conversion is valid.
Specifically, check whether any change between the qualifiers of FromType
and ToType
is permissible, given knowledge about whether every outer layer is const-qualified.
Definition at line 3178 of file SemaOverload.cpp.
References clang::Qualifiers::compatiblyIncludes(), clang::Qualifiers::compatiblyIncludesObjCLifetime(), clang::Qualifiers::getAddressSpace(), clang::Qualifiers::getCVRQualifiers(), clang::Qualifiers::getObjCGCAttr(), clang::Qualifiers::getObjCLifetime(), clang::QualType::getQualifiers(), clang::QualType::getUnqualifiedType(), clang::Qualifiers::hasConst(), clang::Qualifiers::hasObjCGCAttr(), clang::Qualifiers::isAddressSpaceSupersetOf(), isNonTrivialObjCLifetimeConversion(), clang::Type::isVoidType(), clang::Qualifiers::removeObjCGCAttr(), clang::Qualifiers::removeObjCLifetime(), and clang::Qualifiers::removeUnaligned().
|
static |
IsStandardConversion - Determines whether there is a standard conversion sequence (C++ [conv], C++ [over.ics.scs]) from the expression From to the type ToType.
Standard conversion sequences only consider non-class types; for conversions that involve class types, use TryImplicitConversion. If a conversion exists, SCS will contain the standard conversion sequence required to perform this conversion and this routine will return true. Otherwise, this routine will return false and the value of SCS is unspecified.
Definition at line 1680 of file SemaOverload.cpp.
References clang::ASTContext::BoolTy, clang::Sema::checkAddressOfFunctionIsAvailable(), clang::Sema::CheckSingleAssignmentConstraints(), clang::Sema::Compatible, clang::Sema::CompatiblePointerDiscardsQualifiers, clang::Sema::Context, clang::StandardConversionSequence::CopyConstructor, clang::StandardConversionSequence::DeprecatedStringLiteralToCharPtr, clang::Expr::EvaluateKnownConstInt(), clang::Sema::ExtractUnqualifiedFunctionType(), clang::StandardConversionSequence::First, clang::Sema::FixOverloadedFunctionReference(), clang::ASTContext::Float128Ty, clang::ASTContext::getArrayDecayedType(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::ASTContext::getCanonicalType(), clang::ASTContext::getFloatTypeSemantics(), clang::Sema::getLangOpts(), clang::QualType::getLocalQualifiers(), clang::QualType::getLocalUnqualifiedType(), clang::ASTContext::getMemberPointerType(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getPointerType(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::ASTContext::getTypeDeclType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::ASTContext::hasSameUnqualifiedType(), clang::ICK_Array_To_Pointer, clang::ICK_Block_Pointer_Conversion, clang::ICK_Boolean_Conversion, clang::ICK_C_Only_Conversion, clang::ICK_Compatible_Conversion, clang::ICK_Complex_Conversion, clang::ICK_Complex_Promotion, clang::ICK_Complex_Real, clang::ICK_Floating_Conversion, clang::ICK_Floating_Integral, clang::ICK_Floating_Promotion, clang::ICK_Function_Conversion, clang::ICK_Function_To_Pointer, clang::ICK_Identity, clang::ICK_Incompatible_Pointer_Conversion, clang::ICK_Integral_Conversion, clang::ICK_Integral_Promotion, clang::ICK_Lvalue_To_Rvalue, clang::ICK_Pointer_Conversion, clang::ICK_Pointer_Member, clang::ICK_Qualification, clang::ICK_TransparentUnionConversion, clang::ICK_Writeback_Conversion, clang::ICK_Zero_Event_Conversion, clang::ICK_Zero_Queue_Conversion, clang::Expr::IgnoreParenCasts(), clang::Expr::IgnoreParens(), clang::StandardConversionSequence::IncompatibleObjC, clang::Sema::IncompatiblePointer, clang::Sema::IncompatiblePointerSign, clang::Type::isAnyComplexType(), clang::Type::isAnyPointerType(), clang::Type::isArithmeticType(), clang::Type::isArrayType(), clang::Sema::IsBlockPointerConversion(), clang::Type::isBlockPointerType(), clang::Type::isBooleanType(), clang::Sema::IsComplexPromotion(), clang::Type::isEventT(), clang::Sema::IsFloatingPointPromotion(), clang::Sema::IsFunctionConversion(), clang::Type::isFunctionType(), clang::Expr::isGLValue(), clang::Expr::isIntegerConstantExpr(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::Sema::IsIntegralPromotion(), clang::Type::isIntegralType(), clang::Sema::IsMemberPointerConversion(), clang::Type::isMemberPointerType(), clang::Type::isNullPtrType(), clang::Sema::isObjCWritebackConversion(), clang::Sema::IsPointerConversion(), clang::Sema::IsQualificationConversion(), clang::Type::isQueueT(), clang::Type::isRealFloatingType(), clang::Type::isRecordType(), clang::Type::isSamplerT(), clang::CXXMethodDecl::isStatic(), clang::Sema::IsStringLiteralToNonConstPointerConversion(), IsTransparentUnionStandardConversion(), IsVectorConversion(), clang::ASTContext::LongDoubleTy, clang::ASTContext::OverloadTy, clang::StandardConversionSequence::QualificationIncludesObjCLifetime, clang::Sema::ResolveAddressOfOverloadedFunction(), clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::StandardConversionSequence::setFromType(), clang::StandardConversionSequence::setToType(), clang::StandardConversionSequence::Third, tryAtomicConversion(), and clang::ASTContext::typesAreCompatible().
Referenced by IsTransparentUnionStandardConversion(), tryAtomicConversion(), and TryImplicitConversion().
|
static |
Definition at line 2023 of file SemaOverload.cpp.
References clang::RecordDecl::fields(), clang::Type::getAsUnionType(), clang::RecordType::getDecl(), clang::Expr::getType(), clang::Decl::hasAttr(), and IsStandardConversion().
Referenced by IsStandardConversion().
Determine whether the given type is valid, e.g., it is not an invalid C++ class.
Definition at line 4411 of file SemaOverload.cpp.
References clang::Type::getAsCXXRecordDecl().
|
static |
Determines whether there is a user-defined conversion sequence (C++ [over.ics.user]) that converts expression From to the type ToType.
If such a conversion exists, User will contain the user-defined conversion sequence that performs such a conversion and this routine will return true. Otherwise, this routine returns false and User is unspecified.
AllowExplicit | true if the conversion should consider C++0x "explicit" conversion functions as well as non-explicit conversion functions (C++0x [class.conv.fct]p2). |
AllowObjCConversionOnExplicit | true if the conversion should allow an extra Objective-C pointer conversion on uses of explicit constructors. Requires AllowExplicit to also be set. |
Definition at line 3397 of file SemaOverload.cpp.
References clang::Sema::AddConversionCandidate(), clang::Sema::AddOverloadCandidate(), clang::Sema::AddTemplateConversionCandidate(), clang::Sema::AddTemplateOverloadCandidate(), clang::UserDefinedConversionSequence::After, clang::UserDefinedConversionSequence::Before, clang::OverloadCandidateSet::begin(), clang::OverloadCandidateSet::BestViableFunction(), clang::OverloadCandidateSet::clear(), clang::Sema::Context, clang::UserDefinedConversionSequence::ConversionFunction, clang::OverloadCandidateSet::CSK_InitByUserDefinedConversion, clang::UserDefinedConversionSequence::EllipsisConversion, clang::OverloadCandidateSet::end(), clang::UserDefinedConversionSequence::FoundConversionFunction, clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::getConstructorInfo(), clang::DeclAccessPair::getDecl(), clang::Decl::getDeclContext(), clang::Expr::getExprLoc(), clang::PointerType::getPointeeType(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::Expr::getType(), clang::UserDefinedConversionSequence::HadMultipleCandidates, clang::ASTContext::hasSameUnqualifiedType(), clang::Sema::isCompleteType(), clang::Sema::IsDerivedFrom(), isFirstArgumentCompatibleWithType(), IsInitializerListConstructorConversion(), clang::Sema::LookupConstructors(), clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::StandardConversionSequence::setFromType(), and clang::OverloadCandidateSet::size().
Referenced by clang::Sema::DiagnoseMultipleUserDefinedConversion(), and TryUserDefinedConversion().
|
static |
Determine whether the conversion from FromType to ToType is a valid vector conversion.
ICK | Will be set to the vector conversion kind, if this is a vector conversion. |
Definition at line 1627 of file SemaOverload.cpp.
References clang::ASTContext::areCompatibleVectorTypes(), clang::Sema::Context, clang::ASTContext::hasSameUnqualifiedType(), clang::ICK_Vector_Conversion, clang::ICK_Vector_Splat, clang::Type::isArithmeticType(), clang::Type::isExtVectorType(), clang::Sema::isLaxVectorConversion(), clang::Type::isVectorType(), and tryAtomicConversion().
Referenced by IsStandardConversion().
|
static |
Definition at line 12813 of file SemaOverload.cpp.
References clang::OverloadCandidateSet::begin(), clang::Sema::checkAddressOfFunctionIsAvailable(), clang::OverloadCandidateSet::end(), and clang::ovl_fail_addr_not_available.
Referenced by clang::Sema::BuildOverloadedCallExpr().
|
static |
Definition at line 10041 of file SemaOverload.cpp.
Referenced by clang::OverloadCandidateSet::NoteCandidates().
|
static |
Definition at line 11050 of file SemaOverload.cpp.
Referenced by clang::OverloadCandidateSet::NoteCandidates().
|
static |
Definition at line 11031 of file SemaOverload.cpp.
Referenced by clang::OverloadCandidateSet::NoteCandidates().
|
static |
Generates a 'note' diagnostic for an overload candidate.
We've already generated a primary error at the call site.
It really does need to be a single diagnostic with its caret pointed at the candidate declaration. Yes, this creates some major challenges of technical writing. Yes, this makes pointing out problems with specific arguments quite awkward. It's still better than generating twenty screens of text for every failed overload.
It would be great to be able to express per-candidate problems more richly for those diagnostic clients that cared, but we'd still have to be just as careful with the default diagnostics.
CtorDestAS | Addr space of object being constructed (for ctor candidates only). |
Definition at line 10879 of file SemaOverload.cpp.
Referenced by clang::OverloadCandidateSet::NoteCandidates().
|
static |
Definition at line 10999 of file SemaOverload.cpp.
Referenced by clang::OverloadCandidateSet::NoteCandidates().
|
static |
Definition at line 11069 of file SemaOverload.cpp.
References clang::DeductionFailureInfo::Result, clang::Sema::TDK_ConstraintsNotSatisfied, clang::Sema::TDK_CUDATargetMismatch, clang::Sema::TDK_DeducedMismatch, clang::Sema::TDK_DeducedMismatchNested, clang::Sema::TDK_Incomplete, clang::Sema::TDK_IncompletePack, clang::Sema::TDK_Inconsistent, clang::Sema::TDK_InstantiationDepth, clang::Sema::TDK_Invalid, clang::Sema::TDK_InvalidExplicitArguments, clang::Sema::TDK_MiscellaneousDeductionFailure, clang::Sema::TDK_NonDeducedMismatch, clang::Sema::TDK_NonDependentConversionFailure, clang::Sema::TDK_SubstitutionFailure, clang::Sema::TDK_Success, clang::Sema::TDK_TooFewArguments, clang::Sema::TDK_TooManyArguments, and clang::Sema::TDK_Underqualified.
|
static |
Definition at line 5812 of file SemaOverload.cpp.
References clang::Sema::BuildCXXMemberCallExpr(), clang::Sema::CheckMemberOperatorAccess(), clang::Sema::Context, clang::ImplicitCastExpr::Create(), clang::Sema::ContextualImplicitConverter::diagnoseConversion(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::CXXConversionDecl::getConversionType(), clang::Expr::getExprLoc(), clang::QualType::getNonReferenceType(), clang::Stmt::getSourceRange(), clang::NamedDecl::getUnderlyingDecl(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::isSFINAEContext(), and clang::Sema::ContextualImplicitConverter::SuppressConversion.
Referenced by clang::Sema::PerformContextualImplicitConversion().
|
static |
If successful, updates SCS's
second and third steps in the conversion sequence to finish the conversion.
Definition at line 3285 of file SemaOverload.cpp.
References clang::Type::getAs(), clang::AtomicType::getValueType(), IsStandardConversion(), clang::StandardConversionSequence::QualificationIncludesObjCLifetime, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setToType(), and clang::StandardConversionSequence::Third.
Referenced by IsStandardConversion(), and IsVectorConversion().
|
static |
TryContextuallyConvertToBool - Attempt to contextually convert the expression From to bool (C++0x [conv]p3).
Definition at line 5431 of file SemaOverload.cpp.
References clang::ASTContext::BoolTy, clang::Sema::Context, and TryImplicitConversion().
Referenced by CheckConvertedConstantExpression(), and clang::Sema::PerformContextuallyConvertToBool().
|
static |
TryContextuallyConvertToObjCPointer - Attempt to contextually convert the expression From to an Objective-C pointer type.
Definition at line 5699 of file SemaOverload.cpp.
References clang::UserDefinedConversionSequence::After, clang::ImplicitConversionSequence::AmbiguousConversion, clang::ImplicitConversionSequence::BadConversion, clang::Sema::Context, dropPointerConversion(), clang::ImplicitConversionSequence::EllipsisConversion, clang::ImplicitConversionSequence::getKind(), clang::ASTContext::getObjCIdType(), clang::ImplicitConversionSequence::Standard, clang::ImplicitConversionSequence::StandardConversion, TryImplicitConversion(), clang::ImplicitConversionSequence::UserDefined, and clang::ImplicitConversionSequence::UserDefinedConversion.
|
static |
TryCopyInitialization - Try to copy-initialize a value of type ToType from the expression From.
Return the implicit conversion sequence required to pass this argument, which may be a bad conversion sequence (meaning that the argument cannot be passed to a parameter of this type). If SuppressUserConversions
, then we do not permit any user-defined conversion sequences.
Definition at line 5170 of file SemaOverload.cpp.
References clang::Stmt::getBeginLoc(), clang::Type::isReferenceType(), TryImplicitConversion(), TryListConversion(), and TryReferenceInit().
Referenced by CheckConvertedConstantExpression(), clang::Sema::CheckNonDependentConversions(), TryCopyInitialization(), TryListConversion(), and TryReferenceInit().
|
static |
Definition at line 5193 of file SemaOverload.cpp.
References clang::ImplicitConversionSequence::isBad(), and TryCopyInitialization().
|
static |
Attempts to get the FunctionProtoType from a Type.
Handles MemberFunctionPointers properly.
Definition at line 2833 of file SemaOverload.cpp.
References clang::Type::getAs(), and clang::Type::getPointeeType().
|
static |
TryImplicitConversion - Attempt to perform an implicit conversion from the given expression (Expr) to the given type (ToType).
This function returns an implicit conversion sequence that can be used to perform the initialization. Given
void f(float f); void g(int i) { f(i); }
this routine would produce an implicit conversion sequence to describe the initialization of f from i, which will be a standard conversion sequence containing an lvalue-to-rvalue conversion (C++ 4.1) followed by a floating-integral conversion (C++ 4.9). Note that this routine only determines how the conversion can be performed; it does not actually perform the conversion. As such, it will not produce any diagnostics if no conversion is available, but will instead return an implicit conversion sequence of kind "BadConversion".
If SuppressUserConversions
, then user-defined conversions are not permitted. If AllowExplicit
, then explicit user-defined conversions are permitted.
AllowObjCWritebackConversion | Whether we allow the Objective-C writeback conversion, which allows __autoreleasing id* parameters to be initialized with __strong id* or __weak id* arguments. |
Definition at line 1421 of file SemaOverload.cpp.
References clang::Sema::Context, clang::StandardConversionSequence::CopyConstructor, clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::ICK_Derived_To_Base, clang::Sema::IsDerivedFrom(), IsStandardConversion(), clang::BadConversionSequence::no_conversion, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::ImplicitConversionSequence::setBad(), clang::StandardConversionSequence::setFromType(), clang::ImplicitConversionSequence::setStandard(), clang::ImplicitConversionSequence::Standard, and TryUserDefinedConversion().
Referenced by clang::Sema::CheckSingleAssignmentConstraints(), clang::Sema::PerformImplicitConversion(), TryContextuallyConvertToBool(), TryContextuallyConvertToObjCPointer(), TryCopyInitialization(), clang::Sema::TryImplicitConversion(), and TryReferenceInit().
|
static |
TryListConversion - Try to copy-initialize a value of type ToType from the initializer list From.
Definition at line 4919 of file SemaOverload.cpp.
References clang::UserDefinedConversionSequence::After, clang::UserDefinedConversionSequence::Before, clang::StandardConversionSequence::BindsImplicitObjectArgumentWithoutRefQualifier, clang::StandardConversionSequence::BindsToFunctionLvalue, clang::StandardConversionSequence::BindsToRvalue, clang::Sema::CanPerformAggregateInitializationForOverloadResolution(), clang::Sema::CanPerformCopyInitialization(), clang::Type::castAs(), CompareImplicitConversionSequences(), clang::Sema::CompareReferenceRelationship(), clang::Sema::Context, clang::UserDefinedConversionSequence::ConversionFunction, clang::ASTContext::getAsArrayType(), clang::InitListExpr::getBeginLoc(), clang::ASTContext::getCanonicalType(), clang::ArrayType::getElementType(), clang::InitListExpr::getInit(), clang::InitListExpr::getNumInits(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::InitializedEntity::InitializeParameter(), clang::Type::isAggregateType(), clang::Type::isArrayType(), clang::ImplicitConversionSequence::isBad(), clang::Sema::isCompleteType(), clang::QualType::isConstQualified(), clang::Sema::IsDerivedFrom(), clang::StandardConversionSequence::IsLvalueReference, clang::Type::isLValueReferenceType(), clang::QualType::isNull(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Type::isRValueReferenceType(), clang::Sema::isStdInitializerList(), clang::QualType::isVolatileQualified(), clang::BadConversionSequence::lvalue_ref_to_rvalue, clang::BadConversionSequence::no_conversion, clang::StandardConversionSequence::ObjCLifetimeConversionBinding, clang::ASTContext::OverloadTy, clang::Sema::Ref_Related, clang::StandardConversionSequence::ReferenceBinding, clang::Sema::ResolveAddressOfOverloadedFunction(), clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::ImplicitConversionSequence::setBad(), clang::StandardConversionSequence::setFromType(), clang::ImplicitConversionSequence::setStandard(), clang::ImplicitConversionSequence::setStdInitializerListElement(), clang::ImplicitConversionSequence::setUserDefined(), clang::ImplicitConversionSequence::Standard, TryCopyInitialization(), TryReferenceInit(), TryUserDefinedConversion(), clang::ImplicitConversionSequence::UserDefined, clang::ImplicitConversionSequence::Worse, and X.
Referenced by TryCopyInitialization().
|
static |
TryObjectArgumentInitialization - Try to initialize the object parameter of the given member function (Method
) from the expression From
.
Definition at line 5209 of file SemaOverload.cpp.
References clang::Qualifiers::addConst(), clang::Qualifiers::addVolatile(), clang::BadConversionSequence::bad_qualifiers, clang::StandardConversionSequence::BindsImplicitObjectArgumentWithoutRefQualifier, clang::StandardConversionSequence::BindsToFunctionLvalue, clang::StandardConversionSequence::BindsToRvalue, clang::Sema::Context, clang::StandardConversionSequence::DirectBinding, clang::Type::getAs(), clang::ASTContext::getCanonicalType(), clang::QualType::getCVRQualifiers(), clang::QualType::getLocalUnqualifiedType(), clang::CXXMethodDecl::getMethodQualifiers(), clang::Type::getPointeeType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::CXXMethodDecl::getRefQualifier(), clang::ASTContext::getTypeDeclType(), clang::Qualifiers::hasOnlyConst(), clang::ICK_Derived_To_Base, clang::ICK_Identity, clang::Qualifiers::isAddressSpaceSupersetOf(), clang::QualType::isAtLeastAsQualifiedAs(), clang::Sema::IsDerivedFrom(), clang::Expr::Classification::isLValue(), clang::StandardConversionSequence::IsLvalueReference, clang::Type::isRecordType(), clang::Expr::Classification::isRValue(), clang::BadConversionSequence::lvalue_ref_to_rvalue, clang::StandardConversionSequence::ReferenceBinding, clang::RQ_LValue, clang::RQ_None, clang::RQ_RValue, clang::BadConversionSequence::rvalue_ref_to_lvalue, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::ImplicitConversionSequence::setBad(), clang::StandardConversionSequence::setFromType(), clang::ImplicitConversionSequence::setStandard(), clang::ImplicitConversionSequence::Standard, and clang::BadConversionSequence::unrelated_class.
Referenced by clang::Sema::CheckNonDependentConversions().
|
static |
Compute an implicit conversion sequence for reference initialization.
Definition at line 4648 of file SemaOverload.cpp.
References clang::Type::castAs(), clang::Expr::Classify(), clang::Sema::CompareReferenceRelationship(), clang::Qualifiers::compatiblyIncludes(), clang::Sema::Context, FindConversionForRefInit(), clang::Type::getAs(), clang::QualType::getAsOpaquePtr(), clang::ASTContext::getCanonicalType(), clang::Sema::getLangOpts(), clang::QualType::getQualifiers(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::ICK_Compatible_Conversion, clang::ICK_Derived_To_Base, clang::ICK_Identity, clang::ICK_Lvalue_To_Rvalue, clang::ICK_Qualification, clang::Type::isArrayType(), clang::Sema::isCompleteType(), clang::QualType::isConstQualified(), clang::Type::isFunctionType(), clang::Expr::Classification::isLValue(), clang::Expr::Classification::isPRValue(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Expr::Classification::isRValue(), clang::Type::isRValueReferenceType(), clang::QualType::isVolatileQualified(), clang::Expr::Classification::isXValue(), clang::BadConversionSequence::lvalue_ref_to_rvalue, clang::BadConversionSequence::no_conversion, AttributeLangSupport::ObjC, clang::ASTContext::OverloadTy, clang::Sema::Ref_Compatible, clang::Sema::Ref_Incompatible, clang::Sema::Ref_Related, clang::Qualifiers::removeObjCGCAttr(), clang::Qualifiers::removeObjCLifetime(), clang::Qualifiers::removeUnaligned(), clang::Sema::ResolveAddressOfOverloadedFunction(), clang::ImplicitConversionSequence::setBad(), TryCopyInitialization(), and TryImplicitConversion().
Referenced by TryCopyInitialization(), and TryListConversion().
|
static |
Tries a user-defined conversion from From to ToType.
Produces an implicit conversion sequence for when a standard conversion is not an option. See TryImplicitConversion for more information.
Definition at line 1318 of file SemaOverload.cpp.
References clang::AmbiguousConversionSequence::addConversion(), clang::ImplicitConversionSequence::Ambiguous, clang::OverloadCandidateSet::begin(), clang::Sema::Context, clang::UserDefinedConversionSequence::ConversionFunction, clang::StandardConversionSequence::CopyConstructor, clang::OverloadCandidateSet::CSK_Normal, clang::OverloadCandidateSet::end(), clang::UserDefinedConversionSequence::FoundConversionFunction, clang::StandardConversionSequence::FoundCopyConstructor, clang::Stmt::getBeginLoc(), clang::ASTContext::getCanonicalType(), clang::Expr::getExprLoc(), clang::Expr::getType(), clang::CanQual< T >::getUnqualifiedType(), clang::QualType::getUnqualifiedType(), clang::ICK_Derived_To_Base, clang::Sema::IsDerivedFrom(), IsUserDefinedConversion(), clang::BadConversionSequence::no_conversion, clang::OR_Ambiguous, clang::OR_Deleted, clang::OR_No_Viable_Function, clang::OR_Success, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAllToTypes(), clang::ImplicitConversionSequence::setAmbiguous(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::ImplicitConversionSequence::setBad(), clang::StandardConversionSequence::setFromType(), clang::AmbiguousConversionSequence::setFromType(), clang::ImplicitConversionSequence::setStandard(), clang::AmbiguousConversionSequence::setToType(), clang::ImplicitConversionSequence::setUserDefined(), clang::ImplicitConversionSequence::Standard, and clang::ImplicitConversionSequence::UserDefined.
Referenced by TryImplicitConversion(), and TryListConversion().
|
static |
Definition at line 4418 of file SemaOverload.cpp.
References clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::ASTContext::getUnqualifiedArrayType(), clang::Qualifiers::hasUnaligned(), and clang::Qualifiers::removeUnaligned().