clang
3.9.0
|
#include "clang/Sema/TemplateDeduction.h"
#include "TreeTransform.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/Sema.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/SmallBitVector.h"
#include <algorithm>
#include "clang/AST/TypeNodes.def"
Go to the source code of this file.
Classes | |
struct | clang::DeducedPack |
A pack that we're currently deducing. More... | |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
Macros | |
#define | NON_CANONICAL_TYPE(Class, Base) case Type::Class: llvm_unreachable("deducing non-canonical type: " #Class); |
#define | TYPE(Class, Base) |
#define | TYPE(Class, Base) |
#define | ABSTRACT_TYPE(Class, Base) |
#define | DEPENDENT_TYPE(Class, Base) |
#define | NON_CANONICAL_TYPE(Class, Base) case Type::Class: |
Enumerations | |
enum | clang::TemplateDeductionFlags { clang::TDF_None = 0, clang::TDF_ParamWithReferenceType = 0x1, clang::TDF_IgnoreQualifiers = 0x02, clang::TDF_DerivedClass = 0x04, clang::TDF_SkipNonDependent = 0x08, clang::TDF_TopLevelParameterTypeList = 0x10, clang::TDF_InOverloadResolution = 0x20 } |
Various flags that control template argument deduction. More... | |
Functions | |
static bool | hasSameExtendedValue (llvm::APSInt X, llvm::APSInt Y) |
Compare two APSInts, extending and switching the sign as necessary to compare their values regardless of underlying type. More... | |
static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateArgument &Param, TemplateArgument Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
static Sema::TemplateDeductionResult | DeduceTemplateArgumentsByTypeMatch (Sema &S, TemplateParameterList *TemplateParams, QualType ParamIn, QualType ArgIn, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, bool PartialOrdering) |
Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp.deduct.type]). More... | |
static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateArgument *Params, unsigned NumParams, const TemplateArgument *Args, unsigned NumArgs, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool NumberOfArgumentsMustMatch) |
static NonTypeTemplateParmDecl * | getDeducedParameterFromExpr (Expr *E) |
If the given expression is of a form that permits the deduction of a non-type template parameter, return the declaration of that non-type template parameter. More... | |
static bool | isSameDeclaration (Decl *X, Decl *Y) |
Determine whether two declaration pointers refer to the same declaration. More... | |
static DeducedTemplateArgument | checkDeducedTemplateArguments (ASTContext &Context, const DeducedTemplateArgument &X, const DeducedTemplateArgument &Y) |
Verify that the given, deduced template arguments are compatible. More... | |
static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, NonTypeTemplateParmDecl *NTTP, const llvm::APSInt &Value, QualType ValueType, bool DeducedFromArrayBound, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
Deduce the value of the given non-type template parameter from the given constant. More... | |
static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, NonTypeTemplateParmDecl *NTTP, Expr *Value, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
Deduce the value of the given non-type template parameter from the given type- or value-dependent expression. More... | |
static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, NonTypeTemplateParmDecl *NTTP, ValueDecl *D, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
Deduce the value of the given non-type template parameter from the given declaration. More... | |
static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, TemplateName Param, TemplateName Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateSpecializationType *Param, QualType Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
Deduce the template arguments by comparing the template parameter type (which is a template-id) with the template argument type. More... | |
static bool | IsPossiblyOpaquelyQualifiedType (QualType T) |
Determines whether the given type is an opaque type that might be more qualified when instantiated. More... | |
static std::pair< unsigned, unsigned > | getDepthAndIndex (NamedDecl *ND) |
Retrieve the depth and index of a template parameter. More... | |
static std::pair< unsigned, unsigned > | getDepthAndIndex (UnexpandedParameterPack UPP) |
Retrieve the depth and index of an unexpanded parameter pack. More... | |
static TemplateParameter | makeTemplateParameter (Decl *D) |
Helper function to build a TemplateParameter when we don't know its type statically. More... | |
static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const QualType *Params, unsigned NumParams, const QualType *Args, unsigned NumArgs, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, bool PartialOrdering=false) |
Deduce the template arguments by comparing the list of parameter types to the list of argument types, as in the parameter-type-lists of function types (C++ [temp.deduct.type]p10). More... | |
static bool | hasInconsistentOrSupersetQualifiersOf (QualType ParamType, QualType ArgType) |
Determine whether the parameter has qualifiers that are either inconsistent with or a superset of the argument's qualifiers. More... | |
static bool | hasTemplateArgumentForDeduction (const TemplateArgument *&Args, unsigned &ArgIdx, unsigned &NumArgs) |
Determine whether there is a template argument to be used for deduction. More... | |
static bool | hasPackExpansionBeforeEnd (const TemplateArgument *Args, unsigned NumArgs) |
Determine whether the given set of template arguments has a pack expansion that is not the last template argument. More... | |
static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateArgumentList &ParamList, const TemplateArgumentList &ArgList, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
static bool | isSameTemplateArg (ASTContext &Context, const TemplateArgument &X, const TemplateArgument &Y) |
Determine whether two template arguments are the same. More... | |
static TemplateArgumentLoc | getTrivialTemplateArgumentLoc (Sema &S, const TemplateArgument &Arg, QualType NTTPType, SourceLocation Loc) |
Allocate a TemplateArgumentLoc where all locations have been initialized to the given location. More... | |
static bool | ConvertDeducedTemplateArgument (Sema &S, NamedDecl *Param, DeducedTemplateArgument Arg, NamedDecl *Template, TemplateDeductionInfo &Info, bool InFunctionTemplate, SmallVectorImpl< TemplateArgument > &Output) |
Convert the given deduced template argument and add it to the set of fully-converted template arguments. More... | |
static Sema::TemplateDeductionResult | FinishTemplateArgumentDeduction (Sema &S, ClassTemplatePartialSpecializationDecl *Partial, const TemplateArgumentList &TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info) |
Complete template argument deduction for a class template partial specialization. More... | |
static Sema::TemplateDeductionResult | FinishTemplateArgumentDeduction (Sema &S, VarTemplatePartialSpecializationDecl *Partial, const TemplateArgumentList &TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info) |
Complete template argument deduction for a variable template partial specialization. More... | |
static bool | isSimpleTemplateIdType (QualType T) |
Determine whether the given type T is a simple-template-id type. More... | |
static bool | CheckOriginalCallArgDeduction (Sema &S, Sema::OriginalCallArg OriginalArg, QualType DeducedA) |
Check whether the deduced argument type for a call to a function template matches the actual argument type per C++ [temp.deduct.call]p4. More... | |
static QualType | GetTypeOfFunction (Sema &S, const OverloadExpr::FindResult &R, FunctionDecl *Fn) |
Gets the type of a function for template-argument-deducton purposes when it's considered as part of an overload set. More... | |
static QualType | ResolveOverloadForDeduction (Sema &S, TemplateParameterList *TemplateParams, Expr *Arg, QualType ParamType, bool ParamWasReference) |
Apply the deduction rules for overload sets. More... | |
static bool | AdjustFunctionParmAndArgTypesForDeduction (Sema &S, TemplateParameterList *TemplateParams, QualType &ParamType, QualType &ArgType, Expr *Arg, unsigned &TDF) |
Perform the adjustments to the parameter and argument types described in C++ [temp.deduct.call]. More... | |
static bool | hasDeducibleTemplateParameters (Sema &S, FunctionTemplateDecl *FunctionTemplate, QualType T) |
static Sema::TemplateDeductionResult | DeduceTemplateArgumentByListElement (Sema &S, TemplateParameterList *TemplateParams, QualType ParamType, Expr *Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF) |
Perform template argument deduction by matching a parameter type against a single expression, where the expression is an element of an initializer list that was originally matched against a parameter of type initializer_list<ParamType> . More... | |
static bool | DeduceFromInitializerList (Sema &S, TemplateParameterList *TemplateParams, QualType AdjustedParamType, InitListExpr *ILE, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, Sema::TemplateDeductionResult &Result) |
Attempt template argument deduction from an initializer list deemed to be an argument in a function call. More... | |
static void | SubstAutoWithinFunctionReturnType (FunctionDecl *F, QualType TypeToReplaceAutoWith, Sema &S) |
Given a function declaration (e.g. More... | |
static Sema::TemplateDeductionResult | SpecializeCorrespondingLambdaCallOperatorAndInvoker (CXXConversionDecl *ConversionSpecialized, SmallVectorImpl< DeducedTemplateArgument > &DeducedArguments, QualType ReturnTypeOfDestFunctionPtr, TemplateDeductionInfo &TDInfo, Sema &S) |
Given a specialized conversion operator of a generic lambda create the corresponding specializations of the call operator and the static-invoker. More... | |
static void | MarkUsedTemplateParameters (ASTContext &Ctx, QualType T, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
Mark the template parameters that are used by the given type. More... | |
static void | AddImplicitObjectParameterType (ASTContext &Context, CXXMethodDecl *Method, SmallVectorImpl< QualType > &ArgTypes) |
If this is a non-static member function,. More... | |
static bool | isAtLeastAsSpecializedAs (Sema &S, SourceLocation Loc, FunctionTemplateDecl *FT1, FunctionTemplateDecl *FT2, TemplatePartialOrderingContext TPOC, unsigned NumCallArguments1) |
Determine whether the function template FT1 is at least as specialized as FT2 . More... | |
static bool | isVariadicFunctionTemplate (FunctionTemplateDecl *FunTmpl) |
Determine whether this a function template whose parameter-type-list ends with a function parameter pack. More... | |
static bool | isSameTemplate (TemplateDecl *T1, TemplateDecl *T2) |
Determine if the two templates are equivalent. More... | |
static void | MarkUsedTemplateParameters (ASTContext &Ctx, const TemplateArgument &TemplateArg, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
Mark the template parameters that are used by this template argument. More... | |
static void | MarkUsedTemplateParameters (ASTContext &Ctx, const Expr *E, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
Mark the template parameters that are used by the given expression. More... | |
static void | MarkUsedTemplateParameters (ASTContext &Ctx, NestedNameSpecifier *NNS, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
Mark the template parameters that are used by the given nested name specifier. More... | |
static void | MarkUsedTemplateParameters (ASTContext &Ctx, TemplateName Name, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
Mark the template parameters that are used by the given template name. More... | |
#define ABSTRACT_TYPE | ( | Class, | |
Base | |||
) |
#define DEPENDENT_TYPE | ( | Class, | |
Base | |||
) |
#define NON_CANONICAL_TYPE | ( | Class, | |
Base | |||
) | case Type::Class: llvm_unreachable("deducing non-canonical type: " #Class); |
#define NON_CANONICAL_TYPE | ( | Class, | |
Base | |||
) | case Type::Class: |
#define TYPE | ( | Class, | |
Base | |||
) |
#define TYPE | ( | Class, | |
Base | |||
) |
|
static |
If this is a non-static member function,.
Definition at line 4157 of file SemaTemplateDeduction.cpp.
References clang::Qualifiers::fromCVRMask(), clang::ASTContext::getLValueReferenceType(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getQualifiedType(), clang::CXXMethodDecl::getRefQualifier(), clang::ASTContext::getRValueReferenceType(), clang::ASTContext::getTypeDeclType(), clang::CXXMethodDecl::getTypeQualifiers(), and clang::RQ_RValue.
Referenced by isAtLeastAsSpecializedAs().
|
static |
Perform the adjustments to the parameter and argument types described in C++ [temp.deduct.call].
Definition at line 3096 of file SemaTemplateDeduction.cpp.
References clang::Sema::completeExprArrayBound(), clang::Sema::Context, clang::ASTContext::getArrayDecayedType(), clang::Type::getAs(), clang::ASTContext::getLValueReferenceType(), clang::PointerType::getPointeeType(), clang::ReferenceType::getPointeeType(), clang::ASTContext::getPointerType(), clang::QualType::getQualifiers(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::QualType::hasQualifiers(), clang::Type::isArrayType(), clang::Type::isFunctionType(), clang::Type::isIncompleteArrayType(), clang::Expr::isLValue(), clang::Type::isMemberPointerType(), clang::QualType::isNull(), clang::Type::isObjCObjectPointerType(), clang::Type::isPointerType(), clang::Type::isRValueReferenceType(), isSimpleTemplateIdType(), clang::ASTContext::OverloadTy, ResolveOverloadForDeduction(), clang::TDF_DerivedClass, clang::TDF_IgnoreQualifiers, clang::TDF_ParamWithReferenceType, and clang::TDF_SkipNonDependent.
Referenced by clang::Sema::DeduceAutoType(), DeduceTemplateArgumentByListElement(), and clang::Sema::DeduceTemplateArguments().
|
static |
Verify that the given, deduced template arguments are compatible.
Definition at line 151 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgument::getAsDecl(), clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNullPtrType(), hasSameExtendedValue(), clang::ASTContext::hasSameTemplateName(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isNull(), isSameDeclaration(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), clang::TemplateArgument::pack_end(), clang::TemplateArgument::pack_size(), clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, clang::DeducedTemplateArgument::wasDeducedFromArrayBound(), and X.
Referenced by DeduceNonTypeTemplateArgument(), DeduceTemplateArguments(), and DeduceTemplateArgumentsByTypeMatch().
|
static |
Check whether the deduced argument type for a call to a function template matches the actual argument type per C++ [temp.deduct.call]p4.
Definition at line 2649 of file SemaTemplateDeduction.cpp.
References clang::Qualifiers::compatiblyIncludes(), clang::Sema::Context, Context, clang::Type::getAs(), clang::Sema::getLangOpts(), clang::Qualifiers::getObjCLifetime(), clang::Type::getPointeeType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::QualType::getUnqualifiedType(), clang::Qualifiers::hasConst(), clang::ASTContext::hasSameUnqualifiedType(), clang::Type::isAnyPointerType(), clang::Sema::IsDerivedFrom(), clang::Type::isMemberPointerType(), clang::Sema::IsNoReturnConversion(), clang::Sema::IsQualificationConversion(), clang::Type::isRecordType(), isSimpleTemplateIdType(), clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, clang::Sema::OriginalCallArg::OriginalArgType, clang::Sema::OriginalCallArg::OriginalParamType, and clang::Qualifiers::setObjCLifetime().
Referenced by clang::Sema::DeduceAutoType(), and clang::Sema::FinishTemplateArgumentDeduction().
|
static |
Convert the given deduced template argument and add it to the set of fully-converted template arguments.
Definition at line 2073 of file SemaTemplateDeduction.cpp.
References clang::Sema::CheckTemplateArgument(), clang::Sema::Context, clang::TemplateArgument::CreatePackCopy(), clang::Sema::CTAK_Deduced, clang::Sema::CTAK_DeducedFromArrayBound, clang::Sema::CTAK_Specified, clang::Sema::CurContext, clang::TemplateArgument::getKind(), getTrivialTemplateArgumentLoc(), clang::Type::isDependentType(), clang::QualType::isNull(), clang::TemplateArgumentList::OnStack, P, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::DeducedTemplateArgument::setDeducedFromArrayBound(), clang::Sema::SubstDecl(), clang::Sema::SubstType(), and clang::DeducedTemplateArgument::wasDeducedFromArrayBound().
Referenced by FinishTemplateArgumentDeduction(), and clang::Sema::FinishTemplateArgumentDeduction().
|
static |
Attempt template argument deduction from an initializer list deemed to be an argument in a function call.
Definition at line 3204 of file SemaTemplateDeduction.cpp.
References clang::Sema::Context, DeduceNonTypeTemplateArgument(), DeduceTemplateArgumentByListElement(), E, clang::ASTContext::getAsArrayType(), clang::ASTContext::getAsDependentSizedArrayType(), getDeducedParameterFromExpr(), clang::ArrayType::getElementType(), clang::ASTContext::getIntWidth(), clang::InitListExpr::getNumInits(), clang::DependentSizedArrayType::getSizeExpr(), clang::InitListExpr::inits(), clang::Type::isConstantArrayType(), clang::Type::isDependentSizedArrayType(), clang::Type::isDependentType(), clang::QualType::isNull(), clang::Sema::isStdInitializerList(), and clang::Sema::TDK_Success.
Referenced by DeduceTemplateArgumentByListElement(), and clang::Sema::DeduceTemplateArguments().
|
static |
Deduce the value of the given non-type template parameter from the given constant.
Definition at line 289 of file SemaTemplateDeduction.cpp.
References checkDeducedTemplateArguments(), clang::Sema::Context, clang::TemplateParmPosition::getDepth(), clang::TemplateParmPosition::getIndex(), clang::TemplateArgument::isNull(), clang::Result, clang::Sema::TDK_Inconsistent, and clang::Sema::TDK_Success.
Referenced by DeduceFromInitializerList(), DeduceTemplateArguments(), and DeduceTemplateArgumentsByTypeMatch().
|
static |
Deduce the value of the given non-type template parameter from the given type- or value-dependent expression.
Definition at line 317 of file SemaTemplateDeduction.cpp.
References checkDeducedTemplateArguments(), clang::Sema::Context, clang::TemplateParmPosition::getDepth(), clang::TemplateParmPosition::getIndex(), clang::TemplateArgument::isNull(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Result, clang::Sema::TDK_Inconsistent, and clang::Sema::TDK_Success.
|
static |
Deduce the value of the given non-type template parameter from the given declaration.
Definition at line 348 of file SemaTemplateDeduction.cpp.
References checkDeducedTemplateArguments(), clang::Sema::Context, clang::TemplateParmPosition::getDepth(), clang::TemplateParmPosition::getIndex(), clang::ValueDecl::getType(), clang::TemplateArgument::isNull(), clang::Result, clang::Sema::TDK_Inconsistent, and clang::Sema::TDK_Success.
|
static |
Perform template argument deduction by matching a parameter type against a single expression, where the expression is an element of an initializer list that was originally matched against a parameter of type initializer_list<ParamType>
.
Definition at line 3274 of file SemaTemplateDeduction.cpp.
References AdjustFunctionParmAndArgTypesForDeduction(), DeduceFromInitializerList(), DeduceTemplateArgumentsByTypeMatch(), clang::QualType::getNonReferenceType(), clang::Expr::getType(), clang::Result, clang::Sema::TDK_FailedOverloadResolution, and clang::Sema::TDK_Success.
Referenced by clang::Sema::DeduceAutoType(), and DeduceFromInitializerList().
|
static |
Definition at line 1676 of file SemaTemplateDeduction.cpp.
References clang::Sema::Context, clang::TemplateArgument::Declaration, DeduceNonTypeTemplateArgument(), DeduceTemplateArgumentsByTypeMatch(), clang::TemplateArgument::Expression, clang::TemplateArgument::getAsDecl(), clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsType(), getDeducedParameterFromExpr(), clang::TemplateArgument::getIntegralType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNullPtrType(), clang::TemplateArgument::getPackExpansionPattern(), hasSameExtendedValue(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isPackExpansion(), isSameDeclaration(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::Sema::TDK_NonDeducedMismatch, clang::Sema::TDK_Success, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.
Referenced by clang::Sema::ActOnExplicitInstantiation(), clang::Sema::CheckFunctionTemplateSpecialization(), clang::Sema::CheckVarTemplateId(), DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), and isAtLeastAsSpecializedAs().
|
static |
Definition at line 1836 of file SemaTemplateDeduction.cpp.
References DeduceTemplateArguments(), clang::TemplateArgument::getPackExpansionPattern(), hasPackExpansionBeforeEnd(), hasTemplateArgumentForDeduction(), clang::Result, clang::Sema::TDK_MiscellaneousDeductionFailure, clang::Sema::TDK_Success, and clang::Sema::TDK_TooFewArguments.
|
static |
Definition at line 374 of file SemaTemplateDeduction.cpp.
References checkDeducedTemplateArguments(), clang::Sema::Context, clang::TemplateName::getAsTemplateDecl(), clang::ASTContext::getCanonicalTemplateName(), clang::ASTContext::hasSameTemplateName(), clang::Result, clang::Sema::TDK_Inconsistent, clang::Sema::TDK_NonDeducedMismatch, and clang::Sema::TDK_Success.
|
static |
Deduce the template arguments by comparing the template parameter type (which is a template-id) with the template argument type.
S | the Sema |
TemplateParams | the template parameters that we are deducing |
Param | the parameter type |
Arg | the argument type |
Info | information about the template argument deduction itself |
Deduced | the deduced template arguments |
Definition at line 433 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgumentList::data(), DeduceTemplateArguments(), clang::RecordType::getDecl(), clang::ClassTemplateSpecializationDecl::getSpecializedTemplate(), clang::ClassTemplateSpecializationDecl::getTemplateArgs(), clang::QualType::isCanonical(), clang::Result, clang::TemplateArgumentList::size(), clang::Sema::TDK_NonDeducedMismatch, and clang::TemplateSpecializationType().
|
static |
Deduce the template arguments by comparing the list of parameter types to the list of argument types, as in the parameter-type-lists of function types (C++ [temp.deduct.type]p10).
S | The semantic analysis object within which we are deducing |
TemplateParams | The template parameters that we are deducing |
Params | The list of parameter types |
NumParams | The number of types in Params |
Args | The list of argument types |
NumArgs | The number of types in Args |
Info | information about the template argument deduction itself |
Deduced | the deduced template arguments |
TDF | bitwise OR of the TemplateDeductionFlags bits that describe how template argument deduction is performed. |
PartialOrdering | If true, we are performing template argument deduction for during partial ordering for a call (C++0x [temp.deduct.partial]). |
Definition at line 763 of file SemaTemplateDeduction.cpp.
References DeduceTemplateArgumentsByTypeMatch(), clang::PackExpansionType::getPattern(), clang::NumArgs, clang::Result, clang::Sema::TDK_MiscellaneousDeductionFailure, and clang::Sema::TDK_Success.
|
static |
Definition at line 1924 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgumentList::data(), DeduceTemplateArguments(), and clang::TemplateArgumentList::size().
|
static |
Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp.deduct.type]).
S | the semantic analysis object within which we are deducing |
TemplateParams | the template parameters that we are deducing |
ParamIn | the parameter type |
ArgIn | the argument type |
Info | information about the template argument deduction itself |
Deduced | the deduced template arguments |
TDF | bitwise OR of the TemplateDeductionFlags bits that describe how template argument deduction is performed. |
PartialOrdering | Whether we're performing template argument deduction in the context of partial ordering (C++0x [temp.deduct.partial]). |
Definition at line 939 of file SemaTemplateDeduction.cpp.
References clang::Sema::adjustMemberFunctionCC(), clang::Auto, clang::CXXRecordDecl::bases(), checkDeducedTemplateArguments(), clang::Sema::Context, DeduceNonTypeTemplateArgument(), DeduceTemplateArguments(), clang::Type::getAs(), clang::ASTContext::getAsArrayType(), clang::ASTContext::getAsConstantArrayType(), clang::ASTContext::getAsDependentSizedArrayType(), clang::ASTContext::getAsIncompleteArrayType(), clang::ASTContext::getCanonicalType(), clang::MemberPointerType::getClass(), clang::Qualifiers::getCVRQualifiers(), clang::QualType::getCVRQualifiers(), clang::RecordType::getDecl(), getDeducedParameterFromExpr(), clang::TemplateParmPosition::getDepth(), clang::ArrayType::getElementType(), clang::DependentSizedExtVectorType::getElementType(), clang::VectorType::getElementType(), clang::Sema::getLangOpts(), clang::VectorType::getNumElements(), clang::FunctionProtoType::getNumParams(), clang::Qualifiers::getObjCLifetime(), clang::TemplateParameterList::getParam(), clang::Type::getPointeeType(), clang::BlockPointerType::getPointeeType(), clang::ReferenceType::getPointeeType(), clang::MemberPointerType::getPointeeType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::FunctionProtoType::getRefQualifier(), clang::FunctionType::getReturnType(), clang::ConstantArrayType::getSize(), clang::DependentSizedArrayType::getSizeExpr(), clang::DependentSizedExtVectorType::getSizeExpr(), clang::ASTContext::getSizeType(), clang::Type::getTypeClass(), clang::FunctionProtoType::getTypeQuals(), clang::ASTContext::getTypeSize(), clang::ASTContext::getUnqualifiedArrayType(), clang::CanQual< T >::getUnqualifiedType(), clang::QualType::getUnqualifiedType(), clang::Qualifiers::hasAddressSpace(), hasInconsistentOrSupersetQualifiersOf(), clang::Qualifiers::hasNonTrivialObjCLifetime(), clang::Qualifiers::hasObjCGCAttr(), clang::Qualifiers::hasObjCLifetime(), clang::ASTContext::hasSameUnqualifiedType(), clang::ASTContext::IntTy, clang::Sema::isCompleteType(), clang::Type::isDependentType(), clang::Type::isFunctionType(), clang::Type::isLValueReferenceType(), clang::TemplateArgument::isNull(), clang::Type::isObjCLifetimeType(), clang::Type::isPlaceholderType(), IsPossiblyOpaquelyQualifiedType(), clang::Sema::isSameOrCompatibleFunctionType(), clang::Qualifiers::isStrictSupersetOf(), clang::FunctionProtoType::isVariadic(), Next, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_Strong, clang::ASTContext::OverloadTy, clang::FunctionProtoType::param_type_begin(), clang::Qualifiers::removeAddressSpace(), clang::Qualifiers::removeCVRQualifiers(), clang::Qualifiers::removeObjCGCAttr(), clang::Qualifiers::removeObjCLifetime(), clang::Result, clang::Qualifiers::setCVRQualifiers(), clang::Qualifiers::setObjCLifetime(), clang::TDF_DerivedClass, clang::TDF_IgnoreQualifiers, clang::TDF_InOverloadResolution, clang::TDF_ParamWithReferenceType, clang::TDF_SkipNonDependent, clang::TDF_TopLevelParameterTypeList, clang::Sema::TDK_Inconsistent, clang::Sema::TDK_MiscellaneousDeductionFailure, clang::Sema::TDK_NonDeducedMismatch, clang::Sema::TDK_Success, clang::Sema::TDK_Underqualified, clang::TemplateSpecializationType(), and clang::Qualifiers::withoutObjCLifetime().
Referenced by clang::Sema::DeduceAutoType(), DeduceTemplateArgumentByListElement(), DeduceTemplateArguments(), clang::Sema::DeduceTemplateArguments(), clang::Sema::getMoreSpecializedPartialSpecialization(), isAtLeastAsSpecializedAs(), and ResolveOverloadForDeduction().
|
static |
Complete template argument deduction for a class template partial specialization.
Definition at line 2165 of file SemaTemplateDeduction.cpp.
References Builder, clang::Sema::CheckTemplateArgumentList(), clang::Sema::Context, ConvertDeducedTemplateArgument(), clang::TemplateArgumentList::CreateCopy(), E, clang::TemplateArgumentLoc::getArgument(), clang::TemplateParameterList::getParam(), clang::ClassTemplateSpecializationDecl::getSpecializedTemplate(), clang::ASTTemplateArgumentListInfo::getTemplateArgs(), clang::ClassTemplatePartialSpecializationDecl::getTemplateArgsAsWritten(), clang::TemplateDecl::getTemplateParameters(), clang::ClassTemplatePartialSpecializationDecl::getTemplateParameters(), clang::Sema::SFINAETrap::hasErrorOccurred(), I, isSameTemplateArg(), clang::ASTTemplateArgumentListInfo::LAngleLoc, makeTemplateParameter(), clang::ASTTemplateArgumentListInfo::NumTemplateArgs, clang::ASTTemplateArgumentListInfo::RAngleLoc, clang::TemplateParameterList::size(), clang::TemplateArgumentListInfo::size(), clang::Sema::Subst(), clang::Sema::TDK_Incomplete, clang::Sema::TDK_NonDeducedMismatch, clang::Sema::TDK_SubstitutionFailure, clang::Sema::TDK_Success, and clang::Sema::Unevaluated.
Referenced by clang::Sema::DeduceTemplateArguments().
|
static |
Complete template argument deduction for a variable template partial specialization.
TODO: Unify with ClassTemplatePartialSpecializationDecl version? May require unifying ClassTemplate(Partial)SpecializationDecl and VarTemplate(Partial)SpecializationDecl with a new data structure Template(Partial)SpecializationDecl, and using Template(Partial)SpecializationDecl as input type.
Definition at line 2307 of file SemaTemplateDeduction.cpp.
References Builder, clang::Sema::CheckTemplateArgumentList(), clang::Sema::Context, ConvertDeducedTemplateArgument(), clang::TemplateArgumentList::CreateCopy(), E, clang::TemplateArgumentLoc::getArgument(), clang::TemplateParameterList::getParam(), clang::VarTemplateSpecializationDecl::getSpecializedTemplate(), clang::ASTTemplateArgumentListInfo::getTemplateArgs(), clang::VarTemplatePartialSpecializationDecl::getTemplateArgsAsWritten(), clang::TemplateDecl::getTemplateParameters(), clang::VarTemplatePartialSpecializationDecl::getTemplateParameters(), clang::Sema::SFINAETrap::hasErrorOccurred(), I, isSameTemplateArg(), clang::ASTTemplateArgumentListInfo::LAngleLoc, makeTemplateParameter(), clang::ASTTemplateArgumentListInfo::NumTemplateArgs, clang::ASTTemplateArgumentListInfo::RAngleLoc, clang::TemplateParameterList::size(), clang::TemplateArgumentListInfo::size(), clang::Sema::Subst(), clang::Sema::TDK_Incomplete, clang::Sema::TDK_NonDeducedMismatch, clang::Sema::TDK_SubstitutionFailure, clang::Sema::TDK_Success, and clang::Sema::Unevaluated.
|
static |
If the given expression is of a form that permits the deduction of a non-type template parameter, return the declaration of that non-type template parameter.
Definition at line 116 of file SemaTemplateDeduction.cpp.
Referenced by DeduceFromInitializerList(), DeduceTemplateArguments(), and DeduceTemplateArgumentsByTypeMatch().
Retrieve the depth and index of a template parameter.
Definition at line 522 of file SemaTemplateDeduction.cpp.
References clang::TemplateParmPosition::getDepth(), and clang::TemplateParmPosition::getIndex().
Referenced by getDepthAndIndex().
|
static |
Retrieve the depth and index of an unexpanded parameter pack.
Definition at line 535 of file SemaTemplateDeduction.cpp.
References getDepthAndIndex().
|
static |
Allocate a TemplateArgumentLoc where all locations have been initialized to the given location.
S | The semantic analysis object. |
Arg | The template argument we are producing template argument location information for. |
NTTPType | For a declaration template argument, the type of the non-type template parameter that corresponds to this template argument. |
Loc | The source location to use for the resulting template argument. |
Definition at line 2006 of file SemaTemplateDeduction.cpp.
References Builder, clang::Sema::BuildExpressionFromDeclTemplateArgument(), clang::Sema::BuildExpressionFromIntegralTemplateArgument(), clang::Sema::Context, clang::TemplateArgument::Declaration, E, clang::TemplateArgument::Expression, clang::ActionResult< PtrTy, CompressInvalid >::getAs(), clang::TemplateName::getAsDependentTemplateName(), clang::TemplateArgument::getAsExpr(), clang::TemplateName::getAsQualifiedTemplateName(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::NestedNameSpecifierLocBuilder::getWithLocInContext(), clang::TemplateArgument::Integral, clang::NestedNameSpecifierLocBuilder::MakeTrivial(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.
Referenced by ConvertDeducedTemplateArgument().
|
static |
Gets the type of a function for template-argument-deducton purposes when it's considered as part of an overload set.
Definition at line 2966 of file SemaTemplateDeduction.cpp.
References clang::Sema::Context, clang::Sema::DeduceReturnType(), clang::OverloadExpr::FindResult::Expression, clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::ASTContext::getMemberPointerType(), clang::ASTContext::getPointerType(), clang::FunctionDecl::getReturnType(), clang::ValueDecl::getType(), clang::ASTContext::getTypeDeclType(), clang::OverloadExpr::FindResult::HasFormOfMemberPointer, clang::OverloadExpr::FindResult::IsAddressOfOperand, and clang::Type::isUndeducedType().
Referenced by ResolveOverloadForDeduction().
|
static |
Definition at line 5048 of file SemaTemplateDeduction.cpp.
References clang::Sema::Context, clang::TemplateParameterList::getDepth(), clang::TemplateDecl::getTemplateParameters(), clang::Type::isDependentType(), MarkUsedTemplateParameters(), and clang::TemplateParameterList::size().
Referenced by clang::Sema::DeduceTemplateArguments().
Determine whether the parameter has qualifiers that are either inconsistent with or a superset of the argument's qualifiers.
Definition at line 859 of file SemaTemplateDeduction.cpp.
References clang::Qualifiers::getAddressSpace(), clang::Qualifiers::getCVRQualifiers(), clang::Qualifiers::getObjCGCAttr(), clang::Qualifiers::getObjCLifetime(), clang::QualType::getQualifiers(), clang::Qualifiers::hasAddressSpace(), clang::Qualifiers::hasObjCGCAttr(), and clang::Qualifiers::hasObjCLifetime().
Referenced by DeduceTemplateArgumentsByTypeMatch().
|
static |
Determine whether the given set of template arguments has a pack expansion that is not the last template argument.
Definition at line 1810 of file SemaTemplateDeduction.cpp.
References getKind(), clang::TemplateArgument::isPackExpansion(), clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), and clang::TemplateArgument::pack_size().
Referenced by DeduceTemplateArguments(), MarkUsedTemplateParameters(), and clang::Sema::MarkUsedTemplateParameters().
|
static |
Compare two APSInts, extending and switching the sign as necessary to compare their values regardless of underlying type.
Definition at line 67 of file SemaTemplateDeduction.cpp.
Referenced by checkDeducedTemplateArguments(), and DeduceTemplateArguments().
|
static |
Determine whether there is a template argument to be used for deduction.
This routine "expands" argument packs in-place, overriding its input parameters so that Args
[ArgIdx] will be the available template argument.
Args
[ArgIdx]), false otherwise. Definition at line 1791 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::getKind(), clang::NumArgs, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), and clang::TemplateArgument::pack_size().
Referenced by DeduceTemplateArguments().
|
static |
Determine whether the function template FT1
is at least as specialized as FT2
.
Definition at line 4179 of file SemaTemplateDeduction.cpp.
References AddImplicitObjectParameterType(), clang::Sema::Context, DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), clang::Type::getAs(), clang::TemplateParameterList::getDepth(), clang::FunctionType::getReturnType(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::TemplateDecl::getTemplateParameters(), clang::ValueDecl::getType(), I, clang::CXXMethodDecl::isStatic(), MarkUsedTemplateParameters(), clang::NumArgs, clang::FunctionProtoType::param_type_begin(), clang::FunctionProtoType::param_type_end(), clang::TemplateParameterList::size(), clang::TDF_None, clang::TPOC_Call, clang::TPOC_Conversion, and clang::TPOC_Other.
Referenced by clang::Sema::getMoreSpecializedTemplate().
Determines whether the given type is an opaque type that might be more qualified when instantiated.
Definition at line 498 of file SemaTemplateDeduction.cpp.
References clang::Type::getTypeClass().
Referenced by DeduceTemplateArgumentsByTypeMatch().
Determine whether two declaration pointers refer to the same declaration.
Definition at line 137 of file SemaTemplateDeduction.cpp.
Referenced by checkDeducedTemplateArguments(), DeduceTemplateArguments(), and isSameTemplateArg().
|
static |
Determine if the two templates are equivalent.
Definition at line 4393 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::getMostSpecialized().
|
static |
Determine whether two template arguments are the same.
Definition at line 1937 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgument::getAsDecl(), clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::ASTContext::getCanonicalTemplateName(), clang::ASTContext::getCanonicalType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNullPtrType(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, isSameDeclaration(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), clang::TemplateArgument::pack_end(), clang::TemplateArgument::pack_size(), clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.
Referenced by FinishTemplateArgumentDeduction().
Determine whether the given type T is a simple-template-id type.
Definition at line 2440 of file SemaTemplateDeduction.cpp.
References clang::Type::getAs(), and clang::TemplateSpecializationType().
Referenced by AdjustFunctionParmAndArgTypesForDeduction(), and CheckOriginalCallArgDeduction().
|
static |
Determine whether this a function template whose parameter-type-list ends with a function parameter pack.
Definition at line 4326 of file SemaTemplateDeduction.cpp.
References clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::ParmVarDecl::isParameterPack(), and clang::LangAS::Last.
Referenced by clang::Sema::getMoreSpecializedTemplate().
|
static |
Helper function to build a TemplateParameter when we don't know its type statically.
Definition at line 545 of file SemaTemplateDeduction.cpp.
Referenced by FinishTemplateArgumentDeduction(), clang::Sema::FinishTemplateArgumentDeduction(), and clang::Sema::SubstituteExplicitTemplateArguments().
|
static |
Mark the template parameters that are used by the given type.
Definition at line 4729 of file SemaTemplateDeduction.cpp.
References clang::Auto, clang::DependentTemplateSpecializationType(), Depth, clang::SubstTemplateTypeParmPackType::getArgumentPack(), clang::ASTContext::getCanonicalType(), clang::MemberPointerType::getClass(), clang::TemplateTypeParmType::getDepth(), clang::DependentSizedExtVectorType::getElementType(), clang::TemplateTypeParmType::getIndex(), clang::FunctionProtoType::getNumParams(), clang::FunctionProtoType::getParamType(), clang::MemberPointerType::getPointeeType(), clang::getQualifier(), clang::SubstTemplateTypeParmPackType::getReplacedParameter(), clang::FunctionType::getReturnType(), clang::DependentSizedExtVectorType::getSizeExpr(), clang::Type::getTypeClass(), clang::QualType::getTypePtr(), getUnderlyingType(), hasPackExpansionBeforeEnd(), I, clang::Type::isDependentType(), clang::QualType::isNull(), clang::TemplateSpecializationType(), and Used.
Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnVarTemplateSpecialization(), hasDeducibleTemplateParameters(), isAtLeastAsSpecializedAs(), and MarkUsedTemplateParameters().
|
static |
Mark the template parameters that are used by this template argument.
Definition at line 4966 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::Declaration, Depth, clang::TemplateArgument::Expression, clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNullPtrType(), clang::TemplateArgument::Integral, MarkUsedTemplateParameters(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, P, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, and Used.
|
static |
Mark the template parameters that are used by the given expression.
Definition at line 4648 of file SemaTemplateDeduction.cpp.
References Depth, E, clang::DeclRefExpr::getDecl(), clang::TemplateParmPosition::getDepth(), and clang::TemplateParmPosition::getIndex().
|
static |
Mark the template parameters that are used by the given nested name specifier.
Definition at line 4687 of file SemaTemplateDeduction.cpp.
References Depth, clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifier::getPrefix(), MarkUsedTemplateParameters(), and Used.
|
static |
Mark the template parameters that are used by the given template name.
Definition at line 4704 of file SemaTemplateDeduction.cpp.
References Depth, clang::TemplateName::getAsDependentTemplateName(), clang::TemplateName::getAsQualifiedTemplateName(), clang::TemplateName::getAsTemplateDecl(), MarkUsedTemplateParameters(), and Used.
|
static |
Apply the deduction rules for overload sets.
Definition at line 2992 of file SemaTemplateDeduction.cpp.
References clang::Sema::Context, clang::OverloadExpr::copyTemplateArgumentsInto(), clang::OverloadExpr::decls_begin(), clang::OverloadExpr::decls_end(), clang::Sema::DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), E, clang::OverloadExpr::FindResult::Expression, clang::OverloadExpr::find(), clang::OverloadExpr::getNameLoc(), clang::ASTContext::getPointerType(), GetTypeOfFunction(), clang::NamedDecl::getUnderlyingDecl(), clang::OverloadExpr::hasExplicitTemplateArgs(), I, clang::OverloadExpr::FindResult::IsAddressOfOperand, clang::Type::isFunctionPointerType(), clang::Type::isFunctionType(), clang::Type::isMemberFunctionPointerType(), clang::QualType::isNull(), clang::Type::isPointerType(), clang::Sema::resolveAddressOfOnlyViableOverloadCandidate(), clang::Sema::ResolveSingleFunctionTemplateSpecialization(), clang::Result, clang::TemplateParameterList::size(), clang::TDF_IgnoreQualifiers, and clang::TDF_ParamWithReferenceType.
Referenced by AdjustFunctionParmAndArgTypesForDeduction().
|
inlinestatic |
Given a specialized conversion operator of a generic lambda create the corresponding specializations of the call operator and the static-invoker.
If the return type of the call operator is auto, deduce its return type and check if that matches the return type of the destination function ptr.
Definition at line 3669 of file SemaTemplateDeduction.cpp.
References clang::Sema::Context, clang::Sema::DeduceReturnType(), clang::Sema::FinishTemplateArgumentDeduction(), clang::Type::getContainedAutoType(), clang::AutoType::getDeducedType(), clang::FunctionProtoType::getExtProtoInfo(), clang::ASTContext::getFunctionType(), clang::CXXRecordDecl::getLambdaCallOperator(), clang::FunctionProtoType::getParamTypes(), clang::CXXMethodDecl::getParent(), clang::FunctionDecl::getPointOfInstantiation(), clang::FunctionDecl::getReturnType(), clang::FunctionType::getReturnType(), clang::ASTContext::hasSameType(), clang::CXXRecordDecl::isGenericLambda(), clang::Type::isUndeducedType(), clang::Result, clang::ValueDecl::setType(), SubstAutoWithinFunctionReturnType(), clang::Sema::TDK_NonDeducedMismatch, clang::Sema::TDK_Success, and clang::FunctionProtoType::ExtProtoInfo::TypeQuals.
Referenced by clang::Sema::DeduceTemplateArguments().
|
inlinestatic |
Given a function declaration (e.g.
a generic lambda conversion function) that contains an 'auto' in its result type, substitute it with TypeToReplaceAutoWith. Be careful to pass in the type you want to replace 'auto' with and not the actual result type you want to set the function to.
Definition at line 3652 of file SemaTemplateDeduction.cpp.
References clang::ASTContext::adjustDeducedFunctionResultType(), clang::Sema::Context, clang::Type::getContainedAutoType(), clang::FunctionDecl::getReturnType(), and clang::Sema::SubstAutoType().
Referenced by SpecializeCorrespondingLambdaCallOperatorAndInvoker().