Lines Matching refs:ConstraintExpr
126 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr, in calculateConstraintSatisfaction() argument
129 ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts(); in calculateConstraintSatisfaction()
131 if (LogicalBinOp BO = ConstraintExpr) { in calculateConstraintSatisfaction()
158 } else if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) { in calculateConstraintSatisfaction()
164 ExprResult SubstitutedAtomicExpr = Evaluator(ConstraintExpr); in calculateConstraintSatisfaction()
195 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
204 const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction) { in calculateConstraintSatisfaction() argument
206 S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) { in calculateConstraintSatisfaction()
297 for (const Expr *ConstraintExpr : ConstraintExprs) { in CheckConstraintSatisfaction() local
300 ConstraintExpr, Satisfaction)) in CheckConstraintSatisfaction()
347 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction() argument
350 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
495 ConceptSpecializationExpr *ConstraintExpr = in diagnoseUnsatisfiedRequirement() local
497 if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) { in diagnoseUnsatisfiedRequirement()
504 << ConstraintExpr->getNamedConcept(); in diagnoseUnsatisfiedRequirement()
506 S.Diag(ConstraintExpr->getBeginLoc(), in diagnoseUnsatisfiedRequirement()
508 << (int)First << ConstraintExpr; in diagnoseUnsatisfiedRequirement()
510 S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction()); in diagnoseUnsatisfiedRequirement()
742 S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false, in substituteParameterMappings()
1016 const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr; in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()