SemaConcept.cpp File Reference

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

Include dependency graph for SemaConcept.cpp:

Go to the source code of this file.

Typedefs
using	NormalForm = llvm::SmallVector< llvm::SmallVector< AtomicConstraint *, 2 >, 4 >

Functions
template<typename AtomicEvaluator >
static ExprResult	calculateConstraintSatisfaction (Sema &S, const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction, AtomicEvaluator &&Evaluator)
static bool	DiagRecursiveConstraintEval (Sema &S, llvm::FoldingSetNodeID &ID, const NamedDecl *Templ, const Expr *E, const MultiLevelTemplateArgumentList &MLTAL)
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< const Expr * > ConstraintExprs, llvm::SmallVectorImpl< Expr * > &Converted, const MultiLevelTemplateArgumentList &TemplateArgsLists, SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction)
static unsigned	CalculateTemplateDepthForConstraints (Sema &S, const NamedDecl *ND, bool SkipForSpecialization=false)
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 Expr *E, 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)
static NormalForm	makeCNF (const NormalizedConstraint &Normalized)
static NormalForm	makeDNF (const NormalizedConstraint &Normalized)
template<typename AtomicSubsumptionEvaluator >
static bool	subsumes (NormalForm PDNF, NormalForm QCNF, AtomicSubsumptionEvaluator E)
template<typename AtomicSubsumptionEvaluator >
static bool	subsumes (Sema &S, NamedDecl *DP, ArrayRef< const Expr * > P, NamedDecl *DQ, ArrayRef< const Expr * > Q, bool &Subsumes, AtomicSubsumptionEvaluator E)

Typedef Documentation

NormalForm

using NormalForm = llvm::SmallVector<llvm::SmallVector<AtomicConstraint *, 2>, 4>

Definition at line 1307 of file SemaConcept.cpp.

Function Documentation

calculateConstraintSatisfaction() [1/2]

template<typename AtomicEvaluator >

static ExprResult calculateConstraintSatisfaction ( Sema &  S, const Expr *  ConstraintExpr, ConstraintSatisfaction &  Satisfaction, AtomicEvaluator &&  Evaluator  )

static

Definition at line 179 of file SemaConcept.cpp.

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

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

calculateConstraintSatisfaction() [2/2]

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

static

Definition at line 315 of file SemaConcept.cpp.

References calculateConstraintSatisfaction(), 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, CompressInvalid >::get(), clang::AtomicExpr::getBeginLoc(), clang::Sema::getDiagnostics(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Sema::SFINAETrap::hasErrorOccurred(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::InstantiatingTemplate::isInvalid(), clang::Expr::isPRValue(), clang::ConstraintSatisfaction::IsSatisfied, memcpy(), clang::Sema::ReuseLambdaContextDecl, clang::Sema::SubstConstraintExpr(), clang::sema::TemplateDeductionInfo::takeSFINAEDiagnostic(), and clang::VK_PRValue.

CalculateTemplateDepthForConstraints()

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

static

Definition at line 734 of file SemaConcept.cpp.

References clang::MultiLevelTemplateArgumentList::getNumSubstitutedLevels(), and clang::Sema::getTemplateInstantiationArgs().

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

CheckConstraintSatisfaction()

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

static

Definition at line 407 of file SemaConcept.cpp.

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

diagnoseUnsatisfiedConstraintExpr()

template<typename SubstitutionDiagnostic >

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

static

Definition at line 1106 of file SemaConcept.cpp.

References Diag(), clang::Sema::Diag(), diagnoseWellFormedUnsatisfiedConstraintExpr(), and clang::First.

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

diagnoseUnsatisfiedRequirement() [1/3]

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

static

Definition at line 893 of file SemaConcept.cpp.

References clang::Sema::Context, clang::Sema::Diag(), clang::Sema::DiagnoseUnsatisfiedConstraint(), clang::First, clang::ConceptSpecializationExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::concepts::ExprRequirement::getExpr(), clang::concepts::ExprRequirement::getExprSubstitutionDiagnostic(), clang::ConceptReference::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::ConceptReference::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]

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

static

Definition at line 988 of file SemaConcept.cpp.

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

diagnoseUnsatisfiedRequirement() [3/3]

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

static

Definition at line 958 of file SemaConcept.cpp.

References clang::Sema::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()

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

static

Definition at line 1003 of file SemaConcept.cpp.

References clang::Sema::Context, clang::Expr::EvalStatus::Diag, clang::Sema::Diag(), 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, toString(), and clang::Expr::EvalResult::Val.

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

DiagRecursiveConstraintEval()

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

static

Definition at line 292 of file SemaConcept.cpp.

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

Referenced by calculateConstraintSatisfaction().

makeCNF()

static NormalForm makeCNF ( const NormalizedConstraint &  Normalized )

static

Definition at line 1310 of file SemaConcept.cpp.

References clang::NormalizedConstraint::CCK_Conjunction, clang::NormalizedConstraint::getAtomicConstraint(), clang::NormalizedConstraint::getCompoundKind(), clang::NormalizedConstraint::getLHS(), clang::NormalizedConstraint::getRHS(), clang::NormalizedConstraint::isAtomic(), and makeCNF().

Referenced by makeCNF(), clang::Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(), and subsumes().

makeDNF()

static NormalForm makeDNF ( const NormalizedConstraint &  Normalized )

static

Definition at line 1339 of file SemaConcept.cpp.

References clang::NormalizedConstraint::CCK_Disjunction, clang::NormalizedConstraint::getAtomicConstraint(), clang::NormalizedConstraint::getCompoundKind(), clang::NormalizedConstraint::getLHS(), clang::NormalizedConstraint::getRHS(), clang::NormalizedConstraint::isAtomic(), and makeDNF().

Referenced by makeDNF(), clang::Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(), and subsumes().

substituteParameterMappings() [1/2]

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

static

Definition at line 1163 of file SemaConcept.cpp.

References clang::TemplateArgumentListInfo::arguments(), clang::ASTTemplateArgumentListInfo::arguments(), clang::TemplateParameterList::begin(), clang::C, clang::AtomicConstraint::ConstraintExpr, clang::Sema::Context, clang::NormalizedConstraint::getAtomicConstraint(), clang::Sema::getIdentityTemplateArgumentLoc(), clang::NormalizedConstraint::getLHS(), clang::NormalizedConstraint::getRHS(), clang::NormalizedConstraint::isAtomic(), clang::Sema::MarkUsedTemplateParameters(), clang::ASTTemplateArgumentListInfo::NumTemplateArgs, clang::AtomicConstraint::ParameterMapping, clang::TemplateParameterList::size(), clang::TemplateArgumentListInfo::size(), substituteParameterMappings(), and clang::Sema::SubstTemplateArguments().

Referenced by substituteParameterMappings().

substituteParameterMappings() [2/2]

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

static

Definition at line 1217 of file SemaConcept.cpp.

References clang::ConceptReference::getNamedConcept(), clang::ConceptReference::getTemplateArgsAsWritten(), clang::ConceptSpecializationExpr::getTemplateArguments(), clang::Sema::getTemplateInstantiationArgs(), clang::TemplateArgumentList::OnStack, and substituteParameterMappings().

subsumes() [1/2]

template<typename AtomicSubsumptionEvaluator >

static bool subsumes ( NormalForm  PDNF, NormalForm  QCNF, AtomicSubsumptionEvaluator  E  )

static

Definition at line 1370 of file SemaConcept.cpp.

Referenced by clang::Sema::IsAtLeastAsConstrained(), clang::Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(), and subsumes().

subsumes() [2/2]

template<typename AtomicSubsumptionEvaluator >

static bool subsumes ( Sema &  S, NamedDecl *  DP, ArrayRef< const Expr * >  P, NamedDecl *  DQ, ArrayRef< const Expr * >  Q, bool &  Subsumes, AtomicSubsumptionEvaluator  E  )

static

Definition at line 1402 of file SemaConcept.cpp.

References clang::Sema::getNormalizedAssociatedConstraints(), makeCNF(), makeDNF(), P, and subsumes().