Lines Matching refs:Satisfaction
183 ConstraintSatisfaction &Satisfaction, in calculateConstraintSatisfaction() argument
188 size_t EffectiveDetailEndIndex = Satisfaction.Details.size(); in calculateConstraintSatisfaction()
190 S, BO.getLHS(), Satisfaction, Evaluator); in calculateConstraintSatisfaction()
195 bool IsLHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction()
218 S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator)); in calculateConstraintSatisfaction()
222 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction()
232 auto EffectiveDetailEnd = Satisfaction.Details.begin(); in calculateConstraintSatisfaction()
234 Satisfaction.Details.erase(EffectiveDetailEnd, in calculateConstraintSatisfaction()
235 Satisfaction.Details.end()); in calculateConstraintSatisfaction()
245 S, C->getSubExpr(), Satisfaction, in calculateConstraintSatisfaction()
265 Satisfaction.IsSatisfied = false; in calculateConstraintSatisfaction()
266 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()
275 Satisfaction.Details.emplace_back( in calculateConstraintSatisfaction()
303 Satisfaction.IsSatisfied = EvalResult.Val.getInt().getBoolValue(); in calculateConstraintSatisfaction()
304 if (!Satisfaction.IsSatisfied) in calculateConstraintSatisfaction()
305 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
338 ConstraintSatisfaction &Satisfaction) { in calculateConstraintSatisfaction() argument
340 S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) { in calculateConstraintSatisfaction()
359 Satisfaction.IsSatisfied = false; in calculateConstraintSatisfaction()
360 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()
395 Satisfaction.Details.emplace_back( in calculateConstraintSatisfaction()
399 Satisfaction.IsSatisfied = false; in calculateConstraintSatisfaction()
431 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
433 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
439 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
456 ConstraintExpr, Satisfaction); in CheckConstraintSatisfaction()
461 if (!Satisfaction.IsSatisfied) { in CheckConstraintSatisfaction()
507 auto Satisfaction = in CheckConstraintSatisfaction() local
511 TemplateIDRange, *Satisfaction)) { in CheckConstraintSatisfaction()
512 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
530 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
534 SatisfactionCache.InsertNode(Satisfaction.release()); in CheckConstraintSatisfaction()
539 ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
541 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
676 ConstraintSatisfaction &Satisfaction, in CheckFunctionConstraints() argument
686 Satisfaction.IsSatisfied = true; in CheckFunctionConstraints()
696 Satisfaction, UsageLoc, in CheckFunctionConstraints()
732 Satisfaction); in CheckFunctionConstraints()
863 ConstraintSatisfaction Satisfaction; in EnsureTemplateArgumentListConstraints() local
867 TemplateIDRange, Satisfaction)) in EnsureTemplateArgumentListConstraints()
870 if (!Satisfaction.IsSatisfied) { in EnsureTemplateArgumentListConstraints()
881 DiagnoseUnsatisfiedConstraint(Satisfaction); in EnsureTemplateArgumentListConstraints()
890 ConstraintSatisfaction &Satisfaction) { in CheckInstantiatedFunctionTemplateConstraints() argument
898 Satisfaction.IsSatisfied = true; in CheckInstantiatedFunctionTemplateConstraints()
927 PointOfInstantiation, Satisfaction); in CheckInstantiatedFunctionTemplateConstraints()
1158 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction, in DiagnoseUnsatisfiedConstraint() argument
1160 assert(!Satisfaction.IsSatisfied && in DiagnoseUnsatisfiedConstraint()
1162 for (auto &Pair : Satisfaction.Details) { in DiagnoseUnsatisfiedConstraint()
1169 const ASTConstraintSatisfaction &Satisfaction, in DiagnoseUnsatisfiedConstraint() argument
1171 assert(!Satisfaction.IsSatisfied && in DiagnoseUnsatisfiedConstraint()
1173 for (auto &Pair : Satisfaction) { in DiagnoseUnsatisfiedConstraint()