SemaConcept.cpp File Reference

#include "clang/Sema/SemaConcept.h"
#include "TreeTransform.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/ExprConcepts.h"
#include "clang/Basic/OperatorPrecedence.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Overload.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/Sema.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "clang/Sema/TemplateDeduction.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/StringExtras.h"
#include <optional>

Go to the source code of this file.

Classes
struct	llvm::DenseMapInfo< llvm::FoldingSetNodeID >

Functions
static bool	DiagRecursiveConstraintEval (Sema &S, llvm::FoldingSetNodeID &ID, const NamedDecl *Templ, const Expr *E, const MultiLevelTemplateArgumentList &MLTAL)
static ExprResult	EvaluateAtomicConstraint (Sema &S, const Expr *AtomicExpr, const NamedDecl *Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList &MLTAL, ConstraintSatisfaction &Satisfaction)
static UnsignedOrNone	EvaluateFoldExpandedConstraintSize (Sema &S, const CXXFoldExpr *FE, const NamedDecl *Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList &MLTAL, ConstraintSatisfaction &Satisfaction)
static ExprResult	calculateConstraintSatisfaction (Sema &S, const Expr *ConstraintExpr, const NamedDecl *Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList &MLTAL, ConstraintSatisfaction &Satisfaction)
static ExprResult	calculateConstraintSatisfaction (Sema &S, const Expr *LHS, OverloadedOperatorKind Op, const Expr *RHS, const NamedDecl *Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList &MLTAL, ConstraintSatisfaction &Satisfaction)
static ExprResult	calculateConstraintSatisfaction (Sema &S, const CXXFoldExpr *FE, const NamedDecl *Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList &MLTAL, ConstraintSatisfaction &Satisfaction)
static ExprResult	calculateConstraintSatisfaction (Sema &S, const NamedDecl *Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList &MLTAL, const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction)
static bool	CheckConstraintSatisfaction (Sema &S, const NamedDecl *Template, ArrayRef< AssociatedConstraint > AssociatedConstraints, llvm::SmallVectorImpl< Expr * > &Converted, const MultiLevelTemplateArgumentList &TemplateArgsLists, SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction)
static unsigned	CalculateTemplateDepthForConstraints (Sema &S, const NamedDecl *ND, bool SkipForSpecialization=false)
static const Expr *	SubstituteConstraintExpressionWithoutSatisfaction (Sema &S, const Sema::TemplateCompareNewDeclInfo &DeclInfo, const Expr *ConstrExpr)
static bool	CheckFunctionConstraintsWithoutInstantiation (Sema &SemaRef, SourceLocation PointOfInstantiation, FunctionTemplateDecl *Template, ArrayRef< TemplateArgument > TemplateArgs, ConstraintSatisfaction &Satisfaction)
static void	diagnoseUnsatisfiedRequirement (Sema &S, concepts::ExprRequirement *Req, bool First)
static void	diagnoseUnsatisfiedRequirement (Sema &S, concepts::TypeRequirement *Req, bool First)
static void	diagnoseWellFormedUnsatisfiedConstraintExpr (Sema &S, Expr *SubstExpr, bool First=true)
static void	diagnoseUnsatisfiedRequirement (Sema &S, concepts::NestedRequirement *Req, bool First)
template<typename SubstitutionDiagnostic>
static void	diagnoseUnsatisfiedConstraintExpr (Sema &S, const llvm::PointerUnion< Expr *, SubstitutionDiagnostic * > &Record, bool First=true)
static bool	substituteParameterMappings (Sema &S, NormalizedConstraint &N, ConceptDecl *Concept, const MultiLevelTemplateArgumentList &MLTAL, const ASTTemplateArgumentListInfo *ArgsAsWritten)
static bool	substituteParameterMappings (Sema &S, NormalizedConstraint &N, const ConceptSpecializationExpr *CSE)

Function Documentation

calculateConstraintSatisfaction() [1/4]

ExprResult calculateConstraintSatisfaction ( Sema & S, const CXXFoldExpr * FE, const NamedDecl * Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList & MLTAL, ConstraintSatisfaction & Satisfaction )

static

Definition at line 395 of file SemaConcept.cpp.

References clang::ASTContext::BoolTy, clang::Sema::BuildEmptyCXXFoldExpr(), calculateConstraintSatisfaction(), clang::Sema::Context, clang::BinaryOperator::Create(), clang::ConstraintSatisfaction::Details, EvaluateFoldExpandedConstraintSize(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::CXXFoldExpr::getBeginLoc(), clang::CXXFoldExpr::getInit(), clang::CXXFoldExpr::getOperator(), clang::CXXFoldExpr::getPattern(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::CXXFoldExpr::isLeftFold(), clang::CXXFoldExpr::isRightFold(), clang::ConstraintSatisfaction::IsSatisfied, clang::ActionResult< PtrTy, Compress >::isUnset(), clang::OK_Ordinary, clang::Template, and clang::VK_PRValue.

calculateConstraintSatisfaction() [2/4]

ExprResult calculateConstraintSatisfaction ( Sema & S, const Expr * ConstraintExpr, const NamedDecl * Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList & MLTAL, ConstraintSatisfaction & Satisfaction )

static

Definition at line 466 of file SemaConcept.cpp.

References clang::C, calculateConstraintSatisfaction(), clang::Sema::ConstantEvaluated, clang::ConstraintSatisfaction::ContainsErrors, clang::Expr::containsErrors(), clang::Sema::Context, clang::CPlusPlus26, clang::ConstraintSatisfaction::Details, clang::Expr::EvalStatus::Diag, clang::SemaBase::Diag(), clang::PartialDiagnostic::EmitToString(), clang::Expr::EvaluateAsConstantExpr(), EvaluateAtomicConstraint(), clang::ExprEmpty(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::Sema::getDiagnostics(), clang::APValue::getInt(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreParenImpCasts(), clang::APValue::isInt(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::ConstraintSatisfaction::IsSatisfied, clang::ActionResult< PtrTy, Compress >::isUsable(), memcpy(), clang::SemaBase::PDiag(), clang::Template, and clang::Expr::EvalResult::Val.

Referenced by calculateConstraintSatisfaction(), calculateConstraintSatisfaction(), calculateConstraintSatisfaction(), calculateConstraintSatisfaction(), CheckConstraintSatisfaction(), and clang::Sema::CheckConstraintSatisfaction().

calculateConstraintSatisfaction() [3/4]

ExprResult calculateConstraintSatisfaction ( Sema & S, const Expr * LHS, OverloadedOperatorKind Op, const Expr * RHS, const NamedDecl * Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList & MLTAL, ConstraintSatisfaction & Satisfaction )

static

Definition at line 331 of file SemaConcept.cpp.

References clang::ASTContext::BoolTy, calculateConstraintSatisfaction(), clang::Sema::Context, clang::BinaryOperator::Create(), clang::ConstraintSatisfaction::Details, clang::ExprEmpty(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::BinaryOperator::getOverloadedOpcode(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::ConstraintSatisfaction::IsSatisfied, clang::ActionResult< PtrTy, Compress >::isUsable(), clang::OK_Ordinary, clang::Template, and clang::VK_PRValue.

calculateConstraintSatisfaction() [4/4]

ExprResult calculateConstraintSatisfaction ( Sema & S, const NamedDecl * Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList & MLTAL, const Expr * ConstraintExpr, ConstraintSatisfaction & Satisfaction )

static

Definition at line 555 of file SemaConcept.cpp.

References calculateConstraintSatisfaction(), and clang::Template.

CalculateTemplateDepthForConstraints()

unsigned CalculateTemplateDepthForConstraints ( Sema & S, const NamedDecl * ND, bool SkipForSpecialization = false )

static

Definition at line 862 of file SemaConcept.cpp.

References clang::Decl::getLexicalDeclContext(), clang::MultiLevelTemplateArgumentList::getNumLevels(), and clang::Sema::getTemplateInstantiationArgs().

Referenced by clang::Sema::FriendConstraintsDependOnEnclosingTemplate(), and clang::Sema::IsAtLeastAsConstrained().

CheckConstraintSatisfaction()

bool CheckConstraintSatisfaction ( Sema & S, const NamedDecl * Template, ArrayRef< AssociatedConstraint > AssociatedConstraints, llvm::SmallVectorImpl< Expr * > & Converted, const MultiLevelTemplateArgumentList & TemplateArgsLists, SourceRange TemplateIDRange, ConstraintSatisfaction & Satisfaction )

static

Definition at line 564 of file SemaConcept.cpp.

References clang::Sema::ArgPackSubstIndex, calculateConstraintSatisfaction(), clang::ActionResult< PtrTy, Compress >::get(), clang::SourceRange::getBegin(), clang::MultiLevelTemplateArgumentList::getNumSubstitutedLevels(), clang::MultiLevelTemplateArgumentList::getOutermost(), clang::MultiLevelTemplateArgumentList::isAnyArgInstantiationDependent(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::ConstraintSatisfaction::IsSatisfied, and clang::Template.

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

CheckFunctionConstraintsWithoutInstantiation()

bool CheckFunctionConstraintsWithoutInstantiation ( Sema & SemaRef, SourceLocation PointOfInstantiation, FunctionTemplateDecl * Template, ArrayRef< TemplateArgument > TemplateArgs, ConstraintSatisfaction & Satisfaction )

static

Definition at line 1072 of file SemaConcept.cpp.

References clang::Sema::CheckConstraintSatisfaction(), clang::Sema::getTemplateInstantiationArgs(), clang::ConstraintSatisfaction::IsSatisfied, and clang::Template.

diagnoseUnsatisfiedConstraintExpr()

template<typename SubstitutionDiagnostic>

void diagnoseUnsatisfiedConstraintExpr ( Sema & S, const llvm::PointerUnion< Expr *, SubstitutionDiagnostic * > & Record, bool First = true )

static

Definition at line 1383 of file SemaConcept.cpp.

References clang::cast(), clang::SemaBase::Diag(), Diag(), diagnoseWellFormedUnsatisfiedConstraintExpr(), and clang::First.

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

diagnoseUnsatisfiedRequirement() [1/3]

void diagnoseUnsatisfiedRequirement ( Sema & S, concepts::ExprRequirement * Req, bool First )

static

Definition at line 1161 of file SemaConcept.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::DiagnoseUnsatisfiedConstraint(), clang::First, clang::ConceptSpecializationExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::concepts::ExprRequirement::getExpr(), clang::concepts::ExprRequirement::getExprSubstitutionDiagnostic(), clang::ConceptSpecializationExpr::getNamedConcept(), clang::concepts::ExprRequirement::getNoexceptLoc(), clang::ASTContext::getReferenceQualifiedType(), clang::concepts::ExprRequirement::getReturnTypeRequirement(), clang::concepts::ExprRequirement::getReturnTypeRequirementSubstitutedConstraintExpr(), clang::ConceptSpecializationExpr::getSatisfaction(), clang::concepts::ExprRequirement::getSatisfactionStatus(), clang::concepts::ExprRequirement::ReturnTypeRequirement::getSubstitutionDiagnostic(), clang::ConceptSpecializationExpr::getTemplateArgsAsWritten(), int, clang::concepts::Requirement::isSatisfied(), clang::ASTTemplateArgumentListInfo::NumTemplateArgs, clang::concepts::ExprRequirement::SS_ConstraintsNotSatisfied, clang::concepts::ExprRequirement::SS_Dependent, clang::concepts::ExprRequirement::SS_ExprSubstitutionFailure, clang::concepts::ExprRequirement::SS_NoexceptNotMet, clang::concepts::ExprRequirement::SS_Satisfied, and clang::concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure.

Referenced by diagnoseWellFormedUnsatisfiedConstraintExpr().

diagnoseUnsatisfiedRequirement() [2/3]

void diagnoseUnsatisfiedRequirement ( Sema & S, concepts::NestedRequirement * Req, bool First )

static

Definition at line 1256 of file SemaConcept.cpp.

References clang::SemaBase::Diag(), diagnoseWellFormedUnsatisfiedConstraintExpr(), clang::First, clang::concepts::NestedRequirement::getConstraintSatisfaction(), clang::concepts::NestedRequirement::getInvalidConstraintEntity(), and int.

diagnoseUnsatisfiedRequirement() [3/3]

void diagnoseUnsatisfiedRequirement ( Sema & S, concepts::TypeRequirement * Req, bool First )

static

Definition at line 1226 of file SemaConcept.cpp.

References clang::SemaBase::Diag(), clang::First, clang::concepts::TypeRequirement::getSatisfactionStatus(), clang::concepts::TypeRequirement::getSubstitutionDiagnostic(), int, clang::concepts::Requirement::isSatisfied(), clang::concepts::TypeRequirement::SS_Dependent, and clang::concepts::TypeRequirement::SS_SubstitutionFailure.

diagnoseWellFormedUnsatisfiedConstraintExpr()

void diagnoseWellFormedUnsatisfiedConstraintExpr ( Sema & S, Expr * SubstExpr, bool First = true )

static

Definition at line 1272 of file SemaConcept.cpp.

References clang::cast(), clang::Sema::Context, clang::Expr::EvalStatus::Diag, clang::SemaBase::Diag(), clang::Sema::DiagnoseTypeTraitDetails(), clang::Sema::DiagnoseUnsatisfiedConstraint(), diagnoseUnsatisfiedRequirement(), diagnoseWellFormedUnsatisfiedConstraintExpr(), clang::First, clang::SourceRange::getBegin(), clang::Stmt::getBeginLoc(), clang::APValue::getInt(), clang::BinaryOperator::getOpcodeStr(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreParenImpCasts(), int, clang::Expr::SE_NoSideEffects, clang::T, toString(), and clang::Expr::EvalResult::Val.

Referenced by diagnoseUnsatisfiedConstraintExpr(), diagnoseUnsatisfiedRequirement(), and diagnoseWellFormedUnsatisfiedConstraintExpr().

DiagRecursiveConstraintEval()

bool DiagRecursiveConstraintEval ( Sema & S, llvm::FoldingSetNodeID & ID, const NamedDecl * Templ, const Expr * E, const MultiLevelTemplateArgumentList & MLTAL )

static

Definition at line 180 of file SemaConcept.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), clang::Stmt::Profile(), clang::Sema::SatisfactionStackContains(), and clang::TemplateArg.

Referenced by EvaluateAtomicConstraint().

EvaluateAtomicConstraint()

ExprResult EvaluateAtomicConstraint ( Sema & S, const Expr * AtomicExpr, const NamedDecl * Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList & MLTAL, ConstraintSatisfaction & Satisfaction )

static

Definition at line 203 of file SemaConcept.cpp.

References clang::Sema::CheckConstraintExpression(), clang::Sema::ConstantEvaluated, clang::ConstraintSatisfaction::ContainsErrors, clang::Sema::Context, clang::ImplicitCastExpr::Create(), clang::ConstraintSatisfaction::Details, DiagRecursiveConstraintEval(), clang::ExprEmpty(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::AtomicExpr::getBeginLoc(), clang::Sema::getDiagnostics(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::Expr::isPRValue(), clang::ConstraintSatisfaction::IsSatisfied, memcpy(), clang::Sema::ReuseLambdaContextDecl, clang::Sema::SubstConstraintExpr(), clang::sema::TemplateDeductionInfo::takeSFINAEDiagnostic(), clang::Template, and clang::VK_PRValue.

Referenced by calculateConstraintSatisfaction().

EvaluateFoldExpandedConstraintSize()

UnsignedOrNone EvaluateFoldExpandedConstraintSize ( Sema & S, const CXXFoldExpr * FE, const NamedDecl * Template, SourceLocation TemplateNameLoc, const MultiLevelTemplateArgumentList & MLTAL, ConstraintSatisfaction & Satisfaction )

static

Definition at line 292 of file SemaConcept.cpp.

References clang::Sema::CheckParameterPacksForExpansion(), clang::Sema::collectUnexpandedParameterPacks(), clang::SemaBase::Diag(), clang::CXXFoldExpr::getEllipsisLoc(), clang::Sema::getLangOpts(), clang::CXXFoldExpr::getNumExpansions(), clang::CXXFoldExpr::getPattern(), clang::Stmt::getSourceRange(), and clang::Template.

Referenced by calculateConstraintSatisfaction().

SubstituteConstraintExpressionWithoutSatisfaction()

const Expr * SubstituteConstraintExpressionWithoutSatisfaction ( Sema & S, const Sema::TemplateCompareNewDeclInfo & DeclInfo, const Expr * ConstrExpr )

static

Definition at line 901 of file SemaConcept.cpp.

References clang::cast(), clang::ActionResult< PtrTy, Compress >::get(), clang::Decl::getAsFunction(), clang::Sema::TemplateCompareNewDeclInfo::getDecl(), clang::Sema::TemplateCompareNewDeclInfo::getDeclContext(), clang::FunctionDecl::getDescribedFunctionTemplate(), clang::Decl::getFriendObjectKind(), clang::Sema::TemplateCompareNewDeclInfo::getLexicalDeclContext(), clang::Sema::TemplateCompareNewDeclInfo::getLocation(), clang::MultiLevelTemplateArgumentList::getNumSubstitutedLevels(), clang::Sema::getTemplateInstantiationArgs(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::Decl::isFunctionOrFunctionTemplate(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::ActionResult< PtrTy, Compress >::isUsable(), clang::FunctionDecl::parameters(), clang::Sema::ReuseLambdaContextDecl, clang::Sema::SubstConstraintExprWithoutSatisfaction(), clang::Template, and clang::Sema::Unevaluated.

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

substituteParameterMappings() [1/2]

bool substituteParameterMappings ( Sema & S, NormalizedConstraint & N, ConceptDecl * Concept, const MultiLevelTemplateArgumentList & MLTAL, const ASTTemplateArgumentListInfo * ArgsAsWritten )

static

Definition at line 1449 of file SemaConcept.cpp.

References clang::ASTTemplateArgumentListInfo::arguments(), clang::TemplateArgumentListInfo::arguments(), clang::Atomic, clang::TemplateParameterList::begin(), clang::C, clang::Concept, clang::FoldExpandedConstraint::Constraint, clang::Sema::Context, clang::NormalizedConstraint::getAtomicConstraint(), clang::NormalizedConstraint::getFoldExpandedConstraint(), clang::Sema::getIdentityTemplateArgumentLoc(), clang::ASTTemplateArgumentListInfo::getLAngleLoc(), clang::NormalizedConstraint::getLHS(), clang::ASTTemplateArgumentListInfo::getRAngleLoc(), clang::NormalizedConstraint::getRHS(), clang::NormalizedConstraint::isCompound(), clang::NormalizedConstraint::isFoldExpanded(), clang::Sema::MarkUsedTemplateParameters(), clang::ASTTemplateArgumentListInfo::NumTemplateArgs, clang::TemplateArgumentListInfo::size(), clang::TemplateParameterList::size(), substituteParameterMappings(), and clang::Sema::SubstTemplateArguments().

Referenced by substituteParameterMappings(), and substituteParameterMappings().

substituteParameterMappings() [2/2]

bool substituteParameterMappings ( Sema & S, NormalizedConstraint & N, const ConceptSpecializationExpr * CSE )

static

Definition at line 1523 of file SemaConcept.cpp.

References clang::Decl::getLexicalDeclContext(), clang::ConceptSpecializationExpr::getNamedConcept(), clang::ConceptSpecializationExpr::getTemplateArgsAsWritten(), clang::ConceptSpecializationExpr::getTemplateArguments(), clang::Sema::getTemplateInstantiationArgs(), and substituteParameterMappings().