Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/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.h3140 ExprResult ActOnFinishTrailingRequiresClause(ExprResult ConstraintExpr);
3141 ExprResult ActOnRequiresClause(ExprResult ConstraintExpr);
7594 bool CheckConstraintSatisfaction(const Expr *ConstraintExpr,
8792 IdentifierInfo *Name, SourceLocation NameLoc, Expr *ConstraintExpr);
/freebsd-14.2/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp185 ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts(); in calculateConstraintSatisfaction()
187 if (LogicalBinOp BO = ConstraintExpr) { in calculateConstraintSatisfaction()
276 ConstraintExpr, in calculateConstraintSatisfaction()
305 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
456 ConstraintExpr, Satisfaction); in CheckConstraintSatisfaction()
541 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
972 ConceptSpecializationExpr *ConstraintExpr = in diagnoseUnsatisfiedRequirement() local
981 << ConstraintExpr->getNamedConcept(); in diagnoseUnsatisfiedRequirement()
983 S.Diag(ConstraintExpr->getBeginLoc(), in diagnoseUnsatisfiedRequirement()
985 << (int)First << ConstraintExpr; in diagnoseUnsatisfiedRequirement()
[all …]
H A DSemaDeclCXX.cpp4191 ExprResult Sema::ActOnFinishTrailingRequiresClause(ExprResult ConstraintExpr) { in ActOnFinishTrailingRequiresClause() argument
4192 return ActOnRequiresClause(ConstraintExpr); in ActOnFinishTrailingRequiresClause()
4195 ExprResult Sema::ActOnRequiresClause(ExprResult ConstraintExpr) { in ActOnRequiresClause() argument
4196 if (ConstraintExpr.isInvalid()) in ActOnRequiresClause()
4199 ConstraintExpr = CorrectDelayedTyposInExpr(ConstraintExpr); in ActOnRequiresClause()
4200 if (ConstraintExpr.isInvalid()) in ActOnRequiresClause()
4203 if (DiagnoseUnexpandedParameterPack(ConstraintExpr.get(), in ActOnRequiresClause()
4207 return ConstraintExpr; in ActOnRequiresClause()
H A DSemaTemplate.cpp9213 Expr *ConstraintExpr) { in ActOnConceptDefinition() argument
9249 if (DiagnoseUnexpandedParameterPack(ConstraintExpr)) in ActOnConceptDefinition()
9253 ConceptDecl::Create(Context, DC, NameLoc, Name, Params, ConstraintExpr); in ActOnConceptDefinition()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/AST/
H A DDeclTemplate.h3177 Expr *ConstraintExpr;
3180 TemplateParameterList *Params, Expr *ConstraintExpr)
3182 ConstraintExpr(ConstraintExpr) {};
3187 Expr *ConstraintExpr);
3191 return ConstraintExpr;
3196 ConstraintExpr->getEndLoc());
/freebsd-14.2/contrib/llvm-project/clang/lib/Parse/
H A DParseTemplate.cpp459 Expr *ConstraintExpr = ConstraintExprResult.get(); in ParseConceptDefinition() local
462 Id, IdLoc, ConstraintExpr); in ParseConceptDefinition()
H A DParseExprCXX.cpp3660 ExprResult ConstraintExpr = in ParseRequiresExpression() local
3662 if (ConstraintExpr.isInvalid() || !ConstraintExpr.isUsable()) { in ParseRequiresExpression()
3668 Actions.ActOnNestedRequirement(ConstraintExpr.get())) in ParseRequiresExpression()
/freebsd-14.2/contrib/llvm-project/clang/lib/AST/
H A DDeclTemplate.cpp1033 Expr *ConstraintExpr) { in Create() argument
1035 auto *TD = new (C, DC) ConceptDecl(DC, L, Name, Params, ConstraintExpr); in Create()
/freebsd-14.2/contrib/llvm-project/clang/lib/Serialization/
H A DASTReaderStmt.cpp796 Expr *ConstraintExpr = Record.readExpr(); in readConstraintSatisfaction() local
801 ConstraintExpr, new (Record.getContext()) in readConstraintSatisfaction()
805 Satisfaction.Details.emplace_back(ConstraintExpr, Record.readExpr()); in readConstraintSatisfaction()
H A DASTReaderDecl.cpp2401 D->ConstraintExpr = Record.readExpr(); in VisitConceptDecl()