Lines Matching defs:ConstraintExpr

183 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,
326 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,
329   ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts();
331   if (LogicalBinOp BO = ConstraintExpr)
335   if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) {
342   if (auto *FE = dyn_cast<CXXFoldExpr>(ConstraintExpr);
351       Evaluator.EvaluateAtomicConstraint(ConstraintExpr);
436     const MultiLevelTemplateArgumentList &MLTAL, const Expr *ConstraintExpr,
566       S, ConstraintExpr, Satisfaction,
596   for (const Expr *ConstraintExpr : ConstraintExprs) {
599         ConstraintExpr, Satisfaction);
687 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr,
702   return calculateConstraintSatisfaction(*this, ConstraintExpr, Satisfaction,
1181       ConceptSpecializationExpr *ConstraintExpr =
1183       if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) {
1190             << ConstraintExpr->getNamedConcept();
1192         S.Diag(ConstraintExpr->getBeginLoc(),
1194             << (int)First << ConstraintExpr;
1196       S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction());
1454     S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false,
1832         const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr;