clang 19.0.0git
Typedefs | Functions
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/AST/RecursiveASTVisitor.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/SemaDiagnostic.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.

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 const ExprSubstituteConstraintExpressionWithoutSatisfaction (Sema &S, const Sema::TemplateCompareNewDeclInfo &DeclInfo, const Expr *ConstrExpr)
 
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 (const NormalForm &PDNF, const 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

Definition at line 1376 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

◆ calculateConstraintSatisfaction() [2/2]

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

◆ CalculateTemplateDepthForConstraints()

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

◆ 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

◆ diagnoseUnsatisfiedConstraintExpr()

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

◆ diagnoseUnsatisfiedRequirement() [1/3]

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

◆ diagnoseUnsatisfiedRequirement() [2/3]

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

◆ diagnoseUnsatisfiedRequirement() [3/3]

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

◆ diagnoseWellFormedUnsatisfiedConstraintExpr()

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

◆ DiagRecursiveConstraintEval()

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

◆ makeCNF()

static NormalForm makeCNF ( const NormalizedConstraint Normalized)
static

◆ makeDNF()

static NormalForm makeDNF ( const NormalizedConstraint Normalized)
static

◆ SubstituteConstraintExpressionWithoutSatisfaction()

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

◆ substituteParameterMappings() [1/2]

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

◆ substituteParameterMappings() [2/2]

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

◆ subsumes() [1/2]

template<typename AtomicSubsumptionEvaluator >
static bool subsumes ( const NormalForm PDNF,
const NormalForm QCNF,
AtomicSubsumptionEvaluator  E 
)
static

◆ 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