Lines Matching refs:Sema
69 ExprResult recreateBinOp(Sema &SemaRef, ExprResult LHS) const { in recreateBinOp()
73 ExprResult recreateBinOp(Sema &SemaRef, ExprResult LHS, in recreateBinOp()
91 bool Sema::CheckConstraintExpression(const Expr *ConstraintExpression, in CheckConstraintExpression()
163 Sema &SemaRef;
165 SatisfactionStackRAII(Sema &SemaRef, const NamedDecl *ND, in SatisfactionStackRAII()
182 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr, in calculateConstraintSatisfaction()
284 S, Sema::ExpressionEvaluationContext::ConstantEvaluated); in calculateConstraintSatisfaction()
312 DiagRecursiveConstraintEval(Sema &S, llvm::FoldingSetNodeID &ID, in DiagRecursiveConstraintEval()
336 Sema &S, const NamedDecl *Template, SourceLocation TemplateNameLoc, in calculateConstraintSatisfaction()
342 S, Sema::ExpressionEvaluationContext::ConstantEvaluated, in calculateConstraintSatisfaction()
343 Sema::ReuseLambdaContextDecl); in calculateConstraintSatisfaction()
349 Sema::InstantiatingTemplate Inst(S, AtomicExpr->getBeginLoc(), in calculateConstraintSatisfaction()
350 Sema::InstantiatingTemplate::ConstraintSubstitution{}, in calculateConstraintSatisfaction()
367 Sema::SFINAETrap Trap(S); in calculateConstraintSatisfaction()
428 Sema &S, const NamedDecl *Template, ArrayRef<const Expr *> ConstraintExprs, in CheckConstraintSatisfaction()
447 Sema::InstantiatingTemplate Inst(S, TemplateIDRange.getBegin(), in CheckConstraintSatisfaction()
448 Sema::InstantiatingTemplate::ConstraintsCheck{}, in CheckConstraintSatisfaction()
475 bool Sema::CheckConstraintSatisfaction( in CheckConstraintSatisfaction()
538 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction()
550 bool Sema::addInstantiatedCapturesToScope( in addInstantiatedCapturesToScope()
587 bool Sema::SetupConstraintScope( in SetupConstraintScope()
594 Sema::InstantiatingTemplate::ConstraintsCheck{}, PrimaryTemplate, in SetupConstraintScope()
638 Sema::InstantiatingTemplate::ConstraintsCheck{}, InstantiatedFrom, in SetupConstraintScope()
656 Sema::SetupConstraintCheckingTemplateArgumentsAndScope( in SetupConstraintCheckingTemplateArgumentsAndScope()
675 bool Sema::CheckFunctionConstraints(const FunctionDecl *FD, in CheckFunctionConstraints()
740 CalculateTemplateDepthForConstraints(Sema &S, const NamedDecl *ND, in CalculateTemplateDepthForConstraints()
755 AdjustConstraintDepth(Sema &SemaRef, unsigned TemplateDepth) in AdjustConstraintDepth()
779 Sema &S, const Sema::TemplateCompareNewDeclInfo &DeclInfo, in SubstituteConstraintExpressionWithoutSatisfaction()
791 Sema::SFINAETrap SFINAE(S, /*AccessCheckingSFINAE=*/false); in SubstituteConstraintExpressionWithoutSatisfaction()
793 Sema::InstantiatingTemplate Inst( in SubstituteConstraintExpressionWithoutSatisfaction()
795 Sema::InstantiatingTemplate::ConstraintNormalization{}, in SubstituteConstraintExpressionWithoutSatisfaction()
800 std::optional<Sema::CXXThisScopeRAII> ThisScope; in SubstituteConstraintExpressionWithoutSatisfaction()
810 bool Sema::AreConstraintExpressionsEqual(const NamedDecl *Old, in AreConstraintExpressionsEqual()
839 bool Sema::FriendConstraintsDependOnEnclosingTemplate(const FunctionDecl *FD) { in FriendConstraintsDependOnEnclosingTemplate()
860 bool Sema::EnsureTemplateArgumentListConstraints( in EnsureTemplateArgumentListConstraints()
887 bool Sema::CheckInstantiatedFunctionTemplateConstraints( in CheckInstantiatedFunctionTemplateConstraints()
904 Sema::ContextRAII savedContext(*this, Decl); in CheckInstantiatedFunctionTemplateConstraints()
930 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
995 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
1021 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S,
1025 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
1040 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S, in diagnoseWellFormedUnsatisfiedConstraintExpr()
1144 Sema &S, const Expr *E, in diagnoseUnsatisfiedConstraintExpr()
1158 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction, in DiagnoseUnsatisfiedConstraint()
1168 void Sema::DiagnoseUnsatisfiedConstraint( in DiagnoseUnsatisfiedConstraint()
1180 Sema::getNormalizedAssociatedConstraints( in getNormalizedAssociatedConstraints()
1205 substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
1244 Sema::InstantiatingTemplate Inst( in substituteParameterMappings()
1246 Sema::InstantiatingTemplate::ParameterMappingSubstitution{}, Concept, in substituteParameterMappings()
1259 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
1275 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D, in fromConstraintExprs()
1292 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) { in fromConstraintExpr()
1319 Sema::InstantiatingTemplate Inst( in fromConstraintExpr()
1321 Sema::InstantiatingTemplate::ConstraintNormalization{}, D, in fromConstraintExpr()
1445 static bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P, in subsumes()
1466 bool Sema::IsAtLeastAsConstrained(NamedDecl *D1, in IsAtLeastAsConstrained()
1527 bool Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(NamedDecl *D1, in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()