| /freebsd/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} {
44 CreateUnsatisfiedConstraintRecord(C, Satisfaction.Details[I],
49 const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) in ASTConstraintSatisfaction() argument
50 : NumRecords{Satisfaction.NumRecords}, in ASTConstraintSatisfaction()
51 IsSatisfied{Satisfaction.IsSatisfied},
52 ContainsErrors{Satisfaction.ContainsErrors} {
54 CreateUnsatisfiedConstraintRecord(C, *(Satisfaction.begin() + I),
[all …]
|
| H A D | ExprConcepts.cpp | 32 const ConstraintSatisfaction *Satisfaction) in ConceptSpecializationExpr() argument
35 Satisfaction(Satisfaction in ConceptSpecializationExpr()
36 ? ASTConstraintSatisfaction::Create(C, *Satisfaction) in ConceptSpecializationExpr()
38 setDependence(computeDependence(this, /*ValueDependent=*/!Satisfaction)); in ConceptSpecializationExpr()
58 const ConstraintSatisfaction *Satisfaction) { in Create() argument
59 return new (C) ConceptSpecializationExpr(C, Loc, SpecDecl, Satisfaction); in Create()
65 const ConstraintSatisfaction *Satisfaction, bool Dependent, in ConceptSpecializationExpr() argument
69 Satisfaction(Satisfaction in ConceptSpecializationExpr()
70 ? ASTConstraintSatisfaction::Create(C, *Satisfaction) in ConceptSpecializationExpr()
73 if (!Satisfaction) in ConceptSpecializationExpr()
[all …]
|
| H A D | ASTImporter.cpp | 1202 ConstraintSatisfaction Satisfaction; in ImportNestedRequirement() local
1204 ImportConstraintSatisfaction(FromSatisfaction, Satisfaction)) in ImportNestedRequirement()
1207 Importer.getToContext(), ToExpr.get(), Satisfaction); in ImportNestedRequirement()
9333 ConstraintSatisfaction Satisfaction; in VisitConceptSpecializationExpr() local
9335 ImportConstraintSatisfaction(E->getSatisfaction(), Satisfaction)) in VisitConceptSpecializationExpr()
9339 const_cast<ImplicitConceptSpecializationDecl *>(CSD), &Satisfaction); in VisitConceptSpecializationExpr()
|
| /freebsd/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()
432 const ASTConstraintSatisfaction *Satisfaction = nullptr; variable
450 const ConstraintSatisfaction &Satisfaction) in NestedRequirement() argument
453 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);
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaConcept.cpp | 206 ConstraintSatisfaction &Satisfaction) { in EvaluateAtomicConstraint() argument
226 Satisfaction.IsSatisfied = false; in EvaluateAtomicConstraint()
227 Satisfaction.ContainsErrors = true; in EvaluateAtomicConstraint()
262 Satisfaction.Details.emplace_back( in EvaluateAtomicConstraint()
265 Satisfaction.IsSatisfied = false; in EvaluateAtomicConstraint()
295 ConstraintSatisfaction &Satisfaction) { in EvaluateFoldExpandedConstraintSize() argument
328 ConstraintSatisfaction &Satisfaction);
334 ConstraintSatisfaction &Satisfaction) { in calculateConstraintSatisfaction() argument
335 size_t EffectiveDetailEndIndex = Satisfaction.Details.size(); in calculateConstraintSatisfaction()
338 S, LHS, Template, TemplateNameLoc, MLTAL, Satisfaction); in calculateConstraintSatisfaction()
[all …]
|
| H A D | SemaTemplateInstantiate.cpp | 2930 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2932 SemaRef.Context, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
2936 ConstraintSatisfaction Satisfaction; in TransformNestedRequirement() local
2953 Satisfaction) && in TransformNestedRequirement()
2964 Satisfaction.HasSubstitutionFailure()) { in TransformNestedRequirement()
2970 SemaRef.Context, C.backupStr(Entity), Satisfaction); in TransformNestedRequirement()
2973 concepts::NestedRequirement(C, TransConstraint.get(), Satisfaction); in TransformNestedRequirement()
4226 ConstraintSatisfaction Satisfaction; in InstantiateClassMembers() local
4227 if (CheckFunctionConstraints(Function, Satisfaction) || in InstantiateClassMembers()
4228 !Satisfaction.IsSatisfied) { in InstantiateClassMembers()
|
| H A D | SemaOverload.cpp | 730 ConstraintSatisfaction Satisfaction; member
805 Saved->Satisfaction = Info.AssociatedConstraintsSatisfaction; in MakeDeductionFailureInfo()
7248 ConstraintSatisfaction Satisfaction; in AddOverloadCandidate() local
7249 if (CheckFunctionConstraints(Function, Satisfaction, /*Loc*/ {}, in AddOverloadCandidate()
7251 !Satisfaction.IsSatisfied) { in AddOverloadCandidate()
7803 ConstraintSatisfaction Satisfaction; in AddMethodCandidate() local
7804 if (CheckFunctionConstraints(Method, Satisfaction, /*Loc*/ {}, in AddMethodCandidate()
7806 !Satisfaction.IsSatisfied) { in AddMethodCandidate()
8358 ConstraintSatisfaction Satisfaction; in AddConversionCandidate() local
8359 if (CheckFunctionConstraints(Conversion, Satisfaction) || in AddConversionCandidate()
[all …]
|
| H A D | SemaExprCXX.cpp | 7977 ConstraintSatisfaction Satisfaction; in BuildNestedRequirement() local
7981 Constraint->getSourceRange(), Satisfaction)) in BuildNestedRequirement()
7984 Satisfaction); in BuildNestedRequirement()
7989 const ASTConstraintSatisfaction &Satisfaction) { in BuildNestedRequirement() argument
7992 ASTConstraintSatisfaction::Rebuild(Context, Satisfaction)); in BuildNestedRequirement()
|
| H A D | SemaTemplateDeduction.cpp | 5102 ConstraintSatisfaction Satisfaction; in CheckDeducedPlaceholderConstraints() local
5136 TypeLoc.getLocalSourceRange(), Satisfaction)) in CheckDeducedPlaceholderConstraints()
5138 if (!Satisfaction.IsSatisfied) { in CheckDeducedPlaceholderConstraints()
5151 S.DiagnoseUnsatisfiedConstraint(Satisfaction); in CheckDeducedPlaceholderConstraints()
|
| H A D | SemaTemplate.cpp | 4741 ConstraintSatisfaction Satisfaction; in CheckConceptTemplateId() local
4758 Satisfaction)) in CheckConceptTemplateId()
4766 Context, CL, CSD, AreArgsDependent ? nullptr : &Satisfaction); in CheckConceptTemplateId()
9585 if (ConstraintSatisfaction Satisfaction; in CheckMemberSpecialization() local
9587 (CheckFunctionConstraints(Method, Satisfaction, in CheckMemberSpecialization()
9590 !Satisfaction.IsSatisfied)) in CheckMemberSpecialization()
|
| H A D | SemaExpr.cpp | 287 ConstraintSatisfaction Satisfaction; in DiagnoseUseOfDecl() local
288 if (CheckFunctionConstraints(FD, Satisfaction, Loc, in DiagnoseUseOfDecl()
293 if (!Satisfaction.IsSatisfied) { in DiagnoseUseOfDecl()
297 DiagnoseUnsatisfiedConstraint(Satisfaction); in DiagnoseUseOfDecl()
|
| H A D | SemaDeclCXX.cpp | 17857 ConstraintSatisfaction Satisfaction; in BuildStaticAssertDeclaration() local
17858 if (!CheckConstraintSatisfaction(ConceptIDExpr, Satisfaction)) in BuildStaticAssertDeclaration()
17859 DiagnoseUnsatisfiedConstraint(Satisfaction); in BuildStaticAssertDeclaration()
|
| H A D | SemaDecl.cpp | 19265 ConstraintSatisfaction Satisfaction; in SetEligibleMethods() local
19266 if (S.CheckFunctionConstraints(Method, Satisfaction)) in SetEligibleMethods()
19269 SatisfactionStatus.push_back(Satisfaction.IsSatisfied); in SetEligibleMethods()
|
| H A D | TreeTransform.h | 3772 const ASTConstraintSatisfaction &Satisfaction) { in RebuildNestedRequirement() argument
3774 Satisfaction); in RebuildNestedRequirement()
|
| /freebsd/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()
564 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
568 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
|
| H A D | ASTReaderStmt.cpp | 798 ConstraintSatisfaction Satisfaction; in readConstraintSatisfaction() local
799 Satisfaction.IsSatisfied = Record.readInt(); in readConstraintSatisfaction()
800 Satisfaction.ContainsErrors = Record.readInt(); in readConstraintSatisfaction()
802 if (!Satisfaction.IsSatisfied) { in readConstraintSatisfaction()
809 Satisfaction.Details.emplace_back( in readConstraintSatisfaction()
813 Satisfaction.Details.emplace_back(Record.readExpr()); in readConstraintSatisfaction()
816 return Satisfaction; in readConstraintSatisfaction()
825 E->Satisfaction = E->isValueDependent() ? nullptr : in VisitConceptSpecializationExpr()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Sema/ |
| H A D | Sema.h | 8798 const ASTConstraintSatisfaction &Satisfaction);
14662 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction) { in CheckConstraintSatisfaction() argument
14666 TemplateIDRange, Satisfaction); in CheckConstraintSatisfaction()
14696 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction);
14706 ConstraintSatisfaction &Satisfaction);
14715 ConstraintSatisfaction &Satisfaction,
14755 ConstraintSatisfaction &Satisfaction);
14761 void DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction &Satisfaction,
14767 DiagnoseUnsatisfiedConstraint(const ASTConstraintSatisfaction &Satisfaction,
|