Lines Matching refs:ConstraintExpr

182 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,  in calculateConstraintSatisfaction()  argument
185 ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts(); in calculateConstraintSatisfaction()
187 if (LogicalBinOp BO = ConstraintExpr) { in calculateConstraintSatisfaction()
241 if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) { in calculateConstraintSatisfaction()
250 ExprResult SubstitutedAtomicExpr = Evaluator(ConstraintExpr); in calculateConstraintSatisfaction()
276 ConstraintExpr, in calculateConstraintSatisfaction()
305 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
337 const MultiLevelTemplateArgumentList &MLTAL, const Expr *ConstraintExpr, in calculateConstraintSatisfaction() argument
340 S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) { in calculateConstraintSatisfaction()
453 for (const Expr *ConstraintExpr : ConstraintExprs) { in CheckConstraintSatisfaction() local
456 ConstraintExpr, Satisfaction); in CheckConstraintSatisfaction()
538 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction() argument
541 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
972 ConceptSpecializationExpr *ConstraintExpr = in diagnoseUnsatisfiedRequirement() local
974 if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) { in diagnoseUnsatisfiedRequirement()
981 << ConstraintExpr->getNamedConcept(); in diagnoseUnsatisfiedRequirement()
983 S.Diag(ConstraintExpr->getBeginLoc(), in diagnoseUnsatisfiedRequirement()
985 << (int)First << ConstraintExpr; in diagnoseUnsatisfiedRequirement()
987 S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction()); in diagnoseUnsatisfiedRequirement()
1222 S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false, in substituteParameterMappings()
1546 const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr; in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()