| /src/contrib/llvm-project/clang/lib/AST/ |
| H A D | ASTConcept.cpp | 39 const ASTContext &C, const ConstraintSatisfaction &Satisfaction) in ASTConstraintSatisfaction() argument
40 : NumRecords{Satisfaction.Details.size()}, in ASTConstraintSatisfaction()
41 IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{
42 Satisfaction.ContainsErrors} {
45 C, Satisfaction.Details[I],
50 const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) in ASTConstraintSatisfaction() argument
51 : NumRecords{Satisfaction.NumRecords}, in ASTConstraintSatisfaction()
52 IsSatisfied{Satisfaction.IsSatisfied},
53 ContainsErrors{Satisfaction.ContainsErrors} {
56 C, *(Satisfaction.begin() + I),
[all …]
|
| H A D | ExprConcepts.cpp | 36 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()
62 const ConstraintSatisfaction *Satisfaction) { in Create() argument
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()
[all …]
|
| /src/contrib/llvm-project/clang/include/clang/AST/ |
| H A D | ExprConcepts.h | 56 ASTConstraintSatisfaction *Satisfaction; variable
60 const ConstraintSatisfaction *Satisfaction);
64 const ConstraintSatisfaction *Satisfaction,
73 const ConstraintSatisfaction *Satisfaction);
78 const ConstraintSatisfaction *Satisfaction, bool Dependent,
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()
[all …]
|
| H A D | ASTConcept.h | 104 const ConstraintSatisfaction &Satisfaction);
106 const ASTConstraintSatisfaction &Satisfaction);
109 Create(const ASTContext &C, const ConstraintSatisfaction &Satisfaction);
111 Rebuild(const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction);
|
| /src/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaConcept.cpp | 184 ConstraintSatisfaction &Satisfaction,
191 ConstraintSatisfaction &Satisfaction, in calculateConstraintSatisfaction() argument
193 size_t EffectiveDetailEndIndex = Satisfaction.Details.size(); in calculateConstraintSatisfaction()
196 calculateConstraintSatisfaction(S, LHS, Satisfaction, Evaluator); in calculateConstraintSatisfaction()
201 bool IsLHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction()
224 calculateConstraintSatisfaction(S, RHS, Satisfaction, Evaluator); in calculateConstraintSatisfaction()
228 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction()
238 auto EffectiveDetailEnd = Satisfaction.Details.begin(); in calculateConstraintSatisfaction()
240 Satisfaction.Details.erase(EffectiveDetailEnd, Satisfaction.Details.end()); in calculateConstraintSatisfaction()
255 ConstraintSatisfaction &Satisfaction, in calculateConstraintSatisfaction() argument
[all …]
|
| H A D | SemaTemplateInstantiate.cpp | 2751 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2753 SemaRef.Context, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
2757 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2771 Req->getConstraintExpr()->getSourceRange(), Satisfaction) && in TransformNestedRequirement()
2782 Satisfaction.HasSubstitutionFailure()) { in TransformNestedRequirement()
2788 SemaRef.Context, C.backupStr(Entity), Satisfaction); in TransformNestedRequirement()
2791 concepts::NestedRequirement(C, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
3994 ConstraintSatisfaction Satisfaction; in InstantiateClassMembers() local
3995 if (CheckFunctionConstraints(Function, Satisfaction) || in InstantiateClassMembers()
3996 !Satisfaction.IsSatisfied) { in InstantiateClassMembers()
|
| H A D | SemaOverload.cpp | 701 ConstraintSatisfaction Satisfaction; member
776 Saved->Satisfaction = Info.AssociatedConstraintsSatisfaction; in MakeDeductionFailureInfo()
6985 ConstraintSatisfaction Satisfaction; in AddOverloadCandidate() local
6986 if (CheckFunctionConstraints(Function, Satisfaction, /*Loc*/ {}, in AddOverloadCandidate()
6988 !Satisfaction.IsSatisfied) { in AddOverloadCandidate()
7507 ConstraintSatisfaction Satisfaction; in AddMethodCandidate() local
7508 if (CheckFunctionConstraints(Method, Satisfaction, /*Loc*/ {}, in AddMethodCandidate()
7510 !Satisfaction.IsSatisfied) { in AddMethodCandidate()
7927 ConstraintSatisfaction Satisfaction; in AddConversionCandidate() local
7928 if (CheckFunctionConstraints(Conversion, Satisfaction) || in AddConversionCandidate()
[all …]
|
| H A D | SemaTemplate.cpp | 4362 ConstraintSatisfaction Satisfaction; in CheckConceptTemplateId() local
4378 Satisfaction)) in CheckConceptTemplateId()
4386 Context, CL, CSD, AreArgsDependent ? nullptr : &Satisfaction); in CheckConceptTemplateId()
9081 if (ConstraintSatisfaction Satisfaction; in CheckMemberSpecialization() local
9083 (CheckFunctionConstraints(Method, Satisfaction, in CheckMemberSpecialization()
9086 !Satisfaction.IsSatisfied)) in CheckMemberSpecialization()
|
| H A D | SemaTemplateDeduction.cpp | 4988 ConstraintSatisfaction Satisfaction; in CheckDeducedPlaceholderConstraints() local
5022 Satisfaction)) in CheckDeducedPlaceholderConstraints()
5024 if (!Satisfaction.IsSatisfied) { in CheckDeducedPlaceholderConstraints()
5038 S.DiagnoseUnsatisfiedConstraint(Satisfaction); in CheckDeducedPlaceholderConstraints()
|
| H A D | SemaExprCXX.cpp | 9368 ConstraintSatisfaction Satisfaction; in BuildNestedRequirement() local
9371 Constraint->getSourceRange(), Satisfaction)) in BuildNestedRequirement()
9374 Satisfaction); in BuildNestedRequirement()
9379 const ASTConstraintSatisfaction &Satisfaction) { in BuildNestedRequirement() argument
9382 ASTConstraintSatisfaction::Rebuild(Context, Satisfaction)); in BuildNestedRequirement()
|
| H A D | SemaExpr.cpp | 283 ConstraintSatisfaction Satisfaction; in DiagnoseUseOfDecl() local
284 if (CheckFunctionConstraints(FD, Satisfaction, Loc, in DiagnoseUseOfDecl()
289 if (!Satisfaction.IsSatisfied) { in DiagnoseUseOfDecl()
293 DiagnoseUnsatisfiedConstraint(Satisfaction); in DiagnoseUseOfDecl()
|
| H A D | SemaDeclCXX.cpp | 17352 ConstraintSatisfaction Satisfaction; in BuildStaticAssertDeclaration() local
17353 if (!CheckConstraintSatisfaction(InnerCond, Satisfaction)) in BuildStaticAssertDeclaration()
17354 DiagnoseUnsatisfiedConstraint(Satisfaction); in BuildStaticAssertDeclaration()
|
| H A D | SemaDecl.cpp | 18725 ConstraintSatisfaction Satisfaction; in SetEligibleMethods() local
18726 if (S.CheckFunctionConstraints(Method, Satisfaction)) in SetEligibleMethods()
18729 SatisfactionStatus.push_back(Satisfaction.IsSatisfied); in SetEligibleMethods()
|
| H A D | TreeTransform.h | 3722 const ASTConstraintSatisfaction &Satisfaction) { in RebuildNestedRequirement() argument
3724 Satisfaction); in RebuildNestedRequirement()
|
| /src/contrib/llvm-project/clang/lib/Serialization/ |
| H A D | ASTWriterStmt.cpp | 471 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()
563 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
567 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
|
| H A D | ASTReaderStmt.cpp | 790 ConstraintSatisfaction Satisfaction; in readConstraintSatisfaction() local
791 Satisfaction.IsSatisfied = Record.readInt(); in readConstraintSatisfaction()
792 Satisfaction.ContainsErrors = Record.readInt(); in readConstraintSatisfaction()
794 if (!Satisfaction.IsSatisfied) { in readConstraintSatisfaction()
801 Satisfaction.Details.emplace_back( in readConstraintSatisfaction()
805 Satisfaction.Details.emplace_back(Record.readExpr()); in readConstraintSatisfaction()
808 return Satisfaction; in readConstraintSatisfaction()
817 E->Satisfaction = E->isValueDependent() ? nullptr : in VisitConceptSpecializationExpr()
|
| /src/contrib/llvm-project/clang/include/clang/Sema/ |
| H A D | Sema.h | 8523 const ASTConstraintSatisfaction &Satisfaction);
14355 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
14359 Satisfaction); in CheckConstraintSatisfaction()
14388 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction);
14397 ConstraintSatisfaction &Satisfaction);
14406 ConstraintSatisfaction &Satisfaction,
14446 ConstraintSatisfaction &Satisfaction);
14452 void DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction &Satisfaction,
14458 DiagnoseUnsatisfiedConstraint(const ASTConstraintSatisfaction &Satisfaction,
|