Lines Matching defs:ConstraintExpr

181 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,
324 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,
327   ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts();
329   if (LogicalBinOp BO = ConstraintExpr)
333   if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) {
340   if (auto *FE = dyn_cast<CXXFoldExpr>(ConstraintExpr);
349       Evaluator.EvaluateAtomicConstraint(ConstraintExpr);
434     const MultiLevelTemplateArgumentList &MLTAL, const Expr *ConstraintExpr,
564       S, ConstraintExpr, Satisfaction,
594   for (const Expr *ConstraintExpr : ConstraintExprs) {
597         ConstraintExpr, Satisfaction);
685 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr,
700   return calculateConstraintSatisfaction(*this, ConstraintExpr, Satisfaction,
1202       ConceptSpecializationExpr *ConstraintExpr =
1204       if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) {
1211             << ConstraintExpr->getNamedConcept();
1213         S.Diag(ConstraintExpr->getBeginLoc(),
1215             << (int)First << ConstraintExpr;
1217       S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction());
1474     S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false,
1852         const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr;