clang
6.0.0
|
#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/Builtins.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 <iterator>
#include "clang/AST/TypeNodes.def"
Go to the source code of this file.
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
Macros | |
#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 Expr * | clang::formAssociatedConstraints (TemplateParameterList *Params, FunctionDecl *FD) |
[temp.constr.decl]p2: A template's associated constraints are defined as a single constraint-expression derived from the introduced constraint-expressions [ ... More... | |
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. More... | |
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. More... | |
static bool | DiagnoseUnexpandedParameterPacks (Sema &S, TemplateTemplateParmDecl *TTP) |
Check for unexpanded parameter packs within the template parameters of a template template parameter, recursively. More... | |
static bool | DependsOnTemplateParameters (QualType T, TemplateParameterList *Params) |
Determines whether a given type depends on the given parameter list. More... | |
static SourceRange | getRangeOfTypeInNestedNameSpecifier (ASTContext &Context, QualType T, const CXXScopeSpec &SS) |
static QualType | checkBuiltinTemplateIdType (Sema &SemaRef, BuiltinTemplateDecl *BTD, const SmallVectorImpl< TemplateArgument > &Converted, SourceLocation TemplateLoc, TemplateArgumentListInfo &TemplateArgs) |
static bool | isEnableIfAliasTemplate (TypeAliasTemplateDecl *AliasTemplate) |
Determine whether this alias template is "enable_if_t". More... | |
static void | collectConjunctionTerms (Expr *Clause, SmallVectorImpl< Expr *> &Terms) |
Collect all of the separable terms in the given condition, which might be a conjunction. More... | |
static Expr * | lookThroughRangesV3Condition (Preprocessor &PP, Expr *Cond) |
static bool | CheckTemplateSpecializationScope (Sema &S, NamedDecl *Specialized, NamedDecl *PrevDecl, SourceLocation Loc, bool IsPartialSpecialization) |
Check whether a specialization is well-formed in the current context. More... | |
static TemplateSpecializationKind | getTemplateSpecializationKind (Decl *D) |
Determine what kind of template specialization the given declaration is. More... | |
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. More... | |
template<typename PartialSpecDecl > | |
static void | checkMoreSpecializedThanPrimary (Sema &S, PartialSpecDecl *Partial) |
static void | noteNonDeducibleParameters (Sema &S, TemplateParameterList *TemplateParams, const llvm::SmallBitVector &DeducibleParams) |
template<typename PartialSpecDecl > | |
static void | checkTemplatePartialSpecialization (Sema &S, PartialSpecDecl *Partial) |
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. More... | |
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. More... | |
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. More... | |
static TemplateArgumentLoc | convertTypeTemplateArgumentToTemplate (TypeLoc TLoc) |
Convert a template-argument that we parsed as a type into a template, if possible. More... | |
static bool | diagnoseArityMismatch (Sema &S, TemplateDecl *Template, SourceLocation TemplateLoc, TemplateArgumentListInfo &TemplateArgs) |
Diagnose an arity mismatch in the. More... | |
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. More... | |
template<typename TemplateParmDecl > | |
static bool | diagnoseMissingArgument (Sema &S, SourceLocation Loc, TemplateDecl *TD, const TemplateParmDecl *D, TemplateArgumentListInfo &Args) |
Diagnose a missing template argument. More... | |
static NullPointerValueKind | isNullPointerValueTemplateArgument (Sema &S, NonTypeTemplateParmDecl *Param, QualType ParamType, Expr *Arg, Decl *Entity=nullptr) |
Determine whether the given template argument is a null pointer value of the appropriate type. More... | |
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. More... | |
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. More... | |
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. More... | |
static void | DiagnoseTemplateParameterListArityMismatch (Sema &S, TemplateParameterList *New, TemplateParameterList *Old, Sema::TemplateParameterListEqualKind Kind, SourceLocation TemplateArgLoc) |
Diagnose a known arity mismatch when comparing template argument lists. More... | |
static bool | MatchTemplateParameterKind (Sema &S, NamedDecl *New, NamedDecl *Old, bool Complain, Sema::TemplateParameterListEqualKind Kind, SourceLocation TemplateArgLoc) |
Match two template parameters within template parameter lists. More... | |
static SourceRange | findTemplateParameterInType (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. More... | |
static void | StripImplicitInstantiation (NamedDecl *D) |
Strips various properties off an implicit instantiation that has just been explicitly specialized. More... | |
static SourceLocation | DiagLocForExplicitInstantiation (NamedDecl *D, SourceLocation PointOfInstantiation) |
Compute the diagnostic location for an explicit instantiation. More... | |
template<typename DeclT > | |
static void | completeMemberSpecializationImpl (Sema &S, DeclT *OrigD, SourceLocation Loc) |
Complete the explicit specialization of a member of a class template by updating the instantiated member to be marked as an explicit specialization. More... | |
static bool | CheckExplicitInstantiationScope (Sema &S, NamedDecl *D, SourceLocation InstLoc, bool WasQualifiedName) |
Check the scope of an explicit instantiation. More... | |
static bool | ScopeSpecifierHasTemplateId (const CXXScopeSpec &SS) |
Determine whether the given scope specifier has a template-id in it. More... | |
static void | dllExportImportClassTemplateSpecialization (Sema &S, ClassTemplateSpecializationDecl *Def) |
Make a dllexport or dllimport attr on a class template specialization take effect. More... | |
static bool | isEnableIf (NestedNameSpecifierLoc NNS, const IdentifierInfo &II, SourceRange &CondRange, Expr *&Cond) |
Determine whether this failed name lookup should be treated as being disabled by a usage of std::enable_if. More... | |
#define ABSTRACT_TYPE | ( | Class, | |
Parent | |||
) | bool Visit##Class##Type(const Class##Type *) { return false; } |
Definition at line 5123 of file SemaTemplate.cpp.
#define NON_CANONICAL_TYPE | ( | Class, | |
Parent | |||
) | bool Visit##Class##Type(const Class##Type *) { return false; } |
Definition at line 5125 of file SemaTemplate.cpp.
Definition at line 5121 of file SemaTemplate.cpp.
enum NullPointerValueKind |
Enumerator | |
---|---|
NPV_NotNullPointer | |
NPV_NullPointer | |
NPV_Error |
Definition at line 5389 of file SemaTemplate.cpp.
|
static |
Definition at line 2796 of file SemaTemplate.cpp.
|
static |
Check the scope of an explicit instantiation.
Definition at line 8408 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().
|
static |
Definition at line 3445 of file SemaTemplate.cpp.
References Diag(), clang::Sema::Diag(), clang::Sema::getDiagnostics(), and clang::Sema::isMoreSpecializedThanPrimary().
Referenced by checkTemplatePartialSpecialization().
|
static |
Subroutine of Sema::CheckTemplatePartialSpecializationArgs that checks non-type template partial specialization arguments.
Definition at line 7216 of file SemaTemplate.cpp.
|
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 5551 of file SemaTemplate.cpp.
References CheckTemplateArgumentIsCompatibleWithParameter(), clang::Sema::Context, clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::Sema::Diag(), 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, and NPV_NullPointer.
|
static |
Checks whether the given template argument is compatible with its template parameter.
Definition at line 5493 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 |
Checks whether the given template argument is a pointer to member constant according to C++ [temp.arg.nontype]p1.
Definition at line 5838 of file SemaTemplate.cpp.
References clang::Sema::Context, clang::Sema::Diag(), clang::Decl::getCanonicalDecl(), clang::ASTContext::getCanonicalType(), 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::Expr::getType(), clang::Expr::getValueKind(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreImpCasts(), clang::Sema::ImpCastExprToType(), isNullPointerValueTemplateArgument(), clang::Sema::IsQualificationConversion(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), NPV_Error, NPV_NotNullPointer, and NPV_NullPointer.
|
static |
Definition at line 3492 of file SemaTemplate.cpp.
References checkMoreSpecializedThanPrimary(), clang::Sema::Diag(), clang::Sema::MarkUsedTemplateParameters(), and noteNonDeducibleParameters().
Referenced by clang::Sema::CheckTemplatePartialSpecialization().
|
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).
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. |
Definition at line 7045 of file SemaTemplate.cpp.
References 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::Sema::inTemplateInstantiation(), clang::DeclContext::isFunctionOrMethod(), clang::DeclContext::isRecord(), clang::TSK_ImplicitInstantiation, and clang::TSK_Undeclared.
|
static |
Collect all of the separable terms in the given condition, which might be a conjunction.
FIXME: The right answer is to convert the logical expression into disjunctive normal form, so we can find the first failed term within each possible clause.
Definition at line 2878 of file SemaTemplate.cpp.
References clang::Expr::IgnoreParenImpCasts().
Referenced by clang::Sema::findFailedBooleanCondition().
|
static |
Complete the explicit specialization of a member of a class template by updating the instantiated member to be marked as an explicit specialization.
OrigD | The member declaration instantiated from the template. |
Loc | The location of the explicit specialization of the member. |
Definition at line 8374 of file SemaTemplate.cpp.
References clang::TSK_ExplicitSpecialization, and clang::TSK_ImplicitInstantiation.
Referenced by clang::Sema::CompleteMemberSpecialization().
|
static |
Convert a template-argument that we parsed as a type into a template, if possible.
C++ permits injected-class-names to perform dual service as template template arguments and as template type arguments.
Definition at line 4492 of file SemaTemplate.cpp.
References clang::ETK_None, and clang::TypeLoc::getAs().
|
static |
Determines whether a given type depends on the given parameter list.
Definition at line 2357 of file SemaTemplate.cpp.
|
static |
Compute the diagnostic location for an explicit instantiation.
Definition at line 7732 of file SemaTemplate.cpp.
References clang::SourceLocation::isValid().
Referenced by clang::Sema::CheckSpecializationInstantiationRedecl().
|
static |
Diagnose an arity mismatch in the.
Definition at line 4774 of file SemaTemplate.cpp.
References clang::Sema::Diag(), clang::Decl::getLocation(), clang::TemplateArgumentListInfo::getRAngleLoc(), clang::TemplateParameterList::getSourceRange(), clang::Sema::getTemplateNameKindForDiagnostics(), clang::TemplateDecl::getTemplateParameters(), clang::TemplateParameterList::size(), and clang::TemplateArgumentListInfo::size().
Referenced by diagnoseMissingArgument().
|
static |
Diagnose the presence of a default template argument on a template parameter, which is ill-formed in certain contexts.
Definition at line 1932 of file SemaTemplate.cpp.
Referenced by clang::Sema::CheckTemplateParameterList().
|
static |
Diagnose a missing template argument.
Definition at line 4823 of file SemaTemplate.cpp.
References clang::Sema::DefaultArgument, diagnoseArityMismatch(), clang::Sema::diagnoseMissingImport(), clang::NamedDecl::getMostRecentDecl(), and clang::Sema::hasVisibleDefaultArgument().
|
static |
Diagnose a known arity mismatch when comparing template argument lists.
Definition at line 6845 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 |
Check for unexpanded parameter packs within the template parameters of a template template parameter, recursively.
Definition at line 1986 of file SemaTemplate.cpp.
Referenced by clang::Sema::checkExceptionSpecification(), and clang::Sema::DiagnoseUnexpandedParameterPack().
|
static |
Make a dllexport or dllimport attr on a class template specialization take effect.
Definition at line 8482 of file SemaTemplate.cpp.
References clang::CXXRecordDecl::bases(), clang::Sema::checkClassLevelDLLAttribute(), clang::Sema::DelayedDllExportClasses, clang::getDLLAttr(), clang::TypeDecl::getLocStart(), clang::Sema::propagateDLLAttrToBaseClassTemplate(), and clang::Sema::referenceDLLExportedClassMethods().
|
static |
Definition at line 7204 of file SemaTemplate.cpp.
References clang::TypeLoc::getSourceRange(), clang::TypeLoc::getType(), and clang::Type::isDependentType().
|
static |
Definition at line 7194 of file SemaTemplate.cpp.
Check whether the template parameter is a pack expansion, and if so, determine the number of parameters produced by that expansion.
For instance:
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 4805 of file SemaTemplate.cpp.
Referenced by clang::Sema::CheckTemplateArgumentList().
|
static |
Definition at line 2365 of file SemaTemplate.cpp.
|
static |
Determine what kind of template specialization the given declaration is.
Definition at line 7007 of file SemaTemplate.cpp.
References clang::TSK_Undeclared.
Referenced by clang::Sema::CheckSpecializationInstantiationRedecl(), CheckTemplateSpecializationScope(), clang::FriendDecl::Create(), clang::EnumDecl::isComplete(), clang::FunctionTemplateSpecializationInfo::isExplicitInstantiationOrSpecialization(), clang::ClassTemplateSpecializationDecl::isExplicitInstantiationOrSpecialization(), clang::VarTemplateSpecializationDecl::isExplicitInstantiationOrSpecialization(), clang::FunctionTemplateSpecializationInfo::isExplicitSpecialization(), clang::MemberSpecializationInfo::isExplicitSpecialization(), clang::CXXRecordDecl::isLiteral(), and clang::VarDecl::setPreviousDeclInSameBlockScope().
|
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 71 of file SemaTemplate.cpp.
Referenced by clang::Sema::FilterAcceptableTemplateNames().
|
static |
Determine whether this failed name lookup should be treated as being disabled by a usage of std::enable_if.
Definition at line 9467 of file SemaTemplate.cpp.
References clang::TemplateArgument::Expression, clang::TemplateSpecializationTypeLoc::getArgLoc(), clang::TemplateArgumentLoc::getArgument(), clang::TypeLoc::getAs(), clang::TemplateName::getAsTemplateDecl(), clang::NestedNameSpecifier::getAsType(), clang::TemplateArgument::getKind(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::TemplateSpecializationTypeLoc::getNumArgs(), clang::TemplateArgumentLoc::getSourceExpression(), clang::TemplateArgumentLoc::getSourceRange(), clang::TemplateSpecializationType::getTemplateName(), clang::NestedNameSpecifierLoc::getTypeLoc(), clang::ConcreteTypeLoc< Base, Derived, TypeClass, LocalData >::getTypePtr(), clang::Expr::IgnoreParenCasts(), clang::Type::isIncompleteType(), and clang::IdentifierInfo::isStr().
|
static |
Determine whether this alias template is "enable_if_t".
Definition at line 2868 of file SemaTemplate.cpp.
References clang::NamedDecl::getName().
|
static |
Determine whether the given template argument is a null pointer value of the appropriate type.
Definition at line 5398 of file SemaTemplate.cpp.
References clang::Sema::Context, clang::Sema::DefaultFunctionArrayConversion(), clang::Expr::EvalStatus::Diag, clang::Sema::Diag(), clang::Expr::EvaluateAsRValue(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::EvalStatus::HasSideEffects, clang::Sema::isCompleteType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), NPV_Error, and NPV_NotNullPointer.
Referenced by CheckTemplateArgumentAddressOfObjectOrFunction(), and CheckTemplateArgumentPointerToMember().
|
static |
Definition at line 3407 of file SemaTemplate.cpp.
References Depth, clang::TemplateParameterList::getDepth(), and clang::TemplateParameterList::size().
|
static |
Definition at line 3370 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.
|
static |
Definition at line 2895 of file SemaTemplate.cpp.
References clang::Preprocessor::getImmediateMacroName(), clang::Expr::IgnoreParenImpCasts(), and clang::SourceLocation::isMacroID().
Referenced by clang::Sema::findFailedBooleanCondition().
|
static |
Convert the parser's template argument list representation into our form.
Definition at line 3435 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::ActOnVarTemplateSpecialization().
|
static |
Match two template parameters within template parameter lists.
Definition at line 6740 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 |
Definition at line 777 of file SemaTemplate.cpp.
|
static |
Definition at line 3475 of file SemaTemplate.cpp.
Referenced by checkTemplatePartialSpecialization().
|
static |
Determine whether the given scope specifier has a template-id in it.
Definition at line 8460 of file SemaTemplate.cpp.
References clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifier::getPrefix(), clang::CXXScopeSpec::getScopeRep(), and clang::CXXScopeSpec::isSet().
|
static |
Definition at line 1149 of file SemaTemplate.cpp.
References clang::Decl::getASTContext(), clang::CXXScopeSpec::getWithLocInContext(), clang::CXXScopeSpec::isSet(), and clang::TagDecl::setQualifierInfo().
|
static |
Strips various properties off an implicit instantiation that has just been explicitly specialized.
Definition at line 7722 of file SemaTemplate.cpp.
References clang::Decl::dropAttr().
Referenced by clang::Sema::CheckSpecializationInstantiationRedecl().
|
static |
Substitute template arguments into the default template argument for the given template type parameter.
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. |
Definition at line 4275 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::SubstDefaultTemplateArgumentIfAvailable().
|
static |
Substitute template arguments into the default template argument for the given non-type template parameter.
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. |
Definition at line 4332 of file SemaTemplate.cpp.
References clang::MultiLevelTemplateArgumentList::addOuterTemplateArguments(), clang::Sema::ConstantEvaluated, clang::ExprError(), clang::NonTypeTemplateParmDecl::getDefaultArgument(), clang::TemplateParmPosition::getDepth(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::TemplateArgumentList::OnStack, and clang::Sema::SubstExpr().
|
static |
Substitute template arguments into the default template argument for the given template template parameter.
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. |
Definition at line 4383 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 |
Definition at line 733 of file SemaTemplate.cpp.
References clang::Sema::Context, clang::ParsedTemplateArgument::getAsType(), clang::ParsedTemplateArgument::getKind(), clang::ParsedTemplateArgument::getLocation(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::Sema::GetTypeFromParser(), clang::ParsedTemplateArgument::NonType, clang::T, and clang::ParsedTemplateArgument::Type.