Lines Matching refs:Sema
70 ExprResult recreateBinOp(Sema &SemaRef, ExprResult LHS) const { in recreateBinOp()
74 ExprResult recreateBinOp(Sema &SemaRef, ExprResult LHS, in recreateBinOp()
92 bool Sema::CheckConstraintExpression(const Expr *ConstraintExpression, in CheckConstraintExpression()
164 Sema &SemaRef;
166 SatisfactionStackRAII(Sema &SemaRef, const NamedDecl *ND, in SatisfactionStackRAII()
183 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,
189 calculateConstraintSatisfaction(Sema &S, const Expr *LHS, in calculateConstraintSatisfaction()
254 calculateConstraintSatisfaction(Sema &S, const CXXFoldExpr *FE, in calculateConstraintSatisfaction()
279 Sema::ArgumentPackSubstitutionIndexRAII SubstIndex(S, I); in calculateConstraintSatisfaction()
326 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr, in calculateConstraintSatisfaction()
384 S, Sema::ExpressionEvaluationContext::ConstantEvaluated); in calculateConstraintSatisfaction()
411 DiagRecursiveConstraintEval(Sema &S, llvm::FoldingSetNodeID &ID, in DiagRecursiveConstraintEval()
435 Sema &S, const NamedDecl *Template, SourceLocation TemplateNameLoc, in calculateConstraintSatisfaction()
440 Sema &S; in calculateConstraintSatisfaction()
448 S, Sema::ExpressionEvaluationContext::ConstantEvaluated, in calculateConstraintSatisfaction()
449 Sema::ReuseLambdaContextDecl); in calculateConstraintSatisfaction()
455 Sema::InstantiatingTemplate Inst( in calculateConstraintSatisfaction()
457 Sema::InstantiatingTemplate::ConstraintSubstitution{}, in calculateConstraintSatisfaction()
474 Sema::SFINAETrap Trap(S); in calculateConstraintSatisfaction()
536 Sema::SFINAETrap Trap(S); in calculateConstraintSatisfaction()
571 Sema &S, const NamedDecl *Template, ArrayRef<const Expr *> ConstraintExprs, in CheckConstraintSatisfaction()
590 Sema::InstantiatingTemplate Inst(S, TemplateIDRange.getBegin(), in CheckConstraintSatisfaction()
591 Sema::InstantiatingTemplate::ConstraintsCheck{}, in CheckConstraintSatisfaction()
618 bool Sema::CheckConstraintSatisfaction( in CheckConstraintSatisfaction()
687 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr, in CheckConstraintSatisfaction()
691 Sema &S; in CheckConstraintSatisfaction()
707 bool Sema::addInstantiatedCapturesToScope( in addInstantiatedCapturesToScope()
744 bool Sema::SetupConstraintScope( in SetupConstraintScope()
752 Sema::InstantiatingTemplate::ConstraintsCheck{}, PrimaryTemplate, in SetupConstraintScope()
798 Sema::InstantiatingTemplate::ConstraintsCheck{}, InstantiatedFrom, in SetupConstraintScope()
816 Sema::SetupConstraintCheckingTemplateArgumentsAndScope( in SetupConstraintCheckingTemplateArgumentsAndScope()
836 bool Sema::CheckFunctionConstraints(const FunctionDecl *FD, in CheckFunctionConstraints()
905 CalculateTemplateDepthForConstraints(Sema &S, const NamedDecl *ND, in CalculateTemplateDepthForConstraints()
921 AdjustConstraintDepth(Sema &SemaRef, unsigned TemplateDepth) in AdjustConstraintDepth()
945 Sema &S, const Sema::TemplateCompareNewDeclInfo &DeclInfo, in SubstituteConstraintExpressionWithoutSatisfaction()
957 Sema::SFINAETrap SFINAE(S, /*AccessCheckingSFINAE=*/false); in SubstituteConstraintExpressionWithoutSatisfaction()
959 Sema::InstantiatingTemplate Inst( in SubstituteConstraintExpressionWithoutSatisfaction()
961 Sema::InstantiatingTemplate::ConstraintNormalization{}, in SubstituteConstraintExpressionWithoutSatisfaction()
997 std::optional<Sema::CXXThisScopeRAII> ThisScope; in SubstituteConstraintExpressionWithoutSatisfaction()
1006 std::optional<Sema::ContextRAII> ContextScope; in SubstituteConstraintExpressionWithoutSatisfaction()
1019 bool Sema::AreConstraintExpressionsEqual(const NamedDecl *Old, in AreConstraintExpressionsEqual()
1048 bool Sema::FriendConstraintsDependOnEnclosingTemplate(const FunctionDecl *FD) { in FriendConstraintsDependOnEnclosingTemplate()
1069 bool Sema::EnsureTemplateArgumentListConstraints( in EnsureTemplateArgumentListConstraints()
1096 bool Sema::CheckInstantiatedFunctionTemplateConstraints( in CheckInstantiatedFunctionTemplateConstraints()
1113 Sema::ContextRAII savedContext(*this, Decl); in CheckInstantiatedFunctionTemplateConstraints()
1139 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
1204 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
1230 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S,
1234 static void diagnoseUnsatisfiedRequirement(Sema &S, in diagnoseUnsatisfiedRequirement()
1250 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S, in diagnoseWellFormedUnsatisfiedConstraintExpr()
1361 Sema &S, const llvm::PointerUnion<Expr *, SubstitutionDiagnostic *> &Record, in diagnoseUnsatisfiedConstraintExpr()
1374 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction, in DiagnoseUnsatisfiedConstraint()
1384 void Sema::DiagnoseUnsatisfiedConstraint( in DiagnoseUnsatisfiedConstraint()
1396 Sema::getNormalizedAssociatedConstraints( in getNormalizedAssociatedConstraints()
1421 Sema &S, NamedDecl *ConstrainedDecl, in getNormalizedAssociatedConstraints()
1428 substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
1442 Sema::ArgumentPackSubstitutionIndexRAII _(S, -1); in substituteParameterMappings()
1484 Sema::InstantiatingTemplate Inst( in substituteParameterMappings()
1486 Sema::InstantiatingTemplate::ParameterMappingSubstitution{}, Concept, in substituteParameterMappings()
1501 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
1551 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D, in fromConstraintExprs()
1568 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) { in fromConstraintExpr()
1595 Sema::InstantiatingTemplate Inst( in fromConstraintExpr()
1597 Sema::InstantiatingTemplate::ConstraintNormalization{}, D, in fromConstraintExpr()
1672 Sema::collectUnexpandedParameterPacks(const_cast<Expr *>(A.Pattern), APacks); in AreCompatibleForSubsumption()
1673 Sema::collectUnexpandedParameterPacks(const_cast<Expr *>(B.Pattern), BPacks); in AreCompatibleForSubsumption()
1751 bool Sema::IsAtLeastAsConstrained(NamedDecl *D1, in IsAtLeastAsConstrained()
1813 bool Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(NamedDecl *D1, in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()