Lines Matching refs:Sema
64 bool Sema::CheckConstraintExpression(const Expr *ConstraintExpression, in CheckConstraintExpression()
128 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr, in calculateConstraintSatisfaction()
176 S, Sema::ExpressionEvaluationContext::ConstantEvaluated); in calculateConstraintSatisfaction()
204 Sema &S, const NamedDecl *Template, ArrayRef<TemplateArgument> TemplateArgs, in calculateConstraintSatisfaction()
210 S, Sema::ExpressionEvaluationContext::ConstantEvaluated); in calculateConstraintSatisfaction()
216 Sema::InstantiatingTemplate Inst(S, AtomicExpr->getBeginLoc(), in calculateConstraintSatisfaction()
217 Sema::InstantiatingTemplate::ConstraintSubstitution{}, in calculateConstraintSatisfaction()
223 Sema::SFINAETrap Trap(S); in calculateConstraintSatisfaction()
273 static bool CheckConstraintSatisfaction(Sema &S, const NamedDecl *Template, in CheckConstraintSatisfaction()
290 Sema::InstantiatingTemplate Inst(S, TemplateIDRange.getBegin(), in CheckConstraintSatisfaction()
291 Sema::InstantiatingTemplate::ConstraintsCheck{}, in CheckConstraintSatisfaction()
314 bool Sema::CheckConstraintSatisfaction( in CheckConstraintSatisfaction()
355 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction()
364 bool Sema::CheckFunctionConstraints(const FunctionDecl *FD, in CheckFunctionConstraints()
388 bool Sema::EnsureTemplateArgumentListConstraints( in EnsureTemplateArgumentListConstraints()
414 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
479 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
506 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
527 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S, in diagnoseWellFormedUnsatisfiedConstraintExpr()
630 Sema &S, const Expr *E, in diagnoseUnsatisfiedConstraintExpr()
644 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction, in DiagnoseUnsatisfiedConstraint()
654 void Sema::DiagnoseUnsatisfiedConstraint( in DiagnoseUnsatisfiedConstraint()
666 Sema::getNormalizedAssociatedConstraints( in getNormalizedAssociatedConstraints()
685 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
725 Sema::InstantiatingTemplate Inst( in substituteParameterMappings()
727 Sema::InstantiatingTemplate::ParameterMappingSubstitution{}, Concept, in substituteParameterMappings()
742 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D, in fromConstraintExprs()
759 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) { in fromConstraintExpr()
780 Sema::InstantiatingTemplate Inst( in fromConstraintExpr()
782 Sema::InstantiatingTemplate::ConstraintNormalization{}, D, in fromConstraintExpr()
908 static bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P, in subsumes()
929 bool Sema::IsAtLeastAsConstrained(NamedDecl *D1, ArrayRef<const Expr *> AC1, in IsAtLeastAsConstrained()
958 bool Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(NamedDecl *D1, in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()