Lines Matching refs:ConstraintExpr

171 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,  in calculateConstraintSatisfaction()  argument
174 ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts(); in calculateConstraintSatisfaction()
176 if (LogicalBinOp BO = ConstraintExpr) { in calculateConstraintSatisfaction()
213 if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) { in calculateConstraintSatisfaction()
222 ExprResult SubstitutedAtomicExpr = Evaluator(ConstraintExpr); in calculateConstraintSatisfaction()
248 ConstraintExpr, in calculateConstraintSatisfaction()
277 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
309 const MultiLevelTemplateArgumentList &MLTAL, const Expr *ConstraintExpr, in calculateConstraintSatisfaction() argument
312 S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) { in calculateConstraintSatisfaction()
425 for (const Expr *ConstraintExpr : ConstraintExprs) { in CheckConstraintSatisfaction() local
428 ConstraintExpr, Satisfaction); in CheckConstraintSatisfaction()
510 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction() argument
513 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
875 ConceptSpecializationExpr *ConstraintExpr = in diagnoseUnsatisfiedRequirement() local
877 if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) { in diagnoseUnsatisfiedRequirement()
884 << ConstraintExpr->getNamedConcept(); in diagnoseUnsatisfiedRequirement()
886 S.Diag(ConstraintExpr->getBeginLoc(), in diagnoseUnsatisfiedRequirement()
888 << (int)First << ConstraintExpr; in diagnoseUnsatisfiedRequirement()
890 S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction()); in diagnoseUnsatisfiedRequirement()
1120 S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false, in substituteParameterMappings()
1443 const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr; in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()