Lines Matching refs:Satisfaction

127                                 ConstraintSatisfaction &Satisfaction,  in calculateConstraintSatisfaction()  argument
132 if (calculateConstraintSatisfaction(S, BO.getLHS(), Satisfaction, in calculateConstraintSatisfaction()
136 bool IsLHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction()
157 S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator)); in calculateConstraintSatisfaction()
159 return calculateConstraintSatisfaction(S, C->getSubExpr(), Satisfaction, in calculateConstraintSatisfaction()
193 Satisfaction.IsSatisfied = EvalResult.Val.getInt().getBoolValue(); in calculateConstraintSatisfaction()
194 if (!Satisfaction.IsSatisfied) in calculateConstraintSatisfaction()
195 Satisfaction.Details.emplace_back(ConstraintExpr, in calculateConstraintSatisfaction()
204 const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction) { in calculateConstraintSatisfaction() argument
206 S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) { in calculateConstraintSatisfaction()
255 Satisfaction.Details.emplace_back( in calculateConstraintSatisfaction()
259 Satisfaction.IsSatisfied = false; in calculateConstraintSatisfaction()
275 ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
277 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
284 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
300 ConstraintExpr, Satisfaction)) in CheckConstraintSatisfaction()
302 if (!Satisfaction.IsSatisfied) in CheckConstraintSatisfaction()
332 auto Satisfaction = in CheckConstraintSatisfaction() local
336 *Satisfaction)) { in CheckConstraintSatisfaction()
339 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
343 SatisfactionCache.InsertNode(Satisfaction.release()); in CheckConstraintSatisfaction()
348 ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
350 *this, ConstraintExpr, Satisfaction, in CheckConstraintSatisfaction()
358 ConstraintSatisfaction &Satisfaction, in CheckFunctionConstraints() argument
362 Satisfaction.IsSatisfied = true; in CheckFunctionConstraints()
378 Satisfaction); in CheckFunctionConstraints()
384 ConstraintSatisfaction Satisfaction; in EnsureTemplateArgumentListConstraints() local
388 TemplateIDRange, Satisfaction)) in EnsureTemplateArgumentListConstraints()
391 if (!Satisfaction.IsSatisfied) { in EnsureTemplateArgumentListConstraints()
401 DiagnoseUnsatisfiedConstraint(Satisfaction); in EnsureTemplateArgumentListConstraints()
410 ConstraintSatisfaction &Satisfaction) { in CheckInstantiatedFunctionTemplateConstraints() argument
418 Satisfaction.IsSatisfied = true; in CheckInstantiatedFunctionTemplateConstraints()
450 PointOfInstantiation, Satisfaction); in CheckInstantiatedFunctionTemplateConstraints()
683 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction, in DiagnoseUnsatisfiedConstraint() argument
685 assert(!Satisfaction.IsSatisfied && in DiagnoseUnsatisfiedConstraint()
687 for (auto &Pair : Satisfaction.Details) { in DiagnoseUnsatisfiedConstraint()
694 const ASTConstraintSatisfaction &Satisfaction, in DiagnoseUnsatisfiedConstraint() argument
696 assert(!Satisfaction.IsSatisfied && in DiagnoseUnsatisfiedConstraint()
698 for (auto &Pair : Satisfaction) { in DiagnoseUnsatisfiedConstraint()