SemaTemplateDeduction.cpp File Reference

#include "TreeTransform.h"
#include "TypeLocBuilder.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclAccessPair.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/NestedNameSpecifier.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/TemplateName.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/TypeOrdering.h"
#include "clang/AST/UnresolvedSet.h"
#include "clang/Basic/AddressSpaces.h"
#include "clang/Basic/ExceptionSpecificationType.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/Specifiers.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/Ownership.h"
#include "clang/Sema/Sema.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateDeduction.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ErrorHandling.h"
#include <algorithm>
#include <cassert>
#include <optional>
#include <tuple>
#include <type_traits>
#include <utility>
#include "clang/AST/TypeNodes.inc"

Go to the source code of this file.

Classes
struct	clang::DeducedPack
	A pack that we're currently deducing. More...
struct	IsPartialSpecialization< T >
struct	IsPartialSpecialization< ClassTemplatePartialSpecializationDecl >
struct	IsPartialSpecialization< VarTemplatePartialSpecializationDecl >

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.

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_AllowCompatibleFunctionType = 0x20 , clang::TDF_ArgWithReferenceType = 0x40 }
	Various flags that control template argument deduction. More...
enum class	PartialOrderingKind { None , NonCall , Call }
	The kind of PartialOrdering we're performing template argument deduction for (C++11 [temp.deduct.partial]). More...
enum class	PackFold { ParameterToArgument , ArgumentToParameter }

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.
static TemplateDeductionResult	DeduceTemplateArgumentsByTypeMatch (Sema &S, TemplateParameterList *TemplateParams, QualType P, QualType A, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, PartialOrderingKind POK, bool DeducedFromArrayBound, bool *HasDeducedAnyParam)
	Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp.deduct.type]).
static TemplateDeductionResult	DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, ArrayRef< TemplateArgument > Ps, ArrayRef< TemplateArgument > As, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool NumberOfArgumentsMustMatch, bool PartialOrdering, PackFold PackFold, bool *HasDeducedAnyParam)
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.
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.
static const NonTypeTemplateParmDecl *	getDeducedParameterFromExpr (const Expr *E, unsigned Depth)
	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.
static const NonTypeTemplateParmDecl *	getDeducedParameterFromExpr (TemplateDeductionInfo &Info, Expr *E)
static bool	isSameDeclaration (Decl *X, Decl *Y)
	Determine whether two declaration pointers refer to the same declaration.
static DeducedTemplateArgument	checkDeducedTemplateArguments (ASTContext &Context, const DeducedTemplateArgument &X, const DeducedTemplateArgument &Y, bool AggregateCandidateDeduction=false)
	Verify that the given, deduced template arguments are compatible.
static TemplateDeductionResult	DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, const DeducedTemplateArgument &NewDeduced, QualType ValueType, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
	Deduce the value of the given non-type template parameter as the given deduced template argument.
static TemplateDeductionResult	DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, const llvm::APSInt &Value, QualType ValueType, bool DeducedFromArrayBound, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
	Deduce the value of the given non-type template parameter from the given integral constant.
static TemplateDeductionResult	DeduceNullPtrTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, QualType NullPtrType, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
	Deduce the value of the given non-type template parameter from the given null pointer template argument type.
static TemplateDeductionResult	DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, Expr *Value, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
	Deduce the value of the given non-type template parameter from the given type- or value-dependent expression.
static TemplateDeductionResult	DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, ValueDecl *D, QualType T, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
	Deduce the value of the given non-type template parameter from the given declaration.
static TemplateDeductionResult	DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, TemplateName Param, TemplateName Arg, TemplateDeductionInfo &Info, ArrayRef< TemplateArgument > DefaultArguments, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
static const TemplateSpecializationType *	getLastTemplateSpecType (QualType QT)
	Deduce the template arguments by comparing the template parameter type (which is a template-id) with the template argument type.
static TemplateDeductionResult	DeduceTemplateSpecArguments (Sema &S, TemplateParameterList *TemplateParams, const QualType P, QualType A, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
static bool	IsPossiblyOpaquelyQualifiedTypeInternal (const Type *T)
static bool	IsPossiblyOpaquelyQualifiedType (QualType T)
	Determines whether the given type is an opaque type that might be more qualified when instantiated.
static TemplateParameter	makeTemplateParameter (Decl *D)
	Helper function to build a TemplateParameter when we don't know its type statically.
template<class T >
static TemplateDeductionResult	DeduceForEachType (Sema &S, TemplateParameterList *TemplateParams, ArrayRef< QualType > Params, ArrayRef< QualType > Args, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, PartialOrderingKind POK, bool FinishingDeduction, T &&DeductFunc)
static TemplateDeductionResult	DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, ArrayRef< QualType > Params, ArrayRef< QualType > Args, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, PartialOrderingKind POK, bool *HasDeducedAnyParam, llvm::SmallBitVector *HasDeducedParam)
	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).
static bool	hasInconsistentOrSupersetQualifiersOf (QualType ParamType, QualType ArgType)
	Determine whether the parameter has qualifiers that the argument lacks.
static unsigned	getFirstInnerIndex (FunctionTemplateDecl *FTD)
	Get the index of the first template parameter that was originally from the innermost template-parameter-list.
static bool	isForwardingReference (QualType Param, unsigned FirstInnerIndex)
	Determine whether a type denotes a forwarding reference.
static TemplateDeductionResult	DeduceTemplateBases (Sema &S, const CXXRecordDecl *RD, TemplateParameterList *TemplateParams, QualType P, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
	Attempt to deduce the template arguments by checking the base types according to (C++20 [temp.deduct.call] p4b3.
static PartialOrderingKind	degradeCallPartialOrderingKind (PartialOrderingKind POK)
	When propagating a partial ordering kind into a NonCall context, this is used to downgrade a 'Call' into a 'NonCall', so that the kind still reflects whether we are in a partial ordering context.
static TemplateDeductionResult	DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateArgument &P, TemplateArgument A, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
static bool	hasTemplateArgumentForDeduction (ArrayRef< TemplateArgument > &Args, unsigned &ArgIdx)
	Determine whether there is a template argument to be used for deduction.
static bool	hasPackExpansionBeforeEnd (ArrayRef< TemplateArgument > Args)
	Determine whether the given set of template arguments has a pack expansion that is not the last template argument.
static bool	isSameTemplateArg (ASTContext &Context, TemplateArgument X, const TemplateArgument &Y, bool PartialOrdering, bool PackExpansionMatchesPack=false)
	Determine whether two template arguments are the same.
static bool	ConvertDeducedTemplateArgument (Sema &S, NamedDecl *Param, DeducedTemplateArgument Arg, NamedDecl *Template, TemplateDeductionInfo &Info, bool IsDeduced, SmallVectorImpl< TemplateArgument > &SugaredOutput, SmallVectorImpl< TemplateArgument > &CanonicalOutput)
	Convert the given deduced template argument and add it to the set of fully-converted template arguments.
template<typename TemplateDeclT >
static TemplateDeductionResult	ConvertDeducedTemplateArguments (Sema &S, TemplateDeclT *Template, bool IsDeduced, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info, SmallVectorImpl< TemplateArgument > &SugaredBuilder, SmallVectorImpl< TemplateArgument > &CanonicalBuilder, LocalInstantiationScope *CurrentInstantiationScope=nullptr, unsigned NumAlreadyConverted=0, bool *IsIncomplete=nullptr)
static DeclContext *	getAsDeclContextOrEnclosing (Decl *D)
template<typename TemplateDeclT >
static bool	DeducedArgsNeedReplacement (TemplateDeclT *Template)
template<>
bool	DeducedArgsNeedReplacement< VarTemplatePartialSpecializationDecl > (VarTemplatePartialSpecializationDecl *Spec)
template<>
bool	DeducedArgsNeedReplacement< ClassTemplatePartialSpecializationDecl > (ClassTemplatePartialSpecializationDecl *Spec)
template<typename TemplateDeclT >
static TemplateDeductionResult	CheckDeducedArgumentConstraints (Sema &S, TemplateDeclT *Template, ArrayRef< TemplateArgument > SugaredDeducedArgs, ArrayRef< TemplateArgument > CanonicalDeducedArgs, TemplateDeductionInfo &Info)
template<typename T >
static std::enable_if_t< IsPartialSpecialization< T >::value, TemplateDeductionResult >	FinishTemplateArgumentDeduction (Sema &S, T *Partial, bool IsPartialOrdering, ArrayRef< TemplateArgument > TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info)
	Complete template argument deduction for a partial specialization.
static TemplateDeductionResult	FinishTemplateArgumentDeduction (Sema &S, TemplateDecl *Template, bool PartialOrdering, ArrayRef< TemplateArgument > TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info)
	Complete template argument deduction for a class or variable template, when partial ordering against a partial specialization.
static TemplateDeductionResult	FinishTemplateArgumentDeduction (Sema &S, TemplateDecl *TD, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info)
	Complete template argument deduction for DeduceTemplateArgumentsFromType.
template<typename T >
static std::enable_if_t< IsPartialSpecialization< T >::value, TemplateDeductionResult >	DeduceTemplateArguments (Sema &S, T *Partial, ArrayRef< TemplateArgument > TemplateArgs, TemplateDeductionInfo &Info)
	Perform template argument deduction to determine whether the given template arguments match the given class or variable template partial specialization per C++ [temp.class.spec.match].
static bool	isSimpleTemplateIdType (QualType T)
	Determine whether the given type T is a simple-template-id type.
static TemplateDeductionResult	CheckOriginalCallArgDeduction (Sema &S, TemplateDeductionInfo &Info, 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.
static unsigned	getPackIndexForParam (Sema &S, FunctionTemplateDecl *FunctionTemplate, const MultiLevelTemplateArgumentList &Args, unsigned ParamIdx)
	Find the pack index for a particular parameter index in an instantiation of a function template with specific arguments.
static TemplateDeductionResult	instantiateExplicitSpecifierDeferred (Sema &S, FunctionDecl *Specialization, const MultiLevelTemplateArgumentList &SubstArgs, TemplateDeductionInfo &Info, FunctionTemplateDecl *FunctionTemplate, ArrayRef< TemplateArgument > DeducedArgs)
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.
static QualType	ResolveOverloadForDeduction (Sema &S, TemplateParameterList *TemplateParams, Expr *Arg, QualType ParamType, bool ParamWasReference, TemplateSpecCandidateSet *FailedTSC=nullptr)
	Apply the deduction rules for overload sets.
static bool	AdjustFunctionParmAndArgTypesForDeduction (Sema &S, TemplateParameterList *TemplateParams, unsigned FirstInnerIndex, QualType &ParamType, QualType &ArgType, Expr::Classification ArgClassification, Expr *Arg, unsigned &TDF, TemplateSpecCandidateSet *FailedTSC=nullptr)
	Perform the adjustments to the parameter and argument types described in C++ [temp.deduct.call].
static bool	hasDeducibleTemplateParameters (Sema &S, FunctionTemplateDecl *FunctionTemplate, QualType T)
static TemplateDeductionResult	DeduceTemplateArgumentsFromCallArgument (Sema &S, TemplateParameterList *TemplateParams, unsigned FirstInnerIndex, QualType ParamType, QualType ArgType, Expr::Classification ArgClassification, Expr *Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< Sema::OriginalCallArg > &OriginalCallArgs, bool DecomposedParam, unsigned ArgIdx, unsigned TDF, TemplateSpecCandidateSet *FailedTSC)
	Perform template argument deduction per [temp.deduct.call] for a single parameter / argument pair.
static TemplateDeductionResult	DeduceFromInitializerList (Sema &S, TemplateParameterList *TemplateParams, QualType AdjustedParamType, InitListExpr *ILE, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< Sema::OriginalCallArg > &OriginalCallArgs, unsigned ArgIdx, unsigned TDF)
	Attempt template argument deduction from an initializer list deemed to be an argument in a function call.
static bool	CheckDeducedPlaceholderConstraints (Sema &S, const AutoType &Type, AutoTypeLoc TypeLoc, QualType Deduced)
static QualType	GetImplicitObjectParameterType (ASTContext &Context, const CXXMethodDecl *Method, QualType RawType, bool IsOtherRvr)
static TemplateDeductionResult	CheckDeductionConsistency (Sema &S, FunctionTemplateDecl *FTD, int ArgIdx, QualType P, QualType A, ArrayRef< TemplateArgument > DeducedArgs, bool CheckConsistency)
template<class T >
static TemplateDeductionResult	FinishTemplateArgumentDeduction (Sema &S, FunctionTemplateDecl *FTD, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info, T &&CheckDeductionConsistency)
static bool	isAtLeastAsSpecializedAs (Sema &S, SourceLocation Loc, FunctionTemplateDecl *FT1, FunctionTemplateDecl *FT2, TemplatePartialOrderingContext TPOC, ArrayRef< QualType > Args1, ArrayRef< QualType > Args2, bool Args1Offset)
	Determine whether the function template FT1 is at least as specialized as FT2.
template<typename TemplateLikeDecl >
static bool	isAtLeastAsSpecializedAs (Sema &S, QualType T1, QualType T2, TemplateLikeDecl *P2, TemplateDeductionInfo &Info)
	Determine whether one partial specialization, P1, is at least as specialized than another, P2.
template<typename TemplateLikeDecl , typename PrimaryDel >
static TemplateLikeDecl *	getMoreSpecialized (Sema &S, QualType T1, QualType T2, TemplateLikeDecl *P1, PrimaryDel *P2, TemplateDeductionInfo &Info)
	Returns the more specialized template specialization between T1/P1 and T2/P2.
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.
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.
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.

Macro Definition Documentation

ABSTRACT_TYPE

#define ABSTRACT_TYPE	(		Class,
			Base
	)

DEPENDENT_TYPE

#define DEPENDENT_TYPE	(		Class,
			Base
	)

NON_CANONICAL_TYPE [1/2]

#define NON_CANONICAL_TYPE	(		Class,
			Base
	)		case Type::Class: llvm_unreachable("deducing non-canonical type: " #Class);

NON_CANONICAL_TYPE [2/2]

#define NON_CANONICAL_TYPE	(		Class,
			Base
	)		case Type::Class:

TYPE [1/2]

#define TYPE	(		Class,
			Base
	)

TYPE [2/2]

#define TYPE	(		Class,
			Base
	)

Enumeration Type Documentation

PackFold

enum class PackFold

strong

Enumerator
ParameterToArgument
ArgumentToParameter

Definition at line 148 of file SemaTemplateDeduction.cpp.

PartialOrderingKind

enum class PartialOrderingKind

strong

The kind of PartialOrdering we're performing template argument deduction for (C++11 [temp.deduct.partial]).

Enumerator
None
NonCall
Call

Definition at line 139 of file SemaTemplateDeduction.cpp.

Function Documentation

AdjustFunctionParmAndArgTypesForDeduction()

static bool AdjustFunctionParmAndArgTypesForDeduction ( Sema &  S, TemplateParameterList *  TemplateParams, unsigned  FirstInnerIndex, QualType &  ParamType, QualType &  ArgType, Expr::Classification  ArgClassification, Expr *  Arg, unsigned &  TDF, TemplateSpecCandidateSet *  FailedTSC = nullptr  )

static

Perform the adjustments to the parameter and argument types described in C++ [temp.deduct.call].

Returns

true if the caller should not attempt to perform any template argument deduction based on this P/A pair because the argument is an overloaded function set that could not be resolved.

Definition at line 4239 of file SemaTemplateDeduction.cpp.

References clang::Type::canDecayToPointerType(), clang::Type::castAs(), clang::Sema::Context, clang::ASTContext::getAddrSpaceQualType(), clang::Type::getAs(), clang::Sema::getCompletedType(), clang::ASTContext::getDecayedType(), clang::ASTContext::getDefaultOpenCLPointeeAddrSpace(), clang::Sema::getLangOpts(), clang::ASTContext::getLValueReferenceType(), clang::PointerType::getPointeeType(), clang::ReferenceType::getPointeeType(), clang::QualType::getUnqualifiedType(), clang::QualType::hasAddressSpace(), clang::QualType::hasQualifiers(), isForwardingReference(), clang::Type::isIncompleteArrayType(), clang::Expr::Classification::isLValue(), clang::Type::isMemberPointerType(), clang::QualType::isNull(), clang::Type::isObjCObjectPointerType(), clang::Type::isPointerType(), isSimpleTemplateIdType(), clang::ASTContext::OverloadTy, ResolveOverloadForDeduction(), clang::TDF_DerivedClass, clang::TDF_IgnoreQualifiers, clang::TDF_ParamWithReferenceType, and clang::TDF_SkipNonDependent.

Referenced by DeduceTemplateArgumentsFromCallArgument().

CheckDeducedArgumentConstraints()

template<typename TemplateDeclT >

static TemplateDeductionResult CheckDeducedArgumentConstraints ( Sema &  S, TemplateDeclT *  Template, ArrayRef< TemplateArgument >  SugaredDeducedArgs, ArrayRef< TemplateArgument >  CanonicalDeducedArgs, TemplateDeductionInfo &  Info  )

static

Definition at line 3161 of file SemaTemplateDeduction.cpp.

References clang::sema::TemplateDeductionInfo::AssociatedConstraintsSatisfaction, clang::Sema::CheckConstraintSatisfaction(), clang::ConstraintsNotSatisfied, clang::Sema::Context, clang::TemplateArgumentList::CreateCopy(), DeducedArgsNeedReplacement(), clang::sema::TemplateDeductionInfo::getLocation(), clang::Sema::getTemplateInstantiationArgs(), clang::ConstraintSatisfaction::IsSatisfied, clang::MultiLevelTemplateArgumentList::replaceInnermostTemplateArguments(), clang::sema::TemplateDeductionInfo::reset(), and clang::Success.

Referenced by FinishTemplateArgumentDeduction().

CheckDeducedPlaceholderConstraints()

static bool CheckDeducedPlaceholderConstraints ( Sema &  S, const AutoType &  Type, AutoTypeLoc  TypeLoc, QualType  Deduced  )

static

Definition at line 5084 of file SemaTemplateDeduction.cpp.

References clang::TemplateArgumentListInfo::addArgument(), clang::C, clang::Sema::CheckConstraintSatisfaction(), clang::Sema::CheckTemplateArgumentList(), clang::Sema::Context, clang::ImplicitConceptSpecializationDecl::Create(), clang::SemaBase::Diag(), clang::Sema::DiagnoseUnsatisfiedConstraint(), clang::Sema::getASTContext(), clang::TypeLoc::getLocalSourceRange(), clang::Sema::getPrintingPolicy(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ConstraintSatisfaction::IsSatisfied, clang::printTemplateArgumentList(), and clang::Sema::Unevaluated.

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

checkDeducedTemplateArguments()

static DeducedTemplateArgument checkDeducedTemplateArguments ( ASTContext &  Context, const DeducedTemplateArgument &  X, const DeducedTemplateArgument &  Y, bool  AggregateCandidateDeduction = false  )

static

Verify that the given, deduced template arguments are compatible.

Returns

The deduced template argument, or a NULL template argument if the deduced template arguments were incompatible.

Definition at line 221 of file SemaTemplateDeduction.cpp.

References checkDeducedTemplateArguments(), clang::TemplateArgument::CreatePackCopy(), 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::ASTContext::getCommonSugaredType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNonTypeTemplateArgumentType(), clang::TemplateArgument::getNullPtrType(), clang::Expr::getType(), hasSameExtendedValue(), clang::ASTContext::hasSameTemplateName(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isNull(), clang::QualType::isNull(), isSameDeclaration(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), clang::TemplateArgument::pack_end(), clang::TemplateArgument::pack_size(), clang::Stmt::Profile(), clang::TemplateArgument::StructuralValue, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, clang::DeducedTemplateArgument::wasDeducedFromArrayBound(), and X.

Referenced by checkDeducedTemplateArguments(), DeduceNonTypeTemplateArgument(), DeduceTemplateArguments(), and DeduceTemplateArgumentsByTypeMatch().

CheckDeductionConsistency()

static TemplateDeductionResult CheckDeductionConsistency ( Sema &  S, FunctionTemplateDecl *  FTD, int  ArgIdx, QualType  P, QualType  A, ArrayRef< TemplateArgument >  DeducedArgs, bool  CheckConsistency  )

static

Definition at line 5501 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::QualType::getNonReferenceType(), getPackIndexForParam(), clang::ASTContext::getUnqualifiedArrayType(), clang::ASTContext::hasSameType(), clang::Incomplete, clang::QualType::isNull(), clang::NonDeducedMismatch, P, clang::SubstitutionFailure, clang::Sema::SubstType(), and clang::Success.

Referenced by FinishTemplateArgumentDeduction().

CheckOriginalCallArgDeduction()

static TemplateDeductionResult CheckOriginalCallArgDeduction ( Sema &  S, TemplateDeductionInfo &  Info, Sema::OriginalCallArg  OriginalArg, QualType  DeducedA  )

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 3715 of file SemaTemplateDeduction.cpp.

References clang::Sema::OriginalCallArg::ArgIdx, clang::sema::TemplateDeductionInfo::CallArgIndex, clang::Qualifiers::compatiblyIncludes(), clang::Sema::Context, clang::Sema::OriginalCallArg::DecomposedParam, clang::DeducedMismatch, clang::DeducedMismatchNested, clang::sema::TemplateDeductionInfo::FirstArg, clang::Type::getAs(), clang::Sema::getASTContext(), clang::Sema::getLangOpts(), clang::sema::TemplateDeductionInfo::getLocation(), 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::Sema::IsFunctionConversion(), clang::Type::isFunctionType(), clang::Type::isMemberPointerType(), 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, clang::sema::TemplateDeductionInfo::SecondArg, clang::Qualifiers::setObjCLifetime(), and clang::Success.

Referenced by clang::Sema::DeduceAutoType(), and clang::Sema::FinishTemplateArgumentDeduction().

ConvertDeducedTemplateArgument()

static bool ConvertDeducedTemplateArgument ( Sema &  S, NamedDecl *  Param, DeducedTemplateArgument  Arg, NamedDecl *  Template, TemplateDeductionInfo &  Info, bool  IsDeduced, SmallVectorImpl< TemplateArgument > &  SugaredOutput, SmallVectorImpl< TemplateArgument > &  CanonicalOutput  )

static

Convert the given deduced template argument and add it to the set of fully-converted template arguments.

Definition at line 2896 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::SemaBase::Diag(), clang::SourceRange::getEnd(), clang::TemplateArgument::getKind(), clang::Decl::getLocation(), clang::sema::TemplateDeductionInfo::getLocation(), clang::Decl::getSourceRange(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::Sema::InstantiatingTemplate::isInvalid(), P, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::DeducedTemplateArgument::setDeducedFromArrayBound(), clang::Sema::SubstDecl(), clang::Sema::SubstType(), and clang::DeducedTemplateArgument::wasDeducedFromArrayBound().

Referenced by ConvertDeducedTemplateArguments().

ConvertDeducedTemplateArguments()

template<typename TemplateDeclT >

static TemplateDeductionResult ConvertDeducedTemplateArguments ( Sema &  S, TemplateDeclT *  Template, bool  IsDeduced, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, TemplateDeductionInfo &  Info, SmallVectorImpl< TemplateArgument > &  SugaredBuilder, SmallVectorImpl< TemplateArgument > &  CanonicalBuilder, LocalInstantiationScope *  CurrentInstantiationScope = nullptr, unsigned  NumAlreadyConverted = 0, bool *  IsIncomplete = nullptr  )

static

Parameters

IsIncomplete

When used, we only consider template parameters that were deduced, disregarding any default arguments. After the function finishes, the object pointed at will contain a value indicating if the conversion was actually incomplete.

Definition at line 2995 of file SemaTemplateDeduction.cpp.

References clang::Sema::CheckTemplateArgument(), clang::Sema::Context, ConvertDeducedTemplateArgument(), clang::TemplateArgumentList::CreateCopy(), clang::Sema::CTAK_Specified, clang::TemplateArgumentLoc::getArgument(), clang::ASTContext::getCanonicalTemplateArgument(), clang::Decl::getDeclContext(), clang::SourceRange::getEnd(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::TemplateParameterList::getParam(), clang::DeclContext::getParent(), clang::TemplateDecl::getSourceRange(), clang::Incomplete, clang::TemplateArgument::isNull(), clang::Decl::isParameterPack(), clang::Decl::isTemplateParameterPack(), makeTemplateParameter(), clang::sema::TemplateDeductionInfo::Param, clang::sema::TemplateDeductionInfo::reset(), clang::Result, clang::TemplateParameterList::size(), clang::Sema::SubstDefaultTemplateArgumentIfAvailable(), clang::SubstitutionFailure, and clang::Success.

Referenced by clang::Sema::FinishTemplateArgumentDeduction(), and FinishTemplateArgumentDeduction().

DeducedArgsNeedReplacement()

template<typename TemplateDeclT >

static bool DeducedArgsNeedReplacement ( TemplateDeclT *  Template )

static

Definition at line 3145 of file SemaTemplateDeduction.cpp.

Referenced by CheckDeducedArgumentConstraints().

DeducedArgsNeedReplacement< ClassTemplatePartialSpecializationDecl >()

template<>

bool DeducedArgsNeedReplacement< ClassTemplatePartialSpecializationDecl >

(

ClassTemplatePartialSpecializationDecl *

Spec

)

Definition at line 3154 of file SemaTemplateDeduction.cpp.

References clang::ClassTemplateSpecializationDecl::isClassScopeExplicitSpecialization().

DeducedArgsNeedReplacement< VarTemplatePartialSpecializationDecl >()

template<>

bool DeducedArgsNeedReplacement< VarTemplatePartialSpecializationDecl >

(

VarTemplatePartialSpecializationDecl *

Spec

)

Definition at line 3149 of file SemaTemplateDeduction.cpp.

References clang::VarTemplateSpecializationDecl::isClassScopeExplicitSpecialization().

DeduceForEachType()

template<class T >

static TemplateDeductionResult DeduceForEachType ( Sema &  S, TemplateParameterList *  TemplateParams, ArrayRef< QualType >  Params, ArrayRef< QualType >  Args, TemplateDeductionInfo &  Info, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, PartialOrderingKind  POK, bool  FinishingDeduction, T &&  DeductFunc  )

static

Definition at line 1135 of file SemaTemplateDeduction.cpp.

References Call, clang::PackExpansionType::getNumExpansions(), clang::PackExpansionType::getPattern(), and clang::QualType::getUnqualifiedType().

DeduceFromInitializerList()

static TemplateDeductionResult DeduceFromInitializerList ( Sema &  S, TemplateParameterList *  TemplateParams, QualType  AdjustedParamType, InitListExpr *  ILE, TemplateDeductionInfo &  Info, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, SmallVectorImpl< Sema::OriginalCallArg > &  OriginalCallArgs, unsigned  ArgIdx, unsigned  TDF  )

static

Attempt template argument deduction from an initializer list deemed to be an argument in a function call.

Definition at line 4349 of file SemaTemplateDeduction.cpp.

References clang::Expr::Classify(), clang::Sema::Context, DeduceNonTypeTemplateArgument(), DeduceTemplateArgumentsFromCallArgument(), E, clang::ASTContext::getAsArrayType(), clang::Sema::getASTContext(), getDeducedParameterFromExpr(), clang::ASTContext::getIntWidth(), clang::InitListExpr::getNumInits(), clang::ASTContext::getSizeType(), clang::Expr::getType(), clang::InitListExpr::inits(), clang::Type::isDependentType(), clang::Sema::isStdInitializerList(), clang::Result, clang::Success, and clang::T.

Referenced by DeduceTemplateArgumentsFromCallArgument().

DeduceNonTypeTemplateArgument() [1/4]

static TemplateDeductionResult DeduceNonTypeTemplateArgument ( Sema &  S, TemplateParameterList *  TemplateParams, const NonTypeTemplateParmDecl *  NTTP, const DeducedTemplateArgument &  NewDeduced, QualType  ValueType, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Deduce the value of the given non-type template parameter as the given deduced template argument.

All non-type template parameter deduction is funneled through here.

Definition at line 406 of file SemaTemplateDeduction.cpp.

References checkDeducedTemplateArguments(), clang::Sema::Context, DeduceTemplateArgumentsByTypeMatch(), clang::sema::TemplateDeductionInfo::FirstArg, clang::ASTContext::getAdjustedParameterType(), clang::sema::TemplateDeductionInfo::getDeducedDepth(), clang::NonTypeTemplateParmDecl::getDepth(), clang::NonTypeTemplateParmDecl::getIndex(), clang::Sema::getLangOpts(), clang::ASTContext::getLValueReferenceType(), clang::ASTContext::getRValueReferenceType(), clang::ValueDecl::getType(), clang::NonTypeTemplateParmDecl::isExpandedParameterPack(), clang::Type::isReferenceType(), clang::Type::isRValueReferenceType(), NonCall, None, clang::sema::TemplateDeductionInfo::Param, clang::PartialOrdering, clang::sema::TemplateDeductionInfo::SecondArg, clang::TDF_IgnoreQualifiers, clang::TDF_SkipNonDependent, and clang::DeducedTemplateArgument::wasDeducedFromArrayBound().

Referenced by DeduceFromInitializerList(), DeduceNonTypeTemplateArgument(), DeduceNullPtrTemplateArgument(), DeduceTemplateArguments(), and DeduceTemplateArgumentsByTypeMatch().

DeduceNonTypeTemplateArgument() [2/4]

static TemplateDeductionResult DeduceNonTypeTemplateArgument ( Sema &  S, TemplateParameterList *  TemplateParams, const NonTypeTemplateParmDecl *  NTTP, const llvm::APSInt &  Value, QualType  ValueType, bool  DeducedFromArrayBound, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Deduce the value of the given non-type template parameter from the given integral constant.

Definition at line 463 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, DeduceNonTypeTemplateArgument(), and clang::PartialOrdering.

DeduceNonTypeTemplateArgument() [3/4]

static TemplateDeductionResult DeduceNonTypeTemplateArgument ( Sema &  S, TemplateParameterList *  TemplateParams, const NonTypeTemplateParmDecl *  NTTP, Expr *  Value, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Deduce the value of the given non-type template parameter from the given type- or value-dependent expression.

Returns

true if deduction succeeded, false otherwise.

Definition at line 502 of file SemaTemplateDeduction.cpp.

References DeduceNonTypeTemplateArgument(), clang::Value::getType(), and clang::PartialOrdering.

DeduceNonTypeTemplateArgument() [4/4]

static TemplateDeductionResult DeduceNonTypeTemplateArgument ( Sema &  S, TemplateParameterList *  TemplateParams, const NonTypeTemplateParmDecl *  NTTP, ValueDecl *  D, QualType  T, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Deduce the value of the given non-type template parameter from the given declaration.

Returns

true if deduction succeeded, false otherwise.

Definition at line 517 of file SemaTemplateDeduction.cpp.

References D, DeduceNonTypeTemplateArgument(), clang::PartialOrdering, and clang::T.

DeduceNullPtrTemplateArgument()

static TemplateDeductionResult DeduceNullPtrTemplateArgument ( Sema &  S, TemplateParameterList *  TemplateParams, const NonTypeTemplateParmDecl *  NTTP, QualType  NullPtrType, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Deduce the value of the given non-type template parameter from the given null pointer template argument type.

Definition at line 479 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, DeduceNonTypeTemplateArgument(), clang::ActionResult< PtrTy, Compress >::get(), clang::Decl::getLocation(), clang::Value::getType(), clang::Sema::ImpCastExprToType(), clang::Type::isMemberPointerType(), clang::ASTContext::NullPtrTy, and clang::PartialOrdering.

Referenced by DeduceTemplateArguments().

DeduceTemplateArguments() [1/5]

template<typename T >

static std::enable_if_t< IsPartialSpecialization< T >::value, TemplateDeductionResult > DeduceTemplateArguments ( Sema &  S, T *  Partial, ArrayRef< TemplateArgument >  TemplateArgs, TemplateDeductionInfo &  Info  )

static

Perform template argument deduction to determine whether the given template arguments match the given class or variable template partial specialization per C++ [temp.class.spec.match].

Definition at line 3391 of file SemaTemplateDeduction.cpp.

References DeduceTemplateArguments(), clang::sema::TemplateDeductionInfo::getLocation(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::InstantiationDepth, clang::Invalid, clang::Sema::InstantiatingTemplate::isInvalid(), clang::Result, clang::Sema::runWithSufficientStackSpace(), clang::SubstitutionFailure, clang::Success, clang::Unevaluated, and clang::Sema::Unevaluated.

DeduceTemplateArguments() [2/5]

static TemplateDeductionResult DeduceTemplateArguments ( Sema &  S, TemplateParameterList *  TemplateParams, ArrayRef< QualType >  Params, ArrayRef< QualType >  Args, TemplateDeductionInfo &  Info, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, unsigned  TDF, PartialOrderingKind  POK, bool *  HasDeducedAnyParam, llvm::SmallBitVector *  HasDeducedParam  )

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).

Parameters

S	The semantic analysis object within which we are deducing
TemplateParams	The template parameters that we are deducing
Params	The list of parameter types
Args	The list of argument types
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]).
HasDeducedAnyParam	If set, the object pointed at will indicate whether any template parameter was deduced.
HasDeducedParam	If set, the bit vector will be used to represent which template parameters were deduced, in order.

Returns

the result of template argument deduction so far. Note that a "success" result means that template argument deduction has not yet failed, but it may still fail, later, for other reasons.

Definition at line 1283 of file SemaTemplateDeduction.cpp.

References DeduceTemplateArgumentsByTypeMatch(), and P.

DeduceTemplateArguments() [3/5]

static TemplateDeductionResult DeduceTemplateArguments ( Sema &  S, TemplateParameterList *  TemplateParams, ArrayRef< TemplateArgument >  Ps, ArrayRef< TemplateArgument >  As, TemplateDeductionInfo &  Info, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool  NumberOfArgumentsMustMatch, bool  PartialOrdering, PackFold  PackFold, bool *  HasDeducedAnyParam  )

static

Definition at line 2638 of file SemaTemplateDeduction.cpp.

References DeduceTemplateArguments(), hasPackExpansionBeforeEnd(), hasTemplateArgumentForDeduction(), clang::MiscellaneousDeductionFailure, P, clang::PartialOrdering, clang::Result, and clang::Success.

Referenced by clang::Sema::AddMethodTemplateCandidate(), clang::Sema::AddTemplateConversionCandidate(), clang::Sema::AddTemplateOverloadCandidate(), DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), DeduceTemplateSpecArguments(), isAtLeastAsSpecializedAs(), and clang::Sema::ResolveSingleFunctionTemplateSpecialization().

DeduceTemplateArguments() [4/5]

static TemplateDeductionResult DeduceTemplateArguments ( Sema &  S, TemplateParameterList *  TemplateParams, const TemplateArgument &  P, TemplateArgument  A, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Definition at line 2474 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, clang::TemplateArgument::Declaration, DeduceNonTypeTemplateArgument(), DeduceNullPtrTemplateArgument(), DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), clang::TemplateArgument::Expression, clang::sema::TemplateDeductionInfo::FirstArg, clang::TemplateArgument::getAsDecl(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsType(), getDeducedParameterFromExpr(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNonTypeTemplateArgumentType(), clang::TemplateArgument::getNullPtrType(), clang::TemplateArgument::getPackExpansionPattern(), clang::TemplateArgument::getParamTypeForDecl(), hasSameExtendedValue(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isPackExpansion(), isSameDeclaration(), clang::NonDeducedMismatch, clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, P, clang::TemplateArgument::Pack, clang::PartialOrdering, clang::sema::TemplateDeductionInfo::SecondArg, clang::TemplateArgument::structurallyEquals(), clang::TemplateArgument::StructuralValue, clang::Success, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.

DeduceTemplateArguments() [5/5]

static TemplateDeductionResult DeduceTemplateArguments ( Sema &  S, TemplateParameterList *  TemplateParams, TemplateName  Param, TemplateName  Arg, TemplateDeductionInfo &  Info, ArrayRef< TemplateArgument >  DefaultArguments, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Definition at line 529 of file SemaTemplateDeduction.cpp.

References clang::TemplateParameterList::asArray(), checkDeducedTemplateArguments(), clang::Sema::Context, E, clang::sema::TemplateDeductionInfo::FirstArg, clang::TemplateName::getAsTemplateDecl(), clang::sema::TemplateDeductionInfo::getDeducedDepth(), clang::ASTContext::getDeducedTemplateName(), clang::TemplateDecl::getTemplateParameters(), clang::ASTContext::hasSameTemplateName(), isParameterPack(), clang::sema::TemplateDeductionInfo::Param, clang::PartialOrdering, and clang::sema::TemplateDeductionInfo::SecondArg.

DeduceTemplateArgumentsByTypeMatch()

static TemplateDeductionResult DeduceTemplateArgumentsByTypeMatch ( Sema &  S, TemplateParameterList *  TemplateParams, QualType  P, QualType  A, TemplateDeductionInfo &  Info, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, unsigned  TDF, PartialOrderingKind  POK, bool  DeducedFromArrayBound, bool *  HasDeducedAnyParam  )

static

Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp.deduct.type]).

Parameters

S	the semantic analysis object within which we are deducing
TemplateParams	the template parameters that we are deducing
P	the parameter type
A	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]).

Returns

the result of template argument deduction so far. Note that a "success" result means that template argument deduction has not yet failed, but it may still fail, later, for other reasons.

Definition at line 1535 of file SemaTemplateDeduction.cpp.

References clang::Sema::adjustMemberFunctionCC(), clang::ASTContext::BoolTy, checkDeducedTemplateArguments(), clang::Qualifiers::compatiblyIncludes(), clang::Sema::Context, clang::CT_Can, clang::CT_Cannot, clang::CT_Dependent, DeduceNonTypeTemplateArgument(), DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), DeduceTemplateBases(), DeduceTemplateSpecArguments(), degradeCallPartialOrderingKind(), clang::sema::TemplateDeductionInfo::FirstArg, clang::QualType::getAddressSpace(), clang::Type::getAs(), clang::ASTContext::getAsArrayType(), clang::ASTContext::getAsConstantArrayType(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getAsDependentSizedArrayType(), clang::ASTContext::getAsIncompleteArrayType(), clang::Sema::getASTContext(), clang::QualType::getCanonicalType(), clang::Type::getCanonicalTypeInternal(), clang::DependentSizedMatrixType::getColumnExpr(), clang::Qualifiers::getCVRQualifiers(), clang::QualType::getCVRQualifiers(), clang::sema::TemplateDeductionInfo::getDeducedDepth(), getDeducedParameterFromExpr(), clang::NonTypeTemplateParmDecl::getDepth(), clang::MatrixType::getElementType(), clang::Expr::getIntegerConstantExpr(), clang::Sema::getLangOpts(), clang::sema::TemplateDeductionInfo::getLocation(), clang::ConstantMatrixType::getNumColumns(), clang::ConstantMatrixType::getNumRows(), clang::TemplateParameterList::getParam(), clang::Type::getPointeeType(), clang::PointerType::getPointeeType(), clang::ReferenceType::getPointeeType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::DependentSizedMatrixType::getRowExpr(), clang::PackIndexingType::getSelectedType(), clang::ASTContext::getSizeType(), clang::ASTContext::getTypeSize(), clang::ASTContext::getUnqualifiedArrayType(), clang::Qualifiers::hasAddressSpace(), hasInconsistentOrSupersetQualifiersOf(), clang::Qualifiers::hasNonTrivialObjCLifetime(), clang::Qualifiers::hasObjCGCAttr(), clang::Qualifiers::hasObjCLifetime(), clang::ASTContext::hasSameType(), clang::ASTContext::hasSameUnqualifiedType(), clang::PackIndexingType::hasSelectedType(), clang::IncompletePack, clang::Inconsistent, clang::ASTContext::IntTy, clang::Invalid, clang::Type::isArrayType(), clang::Sema::isCompleteType(), clang::Type::isDependentType(), isForwardingReference(), clang::Type::isFunctionType(), clang::Decl::isInvalidDecl(), clang::Type::isLValueReferenceType(), clang::Type::isObjCLifetimeType(), clang::Type::isPlaceholderType(), IsPossiblyOpaquelyQualifiedType(), clang::Type::isRecordType(), clang::Sema::isSameOrCompatibleFunctionType(), clang::Qualifiers::isStrictSupersetOf(), clang::isTargetAddressSpace(), clang::NonDeducedMismatch, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_Strong, clang::ASTContext::OverloadTy, P, clang::sema::TemplateDeductionInfo::Param, clang::Qualifiers::removeAddressSpace(), clang::ASTContext::removeAddrSpaceQualType(), clang::Qualifiers::removeCVRQualifiers(), clang::Qualifiers::removeObjCGCAttr(), clang::Qualifiers::removeObjCLifetime(), clang::Result, clang::sema::TemplateDeductionInfo::SecondArg, clang::Qualifiers::setCVRQualifiers(), clang::Qualifiers::setObjCLifetime(), clang::Success, clang::TDF_AllowCompatibleFunctionType, clang::TDF_ArgWithReferenceType, clang::TDF_DerivedClass, clang::TDF_IgnoreQualifiers, clang::TDF_ParamWithReferenceType, clang::TDF_SkipNonDependent, clang::TDF_TopLevelParameterTypeList, clang::toTargetAddressSpace(), clang::Underqualified, clang::ASTContext::UnsignedIntTy, and clang::Qualifiers::withoutObjCLifetime().

Referenced by DeduceNonTypeTemplateArgument(), clang::Sema::DeduceTemplateArguments(), DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), DeduceTemplateArgumentsFromCallArgument(), isAtLeastAsSpecializedAs(), and ResolveOverloadForDeduction().

DeduceTemplateArgumentsFromCallArgument()

static TemplateDeductionResult DeduceTemplateArgumentsFromCallArgument ( Sema &  S, TemplateParameterList *  TemplateParams, unsigned  FirstInnerIndex, QualType  ParamType, QualType  ArgType, Expr::Classification  ArgClassification, Expr *  Arg, TemplateDeductionInfo &  Info, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, SmallVectorImpl< Sema::OriginalCallArg > &  OriginalCallArgs, bool  DecomposedParam, unsigned  ArgIdx, unsigned  TDF, TemplateSpecCandidateSet *  FailedTSC = nullptr  )

static

Perform template argument deduction per [temp.deduct.call] for a single parameter / argument pair.

Definition at line 4420 of file SemaTemplateDeduction.cpp.

References AdjustFunctionParmAndArgTypesForDeduction(), DeduceFromInitializerList(), DeduceTemplateArgumentsByTypeMatch(), and clang::Success.

Referenced by clang::Sema::DeduceAutoType(), DeduceFromInitializerList(), and clang::Sema::DeduceTemplateArguments().

DeduceTemplateBases()

static TemplateDeductionResult DeduceTemplateBases ( Sema &  S, const CXXRecordDecl *  RD, TemplateParameterList *  TemplateParams, QualType  P, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Attempt to deduce the template arguments by checking the base types according to (C++20 [temp.deduct.call] p4b3.

Parameters

S	the semantic analysis object within which we are deducing.
RD	the top level record object we are deducing against.
TemplateParams	the template parameters that we are deducing.
P	the template specialization parameter type.
Info	information about the template argument deduction itself.
Deduced	the deduced template arguments.

Returns

the result of template argument deduction with the bases. "invalid" means no matches, "success" found a single item, and the "MiscellaneousDeductionFailure" result happens when the match is ambiguous.

Definition at line 1400 of file SemaTemplateDeduction.cpp.

References clang::CXXRecordDecl::bases(), DeduceTemplateSpecArguments(), clang::sema::TemplateDeductionInfo::ForBase, clang::Type::getAsCXXRecordDecl(), clang::Invalid, clang::Type::isRecordType(), clang::MiscellaneousDeductionFailure, P, clang::PartialOrdering, clang::Success, clang::T, and Visited.

Referenced by DeduceTemplateArgumentsByTypeMatch().

DeduceTemplateSpecArguments()

static TemplateDeductionResult DeduceTemplateSpecArguments ( Sema &  S, TemplateParameterList *  TemplateParams, const QualType  P, QualType  A, TemplateDeductionInfo &  Info, bool  PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, bool *  HasDeducedAnyParam  )

static

Definition at line 626 of file SemaTemplateDeduction.cpp.

References clang::Type::castAs(), clang::Sema::Context, DeduceTemplateArguments(), clang::sema::TemplateDeductionInfo::FirstArg, clang::Type::getAs(), clang::TemplateName::getAsTemplateDecl(), clang::QualType::getCanonicalType(), clang::Type::getCanonicalTypeInternal(), getLastTemplateSpecType(), clang::ASTContext::getQualifiedTemplateName(), clang::TemplateSpecializationType::getTemplateName(), clang::TemplateDecl::isTypeAlias(), P, ParameterToArgument, clang::PartialOrdering, and clang::sema::TemplateDeductionInfo::SecondArg.

Referenced by DeduceTemplateArgumentsByTypeMatch(), and DeduceTemplateBases().

degradeCallPartialOrderingKind()

static PartialOrderingKind degradeCallPartialOrderingKind ( PartialOrderingKind  POK )

static

When propagating a partial ordering kind into a NonCall context, this is used to downgrade a 'Call' into a 'NonCall', so that the kind still reflects whether we are in a partial ordering context.

Definition at line 1507 of file SemaTemplateDeduction.cpp.

Referenced by DeduceTemplateArgumentsByTypeMatch().

FinishTemplateArgumentDeduction() [1/4]

template<class T >

static TemplateDeductionResult FinishTemplateArgumentDeduction ( Sema &  S, FunctionTemplateDecl *  FTD, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, TemplateDeductionInfo &  Info, T &&  CheckDeductionConsistency  )

static

Definition at line 5534 of file SemaTemplateDeduction.cpp.

References CheckDeductionConsistency(), clang::Sema::Context, ConvertDeducedTemplateArguments(), clang::TemplateArgumentList::CreateCopy(), getAsDeclContextOrEnclosing(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::sema::TemplateDeductionInfo::reset(), clang::Result, clang::SubstitutionFailure, clang::Success, clang::Unevaluated, and clang::Sema::Unevaluated.

FinishTemplateArgumentDeduction() [2/4]

template<typename T >

static std::enable_if_t< IsPartialSpecialization< T >::value, TemplateDeductionResult > FinishTemplateArgumentDeduction ( Sema &  S, T *  Partial, bool  IsPartialOrdering, ArrayRef< TemplateArgument >  TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, TemplateDeductionInfo &  Info  )

static

Complete template argument deduction for a partial specialization.

Definition at line 3202 of file SemaTemplateDeduction.cpp.

References clang::ASTTemplateArgumentListInfo::arguments(), CheckDeducedArgumentConstraints(), clang::Sema::CheckTemplateArgumentList(), clang::ConstraintsNotSatisfied, clang::Sema::Context, ConvertDeducedTemplateArguments(), clang::TemplateArgumentList::CreateCopy(), E, clang::sema::TemplateDeductionInfo::FirstArg, getAsDeclContextOrEnclosing(), clang::TemplateParameterList::getParam(), clang::Sema::SFINAETrap::hasErrorOccurred(), isSameTemplateArg(), clang::ASTTemplateArgumentListInfo::LAngleLoc, makeTemplateParameter(), clang::NonDeducedMismatch, clang::sema::TemplateDeductionInfo::Param, clang::ASTTemplateArgumentListInfo::RAngleLoc, clang::sema::TemplateDeductionInfo::reset(), clang::Result, clang::sema::TemplateDeductionInfo::SecondArg, clang::TemplateParameterList::size(), clang::TemplateArgumentListInfo::size(), clang::SubstitutionFailure, clang::Sema::SubstTemplateArguments(), clang::Success, clang::Unevaluated, and clang::Sema::Unevaluated.

FinishTemplateArgumentDeduction() [3/4]

static TemplateDeductionResult FinishTemplateArgumentDeduction ( Sema &  S, TemplateDecl *  TD, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, TemplateDeductionInfo &  Info  )

static

Complete template argument deduction for DeduceTemplateArgumentsFromType.

FIXME: this is mostly duplicated with the above two versions. Deduplicate the three implementations.

Definition at line 3353 of file SemaTemplateDeduction.cpp.

References CheckDeducedArgumentConstraints(), ConvertDeducedTemplateArguments(), getAsDeclContextOrEnclosing(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::Result, clang::SubstitutionFailure, clang::Success, clang::Unevaluated, and clang::Sema::Unevaluated.

FinishTemplateArgumentDeduction() [4/4]

static TemplateDeductionResult FinishTemplateArgumentDeduction ( Sema &  S, TemplateDecl *  Template, bool  PartialOrdering, ArrayRef< TemplateArgument >  TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &  Deduced, TemplateDeductionInfo &  Info  )

static

Complete template argument deduction for a class or variable template, when partial ordering against a partial specialization.

Definition at line 3300 of file SemaTemplateDeduction.cpp.

References CheckDeducedArgumentConstraints(), clang::Sema::Context, ConvertDeducedTemplateArguments(), E, clang::sema::TemplateDeductionInfo::FirstArg, getAsDeclContextOrEnclosing(), clang::TemplateParameterList::getParam(), clang::TemplateDecl::getTemplateParameters(), clang::Sema::SFINAETrap::hasErrorOccurred(), isSameTemplateArg(), makeTemplateParameter(), clang::NonDeducedMismatch, clang::sema::TemplateDeductionInfo::Param, clang::PartialOrdering, clang::Result, clang::sema::TemplateDeductionInfo::SecondArg, clang::TemplateParameterList::size(), clang::SubstitutionFailure, clang::Success, clang::Unevaluated, and clang::Sema::Unevaluated.

getAsDeclContextOrEnclosing()

static DeclContext * getAsDeclContextOrEnclosing ( Decl *  D )

static

Definition at line 3127 of file SemaTemplateDeduction.cpp.

References D, and clang::Decl::getDeclContext().

Referenced by FinishTemplateArgumentDeduction().

getDeducedParameterFromExpr() [1/2]

static const NonTypeTemplateParmDecl * getDeducedParameterFromExpr ( const Expr *  E, unsigned  Depth  )

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 171 of file SemaTemplateDeduction.cpp.

References E.

Referenced by DeduceFromInitializerList(), DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), getDeducedParameterFromExpr(), and MarkUsedTemplateParameters().

getDeducedParameterFromExpr() [2/2]

static const NonTypeTemplateParmDecl * getDeducedParameterFromExpr ( TemplateDeductionInfo &  Info, Expr *  E  )

static

Definition at line 201 of file SemaTemplateDeduction.cpp.

References E, clang::sema::TemplateDeductionInfo::getDeducedDepth(), and getDeducedParameterFromExpr().

getFirstInnerIndex()

static unsigned getFirstInnerIndex ( FunctionTemplateDecl *  FTD )

static

Get the index of the first template parameter that was originally from the innermost template-parameter-list.

This is 0 except when we concatenate the template parameter lists of a class template and a constructor template when forming an implicit deduction guide.

Definition at line 1359 of file SemaTemplateDeduction.cpp.

References clang::FunctionTemplateDecl::getTemplatedDecl().

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

GetImplicitObjectParameterType()

static QualType GetImplicitObjectParameterType ( ASTContext &  Context, const CXXMethodDecl *  Method, QualType  RawType, bool  IsOtherRvr  )

static

Definition at line 5478 of file SemaTemplateDeduction.cpp.

References clang::ASTContext::getLValueReferenceType(), clang::CXXMethodDecl::getMethodQualifiers(), clang::ASTContext::getQualifiedType(), clang::CXXMethodDecl::getRefQualifier(), clang::ASTContext::getRValueReferenceType(), clang::CXXMethodDecl::isExplicitObjectMemberFunction(), clang::RQ_None, and clang::RQ_RValue.

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

getLastTemplateSpecType()

static const TemplateSpecializationType * getLastTemplateSpecType ( QualType  QT )

static

Deduce the template arguments by comparing the template parameter type (which is a template-id) with the template argument type.

Parameters

S	the Sema
TemplateParams	the template parameters that we are deducing
P	the parameter type
A	the argument type
Info	information about the template argument deduction itself
Deduced	the deduced template arguments

Returns

the result of template argument deduction so far. Note that a "success" result means that template argument deduction has not yet failed, but it may still fail, later, for other reasons.

Definition at line 614 of file SemaTemplateDeduction.cpp.

References clang::TemplateSpecializationType::desugar(), clang::Type::getAs(), clang::QualType::getTypePtr(), clang::TemplateSpecializationType::isSugared(), and clang::T.

Referenced by DeduceTemplateSpecArguments().

getMoreSpecialized()

template<typename TemplateLikeDecl , typename PrimaryDel >

static TemplateLikeDecl * getMoreSpecialized ( Sema &  S, QualType  T1, QualType  T2, TemplateLikeDecl *  P1, PrimaryDel *  P2, TemplateDeductionInfo &  Info  )

static

Returns the more specialized template specialization between T1/P1 and T2/P2.

• If IsMoreSpecialThanPrimaryCheck is true, T1/P1 is the partial specialization and T2/P2 is the primary template.
• otherwise, both T1/P1 and T2/P2 are the partial specialization.

Parameters

T1	the type of the first template partial specialization
T2	if IsMoreSpecialThanPrimaryCheck is true, the type of the second template partial specialization; otherwise, the type of the primary template.
P1	the first template partial specialization
P2	if IsMoreSpecialThanPrimaryCheck is true, the second template partial specialization; otherwise, the primary template.

Returns

- If IsMoreSpecialThanPrimaryCheck is true, returns P1 if P1 is more specialized, returns nullptr if P1 is not more specialized.

• otherwise, returns the more specialized template partial specialization. If neither partial specialization is more specialized, returns NULL.

Definition at line 6238 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, clang::Sema::getASTContext(), clang::TemplateArgument::getKind(), clang::ASTContext::getLangOpts(), clang::Sema::IsAtLeastAsConstrained(), isAtLeastAsSpecializedAs(), clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::TemplateArgument::pack_size(), clang::TemplateParameterList::size(), clang::Sema::TemplateParameterListsAreEqual(), and clang::Sema::TPL_TemplateParamsEquivalent.

Referenced by clang::Sema::getMoreSpecializedPartialSpecialization(), and clang::Sema::isMoreSpecializedThanPrimary().

getPackIndexForParam()

static unsigned getPackIndexForParam ( Sema &  S, FunctionTemplateDecl *  FunctionTemplate, const MultiLevelTemplateArgumentList &  Args, unsigned  ParamIdx  )

static

Find the pack index for a particular parameter index in an instantiation of a function template with specific arguments.

Returns

The pack index for whichever pack produced this parameter, or -1 if this was not produced by a parameter. Intended to be used as the ArgumentPackSubstitutionIndex for further substitutions.

Definition at line 3837 of file SemaTemplateDeduction.cpp.

References clang::Sema::getNumArgumentsInExpansion(), clang::FunctionTemplateDecl::getTemplatedDecl(), and clang::FunctionDecl::parameters().

Referenced by CheckDeductionConsistency(), and clang::Sema::FinishTemplateArgumentDeduction().

GetTypeOfFunction()

static QualType GetTypeOfFunction ( Sema &  S, const OverloadExpr::FindResult &  R, FunctionDecl *  Fn  )

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 4101 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::ASTContext::getTypeDeclType(), clang::QualType::getTypePtr(), clang::OverloadExpr::FindResult::HasFormOfMemberPointer, and clang::OverloadExpr::FindResult::IsAddressOfOperand.

Referenced by ResolveOverloadForDeduction().

hasDeducibleTemplateParameters()

bool hasDeducibleTemplateParameters ( Sema &  S, FunctionTemplateDecl *  FunctionTemplate, QualType  T  )

static

Definition at line 6981 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, clang::TemplateParameterList::getDepth(), clang::TemplateDecl::getTemplateParameters(), clang::Type::isDependentType(), MarkUsedTemplateParameters(), clang::TemplateParameterList::size(), and clang::T.

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

hasInconsistentOrSupersetQualifiersOf()

static bool hasInconsistentOrSupersetQualifiersOf ( QualType  ParamType, QualType  ArgType  )

static

Determine whether the parameter has qualifiers that the argument lacks.

Put another way, determine whether there is no way to add a deduced set of qualifiers to the ParamType that would result in its qualifiers matching those of the ArgType.

Definition at line 1312 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().

hasPackExpansionBeforeEnd()

static bool hasPackExpansionBeforeEnd ( ArrayRef< TemplateArgument >  Args )

static

Determine whether the given set of template arguments has a pack expansion that is not the last template argument.

Definition at line 2619 of file SemaTemplateDeduction.cpp.

References hasPackExpansionBeforeEnd(), and clang::TemplateArgument::Pack.

Referenced by DeduceTemplateArguments(), hasPackExpansionBeforeEnd(), MarkUsedTemplateParameters(), and clang::Sema::MarkUsedTemplateParameters().

hasSameExtendedValue()

static bool hasSameExtendedValue ( llvm::APSInt  X, llvm::APSInt  Y  )

static

Compare two APSInts, extending and switching the sign as necessary to compare their values regardless of underlying type.

Definition at line 118 of file SemaTemplateDeduction.cpp.

References X.

Referenced by checkDeducedTemplateArguments(), DeduceTemplateArguments(), and isSameTemplateArg().

hasTemplateArgumentForDeduction()

static bool hasTemplateArgumentForDeduction ( ArrayRef< TemplateArgument > &  Args, unsigned &  ArgIdx  )

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.

Returns

true if there is another template argument (which will be at Args[ArgIdx]), false otherwise.

Definition at line 2602 of file SemaTemplateDeduction.cpp.

References clang::TemplateArgument::getKind(), clang::TemplateArgument::Pack, and clang::TemplateArgument::pack_elements().

Referenced by DeduceTemplateArguments().

instantiateExplicitSpecifierDeferred()

static TemplateDeductionResult instantiateExplicitSpecifierDeferred ( Sema &  S, FunctionDecl *  Specialization, const MultiLevelTemplateArgumentList &  SubstArgs, TemplateDeductionInfo &  Info, FunctionTemplateDecl *  FunctionTemplate, ArrayRef< TemplateArgument >  DeducedArgs  )

static

Definition at line 3862 of file SemaTemplateDeduction.cpp.

References D, clang::Sema::CodeSynthesisContext::DeducedTemplateArgumentSubstitution, clang::ExplicitSpecifier::getExpr(), clang::sema::TemplateDeductionInfo::getLocation(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::Sema::instantiateExplicitSpecifier(), clang::InstantiationDepth, clang::ExplicitSpecifier::isInvalid(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::Expr::isValueDependent(), clang::Specialization, clang::SubstitutionFailure, and clang::Success.

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

isAtLeastAsSpecializedAs() [1/2]

template<typename TemplateLikeDecl >

static bool isAtLeastAsSpecializedAs ( Sema &  S, QualType  T1, QualType  T2, TemplateLikeDecl *  P2, TemplateDeductionInfo &  Info  )

static

Determine whether one partial specialization, P1, is at least as specialized than another, P2.

Template Parameters

TemplateLikeDecl

The kind of P2, which must be a TemplateDecl or {Class,Var}TemplatePartialSpecializationDecl.

Parameters

T1	The injected-class-name of P1 (faked for a variable template).
T2	The injected-class-name of P2 (faked for a variable template).

Definition at line 6096 of file SemaTemplateDeduction.cpp.

References DeduceTemplateArgumentsByTypeMatch(), clang::sema::TemplateDeductionInfo::getLocation(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::Sema::runWithSufficientStackSpace(), clang::Success, and clang::TDF_None.

isAtLeastAsSpecializedAs() [2/2]

static bool isAtLeastAsSpecializedAs ( Sema &  S, SourceLocation  Loc, FunctionTemplateDecl *  FT1, FunctionTemplateDecl *  FT2, TemplatePartialOrderingContext  TPOC, ArrayRef< QualType >  Args1, ArrayRef< QualType >  Args2, bool  Args1Offset  )

static

Determine whether the function template FT1 is at least as specialized as FT2.

Definition at line 5579 of file SemaTemplateDeduction.cpp.

References clang::Sema::CodeSynthesisContext::DeducedTemplateArgumentSubstitution, DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), clang::Type::getAs(), clang::sema::TemplateDeductionInfo::getLocation(), clang::FunctionProtoType::getMethodQuals(), clang::FunctionProtoType::getParamTypes(), clang::FunctionProtoType::getRefQualifier(), clang::FunctionType::getReturnType(), clang::FunctionTemplateDecl::getTemplatedDecl(), clang::TemplateDecl::getTemplateParameters(), clang::ValueDecl::getType(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::FunctionProtoType::isVariadic(), Loc, clang::Sema::runWithSufficientStackSpace(), clang::TemplateParameterList::size(), clang::Success, clang::TDF_None, clang::TPOC_Call, clang::TPOC_Conversion, and clang::TPOC_Other.

Referenced by getMoreSpecialized(), and clang::Sema::getMoreSpecializedTemplate().

isForwardingReference()

static bool isForwardingReference ( QualType  Param, unsigned  FirstInnerIndex  )

static

Determine whether a type denotes a forwarding reference.

Definition at line 1367 of file SemaTemplateDeduction.cpp.

References clang::Type::getAs(), and clang::TemplateTypeParmType::getIndex().

Referenced by AdjustFunctionParmAndArgTypesForDeduction(), and DeduceTemplateArgumentsByTypeMatch().

IsPossiblyOpaquelyQualifiedType()

static bool IsPossiblyOpaquelyQualifiedType ( QualType  T )

static

Determines whether the given type is an opaque type that might be more qualified when instantiated.

Definition at line 754 of file SemaTemplateDeduction.cpp.

References clang::Type::getCanonicalTypeInternal(), clang::QualType::getTypePtr(), IsPossiblyOpaquelyQualifiedTypeInternal(), and clang::T.

Referenced by DeduceTemplateArgumentsByTypeMatch().

IsPossiblyOpaquelyQualifiedTypeInternal()

static bool IsPossiblyOpaquelyQualifiedTypeInternal ( const Type *  T )

static

Definition at line 726 of file SemaTemplateDeduction.cpp.

References clang::Type::getTypeClass(), clang::Type::isCanonicalUnqualified(), IsPossiblyOpaquelyQualifiedTypeInternal(), and clang::T.

Referenced by IsPossiblyOpaquelyQualifiedType(), and IsPossiblyOpaquelyQualifiedTypeInternal().

isSameDeclaration()

static bool isSameDeclaration ( Decl *  X, Decl *  Y  )

static

Determine whether two declaration pointers refer to the same declaration.

Definition at line 207 of file SemaTemplateDeduction.cpp.

References clang::Decl::getCanonicalDecl(), and X.

Referenced by checkDeducedTemplateArguments(), DeduceTemplateArguments(), clang::Sema::FinishTemplateArgumentDeduction(), and isSameTemplateArg().

isSameTemplateArg()

static bool isSameTemplateArg ( ASTContext &  Context, TemplateArgument  X, const TemplateArgument &  Y, bool  PartialOrdering, bool  PackExpansionMatchesPack = false  )

static

Determine whether two template arguments are the same.

Definition at line 2744 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::TemplateName::getAsVoidPointer(), clang::ASTContext::getCanonicalTemplateName(), clang::ASTContext::getCanonicalType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNullPtrType(), hasSameExtendedValue(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isPackExpansion(), isSameDeclaration(), isSameTemplateArg(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::TemplateArgument::pack_size(), clang::PartialOrdering, clang::Stmt::Profile(), clang::TemplateArgument::StructuralValue, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, and X.

Referenced by FinishTemplateArgumentDeduction(), and isSameTemplateArg().

isSimpleTemplateIdType()

static bool isSimpleTemplateIdType ( QualType  T )

static

Determine whether the given type T is a simple-template-id type.

Definition at line 3505 of file SemaTemplateDeduction.cpp.

References clang::Type::getAs(), and clang::T.

Referenced by AdjustFunctionParmAndArgTypesForDeduction(), and CheckOriginalCallArgDeduction().

makeTemplateParameter()

static TemplateParameter makeTemplateParameter ( Decl *  D )

static

Helper function to build a TemplateParameter when we don't know its type statically.

Definition at line 761 of file SemaTemplateDeduction.cpp.

References D.

Referenced by ConvertDeducedTemplateArguments(), FinishTemplateArgumentDeduction(), and clang::Sema::SubstituteExplicitTemplateArguments().

MarkUsedTemplateParameters() [1/5]

static void MarkUsedTemplateParameters ( ASTContext &  Ctx, const Expr *  E, bool  OnlyDeduced, unsigned  Depth, llvm::SmallBitVector &  Used  )

static

Mark the template parameters that are used by the given expression.

Definition at line 6518 of file SemaTemplateDeduction.cpp.

References E, getDeducedParameterFromExpr(), clang::NonTypeTemplateParmDecl::getDepth(), clang::NonTypeTemplateParmDecl::getIndex(), clang::ASTContext::getLangOpts(), clang::ValueDecl::getType(), MarkUsedTemplateParameters(), and Used.

MarkUsedTemplateParameters() [2/5]

static void MarkUsedTemplateParameters ( ASTContext &  Ctx, const TemplateArgument &  TemplateArg, bool  OnlyDeduced, unsigned  Depth, llvm::SmallBitVector &  Used  )

static

Mark the template parameters that are used by this template argument.

Definition at line 6906 of file SemaTemplateDeduction.cpp.

References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgument::Integral, MarkUsedTemplateParameters(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, P, clang::TemplateArgument::Pack, clang::TemplateArgument::StructuralValue, clang::TemplateArgument::Template, clang::TemplateArg, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, and Used.

Referenced by hasDeducibleTemplateParameters(), and MarkUsedTemplateParameters().

MarkUsedTemplateParameters() [3/5]

static void MarkUsedTemplateParameters ( ASTContext &  Ctx, NestedNameSpecifier *  NNS, bool  OnlyDeduced, unsigned  Depth, llvm::SmallBitVector &  Used  )

static

Mark the template parameters that are used by the given nested name specifier.

Definition at line 6549 of file SemaTemplateDeduction.cpp.

References clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifier::getPrefix(), MarkUsedTemplateParameters(), and Used.

MarkUsedTemplateParameters() [4/5]

static void MarkUsedTemplateParameters ( ASTContext &  Ctx, QualType  T, bool  OnlyDeduced, unsigned  Level, llvm::SmallBitVector &  Deduced  )

static

Mark the template parameters that are used by the given type.

Definition at line 6591 of file SemaTemplateDeduction.cpp.

References E, clang::DependentAddressSpaceType::getAddrSpaceExpr(), clang::SubstTemplateTypeParmPackType::getArgumentPack(), clang::Type::getAs(), clang::ASTContext::getCanonicalType(), clang::MemberPointerType::getClass(), clang::DependentSizedMatrixType::getColumnExpr(), clang::TemplateTypeParmDecl::getDepth(), clang::TemplateTypeParmType::getDepth(), clang::DependentSizedExtVectorType::getElementType(), clang::MatrixType::getElementType(), clang::TemplateTypeParmType::getIndex(), clang::SubstTemplateTypeParmPackType::getIndex(), clang::FunctionProtoType::getNoexceptExpr(), clang::FunctionProtoType::getNumParams(), clang::FunctionProtoType::getParamType(), clang::MemberPointerType::getPointeeType(), clang::DependentAddressSpaceType::getPointeeType(), getPointeeType(), clang::DependentTemplateSpecializationType::getQualifier(), clang::SubstTemplateTypeParmPackType::getReplacedParameter(), clang::FunctionType::getReturnType(), clang::DependentSizedMatrixType::getRowExpr(), clang::DependentSizedExtVectorType::getSizeExpr(), clang::TemplateSpecializationType::getTemplateName(), clang::Type::getTypeClass(), getUnderlyingType(), hasPackExpansionBeforeEnd(), clang::Type::isDependentType(), MarkUsedTemplateParameters(), clang::T, clang::TemplateSpecializationType::template_arguments(), clang::DependentTemplateSpecializationType::template_arguments(), and Used.

MarkUsedTemplateParameters() [5/5]

static void MarkUsedTemplateParameters ( ASTContext &  Ctx, TemplateName  Name, bool  OnlyDeduced, unsigned  Depth, llvm::SmallBitVector &  Used  )

static

Mark the template parameters that are used by the given template name.

Definition at line 6566 of file SemaTemplateDeduction.cpp.

References MarkUsedTemplateParameters(), and Used.

ResolveOverloadForDeduction()

static QualType ResolveOverloadForDeduction ( Sema &  S, TemplateParameterList *  TemplateParams, Expr *  Arg, QualType  ParamType, bool  ParamWasReference, TemplateSpecCandidateSet *  FailedTSC = nullptr  )

static

Apply the deduction rules for overload sets.

Returns

the null type if this argument should be treated as an undeduced context

Definition at line 4128 of file SemaTemplateDeduction.cpp.

References clang::Sema::Context, clang::OverloadExpr::copyTemplateArgumentsInto(), D, 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::OverloadExpr::hasExplicitTemplateArgs(), clang::OverloadExpr::FindResult::IsAddressOfOperand, clang::Type::isFunctionPointerType(), clang::Type::isFunctionType(), clang::Type::isMemberFunctionPointerType(), clang::QualType::isNull(), clang::Type::isPointerType(), clang::Sema::resolveAddressOfSingleOverloadCandidate(), clang::Sema::ResolveSingleFunctionTemplateSpecialization(), clang::Result, clang::TemplateParameterList::size(), clang::Specialization, clang::Success, clang::TDF_IgnoreQualifiers, and clang::TDF_ParamWithReferenceType.

Referenced by AdjustFunctionParmAndArgTypesForDeduction().