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