Searched refs:ExprRequirement (Results 1 – 13 of 13) sorted by relevance
410 concepts::ExprRequirement *Req, in diagnoseUnsatisfiedRequirement()415 case concepts::ExprRequirement::SS_Dependent: in diagnoseUnsatisfiedRequirement()418 case concepts::ExprRequirement::SS_ExprSubstitutionFailure: { in diagnoseUnsatisfiedRequirement()431 case concepts::ExprRequirement::SS_NoexceptNotMet: in diagnoseUnsatisfiedRequirement()436 case concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure: { in diagnoseUnsatisfiedRequirement()450 case concepts::ExprRequirement::SS_ConstraintsNotSatisfied: { in diagnoseUnsatisfiedRequirement()469 case concepts::ExprRequirement::SS_Satisfied: in diagnoseUnsatisfiedRequirement()606 if (auto *E = dyn_cast<concepts::ExprRequirement>(Req)) in diagnoseWellFormedUnsatisfiedConstraintExpr()1032 concepts::ExprRequirement::ExprRequirement( in ExprRequirement() function in concepts::ExprRequirement1050 concepts::ExprRequirement::ExprRequirement( in ExprRequirement() function in concepts::ExprRequirement[all …]
1150 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()1183 concepts::ExprRequirement *1184 TransformExprRequirement(concepts::ExprRequirement *Req);1931 concepts::ExprRequirement *1932 TemplateInstantiator::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement()1960 llvm::Optional<concepts::ExprRequirement::ReturnTypeRequirement> TransRetReq; in TransformExprRequirement()
8645 concepts::ExprRequirement::ReturnTypeRequirement(TPL)); in ActOnCompoundRequirement()8648 concepts::ExprRequirement *8651 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement) { in BuildExprRequirement()8652 auto Status = concepts::ExprRequirement::SS_Satisfied; in BuildExprRequirement()8655 Status = concepts::ExprRequirement::SS_Dependent; in BuildExprRequirement()8657 Status = concepts::ExprRequirement::SS_NoexceptNotMet; in BuildExprRequirement()8659 Status = concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure; in BuildExprRequirement()8685 Status = concepts::ExprRequirement::SS_ConstraintsNotSatisfied; in BuildExprRequirement()8687 return new (Context) concepts::ExprRequirement(E, IsSimple, NoexceptLoc, in BuildExprRequirement()8692 concepts::ExprRequirement *[all …]
534 concepts::ExprRequirement *535 TransformExprRequirement(concepts::ExprRequirement *Req);3381 concepts::ExprRequirement *3385 concepts::ExprRequirement::ReturnTypeRequirement Ret) { in RebuildExprRequirement()3390 concepts::ExprRequirement *3392 concepts::ExprRequirement::ReturnTypeRequirement Ret) { in RebuildExprRequirement()12246 if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { in TransformRequiresExpr()12268 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()12297 concepts::ExprRequirement *12298 TreeTransform<Derived>::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement()[all …]
4998 } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { in believe()
258 class ExprRequirement : public Requirement {347 ExprRequirement(361 ExprRequirement(SubstitutionDiagnostic *E, bool IsSimple,
2766 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) {
136 concepts::ExprRequirement::ReturnTypeRequirement::getTypeConstraint() const { in getTypeConstraint()
1497 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { in VisitRequiresExpr()1507 const concepts::ExprRequirement::ReturnTypeRequirement &RetReq = in VisitRequiresExpr()
2318 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { in VisitRequiresExpr()
859 static_cast<concepts::ExprRequirement::SatisfactionStatus>( in VisitRequiresExpr()863 if (Status == concepts::ExprRequirement::SS_ExprSubstitutionFailure) { in VisitRequiresExpr()868 llvm::Optional<concepts::ExprRequirement::ReturnTypeRequirement> Req; in VisitRequiresExpr()884 concepts::ExprRequirement::SS_ConstraintsNotSatisfied) in VisitRequiresExpr()896 R = new (Record.getContext()) concepts::ExprRequirement( in VisitRequiresExpr()900 R = new (Record.getContext()) concepts::ExprRequirement( in VisitRequiresExpr()
466 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(R)) { in VisitRequiresExpr()485 concepts::ExprRequirement::SS_ConstraintsNotSatisfied) in VisitRequiresExpr()
7917 concepts::ExprRequirement *7920 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement);7921 concepts::ExprRequirement *7925 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement);