Home
last modified time | relevance | path

Searched refs:Satisfaction (Results 1 – 17 of 17) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/AST/
H A DASTConcept.cpp44 const ASTContext &C, const ConstraintSatisfaction &Satisfaction) in ASTConstraintSatisfaction() argument
45 : NumRecords{Satisfaction.Details.size()}, in ASTConstraintSatisfaction()
46 IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{
50 C, Satisfaction.Details[I],
56 : NumRecords{Satisfaction.NumRecords}, in ASTConstraintSatisfaction()
57 IsSatisfied{Satisfaction.IsSatisfied},
58 ContainsErrors{Satisfaction.ContainsErrors} {
61 C, *(Satisfaction.begin() + I),
70 Satisfaction.Details.size()); in Create()
72 return new (Mem) ASTConstraintSatisfaction(C, Satisfaction); in Create()
[all …]
H A DExprConcepts.cpp36 const ConstraintSatisfaction *Satisfaction) in ConceptSpecializationExpr() argument
39 Satisfaction(Satisfaction in ConceptSpecializationExpr()
40 ? ASTConstraintSatisfaction::Create(C, *Satisfaction) in ConceptSpecializationExpr()
42 setDependence(computeDependence(this, /*ValueDependent=*/!Satisfaction)); in ConceptSpecializationExpr()
63 return new (C) ConceptSpecializationExpr(C, Loc, SpecDecl, Satisfaction); in Create()
69 const ConstraintSatisfaction *Satisfaction, bool Dependent, in ConceptSpecializationExpr() argument
73 Satisfaction(Satisfaction in ConceptSpecializationExpr()
74 ? ASTConstraintSatisfaction::Create(C, *Satisfaction) in ConceptSpecializationExpr()
77 if (!Satisfaction) in ConceptSpecializationExpr()
89 const ConstraintSatisfaction *Satisfaction, in Create() argument
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/AST/
H A DExprConcepts.h56 ASTConstraintSatisfaction *Satisfaction; variable
73 const ConstraintSatisfaction *Satisfaction);
127 return Satisfaction->IsSatisfied; in isSatisfied()
136 return *Satisfaction; in getSatisfaction()
431 const ASTConstraintSatisfaction *Satisfaction = nullptr; variable
449 const ConstraintSatisfaction &Satisfaction) in NestedRequirement() argument
452 Satisfaction.IsSatisfied), in NestedRequirement()
454 Satisfaction(ASTConstraintSatisfaction::Create(C, Satisfaction)) {} in NestedRequirement()
461 Satisfaction->IsSatisfied), in NestedRequirement()
462 Satisfaction(Satisfaction), HasInvalidConstraint(true), in NestedRequirement()
[all …]
H A DASTConcept.h107 const ConstraintSatisfaction &Satisfaction);
109 const ASTConstraintSatisfaction &Satisfaction);
112 Create(const ASTContext &C, const ConstraintSatisfaction &Satisfaction);
114 Rebuild(const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction);
/freebsd-14.2/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp265 Satisfaction.IsSatisfied = false; in calculateConstraintSatisfaction()
304 if (!Satisfaction.IsSatisfied) in calculateConstraintSatisfaction()
433 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
439 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
461 if (!Satisfaction.IsSatisfied) { in CheckConstraintSatisfaction()
507 auto Satisfaction = in CheckConstraintSatisfaction() local
512 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
530 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
732 Satisfaction); in CheckFunctionConstraints()
870 if (!Satisfaction.IsSatisfied) { in EnsureTemplateArgumentListConstraints()
[all …]
H A DSemaTemplateInstantiate.cpp2526 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2528 SemaRef.Context, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
2532 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2546 Req->getConstraintExpr()->getSourceRange(), Satisfaction) && in TransformNestedRequirement()
2557 Satisfaction.HasSubstitutionFailure()) { in TransformNestedRequirement()
2565 SemaRef.Context, StringRef(EntityBuf, Entity.size()), Satisfaction); in TransformNestedRequirement()
2568 SemaRef.Context, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
3863 ConstraintSatisfaction Satisfaction; in InstantiateClassMembers() local
3864 if (CheckFunctionConstraints(Function, Satisfaction) || in InstantiateClassMembers()
3865 !Satisfaction.IsSatisfied) { in InstantiateClassMembers()
H A DSemaOverload.cpp623 ConstraintSatisfaction Satisfaction; member
6942 ConstraintSatisfaction Satisfaction; in AddOverloadCandidate() local
6945 !Satisfaction.IsSatisfied) { in AddOverloadCandidate()
7459 ConstraintSatisfaction Satisfaction; in AddMethodCandidate() local
7462 !Satisfaction.IsSatisfied) { in AddMethodCandidate()
7889 ConstraintSatisfaction Satisfaction; in AddConversionCandidate() local
7891 !Satisfaction.IsSatisfied) { in AddConversionCandidate()
8175 ConstraintSatisfaction Satisfaction; in AddSurrogateCandidate() local
8178 !Satisfaction.IsSatisfied) { in AddSurrogateCandidate()
10905 ConstraintSatisfaction Satisfaction; in checkAddressOfFunctionIsAvailable() local
[all …]
H A DSemaTemplateDeduction.cpp4857 ConstraintSatisfaction Satisfaction; in CheckDeducedPlaceholderConstraints() local
4877 Satisfaction)) in CheckDeducedPlaceholderConstraints()
4879 if (!Satisfaction.IsSatisfied) { in CheckDeducedPlaceholderConstraints()
4893 S.DiagnoseUnsatisfiedConstraint(Satisfaction); in CheckDeducedPlaceholderConstraints()
H A DSemaExprCXX.cpp9149 ConstraintSatisfaction Satisfaction; in BuildNestedRequirement() local
9152 Constraint->getSourceRange(), Satisfaction)) in BuildNestedRequirement()
9155 Satisfaction); in BuildNestedRequirement()
9160 const ASTConstraintSatisfaction &Satisfaction) { in BuildNestedRequirement() argument
9163 ASTConstraintSatisfaction::Rebuild(Context, Satisfaction)); in BuildNestedRequirement()
H A DSemaTemplate.cpp5049 ConstraintSatisfaction Satisfaction; in CheckConceptTemplateId() local
5065 Satisfaction)) in CheckConceptTemplateId()
5073 Context, CL, CSD, AreArgsDependent ? nullptr : &Satisfaction); in CheckConceptTemplateId()
H A DSemaExpr.cpp289 ConstraintSatisfaction Satisfaction; in DiagnoseUseOfDecl() local
290 if (CheckFunctionConstraints(FD, Satisfaction, Loc, in DiagnoseUseOfDecl()
295 if (!Satisfaction.IsSatisfied) { in DiagnoseUseOfDecl()
299 DiagnoseUnsatisfiedConstraint(Satisfaction); in DiagnoseUseOfDecl()
H A DSemaDeclCXX.cpp17498 ConstraintSatisfaction Satisfaction; in BuildStaticAssertDeclaration() local
17499 if (!CheckConstraintSatisfaction(InnerCond, Satisfaction)) in BuildStaticAssertDeclaration()
17500 DiagnoseUnsatisfiedConstraint(Satisfaction); in BuildStaticAssertDeclaration()
H A DSemaDecl.cpp19066 ConstraintSatisfaction Satisfaction; in SetEligibleMethods() local
19067 if (S.CheckFunctionConstraints(Method, Satisfaction)) in SetEligibleMethods()
19070 SatisfactionStatus.push_back(Satisfaction.IsSatisfied); in SetEligibleMethods()
H A DTreeTransform.h3661 const ASTConstraintSatisfaction &Satisfaction) { in RebuildNestedRequirement() argument
3663 Satisfaction); in RebuildNestedRequirement()
/freebsd-14.2/contrib/llvm-project/clang/lib/Serialization/
H A DASTWriterStmt.cpp471 const ASTConstraintSatisfaction &Satisfaction) { in addConstraintSatisfaction() argument
472 Record.push_back(Satisfaction.IsSatisfied); in addConstraintSatisfaction()
473 Record.push_back(Satisfaction.ContainsErrors); in addConstraintSatisfaction()
474 if (!Satisfaction.IsSatisfied) { in addConstraintSatisfaction()
475 Record.push_back(Satisfaction.NumRecords); in addConstraintSatisfaction()
476 for (const auto &DetailRecord : Satisfaction) { in addConstraintSatisfaction()
565 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
569 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
H A DASTReaderStmt.cpp790 ConstraintSatisfaction Satisfaction; in readConstraintSatisfaction() local
791 Satisfaction.IsSatisfied = Record.readInt(); in readConstraintSatisfaction()
792 Satisfaction.ContainsErrors = Record.readInt(); in readConstraintSatisfaction()
793 if (!Satisfaction.IsSatisfied) { in readConstraintSatisfaction()
800 Satisfaction.Details.emplace_back( in readConstraintSatisfaction()
805 Satisfaction.Details.emplace_back(ConstraintExpr, Record.readExpr()); in readConstraintSatisfaction()
808 return Satisfaction; in readConstraintSatisfaction()
817 E->Satisfaction = E->isValueDependent() ? nullptr : in VisitConceptSpecializationExpr()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Sema/
H A DSema.h7553 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
7557 Satisfaction); in CheckConstraintSatisfaction()
7586 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction);
7595 ConstraintSatisfaction &Satisfaction);
7604 ConstraintSatisfaction &Satisfaction,
7631 DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction &Satisfaction,
7637 DiagnoseUnsatisfiedConstraint(const ASTConstraintSatisfaction &Satisfaction,
8829 const ASTConstraintSatisfaction &Satisfaction);
10436 ConstraintSatisfaction &Satisfaction);