Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/lib/AST/
H A DExprConcepts.cpp39 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 DASTConcept.cpp24 const ConstraintSatisfaction &Satisfaction): in ASTConstraintSatisfaction() argument
25 NumRecords{Satisfaction.Details.size()}, in ASTConstraintSatisfaction()
26 IsSatisfied{Satisfaction.IsSatisfied} {
28 auto &Detail = Satisfaction.Details[I];
53 const ConstraintSatisfaction &Satisfaction) { in Create() argument
56 Satisfaction.Details.size()); in Create()
58 return new (Mem) ASTConstraintSatisfaction(C, Satisfaction); in Create()
/freebsd-13.1/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp196 if (!Satisfaction.IsSatisfied) in calculateConstraintSatisfaction()
279 Satisfaction.IsSatisfied = true; in CheckConstraintSatisfaction()
304 if (!Satisfaction.IsSatisfied) in CheckConstraintSatisfaction()
330 if (Satisfaction) { in CheckConstraintSatisfaction()
336 Satisfaction = &OutSatisfaction; in CheckConstraintSatisfaction()
342 delete Satisfaction; in CheckConstraintSatisfaction()
350 OutSatisfaction = *Satisfaction; in CheckConstraintSatisfaction()
369 Satisfaction.IsSatisfied = true; in CheckFunctionConstraints()
385 Satisfaction); in CheckFunctionConstraints()
398 if (!Satisfaction.IsSatisfied) { in EnsureTemplateArgumentListConstraints()
[all …]
H A DSemaOverload.cpp606 ConstraintSatisfaction Satisfaction; member
6433 ConstraintSatisfaction Satisfaction; in AddOverloadCandidate() local
6435 !Satisfaction.IsSatisfied) { in AddOverloadCandidate()
6938 ConstraintSatisfaction Satisfaction; in AddMethodCandidate() local
6940 !Satisfaction.IsSatisfied) { in AddMethodCandidate()
7335 ConstraintSatisfaction Satisfaction; in AddConversionCandidate() local
7337 !Satisfaction.IsSatisfied) { in AddConversionCandidate()
10194 ConstraintSatisfaction Satisfaction; in checkAddressOfFunctionIsAvailable() local
10197 if (!Satisfaction.IsSatisfied) { in checkAddressOfFunctionIsAvailable()
11232 ConstraintSatisfaction Satisfaction; in NoteFunctionCandidate() local
[all …]
H A DSemaTemplateDeduction.cpp4684 ConstraintSatisfaction Satisfaction; in CheckDeducedPlaceholderConstraints() local
4701 Satisfaction)) in CheckDeducedPlaceholderConstraints()
4703 if (!Satisfaction.IsSatisfied) { in CheckDeducedPlaceholderConstraints()
4717 S.DiagnoseUnsatisfiedConstraint(Satisfaction); in CheckDeducedPlaceholderConstraints()
H A DSemaTemplateInstantiateDecl.cpp4556 ConstraintSatisfaction &Satisfaction) { in CheckInstantiatedFunctionTemplateConstraints() argument
4564 Satisfaction.IsSatisfied = true; in CheckInstantiatedFunctionTemplateConstraints()
4597 PointOfInstantiation, Satisfaction); in CheckInstantiatedFunctionTemplateConstraints()
H A DSemaExprCXX.cpp8797 ConstraintSatisfaction Satisfaction; in BuildNestedRequirement() local
8800 Constraint->getSourceRange(), Satisfaction)) in BuildNestedRequirement()
8803 Satisfaction); in BuildNestedRequirement()
H A DSemaTemplate.cpp4696 ConstraintSatisfaction Satisfaction; in CheckConceptTemplateId() local
4705 Satisfaction)) in CheckConceptTemplateId()
4712 AreArgsDependent ? nullptr : &Satisfaction); in CheckConceptTemplateId()
H A DSemaExpr.cpp280 ConstraintSatisfaction Satisfaction; in DiagnoseUseOfDecl() local
281 if (CheckFunctionConstraints(FD, Satisfaction, Loc)) in DiagnoseUseOfDecl()
285 if (!Satisfaction.IsSatisfied) { in DiagnoseUseOfDecl()
289 DiagnoseUnsatisfiedConstraint(Satisfaction); in DiagnoseUseOfDecl()
H A DSemaDeclCXX.cpp16356 ConstraintSatisfaction Satisfaction; in BuildStaticAssertDeclaration() local
16357 if (!CheckConstraintSatisfaction(InnerCond, Satisfaction)) in BuildStaticAssertDeclaration()
16358 DiagnoseUnsatisfiedConstraint(Satisfaction); in BuildStaticAssertDeclaration()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/AST/
H A DExprConcepts.h56 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()
409 const ASTConstraintSatisfaction *Satisfaction = nullptr; variable
430 const ConstraintSatisfaction &Satisfaction) : in NestedRequirement() argument
433 Satisfaction.IsSatisfied), in NestedRequirement()
435 Satisfaction(ASTConstraintSatisfaction::Create(C, Satisfaction)) {} in NestedRequirement()
[all …]
H A DASTConcept.h93 const ConstraintSatisfaction &Satisfaction);
96 Create(const ASTContext &C, const ConstraintSatisfaction &Satisfaction);
/freebsd-13.1/contrib/llvm-project/clang/lib/Serialization/
H A DASTWriterStmt.cpp401 const ASTConstraintSatisfaction &Satisfaction) { in addConstraintSatisfaction() argument
402 Record.push_back(Satisfaction.IsSatisfied); in addConstraintSatisfaction()
403 if (!Satisfaction.IsSatisfied) { in addConstraintSatisfaction()
404 Record.push_back(Satisfaction.NumRecords); in addConstraintSatisfaction()
405 for (const auto &DetailRecord : Satisfaction) { in addConstraintSatisfaction()
503 addConstraintSatisfaction(Record, *NestedReq->Satisfaction); in VisitRequiresExpr()
H A DASTReaderStmt.cpp788 ConstraintSatisfaction Satisfaction; in readConstraintSatisfaction() local
789 Satisfaction.IsSatisfied = Record.readInt(); in readConstraintSatisfaction()
790 if (!Satisfaction.IsSatisfied) { in readConstraintSatisfaction()
797 Satisfaction.Details.emplace_back( in readConstraintSatisfaction()
802 Satisfaction.Details.emplace_back(ConstraintExpr, Record.readExpr()); in readConstraintSatisfaction()
805 return Satisfaction; in readConstraintSatisfaction()
822 E->Satisfaction = E->isValueDependent() ? nullptr : in VisitConceptSpecializationExpr()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/Sema/
H A DSema.h6860 SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction);
6869 ConstraintSatisfaction &Satisfaction);
6878 ConstraintSatisfaction &Satisfaction,
6904 DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction &Satisfaction,
6910 DiagnoseUnsatisfiedConstraint(const ASTConstraintSatisfaction &Satisfaction,
9465 ConstraintSatisfaction &Satisfaction);