SemaTemplate.cpp File Reference

#include "TreeTransform.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclFriend.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/AST/TypeVisitor.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateDeduction.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include "clang/AST/TypeNodes.def"

Include dependency graph for SemaTemplate.cpp:

Go to the source code of this file.

Defines
#define	TYPE(Class, Parent)   bool Visit##Class##Type(const Class##Type *);
#define	ABSTRACT_TYPE(Class, Parent)   bool Visit##Class##Type(const Class##Type *) { return false; }
#define	NON_CANONICAL_TYPE(Class, Parent)   bool Visit##Class##Type(const Class##Type *) { return false; }
Enumerations
enum	NullPointerValueKind { NPV_NotNullPointer, NPV_NullPointer, NPV_Error }
Functions
static NamedDecl *	isAcceptableTemplateName (ASTContext &Context, NamedDecl *Orig, bool AllowFunctionTemplates)
	Determine whether the declaration found is acceptable as the name of a template and, if so, return that template declaration. Otherwise, returns NULL.
static TemplateArgumentLoc	translateTemplateArgument (Sema &SemaRef, const ParsedTemplateArgument &Arg)
static void	maybeDiagnoseTemplateParameterShadow (Sema &SemaRef, Scope *S, SourceLocation Loc, IdentifierInfo *Name)
static void	SetNestedNameSpecifier (TagDecl *T, const CXXScopeSpec &SS)
static bool	DiagnoseDefaultTemplateArgument (Sema &S, Sema::TemplateParamListContext TPC, SourceLocation ParamLoc, SourceRange DefArgRange)
	Diagnose the presence of a default template argument on a template parameter, which is ill-formed in certain contexts.
static bool	DiagnoseUnexpandedParameterPacks (Sema &S, TemplateTemplateParmDecl *TTP)
	Check for unexpanded parameter packs within the template parameters of a template template parameter, recursively.
static bool	DependsOnTemplateParameters (QualType T, TemplateParameterList *Params)
static SourceRange	getRangeOfTypeInNestedNameSpecifier (ASTContext &Context, QualType T, const CXXScopeSpec &SS)
static bool	CheckTemplatePartialSpecializationArgs (Sema &S, SourceLocation TemplateNameLoc, TemplateParameterList *TemplateParams, unsigned NumExplicit, SmallVectorImpl< TemplateArgument > &TemplateArgs)
	Check the non-type template arguments of a class template partial specialization according to C++ [temp.class.spec]p9.
static bool	CheckTemplateSpecializationScope (Sema &S, NamedDecl *Specialized, NamedDecl *PrevDecl, SourceLocation Loc, bool IsPartialSpecialization)
	Check whether a specialization is well-formed in the current context.
static TemplateSpecializationKind	getTemplateSpecializationKind (Decl *D)
	Determine what kind of template specialization the given declaration is.
static bool	isTemplateArgumentTemplateParameter (const TemplateArgument &Arg, unsigned Depth, unsigned Index)
static bool	isSameAsPrimaryTemplate (TemplateParameterList *Params, ArrayRef< TemplateArgument > Args)
static TemplateArgumentListInfo	makeTemplateArgumentListInfo (Sema &S, TemplateIdAnnotation &TemplateId)
	Convert the parser's template argument list representation into our form.
static TypeSourceInfo *	SubstDefaultTemplateArgument (Sema &SemaRef, TemplateDecl *Template, SourceLocation TemplateLoc, SourceLocation RAngleLoc, TemplateTypeParmDecl *Param, SmallVectorImpl< TemplateArgument > &Converted)
	Substitute template arguments into the default template argument for the given template type parameter.
static ExprResult	SubstDefaultTemplateArgument (Sema &SemaRef, TemplateDecl *Template, SourceLocation TemplateLoc, SourceLocation RAngleLoc, NonTypeTemplateParmDecl *Param, SmallVectorImpl< TemplateArgument > &Converted)
	Substitute template arguments into the default template argument for the given non-type template parameter.
static TemplateName	SubstDefaultTemplateArgument (Sema &SemaRef, TemplateDecl *Template, SourceLocation TemplateLoc, SourceLocation RAngleLoc, TemplateTemplateParmDecl *Param, SmallVectorImpl< TemplateArgument > &Converted, NestedNameSpecifierLoc &QualifierLoc)
	Substitute template arguments into the default template argument for the given template template parameter.
static bool	diagnoseArityMismatch (Sema &S, TemplateDecl *Template, SourceLocation TemplateLoc, TemplateArgumentListInfo &TemplateArgs)
	Diagnose an arity mismatch in the.
static Optional< unsigned >	getExpandedPackSize (NamedDecl *Param)
	Check whether the template parameter is a pack expansion, and if so, determine the number of parameters produced by that expansion. For instance:
static NullPointerValueKind	isNullPointerValueTemplateArgument (Sema &S, NonTypeTemplateParmDecl *Param, QualType ParamType, Expr *Arg)
	Determine whether the given template argument is a null pointer value of the appropriate type.
static bool	CheckTemplateArgumentIsCompatibleWithParameter (Sema &S, NonTypeTemplateParmDecl *Param, QualType ParamType, Expr *ArgIn, Expr *Arg, QualType ArgType)
	Checks whether the given template argument is compatible with its template parameter.
static bool	CheckTemplateArgumentAddressOfObjectOrFunction (Sema &S, NonTypeTemplateParmDecl *Param, QualType ParamType, Expr *ArgIn, TemplateArgument &Converted)
	Checks whether the given template argument is the address of an object or function according to C++ [temp.arg.nontype]p1.
static bool	CheckTemplateArgumentPointerToMember (Sema &S, NonTypeTemplateParmDecl *Param, QualType ParamType, Expr *&ResultArg, TemplateArgument &Converted)
	Checks whether the given template argument is a pointer to member constant according to C++ [temp.arg.nontype]p1.
static bool	MatchTemplateParameterKind (Sema &S, NamedDecl *New, NamedDecl *Old, bool Complain, Sema::TemplateParameterListEqualKind Kind, SourceLocation TemplateArgLoc)
	Match two template parameters within template parameter lists.
static void	DiagnoseTemplateParameterListArityMismatch (Sema &S, TemplateParameterList *New, TemplateParameterList *Old, Sema::TemplateParameterListEqualKind Kind, SourceLocation TemplateArgLoc)
	Diagnose a known arity mismatch when comparing template argument lists.
static SourceRange	findTemplateParameter (unsigned Depth, Expr *E)
static SourceRange	findTemplateParameter (unsigned Depth, TypeLoc TL)
static bool	CheckNonTypeTemplatePartialSpecializationArgs (Sema &S, SourceLocation TemplateNameLoc, NonTypeTemplateParmDecl *Param, const TemplateArgument *Args, unsigned NumArgs, bool IsDefaultArgument)
	Subroutine of Sema::CheckTemplatePartialSpecializationArgs that checks non-type template partial specialization arguments.
static void	StripImplicitInstantiation (NamedDecl *D)
	Strips various properties off an implicit instantiation that has just been explicitly specialized.
static SourceLocation	DiagLocForExplicitInstantiation (NamedDecl *D, SourceLocation PointOfInstantiation)
	Compute the diagnostic location for an explicit instantiation.
static bool	CheckExplicitInstantiationScope (Sema &S, NamedDecl *D, SourceLocation InstLoc, bool WasQualifiedName)
	Check the scope of an explicit instantiation.
static bool	ScopeSpecifierHasTemplateId (const CXXScopeSpec &SS)
	Determine whether the given scope specifier has a template-id in it.
static bool	isEnableIf (NestedNameSpecifierLoc NNS, const IdentifierInfo &II, SourceRange &CondRange)

---

Define Documentation

#define ABSTRACT_TYPE	(		Class,
			Parent
	)		bool Visit##Class##Type(const Class##Type *) { return false; }

Definition at line 3902 of file SemaTemplate.cpp.

#define NON_CANONICAL_TYPE	(		Class,
			Parent
	)		bool Visit##Class##Type(const Class##Type *) { return false; }

Definition at line 3904 of file SemaTemplate.cpp.

#define TYPE	(		Class,
			Parent
	)		bool Visit##Class##Type(const Class##Type *);

Definition at line 3900 of file SemaTemplate.cpp.

---

Enumeration Type Documentation

enum NullPointerValueKind

Enumerator:

NPV_NotNullPointer
NPV_NullPointer
NPV_Error

Definition at line 4165 of file SemaTemplate.cpp.

---

Function Documentation

static bool CheckExplicitInstantiationScope	(	Sema &	S,
		NamedDecl *	D,
		SourceLocation	InstLoc,
		bool	WasQualifiedName
	)		[static]

Check the scope of an explicit instantiation.

Returns:

true if a serious error occurs, false otherwise.

Definition at line 6950 of file SemaTemplate.cpp.

References clang::Sema::CurContext, clang::Sema::Diag(), clang::DeclContext::Encloses(), clang::Decl::getDeclContext(), clang::DeclContext::getEnclosingNamespaceContext(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::DeclContext::getRedeclContext(), clang::DeclContext::InEnclosingNamespaceSetOf(), and clang::DeclContext::isRecord().

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

static bool CheckNonTypeTemplatePartialSpecializationArgs	(	Sema &	S,
		SourceLocation	TemplateNameLoc,
		NonTypeTemplateParmDecl *	Param,
		const TemplateArgument *	Args,
		unsigned	NumArgs,
		bool	IsDefaultArgument
	)		[static]

Subroutine of Sema::CheckTemplatePartialSpecializationArgs that checks non-type template partial specialization arguments.

Definition at line 5799 of file SemaTemplate.cpp.

References clang::Sema::Diag(), clang::TemplateArgument::Expression, findTemplateParameter(), clang::TemplateArgument::getAsExpr(), clang::SourceRange::getBegin(), clang::TemplateParmPosition::getDepth(), getKind(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::ValueDecl::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::SourceRange::isValid(), and clang::TemplateArgument::Pack.

Referenced by CheckTemplatePartialSpecializationArgs().

static bool CheckTemplateArgumentAddressOfObjectOrFunction	(	Sema &	S,
		NonTypeTemplateParmDecl *	Param,
		QualType	ParamType,
		Expr *	ArgIn,
		TemplateArgument &	Converted
	)		[static]

Checks whether the given template argument is the address of an object or function according to C++ [temp.arg.nontype]p1.

Definition at line 4317 of file SemaTemplate.cpp.

References CheckTemplateArgumentIsCompatibleWithParameter(), clang::Sema::Context, clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::Sema::Diag(), Func, clang::ASTContext::getArrayDecayedType(), clang::ASTContext::getCanonicalType(), clang::DeclRefExpr::getDecl(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::QualType::getNonReferenceType(), clang::ASTContext::getPointerType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreImpCasts(), clang::Expr::IgnoreParenCasts(), clang::InternalLinkage, isNullPointerValueTemplateArgument(), clang::Type::isNullPtrType(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::SourceLocation::isValid(), clang::Expr::isValueDependent(), clang::Sema::MarkAnyDeclReferenced(), NPV_Error, NPV_NotNullPointer, NPV_NullPointer, clang::UO_AddrOf, and clang::UO_Deref.

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

static bool CheckTemplateArgumentIsCompatibleWithParameter	(	Sema &	S,
		NonTypeTemplateParmDecl *	Param,
		QualType	ParamType,
		Expr *	ArgIn,
		Expr *	Arg,
		QualType	ArgType
	)		[static]

Checks whether the given template argument is compatible with its template parameter.

Definition at line 4259 of file SemaTemplate.cpp.

References clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAs(), clang::QualType::getCVRQualifiers(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::QualType::getNonReferenceType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Type::isFunctionType(), clang::Type::isPointerType(), clang::Sema::IsQualificationConversion(), and clang::Type::isReferenceType().

Referenced by CheckTemplateArgumentAddressOfObjectOrFunction().

static bool CheckTemplateArgumentPointerToMember	(	Sema &	S,
		NonTypeTemplateParmDecl *	Param,
		QualType	ParamType,
		Expr *&	ResultArg,
		TemplateArgument &	Converted
	)		[static]

Checks whether the given template argument is a pointer to member constant according to C++ [temp.arg.nontype]p1.

Definition at line 4610 of file SemaTemplate.cpp.

References clang::CK_NoOp, clang::Sema::Context, clang::Sema::Diag(), clang::Decl::getCanonicalDecl(), clang::ASTContext::getCanonicalType(), clang::TargetInfo::getCXXABI(), clang::DeclRefExpr::getDecl(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Stmt::getLocStart(), clang::QualType::getNonReferenceType(), clang::DeclRefExpr::getQualifier(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::Expr::getType(), clang::Expr::getValueKind(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreImpCasts(), clang::Sema::ImpCastExprToType(), clang::TargetCXXABI::isMicrosoft(), isNullPointerValueTemplateArgument(), clang::Sema::IsQualificationConversion(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), NPV_Error, NPV_NotNullPointer, NPV_NullPointer, clang::Sema::RequireCompleteType(), and clang::UO_AddrOf.

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

static bool CheckTemplatePartialSpecializationArgs	(	Sema &	S,
		SourceLocation	TemplateNameLoc,
		TemplateParameterList *	TemplateParams,
		unsigned	NumExplicit,
		SmallVectorImpl< TemplateArgument > &	TemplateArgs
	)		[static]

Check the non-type template arguments of a class template partial specialization according to C++ [temp.class.spec]p9.

Parameters:

TemplateNameLoc	the location of the template name.
TemplateParams	the template parameters of the primary class template.
NumExplicit	the number of explicitly-specified template arguments.
TemplateArgs	the template arguments of the class template partial specialization.

Returns:

true if there was an error, false otherwise.

Definition at line 5899 of file SemaTemplate.cpp.

References CheckNonTypeTemplatePartialSpecializationArgs(), clang::TemplateParameterList::getParam(), and clang::TemplateParameterList::size().

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), and clang::Sema::ActOnVarTemplateSpecialization().

static bool CheckTemplateSpecializationScope	(	Sema &	S,
		NamedDecl *	Specialized,
		NamedDecl *	PrevDecl,
		SourceLocation	Loc,
		bool	IsPartialSpecialization
	)		[static]

Check whether a specialization is well-formed in the current context.

This routine determines whether a template specialization can be declared in the current context (C++ [temp.expl.spec]p2).

Parameters:

S	the semantic analysis object for which this check is being performed.
Specialized	the entity being specialized or instantiated, which may be a kind of template (class template, function template, etc.) or a member of a class template (member function, static data member, member class).
PrevDecl	the previous declaration of this entity, if any.
Loc	the location of the explicit specialization or instantiation of this entity.
IsPartialSpecialization	whether this is a partial specialization of a class template.

Returns:

true if there was an error that we cannot recover from, false otherwise.

Definition at line 5630 of file SemaTemplate.cpp.

References clang::Sema::ActiveTemplateInstantiations, clang::Sema::CurContext, Diag(), clang::Sema::Diag(), clang::DeclContext::Encloses(), clang::DeclContext::Equals(), clang::Decl::getDeclContext(), clang::DeclContext::getEnclosingNamespaceContext(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::DeclContext::getRedeclContext(), getTemplateSpecializationKind(), clang::DeclContext::InEnclosingNamespaceSetOf(), clang::DeclContext::isFunctionOrMethod(), clang::DeclContext::isRecord(), clang::TSK_ImplicitInstantiation, and clang::TSK_Undeclared.

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnVarTemplateSpecialization(), clang::Sema::CheckFunctionTemplateSpecialization(), and clang::Sema::CheckMemberSpecialization().

static bool DependsOnTemplateParameters	(	QualType	T,
		TemplateParameterList *	Params
	)		[static]

Determines whether a given type depends on the given parameter list.

Definition at line 1556 of file SemaTemplate.cpp.

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

static SourceLocation DiagLocForExplicitInstantiation	(	NamedDecl *	D,
		SourceLocation	PointOfInstantiation
	)		[static]

Compute the diagnostic location for an explicit instantiation.

Definition at line 6348 of file SemaTemplate.cpp.

References clang::SourceLocation::isValid().

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

static bool diagnoseArityMismatch	(	Sema &	S,
		TemplateDecl *	Template,
		SourceLocation	TemplateLoc,
		TemplateArgumentListInfo &	TemplateArgs
	)		[static]

Diagnose an arity mismatch in the.

Definition at line 3590 of file SemaTemplate.cpp.

References clang::Sema::Diag(), clang::Decl::getLocation(), clang::TemplateArgumentListInfo::getRAngleLoc(), clang::TemplateParameterList::getSourceRange(), clang::TemplateDecl::getTemplateParameters(), clang::TemplateParameterList::size(), and clang::TemplateArgumentListInfo::size().

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

static bool DiagnoseDefaultTemplateArgument	(	Sema &	S,
		Sema::TemplateParamListContext	TPC,
		SourceLocation	ParamLoc,
		SourceRange	DefArgRange
	)		[static]

Diagnose the presence of a default template argument on a template parameter, which is ill-formed in certain contexts.

Returns:

true if the default template argument should be dropped.

Definition at line 1150 of file SemaTemplate.cpp.

References clang::Sema::Diag(), clang::Sema::getLangOpts(), clang::Sema::TPC_ClassTemplate, clang::Sema::TPC_ClassTemplateMember, clang::Sema::TPC_FriendClassTemplate, clang::Sema::TPC_FriendFunctionTemplate, clang::Sema::TPC_FriendFunctionTemplateDefinition, clang::Sema::TPC_FunctionTemplate, clang::Sema::TPC_TypeAliasTemplate, and clang::Sema::TPC_VarTemplate.

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

static void DiagnoseTemplateParameterListArityMismatch	(	Sema &	S,
		TemplateParameterList *	New,
		TemplateParameterList *	Old,
		Sema::TemplateParameterListEqualKind	Kind,
		SourceLocation	TemplateArgLoc
	)		[static]

Diagnose a known arity mismatch when comparing template argument lists.

Definition at line 5432 of file SemaTemplate.cpp.

References clang::Sema::Diag(), clang::TemplateParameterList::getRAngleLoc(), clang::TemplateParameterList::getTemplateLoc(), clang::SourceLocation::isValid(), clang::TemplateParameterList::size(), and clang::Sema::TPL_TemplateMatch.

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

static bool DiagnoseUnexpandedParameterPacks	(	Sema &	S,
		TemplateTemplateParmDecl *	TTP
	)		[static]

Check for unexpanded parameter packs within the template parameters of a template template parameter, recursively.

Definition at line 1204 of file SemaTemplate.cpp.

References clang::Sema::DiagnoseUnexpandedParameterPack(), clang::TemplateParameterList::getParam(), clang::TemplateDecl::getTemplateParameters(), clang::TemplateTemplateParmDecl::isParameterPack(), P, clang::TemplateParameterList::size(), and clang::Sema::UPPC_NonTypeTemplateParameterType.

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

static SourceRange findTemplateParameter	(	unsigned	Depth,
		Expr *	E
	)		[static]

Definition at line 5777 of file SemaTemplate.cpp.

References clang::Stmt::getSourceRange(), and clang::Expr::isInstantiationDependent().

Referenced by CheckNonTypeTemplatePartialSpecializationArgs().

static SourceRange findTemplateParameter	(	unsigned	Depth,
		TypeLoc	TL
	)		[static]

Definition at line 5787 of file SemaTemplate.cpp.

References clang::TypeLoc::getSourceRange(), clang::TypeLoc::getType(), and clang::Type::isDependentType().

static Optional<unsigned> getExpandedPackSize

(

NamedDecl *

Param

)

[static]

Check whether the template parameter is a pack expansion, and if so, determine the number of parameters produced by that expansion. For instance:

 template<typename ...Ts> struct A {
   template<Ts ...NTs, template<Ts> class ...TTs, typename ...Us> struct B;
 };

In A<int,int>::B, NTs and TTs have expanded pack size 2, and Us is not a pack expansion, so returns an empty Optional.

Definition at line 3623 of file SemaTemplate.cpp.

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

static SourceRange getRangeOfTypeInNestedNameSpecifier	(	ASTContext &	Context,
		QualType	T,
		const CXXScopeSpec &	SS
	)		[static]

Definition at line 1564 of file SemaTemplate.cpp.

References clang::CXXScopeSpec::getScopeRep(), clang::TypeLoc::getSourceRange(), clang::NestedNameSpecifierLoc::getTypeLoc(), clang::ASTContext::hasSameUnqualifiedType(), and clang::CXXScopeSpec::location_data().

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

static TemplateSpecializationKind getTemplateSpecializationKind

(

Decl *

D

)

[static]

Determine what kind of template specialization the given declaration is.

Definition at line 5592 of file SemaTemplate.cpp.

References Record, and clang::TSK_Undeclared.

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnVarTemplateSpecialization(), clang::Sema::CheckMemberSpecialization(), clang::Sema::CheckSpecializationInstantiationRedecl(), CheckTemplateSpecializationScope(), clang::FriendDecl::Create(), and clang::Sema::DefineUsedVTables().

static NamedDecl* isAcceptableTemplateName	(	ASTContext &	Context,
		NamedDecl *	Orig,
		bool	AllowFunctionTemplates
	)		[static]

Determine whether the declaration found is acceptable as the name of a template and, if so, return that template declaration. Otherwise, returns NULL.

Definition at line 48 of file SemaTemplate.cpp.

References clang::NamedDecl::getUnderlyingDecl(), and Record.

Referenced by clang::Sema::FilterAcceptableTemplateNames(), and clang::Sema::hasAnyAcceptableTemplateNames().

static bool isEnableIf	(	NestedNameSpecifierLoc	NNS,
		const IdentifierInfo &	II,
		SourceRange &	CondRange
	)		[static]

Determine whether this failed name lookup should be treated as being disabled by a usage of std::enable_if.

Definition at line 7843 of file SemaTemplate.cpp.

References clang::TemplateSpecializationTypeLoc::getArgLoc(), clang::TypeLoc::getAs(), clang::TemplateName::getAsTemplateDecl(), clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::TemplateSpecializationTypeLoc::getNumArgs(), clang::TemplateArgumentLoc::getSourceRange(), clang::TemplateSpecializationType::getTemplateName(), clang::NestedNameSpecifierLoc::getTypeLoc(), clang::ConcreteTypeLoc< Base, Derived, TypeClass, LocalData >::getTypePtr(), clang::Type::isIncompleteType(), and clang::IdentifierInfo::isStr().

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

static NullPointerValueKind isNullPointerValueTemplateArgument	(	Sema &	S,
		NonTypeTemplateParmDecl *	Param,
		QualType	ParamType,
		Expr *	Arg
	)		[static]

Determine whether the given template argument is a null pointer value of the appropriate type.

Definition at line 4174 of file SemaTemplate.cpp.

References clang::Sema::Context, clang::FixItHint::CreateInsertion(), clang::Sema::DefaultFunctionArrayConversion(), clang::Expr::EvalStatus::Diag, clang::Sema::Diag(), clang::Expr::EvaluateAsRValue(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::QualType::getAsString(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::Stmt::getLocEnd(), clang::Sema::getLocForEndOfToken(), clang::Stmt::getLocStart(), clang::APValue::getLValueBase(), clang::APValue::getMemberPointerDecl(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::EvalStatus::HasSideEffects, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::APValue::isLValue(), clang::APValue::isMemberPointer(), clang::Expr::isNullPointerConstant(), clang::Type::isNullPtrType(), clang::Sema::IsQualificationConversion(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Expr::NPC_NeverValueDependent, NPV_Error, NPV_NotNullPointer, NPV_NullPointer, and clang::Expr::EvalResult::Val.

Referenced by clang::Sema::CheckTemplateArgument(), CheckTemplateArgumentAddressOfObjectOrFunction(), and CheckTemplateArgumentPointerToMember().

static bool isSameAsPrimaryTemplate	(	TemplateParameterList *	Params,
		ArrayRef< TemplateArgument >	Args
	)		[static]

Definition at line 2363 of file SemaTemplate.cpp.

References Depth, clang::TemplateParameterList::getDepth(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getPackExpansionPattern(), clang::TemplateParameterList::getParam(), clang::TemplateArgument::isPackExpansion(), clang::Decl::isParameterPack(), isTemplateArgumentTemplateParameter(), clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), clang::TemplateArgument::pack_size(), and clang::TemplateParameterList::size().

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

static bool isTemplateArgumentTemplateParameter	(	const TemplateArgument &	Arg,
		unsigned	Depth,
		unsigned	Index
	)		[static]

Definition at line 2326 of file SemaTemplate.cpp.

References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::Type::getAs(), clang::TemplateArgument::getAsExpr(), clang::TemplateName::getAsTemplateDecl(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::DeclRefExpr::getDecl(), clang::TemplateParmPosition::getDepth(), clang::TemplateTypeParmType::getDepth(), clang::TemplateParmPosition::getIndex(), clang::TemplateTypeParmType::getIndex(), clang::TemplateArgument::getKind(), clang::QualType::hasQualifiers(), clang::TemplateArgument::Integral, clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.

Referenced by isSameAsPrimaryTemplate().

static TemplateArgumentListInfo makeTemplateArgumentListInfo	(	Sema &	S,
		TemplateIdAnnotation &	TemplateId
	)		[static]

Convert the parser's template argument list representation into our form.

Definition at line 2391 of file SemaTemplate.cpp.

References clang::TemplateIdAnnotation::getTemplateArgs(), clang::TemplateIdAnnotation::LAngleLoc, clang::TemplateIdAnnotation::NumArgs, clang::TemplateIdAnnotation::RAngleLoc, and clang::Sema::translateTemplateArguments().

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnExplicitInstantiation(), and clang::Sema::ActOnVarTemplateSpecialization().

static bool MatchTemplateParameterKind	(	Sema &	S,
		NamedDecl *	New,
		NamedDecl *	Old,
		bool	Complain,
		Sema::TemplateParameterListEqualKind	Kind,
		SourceLocation	TemplateArgLoc
	)		[static]

Match two template parameters within template parameter lists.

Definition at line 5327 of file SemaTemplate.cpp.

References clang::Sema::Context, clang::Sema::Diag(), clang::Decl::getKind(), clang::Decl::getLocation(), clang::TemplateDecl::getTemplateParameters(), clang::ValueDecl::getType(), clang::ASTContext::hasSameType(), clang::Type::isDependentType(), clang::Decl::isParameterPack(), clang::Decl::isTemplateParameterPack(), clang::SourceLocation::isValid(), clang::Sema::TemplateParameterListsAreEqual(), clang::Sema::TPL_TemplateMatch, clang::Sema::TPL_TemplateTemplateArgumentMatch, and clang::Sema::TPL_TemplateTemplateParmMatch.

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

static void maybeDiagnoseTemplateParameterShadow	(	Sema &	SemaRef,
		Scope *	S,
		SourceLocation	Loc,
		IdentifierInfo *	Name
	)		[static]

Definition at line 528 of file SemaTemplate.cpp.

References clang::Sema::DiagnoseTemplateParameterShadow(), clang::Sema::ForRedeclaration, clang::Decl::isTemplateParameter(), clang::Sema::LookupOrdinaryName, and clang::Sema::LookupSingleName().

Referenced by clang::Sema::ActOnNonTypeTemplateParameter(), clang::Sema::ActOnTemplateTemplateParameter(), and clang::Sema::ActOnTypeParameter().

static bool ScopeSpecifierHasTemplateId

(

const CXXScopeSpec &

SS

)

[static]

Determine whether the given scope specifier has a template-id in it.

Definition at line 7002 of file SemaTemplate.cpp.

References clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifier::getPrefix(), clang::CXXScopeSpec::getScopeRep(), and clang::CXXScopeSpec::isSet().

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

static void SetNestedNameSpecifier	(	TagDecl *	T,
		const CXXScopeSpec &	SS
	)		[static]

Definition at line 828 of file SemaTemplate.cpp.

References clang::Decl::getASTContext(), clang::CXXScopeSpec::getWithLocInContext(), clang::CXXScopeSpec::isSet(), and clang::TagDecl::setQualifierInfo().

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnExplicitInstantiation(), and clang::Sema::CheckClassTemplate().

static void StripImplicitInstantiation

(

NamedDecl *

D

)

[static]

Strips various properties off an implicit instantiation that has just been explicitly specialized.

Definition at line 6335 of file SemaTemplate.cpp.

References clang::Decl::dropAttrs().

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

static TypeSourceInfo* SubstDefaultTemplateArgument	(	Sema &	SemaRef,
		TemplateDecl *	Template,
		SourceLocation	TemplateLoc,
		SourceLocation	RAngleLoc,
		TemplateTypeParmDecl *	Param,
		SmallVectorImpl< TemplateArgument > &	Converted
	)		[static]

Substitute template arguments into the default template argument for the given template type parameter.

Parameters:

SemaRef	the semantic analysis object for which we are performing the substitution.
Template	the template that we are synthesizing template arguments for.
TemplateLoc	the location of the template name that started the template-id we are checking.
RAngleLoc	the location of the right angle bracket ('>') that terminates the template-id.
Param	the template template parameter whose default we are substituting into.
Converted	the list of template arguments provided for template parameters that precede Param in the template parameter list.

Returns:

the substituted template argument, or NULL if an error occurred.

Definition at line 3139 of file SemaTemplate.cpp.

References clang::MultiLevelTemplateArgumentList::addOuterTemplateArguments(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::TemplateTypeParmDecl::getDefaultArgumentInfo(), clang::TemplateTypeParmDecl::getDefaultArgumentLoc(), clang::TemplateTypeParmDecl::getDepth(), clang::TypeSourceInfo::getType(), clang::Type::isDependentType(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::TemplateArgumentList::OnStack, and clang::Sema::SubstType().

Referenced by clang::Sema::CheckTemplateArgumentList(), and clang::Sema::SubstDefaultTemplateArgumentIfAvailable().

static ExprResult SubstDefaultTemplateArgument	(	Sema &	SemaRef,
		TemplateDecl *	Template,
		SourceLocation	TemplateLoc,
		SourceLocation	RAngleLoc,
		NonTypeTemplateParmDecl *	Param,
		SmallVectorImpl< TemplateArgument > &	Converted
	)		[static]

Substitute template arguments into the default template argument for the given non-type template parameter.

Parameters:

SemaRef	the semantic analysis object for which we are performing the substitution.
Template	the template that we are synthesizing template arguments for.
TemplateLoc	the location of the template name that started the template-id we are checking.
RAngleLoc	the location of the right angle bracket ('>') that terminates the template-id.
Param	the non-type template parameter whose default we are substituting into.
Converted	the list of template arguments provided for template parameters that precede Param in the template parameter list.

Returns:

the substituted template argument, or NULL if an error occurred.

Definition at line 3197 of file SemaTemplate.cpp.

References clang::MultiLevelTemplateArgumentList::addOuterTemplateArguments(), clang::ExprError(), clang::Decl::getDeclContext(), clang::NonTypeTemplateParmDecl::getDefaultArgument(), clang::TemplateParmPosition::getDepth(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::TemplateArgumentList::OnStack, clang::Sema::SubstExpr(), and clang::Sema::Unevaluated.

static TemplateName SubstDefaultTemplateArgument	(	Sema &	SemaRef,
		TemplateDecl *	Template,
		SourceLocation	TemplateLoc,
		SourceLocation	RAngleLoc,
		TemplateTemplateParmDecl *	Param,
		SmallVectorImpl< TemplateArgument > &	Converted,
		NestedNameSpecifierLoc &	QualifierLoc
	)		[static]

Substitute template arguments into the default template argument for the given template template parameter.

Parameters:

SemaRef	the semantic analysis object for which we are performing the substitution.
Template	the template that we are synthesizing template arguments for.
TemplateLoc	the location of the template name that started the template-id we are checking.
RAngleLoc	the location of the right angle bracket ('>') that terminates the template-id.
Param	the template template parameter whose default we are substituting into.
Converted	the list of template arguments provided for template parameters that precede Param in the template parameter list.
QualifierLoc	Will be set to the nested-name-specifier (with source-location information) that precedes the template name.

Returns:

the substituted template argument, or NULL if an error occurred.

Definition at line 3249 of file SemaTemplate.cpp.

References clang::MultiLevelTemplateArgumentList::addOuterTemplateArguments(), clang::TemplateArgumentLoc::getArgument(), clang::TemplateArgument::getAsTemplate(), clang::Decl::getDeclContext(), clang::TemplateTemplateParmDecl::getDefaultArgument(), clang::TemplateParmPosition::getDepth(), clang::TemplateArgumentLoc::getTemplateNameLoc(), clang::TemplateArgumentLoc::getTemplateQualifierLoc(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::TemplateArgumentList::OnStack, clang::Sema::SubstNestedNameSpecifierLoc(), and clang::Sema::SubstTemplateName().

static TemplateArgumentLoc translateTemplateArgument	(	Sema &	SemaRef,
		const ParsedTemplateArgument &	Arg
	)		[static]

Definition at line 484 of file SemaTemplate.cpp.

References clang::Sema::Context, clang::OpaquePtr< PtrTy >::get(), clang::ParsedTemplateArgument::getAsExpr(), clang::ParsedTemplateArgument::getAsTemplate(), clang::ParsedTemplateArgument::getAsType(), clang::ParsedTemplateArgument::getEllipsisLoc(), clang::ParsedTemplateArgument::getKind(), clang::ParsedTemplateArgument::getLocation(), clang::ParsedTemplateArgument::getScopeSpec(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::Sema::GetTypeFromParser(), clang::CXXScopeSpec::getWithLocInContext(), clang::SourceLocation::isValid(), clang::ParsedTemplateArgument::NonType, clang::ParsedTemplateArgument::Template, and clang::ParsedTemplateArgument::Type.

Referenced by clang::Sema::ActOnTemplateTemplateParameter(), and clang::Sema::translateTemplateArguments().