128 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,  in calculateConstraintSatisfaction()  argument
131   ConstraintExpr = ConstraintExpr->IgnoreParenImpCasts();  in calculateConstraintSatisfaction()
133   if (LogicalBinOp BO = ConstraintExpr) {  in calculateConstraintSatisfaction()
160   } else if (auto *C = dyn_cast<ExprWithCleanups>(ConstraintExpr)) {  in calculateConstraintSatisfaction()
166   ExprResult SubstitutedAtomicExpr = Evaluator(ConstraintExpr);  in calculateConstraintSatisfaction()
197     Satisfaction.Details.emplace_back(ConstraintExpr,  in calculateConstraintSatisfaction()
206     const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction) {  in calculateConstraintSatisfaction()  argument
208       S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) {  in calculateConstraintSatisfaction()
299   for (const Expr *ConstraintExpr : ConstraintExprs) {  in CheckConstraintSatisfaction()  local
302                                         ConstraintExpr, Satisfaction))  in CheckConstraintSatisfaction()
355 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr,  in CheckConstraintSatisfaction()  argument
358       *this, ConstraintExpr, Satisfaction,  in CheckConstraintSatisfaction()
456       ConceptSpecializationExpr *ConstraintExpr =  in diagnoseUnsatisfiedRequirement()  local
458       if (ConstraintExpr->getTemplateArgsAsWritten()->NumTemplateArgs == 1) {  in diagnoseUnsatisfiedRequirement()
465             << ConstraintExpr->getNamedConcept();  in diagnoseUnsatisfiedRequirement()
467         S.Diag(ConstraintExpr->getBeginLoc(),  in diagnoseUnsatisfiedRequirement()
469             << (int)First << ConstraintExpr;  in diagnoseUnsatisfiedRequirement()
471       S.DiagnoseUnsatisfiedConstraint(ConstraintExpr->getSatisfaction());  in diagnoseUnsatisfiedRequirement()
703     S.MarkUsedTemplateParameters(Atomic.ConstraintExpr, /*OnlyDeduced=*/false,  in substituteParameterMappings()
977         const Expr *EA = A.ConstraintExpr, *EB = B.ConstraintExpr;  in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()