Home
last modified time | relevance | path

Searched refs:ConstraintExpr (Results 1 – 11 of 11) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Sema/
H A DSemaConcept.h30 const Expr *ConstraintExpr; member
33 AtomicConstraint(Sema &S, const Expr *ConstraintExpr) : in AtomicConstraint()
34 ConstraintExpr(ConstraintExpr) { }; in AtomicConstraint()
70 if (ConstraintExpr != Other.ConstraintExpr) in subsumes()
H A DSema.h3013 ExprResult ActOnFinishTrailingRequiresClause(ExprResult ConstraintExpr);
3014 ExprResult ActOnRequiresClause(ExprResult ConstraintExpr);
7165 bool CheckConstraintSatisfaction(const Expr *ConstraintExpr,
8269 IdentifierInfo *Name, SourceLocation NameLoc, Expr *ConstraintExpr);
/llvm-project-15.0.7/clang/lib/Sema/
H A DSemaConcept.cpp129 ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts(); in calculateConstraintSatisfaction()
131 if (LogicalBinOp BO = ConstraintExpr) { in calculateConstraintSatisfaction()
164 ExprResult SubstitutedAtomicExpr = Evaluator(ConstraintExpr); in calculateConstraintSatisfaction()
195 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
297 for (const Expr *ConstraintExpr : ConstraintExprs) { in CheckConstraintSatisfaction() local
350 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
495 ConceptSpecializationExpr *ConstraintExpr = in diagnoseUnsatisfiedRequirement() local
504 << ConstraintExpr->getNamedConcept(); in diagnoseUnsatisfiedRequirement()
506 S.Diag(ConstraintExpr->getBeginLoc(), in diagnoseUnsatisfiedRequirement()
508 << (int)First << ConstraintExpr; in diagnoseUnsatisfiedRequirement()
[all …]
H A DSemaDeclCXX.cpp4007 ExprResult Sema::ActOnFinishTrailingRequiresClause(ExprResult ConstraintExpr) { in ActOnFinishTrailingRequiresClause() argument
4008 return ActOnRequiresClause(ConstraintExpr); in ActOnFinishTrailingRequiresClause()
4011 ExprResult Sema::ActOnRequiresClause(ExprResult ConstraintExpr) { in ActOnRequiresClause() argument
4012 if (ConstraintExpr.isInvalid()) in ActOnRequiresClause()
4015 ConstraintExpr = CorrectDelayedTyposInExpr(ConstraintExpr); in ActOnRequiresClause()
4016 if (ConstraintExpr.isInvalid()) in ActOnRequiresClause()
4019 if (DiagnoseUnexpandedParameterPack(ConstraintExpr.get(), in ActOnRequiresClause()
4023 return ConstraintExpr; in ActOnRequiresClause()
H A DSemaTemplate.cpp8675 Expr *ConstraintExpr) { in ActOnConceptDefinition() argument
8694 if (DiagnoseUnexpandedParameterPack(ConstraintExpr)) in ActOnConceptDefinition()
8699 ConstraintExpr); in ActOnConceptDefinition()
/llvm-project-15.0.7/clang/include/clang/AST/
H A DDeclTemplate.h3264 Expr *ConstraintExpr;
3267 TemplateParameterList *Params, Expr *ConstraintExpr)
3269 ConstraintExpr(ConstraintExpr) {};
3274 Expr *ConstraintExpr);
3278 return ConstraintExpr;
3283 ConstraintExpr->getEndLoc());
/llvm-project-15.0.7/clang/lib/Parse/
H A DParseTemplate.cpp446 Expr *ConstraintExpr = ConstraintExprResult.get(); in ParseConceptDefinition() local
449 Id, IdLoc, ConstraintExpr); in ParseConceptDefinition()
H A DParseExprCXX.cpp3577 ExprResult ConstraintExpr = in ParseRequiresExpression() local
3579 if (ConstraintExpr.isInvalid() || !ConstraintExpr.isUsable()) { in ParseRequiresExpression()
3585 Actions.ActOnNestedRequirement(ConstraintExpr.get())) in ParseRequiresExpression()
/llvm-project-15.0.7/clang/lib/AST/
H A DDeclTemplate.cpp1017 Expr *ConstraintExpr) { in Create() argument
1019 auto *TD = new (C, DC) ConceptDecl(DC, L, Name, Params, ConstraintExpr); in Create()
/llvm-project-15.0.7/clang/lib/Serialization/
H A DASTReaderStmt.cpp778 Expr *ConstraintExpr = Record.readExpr(); in readConstraintSatisfaction() local
783 ConstraintExpr, new (Record.getContext()) in readConstraintSatisfaction()
787 Satisfaction.Details.emplace_back(ConstraintExpr, Record.readExpr()); in readConstraintSatisfaction()
H A DASTReaderDecl.cpp2191 D->ConstraintExpr = Record.readExpr(); in VisitConceptDecl()