Lines Matching refs:ConstraintExpr

123 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,  in calculateConstraintSatisfaction()  argument
126 ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts(); in calculateConstraintSatisfaction()
128 if (LogicalBinOp BO = ConstraintExpr) { in calculateConstraintSatisfaction()
155 } else if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) { in calculateConstraintSatisfaction()
161 ExprResult SubstitutedAtomicExpr = Evaluator(ConstraintExpr); in calculateConstraintSatisfaction()
192 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
201 const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction) { in calculateConstraintSatisfaction() argument
203 S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) { in calculateConstraintSatisfaction()
294 for (const Expr *ConstraintExpr : ConstraintExprs) { in CheckConstraintSatisfaction() local
297 ConstraintExpr, Satisfaction)) in CheckConstraintSatisfaction()
350 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction() argument
353 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
451 ConceptSpecializationExpr *ConstraintExpr = in diagnoseUnsatisfiedRequirement() local
453 if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) { in diagnoseUnsatisfiedRequirement()
460 << ConstraintExpr->getNamedConcept(); in diagnoseUnsatisfiedRequirement()
462 S.Diag(ConstraintExpr->getBeginLoc(), in diagnoseUnsatisfiedRequirement()
464 << (int)First << ConstraintExpr; in diagnoseUnsatisfiedRequirement()
466 S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction()); in diagnoseUnsatisfiedRequirement()
698 S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false, in substituteParameterMappings()
979 const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr; in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()