| /llvm-project-15.0.7/clang/lib/AST/ |
| H A D | ExprConcepts.cpp | 39 const ConstraintSatisfaction *Satisfaction) in ConceptSpecializationExpr() argument
44 Satisfaction(Satisfaction in ConceptSpecializationExpr()
45 ? ASTConstraintSatisfaction::Create(C, *Satisfaction) in ConceptSpecializationExpr()
48 setDependence(computeDependence(this, /*ValueDependent=*/!Satisfaction)); in ConceptSpecializationExpr()
86 ConvertedArgs, Satisfaction); in Create()
92 const ConstraintSatisfaction *Satisfaction, bool Dependent, in ConceptSpecializationExpr() argument
99 Satisfaction(Satisfaction in ConceptSpecializationExpr()
100 ? ASTConstraintSatisfaction::Create(C, *Satisfaction) in ConceptSpecializationExpr()
104 if (!Satisfaction) in ConceptSpecializationExpr()
117 const ConstraintSatisfaction *Satisfaction, in Create() argument
[all …]
|
| H A D | ASTConcept.cpp | 23 const ConstraintSatisfaction &Satisfaction): in ASTConstraintSatisfaction() argument
24 NumRecords{Satisfaction.Details.size()}, in ASTConstraintSatisfaction()
25 IsSatisfied{Satisfaction.IsSatisfied} {
27 auto &Detail = Satisfaction.Details[I];
52 const ConstraintSatisfaction &Satisfaction) { in Create() argument
55 Satisfaction.Details.size()); in Create()
57 return new (Mem) ASTConstraintSatisfaction(C, Satisfaction); in Create()
|
| /llvm-project-15.0.7/clang/lib/Sema/ |
| H A D | SemaConcept.cpp | 194 if (!Satisfaction.IsSatisfied) in calculateConstraintSatisfaction()
277 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
284 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
302 if (!Satisfaction.IsSatisfied) in CheckConstraintSatisfaction()
332 auto Satisfaction = in CheckConstraintSatisfaction() local
339 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
362 Satisfaction.IsSatisfied = true; in CheckFunctionConstraints()
378 Satisfaction); in CheckFunctionConstraints()
391 if (!Satisfaction.IsSatisfied) { in EnsureTemplateArgumentListConstraints()
418 Satisfaction.IsSatisfied = true; in CheckInstantiatedFunctionTemplateConstraints()
[all …]
|
| H A D | SemaTemplateInstantiate.cpp | 2027 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2052 TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
2069 SemaRef.Context, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
3282 ConstraintSatisfaction Satisfaction; in InstantiateClassMembers() local
3283 if (CheckFunctionConstraints(Function, Satisfaction) || in InstantiateClassMembers()
3284 !Satisfaction.IsSatisfied) { in InstantiateClassMembers()
|
| H A D | SemaOverload.cpp | 605 ConstraintSatisfaction Satisfaction; member
6517 ConstraintSatisfaction Satisfaction; in AddOverloadCandidate() local
6519 !Satisfaction.IsSatisfied) { in AddOverloadCandidate()
7023 ConstraintSatisfaction Satisfaction; in AddMethodCandidate() local
7025 !Satisfaction.IsSatisfied) { in AddMethodCandidate()
7420 ConstraintSatisfaction Satisfaction; in AddConversionCandidate() local
7422 !Satisfaction.IsSatisfied) { in AddConversionCandidate()
10342 ConstraintSatisfaction Satisfaction; in checkAddressOfFunctionIsAvailable() local
10345 if (!Satisfaction.IsSatisfied) { in checkAddressOfFunctionIsAvailable()
11400 ConstraintSatisfaction Satisfaction; in NoteFunctionCandidate() local
[all …]
|
| H A D | SemaTemplateDeduction.cpp | 4560 ConstraintSatisfaction Satisfaction; in CheckDeducedPlaceholderConstraints() local
4577 Satisfaction)) in CheckDeducedPlaceholderConstraints()
4579 if (!Satisfaction.IsSatisfied) { in CheckDeducedPlaceholderConstraints()
4593 S.DiagnoseUnsatisfiedConstraint(Satisfaction); in CheckDeducedPlaceholderConstraints()
|
| H A D | SemaExprCXX.cpp | 9052 ConstraintSatisfaction Satisfaction; in BuildNestedRequirement() local
9055 Constraint->getSourceRange(), Satisfaction)) in BuildNestedRequirement()
9058 Satisfaction); in BuildNestedRequirement()
|
| H A D | SemaTemplate.cpp | 4754 ConstraintSatisfaction Satisfaction; in CheckConceptTemplateId() local
4763 Satisfaction)) in CheckConceptTemplateId()
4770 AreArgsDependent ? nullptr : &Satisfaction); in CheckConceptTemplateId()
|
| H A D | SemaExpr.cpp | 285 ConstraintSatisfaction Satisfaction; in DiagnoseUseOfDecl() local
286 if (CheckFunctionConstraints(FD, Satisfaction, Loc)) in DiagnoseUseOfDecl()
290 if (!Satisfaction.IsSatisfied) { in DiagnoseUseOfDecl()
294 DiagnoseUnsatisfiedConstraint(Satisfaction); in DiagnoseUseOfDecl()
|
| H A D | SemaDeclCXX.cpp | 16612 ConstraintSatisfaction Satisfaction; in BuildStaticAssertDeclaration() local
16613 if (!CheckConstraintSatisfaction(InnerCond, Satisfaction)) in BuildStaticAssertDeclaration()
16614 DiagnoseUnsatisfiedConstraint(Satisfaction); in BuildStaticAssertDeclaration()
|
| /llvm-project-15.0.7/clang/include/clang/AST/ |
| H A D | ExprConcepts.h | 56 ASTConstraintSatisfaction *Satisfaction; variable
68 const ConstraintSatisfaction *Satisfaction,
82 const ConstraintSatisfaction *Satisfaction);
87 const ConstraintSatisfaction *Satisfaction,
108 return Satisfaction->IsSatisfied; in isSatisfied()
117 return *Satisfaction; in getSatisfaction()
411 const ASTConstraintSatisfaction *Satisfaction = nullptr; variable
432 const ConstraintSatisfaction &Satisfaction) : in NestedRequirement() argument
435 Satisfaction.IsSatisfied), in NestedRequirement()
437 Satisfaction(ASTConstraintSatisfaction::Create(C, Satisfaction)) {} in NestedRequirement()
[all …]
|
| H A D | ASTConcept.h | 91 const ConstraintSatisfaction &Satisfaction);
94 Create(const ASTContext &C, const ConstraintSatisfaction &Satisfaction);
|
| /llvm-project-15.0.7/clang/lib/Serialization/ |
| H A D | ASTWriterStmt.cpp | 403 const ASTConstraintSatisfaction &Satisfaction) { in addConstraintSatisfaction() argument
404 Record.push_back(Satisfaction.IsSatisfied); in addConstraintSatisfaction()
405 if (!Satisfaction.IsSatisfied) { in addConstraintSatisfaction()
406 Record.push_back(Satisfaction.NumRecords); in addConstraintSatisfaction()
407 for (const auto &DetailRecord : Satisfaction) { in addConstraintSatisfaction()
505 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
|
| H A D | ASTReaderStmt.cpp | 773 ConstraintSatisfaction Satisfaction; in readConstraintSatisfaction() local
774 Satisfaction.IsSatisfied = Record.readInt(); in readConstraintSatisfaction()
775 if (!Satisfaction.IsSatisfied) { in readConstraintSatisfaction()
782 Satisfaction.Details.emplace_back( in readConstraintSatisfaction()
787 Satisfaction.Details.emplace_back(ConstraintExpr, Record.readExpr()); in readConstraintSatisfaction()
790 return Satisfaction; in readConstraintSatisfaction()
807 E->Satisfaction = E->isValueDependent() ? nullptr : in VisitConceptSpecializationExpr()
|
| /llvm-project-15.0.7/clang/include/clang/Sema/ |
| H A D | Sema.h | 7157 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction);
7166 ConstraintSatisfaction &Satisfaction);
7175 ConstraintSatisfaction &Satisfaction,
7201 DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction &Satisfaction,
7207 DiagnoseUnsatisfiedConstraint(const ASTConstraintSatisfaction &Satisfaction,
9794 ConstraintSatisfaction &Satisfaction);
|