Searched refs:ExprRequirement (Results 1 – 17 of 17) sorted by relevance
454 concepts::ExprRequirement *Req, in diagnoseUnsatisfiedRequirement()459 case concepts::ExprRequirement::SS_Dependent: in diagnoseUnsatisfiedRequirement()462 case concepts::ExprRequirement::SS_ExprSubstitutionFailure: { in diagnoseUnsatisfiedRequirement()475 case concepts::ExprRequirement::SS_NoexceptNotMet: in diagnoseUnsatisfiedRequirement()480 case concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure: { in diagnoseUnsatisfiedRequirement()494 case concepts::ExprRequirement::SS_ConstraintsNotSatisfied: { in diagnoseUnsatisfiedRequirement()513 case concepts::ExprRequirement::SS_Satisfied: in diagnoseUnsatisfiedRequirement()650 if (auto *E = dyn_cast<concepts::ExprRequirement>(Req)) in diagnoseWellFormedUnsatisfiedConstraintExpr()1069 concepts::ExprRequirement::ExprRequirement( in ExprRequirement() function in concepts::ExprRequirement1087 concepts::ExprRequirement::ExprRequirement( in ExprRequirement() function in concepts::ExprRequirement[all …]
1166 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()1199 concepts::ExprRequirement *1200 TransformExprRequirement(concepts::ExprRequirement *Req);1944 concepts::ExprRequirement *1945 TemplateInstantiator::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement()1974 llvm::Optional<concepts::ExprRequirement::ReturnTypeRequirement> TransRetReq; in TransformExprRequirement()
8978 concepts::ExprRequirement::ReturnTypeRequirement(TPL)); in ActOnCompoundRequirement()8981 concepts::ExprRequirement *8984 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement) { in BuildExprRequirement()8985 auto Status = concepts::ExprRequirement::SS_Satisfied; in BuildExprRequirement()8988 Status = concepts::ExprRequirement::SS_Dependent; in BuildExprRequirement()8990 Status = concepts::ExprRequirement::SS_NoexceptNotMet; in BuildExprRequirement()9012 Status = concepts::ExprRequirement::SS_ExprSubstitutionFailure; in BuildExprRequirement()9017 Status = concepts::ExprRequirement::SS_ConstraintsNotSatisfied; in BuildExprRequirement()9020 return new (Context) concepts::ExprRequirement(E, IsSimple, NoexceptLoc, in BuildExprRequirement()9025 concepts::ExprRequirement *[all …]
534 concepts::ExprRequirement *535 TransformExprRequirement(concepts::ExprRequirement *Req);3465 concepts::ExprRequirement *3469 concepts::ExprRequirement::ReturnTypeRequirement Ret) { in RebuildExprRequirement()3474 concepts::ExprRequirement *3476 concepts::ExprRequirement::ReturnTypeRequirement Ret) { in RebuildExprRequirement()12606 if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { in TransformRequiresExpr()12628 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()12657 concepts::ExprRequirement *12658 TreeTransform<Derived>::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement()[all …]
5272 } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { in believe()
260 class ExprRequirement : public Requirement {349 ExprRequirement(363 ExprRequirement(SubstitutionDiagnostic *E, bool IsSimple,
241 } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) { in Visit()
478 bool TraverseConceptExprRequirement(concepts::ExprRequirement *R);549 cast<concepts::ExprRequirement>(R));598 concepts::ExprRequirement *R) {
136 concepts::ExprRequirement::ReturnTypeRequirement::getTypeConstraint() const { in getTypeConstraint()
1589 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { in VisitRequiresExpr()1599 const concepts::ExprRequirement::ReturnTypeRequirement &RetReq = in VisitRequiresExpr()
207 if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) in Visit()
388 if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) { in Visit()
2491 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { in VisitRequiresExpr()
854 static_cast<concepts::ExprRequirement::SatisfactionStatus>( in VisitRequiresExpr()858 if (Status == concepts::ExprRequirement::SS_ExprSubstitutionFailure) { in VisitRequiresExpr()863 llvm::Optional<concepts::ExprRequirement::ReturnTypeRequirement> Req; in VisitRequiresExpr()879 concepts::ExprRequirement::SS_ConstraintsNotSatisfied) in VisitRequiresExpr()891 R = new (Record.getContext()) concepts::ExprRequirement( in VisitRequiresExpr()895 R = new (Record.getContext()) concepts::ExprRequirement( in VisitRequiresExpr()
468 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(R)) { in VisitRequiresExpr()487 concepts::ExprRequirement::SS_ConstraintsNotSatisfied) in VisitRequiresExpr()
8290 concepts::ExprRequirement *8293 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement);8294 concepts::ExprRequirement *8298 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement);
1361 const ExprRequirement &ER = cast<ExprRequirement>(R); in VisitConceptRequirement()