#include "TreeTransform.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/DeclVisitor.h"
#include "clang/AST/DependentDiagnostic.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/PrettyDeclStackTrace.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateInstCallback.h"
#include "llvm/Support/TimeProfiler.h"
#include <optional>
#include "clang/Sema/AttrTemplateInstantiate.inc"

Functions
static bool	isDeclWithinFunction (const Decl *D)

template<typename DeclT >
static bool	SubstQualifier (Sema &SemaRef, const DeclT OldDecl, DeclT NewDecl, const MultiLevelTemplateArgumentList &TemplateArgs)

static void	instantiateDependentAlignedAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AlignedAttr Aligned, Decl New, bool IsPackExpansion)

static void	instantiateDependentAlignedAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AlignedAttr Aligned, Decl New)

static void	instantiateDependentAssumeAlignedAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AssumeAlignedAttr Aligned, Decl New)

static void	instantiateDependentAlignValueAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AlignValueAttr Aligned, Decl New)

static void	instantiateDependentAllocAlignAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AllocAlignAttr Align, Decl New)

static void	instantiateDependentAnnotationAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AnnotateAttr Attr, Decl New)

static Expr *	instantiateDependentFunctionAttrCondition (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const Attr A, Expr OldCond, const Decl Tmpl, FunctionDecl New)

static void	instantiateDependentEnableIfAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const EnableIfAttr EIA, const Decl Tmpl, FunctionDecl *New)

static void	instantiateDependentDiagnoseIfAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const DiagnoseIfAttr DIA, const Decl Tmpl, FunctionDecl *New)

static void	instantiateDependentCUDALaunchBoundsAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const CUDALaunchBoundsAttr &Attr, Decl *New)

static void	instantiateDependentModeAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const ModeAttr &Attr, Decl *New)

static void	instantiateOMPDeclareSimdDeclAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const OMPDeclareSimdDeclAttr &Attr, Decl *New)
	Instantiation of 'declare simd' attribute and its arguments.

static void	instantiateOMPDeclareVariantAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const OMPDeclareVariantAttr &Attr, Decl *New)
	Instantiation of 'declare variant' attribute and its arguments.

static void	instantiateDependentAMDGPUFlatWorkGroupSizeAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AMDGPUFlatWorkGroupSizeAttr &Attr, Decl *New)

static void	instantiateDependentAMDGPUWavesPerEUAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AMDGPUWavesPerEUAttr &Attr, Decl *New)

static void	instantiateDependentSYCLKernelAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const SYCLKernelAttr &Attr, Decl *New)

static bool	isRelevantAttr (Sema &S, const Decl D, const Attr A)
	Determine whether the attribute A might be relevant to the declaration D.

static void	instantiateDependentHLSLParamModifierAttr (Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const HLSLParamModifierAttr Attr, Decl New)

static Sema::RetainOwnershipKind	attrToRetainOwnershipKind (const Attr *A)

template<typename DeclT >
static DeclT *	getPreviousDeclForInstantiation (DeclT *D)
	Get the previous declaration of a declaration for the purposes of template instantiation.

static QualType	adjustFunctionTypeForInstantiation (ASTContext &Context, FunctionDecl D, TypeSourceInfo TInfo)
	Adjust the given function type for an instantiation of the given declaration, to cope with modifications to the function's type that aren't reflected in the type-source information.

static void	collectUnexpandedParameterPacks (Sema &S, TemplateParameterList *Params, SmallVectorImpl< UnexpandedParameterPack > &Unexpanded)

static bool	isInstantiationOf (ClassTemplateDecl Pattern, ClassTemplateDecl Instance)

static bool	isInstantiationOf (FunctionTemplateDecl Pattern, FunctionTemplateDecl Instance)

static bool	isInstantiationOf (ClassTemplatePartialSpecializationDecl Pattern, ClassTemplatePartialSpecializationDecl Instance)

static bool	isInstantiationOf (CXXRecordDecl Pattern, CXXRecordDecl Instance)

static bool	isInstantiationOf (FunctionDecl Pattern, FunctionDecl Instance)

static bool	isInstantiationOf (EnumDecl Pattern, EnumDecl Instance)

static bool	isInstantiationOf (UsingShadowDecl Pattern, UsingShadowDecl Instance, ASTContext &C)

static bool	isInstantiationOf (UsingDecl Pattern, UsingDecl Instance, ASTContext &C)

template<typename T >
static bool	isInstantiationOfUnresolvedUsingDecl (T Pattern, Decl Other, ASTContext &Ctx)

static bool	isInstantiationOfStaticDataMember (VarDecl Pattern, VarDecl Instance)

static bool	isInstantiationOf (ASTContext &Ctx, NamedDecl D, Decl Other)

template<typename ForwardIterator >
static NamedDecl *	findInstantiationOf (ASTContext &Ctx, NamedDecl *D, ForwardIterator first, ForwardIterator last)

static bool	isDependentContextAtLevel (DeclContext *DC, unsigned Level)
	Determine whether the given context is dependent on template parameters at level `Level` or below.

Function Documentation

◆ adjustFunctionTypeForInstantiation()

static QualType adjustFunctionTypeForInstantiation	(	ASTContext &	Context,
		FunctionDecl *	D,
		TypeSourceInfo *	TInfo
	)

static

Adjust the given function type for an instantiation of the given declaration, to cope with modifications to the function's type that aren't reflected in the type-source information.

Parameters

D	The declaration we're instantiating.
TInfo	The already-instantiated type.

Definition at line 2035 of file SemaTemplateInstantiateDecl.cpp.

References clang::Type::castAs(), clang::FunctionProtoType::ExtProtoInfo::ExtInfo, clang::FunctionType::getExtInfo(), clang::ASTContext::getFunctionType(), clang::ValueDecl::getType(), and clang::TypeSourceInfo::getType().

Referenced by clang::TemplateDeclInstantiator::VisitCXXMethodDecl(), and clang::TemplateDeclInstantiator::VisitFunctionDecl().

◆ attrToRetainOwnershipKind()

static Sema::RetainOwnershipKind attrToRetainOwnershipKind ( const Attr * A )

static

Definition at line 701 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::CF, clang::Attr::getKind(), clang::Sema::NS, and clang::Sema::OS.

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

◆ collectUnexpandedParameterPacks()

static void collectUnexpandedParameterPacks	(	Sema &	S,
		TemplateParameterList *	Params,
		SmallVectorImpl< UnexpandedParameterPack > &	Unexpanded
	)

static

Definition at line 3089 of file SemaTemplateInstantiateDecl.cpp.

References collectUnexpandedParameterPacks(), clang::Sema::collectUnexpandedParameterPacks(), and P.

Referenced by collectUnexpandedParameterPacks().

◆ findInstantiationOf()

template<typename ForwardIterator >

static NamedDecl * findInstantiationOf	(	ASTContext &	Ctx,
		NamedDecl *	D,
		ForwardIterator	first,
		ForwardIterator	last
	)

static

Definition at line 6058 of file SemaTemplateInstantiateDecl.cpp.

References isInstantiationOf().

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

◆ getPreviousDeclForInstantiation()

template<typename DeclT >

static DeclT * getPreviousDeclForInstantiation ( DeclT * D )

static

Get the previous declaration of a declaration for the purposes of template instantiation.

If this finds a previous declaration, then the previous declaration of the instantiation of D should be an instantiation of the result of this function.

Definition at line 902 of file SemaTemplateInstantiateDecl.cpp.

References clang::Result.

Referenced by clang::TemplateDeclInstantiator::InstantiateTypedefNameDecl(), and clang::TemplateDeclInstantiator::VisitBaseUsingDecls().

◆ instantiateDependentAlignedAttr() [1/2]

static void instantiateDependentAlignedAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AlignedAttr *	Aligned,
		Decl *	New
	)

static

Definition at line 109 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::CheckParameterPacksForExpansion(), clang::Sema::collectUnexpandedParameterPacks(), and instantiateDependentAlignedAttr().

◆ instantiateDependentAlignedAttr() [2/2]

static void instantiateDependentAlignedAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AlignedAttr *	Aligned,
		Decl *	New,
		bool	IsPackExpansion
	)

static

Definition at line 87 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddAlignedAttr(), clang::Sema::CheckAlignasTypeArgument(), clang::Sema::ConstantEvaluated, clang::Result, clang::Sema::SubstExpr(), clang::Sema::SubstType(), and clang::Unevaluated.

Referenced by clang::Sema::InstantiateAttrs(), and instantiateDependentAlignedAttr().

◆ instantiateDependentAlignValueAttr()

static void instantiateDependentAlignValueAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AlignValueAttr *	Aligned,
		Decl *	New
	)

static

Definition at line 170 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddAlignValueAttr(), clang::Sema::ConstantEvaluated, clang::Result, clang::Sema::SubstExpr(), and clang::Unevaluated.

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

◆ instantiateDependentAllocAlignAttr()

static void instantiateDependentAllocAlignAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AllocAlignAttr *	Align,
		Decl *	New
	)

static

Definition at line 181 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddAllocAlignAttr(), clang::IntegerLiteral::Create(), clang::Sema::getASTContext(), and clang::ASTContext::UnsignedLongLongTy.

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

◆ instantiateDependentAMDGPUFlatWorkGroupSizeAttr()

static void instantiateDependentAMDGPUFlatWorkGroupSizeAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AMDGPUFlatWorkGroupSizeAttr &	Attr,
		Decl *	New
	)

static

Definition at line 546 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::addAMDGPUFlatWorkGroupSizeAttr(), clang::Sema::ConstantEvaluated, clang::Result, clang::Sema::SubstExpr(), and clang::Unevaluated.

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

◆ instantiateDependentAMDGPUWavesPerEUAttr()

static void instantiateDependentAMDGPUWavesPerEUAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AMDGPUWavesPerEUAttr &	Attr,
		Decl *	New
	)

static

Definition at line 587 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::addAMDGPUWavesPerEUAttr(), clang::Sema::ConstantEvaluated, clang::Result, clang::Sema::SubstExpr(), and clang::Unevaluated.

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

◆ instantiateDependentAnnotationAttr()

static void instantiateDependentAnnotationAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AnnotateAttr *	Attr,
		Decl *	New
	)

static

Definition at line 191 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddAnnotationAttr(), clang::Sema::checkStringLiteralArgumentAttr(), clang::Sema::ConstantEvaluated, clang::Sema::Diag(), clang::AttributeCommonInfo::getLoc(), clang::Sema::SubstExprs(), and clang::Unevaluated.

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

◆ instantiateDependentAssumeAlignedAttr()

static void instantiateDependentAssumeAlignedAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const AssumeAlignedAttr *	Aligned,
		Decl *	New
	)

static

Definition at line 147 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddAssumeAlignedAttr(), clang::Sema::ConstantEvaluated, clang::Result, clang::Sema::SubstExpr(), and clang::Unevaluated.

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

◆ instantiateDependentCUDALaunchBoundsAttr()

static void instantiateDependentCUDALaunchBoundsAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const CUDALaunchBoundsAttr &	Attr,
		Decl *	New
	)

static

Definition at line 285 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddLaunchBoundsAttr(), clang::Sema::ConstantEvaluated, clang::Result, clang::Sema::SubstExpr(), and clang::Unevaluated.

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

◆ instantiateDependentDiagnoseIfAttr()

static void instantiateDependentDiagnoseIfAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const DiagnoseIfAttr *	DIA,
		const Decl *	Tmpl,
		FunctionDecl *	New
	)

static

Definition at line 271 of file SemaTemplateInstantiateDecl.cpp.

References clang::Decl::addAttr(), clang::Sema::getASTContext(), and instantiateDependentFunctionAttrCondition().

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

◆ instantiateDependentEnableIfAttr()

static void instantiateDependentEnableIfAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const EnableIfAttr *	EIA,
		const Decl *	Tmpl,
		FunctionDecl *	New
	)

static

Definition at line 260 of file SemaTemplateInstantiateDecl.cpp.

References clang::Decl::addAttr(), clang::Sema::getASTContext(), and instantiateDependentFunctionAttrCondition().

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

◆ instantiateDependentFunctionAttrCondition()

static Expr * instantiateDependentFunctionAttrCondition	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const Attr *	A,
		Expr *	OldCond,
		const Decl *	Tmpl,
		FunctionDecl *	New
	)

static

Definition at line 229 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::ConstantEvaluated, clang::Sema::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Attr::getLocation(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isPotentialConstantExprUnevaluated(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), P, clang::Sema::PerformContextuallyConvertToBool(), clang::Result, clang::Sema::SubstExpr(), and clang::Unevaluated.

Referenced by instantiateDependentDiagnoseIfAttr(), and instantiateDependentEnableIfAttr().

◆ instantiateDependentHLSLParamModifierAttr()

static void instantiateDependentHLSLParamModifierAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const HLSLParamModifierAttr *	Attr,
		Decl *	New
	)

static

Definition at line 666 of file SemaTemplateInstantiateDecl.cpp.

References clang::Attr::clone(), clang::Sema::getASTContext(), clang::ASTContext::getLValueReferenceType(), and P.

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

◆ instantiateDependentModeAttr()

static void instantiateDependentModeAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const ModeAttr &	Attr,
		Decl *	New
	)

static

Definition at line 317 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AddModeAttr().

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

◆ instantiateDependentSYCLKernelAttr()

static void instantiateDependentSYCLKernelAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const SYCLKernelAttr &	Attr,
		Decl *	New
	)

static

Definition at line 613 of file SemaTemplateInstantiateDecl.cpp.

References clang::Decl::addAttr(), clang::Attr::clone(), and clang::Sema::getASTContext().

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

◆ instantiateOMPDeclareSimdDeclAttr()

static void instantiateOMPDeclareSimdDeclAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const OMPDeclareSimdDeclAttr &	Attr,
		Decl *	New
	)

static

Instantiation of 'declare simd' attribute and its arguments.

Definition at line 325 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::ActOnFinishFullExpr(), clang::Sema::ActOnOpenMPDeclareSimdDirective(), clang::Sema::ConvertDeclToDeclGroup(), clang::Evaluated, clang::ExprEmpty(), clang::ActionResult< PtrTy, Compress >::get(), clang::AttributeCommonInfo::getRange(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::PotentiallyEvaluated, and clang::Sema::SubstExpr().

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

◆ instantiateOMPDeclareVariantAttr()

static void instantiateOMPDeclareVariantAttr	(	Sema &	S,
		const MultiLevelTemplateArgumentList &	TemplateArgs,
		const OMPDeclareVariantAttr &	Attr,
		Decl *	New
	)

static

Instantiation of 'declare variant' attribute and its arguments.

Definition at line 408 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::ActOnFinishFullExpr(), clang::Sema::ActOnOpenMPDeclareVariantDirective(), clang::OMPTraitInfo::anyScoreOrCondition(), bool, clang::Sema::checkOpenMPDeclareVariantFunction(), clang::Sema::ConstantEvaluated, clang::Sema::Context, clang::Sema::ConvertDeclToDeclGroup(), clang::DeclRefExpr::Create(), clang::TemplateArgumentList::CreateCopy(), clang::Evaluated, clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getASTContext(), clang::MultiLevelTemplateArgumentList::getInnermost(), clang::Decl::getLocation(), clang::ASTContext::getNewOMPTraitInfo(), clang::AttributeCommonInfo::getRange(), clang::Sema::InstantiateFunctionDeclaration(), clang::Sema::InstantiateFunctionDefinition(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::QualType::isNull(), clang::ActionResult< PtrTy, Compress >::isUsable(), clang::ASTContext::mergeFunctionTypes(), clang::Sema::PotentiallyEvaluated, clang::Sema::SubstExpr(), clang::Unevaluated, and clang::VK_PRValue.

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

◆ isDeclWithinFunction()

static bool isDeclWithinFunction ( const Decl * D )

static

Definition at line 37 of file SemaTemplateInstantiateDecl.cpp.

References clang::Decl::getDeclContext(), clang::DeclContext::isFunctionOrMethod(), and clang::DeclContext::isRecord().

◆ isDependentContextAtLevel()

static bool isDependentContextAtLevel	(	DeclContext *	DC,
		unsigned	Level
	)

static

Determine whether the given context is dependent on template parameters at level Level or below.

Sometimes we only substitute an inner set of template arguments and leave the outer templates alone. In such cases, contexts dependent only on the outer levels are not effectively dependent.

Definition at line 6087 of file SemaTemplateInstantiateDecl.cpp.

References clang::DeclContext::isDependentContext().

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