Cross Reference: /src/external/apache2/llvm/dist/clang/lib/Sema/SemaConcept.cpp

Lines Matching refs:Sema
14 #include "clang/Sema/SemaConcept.h"
15 #include "clang/Sema/Sema.h"
16 #include "clang/Sema/SemaInternal.h"
17 #include "clang/Sema/SemaDiagnostic.h"
18 #include "clang/Sema/TemplateDeduction.h"
19 #include "clang/Sema/Template.h"
20 #include "clang/Sema/Overload.h"
21 #include "clang/Sema/Initialization.h"
22 #include "clang/Sema/SemaInternal.h"
29 using namespace sema;
59 bool Sema::CheckConstraintExpression(const Expr *ConstraintExpression,
123 calculateConstraintSatisfaction(Sema &S, const Expr *ConstraintExpr,
171       S, Sema::ExpressionEvaluationContext::ConstantEvaluated);
199     Sema &S, const NamedDecl *Template, ArrayRef<TemplateArgument> TemplateArgs,
205             S, Sema::ExpressionEvaluationContext::ConstantEvaluated);
211           Sema::InstantiatingTemplate Inst(S, AtomicExpr->getBeginLoc(),
212               Sema::InstantiatingTemplate::ConstraintSubstitution{},
218           Sema::SFINAETrap Trap(S);
268 static bool CheckConstraintSatisfaction(Sema &S, const NamedDecl *Template,
285   Sema::InstantiatingTemplate Inst(S, TemplateIDRange.getBegin(),
286       Sema::InstantiatingTemplate::ConstraintsCheck{},
309 bool Sema::CheckConstraintSatisfaction(
350 bool Sema::CheckConstraintSatisfaction(const Expr *ConstraintExpr,
359 bool Sema::CheckFunctionConstraints(const FunctionDecl *FD,
383 bool Sema::EnsureTemplateArgumentListConstraints(
409 static void diagnoseUnsatisfiedRequirement(Sema &S,
474 static void diagnoseUnsatisfiedRequirement(Sema &S,
501 static void diagnoseUnsatisfiedRequirement(Sema &S,
522 static void diagnoseWellFormedUnsatisfiedConstraintExpr(Sema &S,
625     Sema &S, const Expr *E,
639 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction,
649 void Sema::DiagnoseUnsatisfiedConstraint(
661 Sema::getNormalizedAssociatedConstraints(
680 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N,
720   Sema::InstantiatingTemplate Inst(
722       Sema::InstantiatingTemplate::ParameterMappingSubstitution{}, Concept,
737 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D,
761 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) {
782       Sema::InstantiatingTemplate Inst(
784           Sema::InstantiatingTemplate::ConstraintNormalization{}, D,
910 static bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P,
931 bool Sema::IsAtLeastAsConstrained(NamedDecl *D1, ArrayRef<const Expr *> AC1,
960 bool Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(NamedDecl *D1,
OpenGrok
