Lines Matching refs:Sema
62 bool Sema::CheckConstraintExpression(const Expr *ConstraintExpression, in CheckConstraintExpression()
126 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr, in calculateConstraintSatisfaction()
174 S, Sema::ExpressionEvaluationContext::ConstantEvaluated); in calculateConstraintSatisfaction()
202 Sema &S, const NamedDecl *Template, ArrayRef<TemplateArgument> TemplateArgs, in calculateConstraintSatisfaction()
208 S, Sema::ExpressionEvaluationContext::ConstantEvaluated); in calculateConstraintSatisfaction()
214 Sema::InstantiatingTemplate Inst(S, AtomicExpr->getBeginLoc(), in calculateConstraintSatisfaction()
215 Sema::InstantiatingTemplate::ConstraintSubstitution{}, in calculateConstraintSatisfaction()
221 Sema::SFINAETrap Trap(S); in calculateConstraintSatisfaction()
271 static bool CheckConstraintSatisfaction(Sema &S, const NamedDecl *Template, in CheckConstraintSatisfaction()
288 Sema::InstantiatingTemplate Inst(S, TemplateIDRange.getBegin(), in CheckConstraintSatisfaction()
289 Sema::InstantiatingTemplate::ConstraintsCheck{}, in CheckConstraintSatisfaction()
312 bool Sema::CheckConstraintSatisfaction( in CheckConstraintSatisfaction()
347 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction()
357 bool Sema::CheckFunctionConstraints(const FunctionDecl *FD, in CheckFunctionConstraints()
381 bool Sema::EnsureTemplateArgumentListConstraints( in EnsureTemplateArgumentListConstraints()
407 bool Sema::CheckInstantiatedFunctionTemplateConstraints( in CheckInstantiatedFunctionTemplateConstraints()
424 Sema::ContextRAII savedContext(*this, Decl); in CheckInstantiatedFunctionTemplateConstraints()
453 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
518 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
545 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
566 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S, in diagnoseWellFormedUnsatisfiedConstraintExpr()
669 Sema &S, const Expr *E, in diagnoseUnsatisfiedConstraintExpr()
683 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction, in DiagnoseUnsatisfiedConstraint()
693 void Sema::DiagnoseUnsatisfiedConstraint( in DiagnoseUnsatisfiedConstraint()
705 Sema::getNormalizedAssociatedConstraints( in getNormalizedAssociatedConstraints()
724 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
764 Sema::InstantiatingTemplate Inst( in substituteParameterMappings()
766 Sema::InstantiatingTemplate::ParameterMappingSubstitution{}, Concept, in substituteParameterMappings()
781 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D, in fromConstraintExprs()
798 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) { in fromConstraintExpr()
819 Sema::InstantiatingTemplate Inst( in fromConstraintExpr()
821 Sema::InstantiatingTemplate::ConstraintNormalization{}, D, in fromConstraintExpr()
947 static bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P, in subsumes()
968 bool Sema::IsAtLeastAsConstrained(NamedDecl *D1, ArrayRef<const Expr *> AC1, in IsAtLeastAsConstrained()
997 bool Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(NamedDecl *D1, in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()