20#include "llvm/ADT/ArrayRef.h"
31 D |= S->getDependence();
32 assert(!(D & ExprDependence::UnexpandedPack));
58 !(Dep & ExprDependence::Value)) {
64 Result.Val.isLValue()) {
65 auto *VD = Result.Val.getLValueBase().dyn_cast<
const ValueDecl *>();
66 if (VD && VD->isTemplated()) {
67 auto *VarD = dyn_cast<VarDecl>(VD);
68 if (!VarD || !VarD->hasLocalStorage())
69 Dep |= ExprDependence::Value;
87 if (ArgDeps & ExprDependence::Type)
88 Deps |= ExprDependence::Value;
92 if (ExprKind != UETT_AlignOf && ExprKind != UETT_PreferredAlignOf)
94 if ((Deps & ExprDependence::Value) && (Deps & ExprDependence::Instantiation))
99 if (
const auto *DRE = dyn_cast<DeclRefExpr>(NoParens))
101 else if (
const auto *ME = dyn_cast<MemberExpr>(NoParens))
102 D = ME->getMemberDecl();
106 if (I->isAlignmentErrorDependent())
107 Deps |= ExprDependence::Error;
108 if (I->isAlignmentDependent())
109 Deps |= ExprDependence::ValueInstantiation;
121 : ExprDependence::None);
153 cast<ExplicitCastExpr>(E)->getTypeAsWritten()->getDependence()) |
180 if (
const auto *CompoundExprResult =
183 D |= ResultExpr->getDependence();
188 D |= ExprDependence::ValueInstantiation;
204 return ExprDependence::TypeValueInstantiation |
212 std::swap(Active, Inactive);
215 return (Active & ExprDependence::TypeValue) |
216 ((Cond | Active | Inactive) & ~ExprDependence::TypeValue);
220 auto D = ExprDependence::None;
221 for (
auto *E :
P->exprs())
222 D |= E->getDependence();
235 (ExprDependence::Instantiation | ExprDependence::Error);
248 ExprDependence::Instantiation;
258 D |= ExprDependence::Instantiation;
283 auto D = ExprDependence::None;
313 assert(!(D & ExprDependence::UnexpandedPack));
320 return ExprDependence::None;
342 D |= Dim->getDependence();
351 D |= ExprDependence::Value;
358 D |= ExprDependence::ValueInstantiation;
364 ExprDependence::TypeValueInstantiation;
373 return (Resume->getDependence() &
374 (ExprDependence::TypeValue | ExprDependence::Error)) |
377 ExprDependence::TypeValueInstantiation;
382 ExprDependence::TypeValueInstantiation;
405 return ExprDependence::None;
424 D |= LB->getDependence();
426 D |= Len->getDependence();
443 if (
auto *TSI = DD->getTypeSourceInfo()) {
449 D |= BE->getDependence();
451 D |= EE->getDependence();
453 D |= SE->getDependence();
462 auto Deps = ExprDependence::None;
466 ~NestedNameSpecifierDependence::Dependent);
470 for (
auto *Arg = FirstArg, *End = FirstArg + NumArgs; Arg < End; ++Arg)
478 Deps |= ExprDependence::UnexpandedPack;
480 ExprDependence::Error;
492 return Deps | ExprDependence::TypeValueInstantiation;
494 Deps |= ExprDependence::Instantiation;
497 if (
Decl->getDeclName().getNameKind() ==
501 return Deps | ExprDependence::TypeValueInstantiation;
504 Deps |= ExprDependence::Instantiation;
522 if (isa<NonTypeTemplateParmDecl>(
Decl))
523 return Deps | ExprDependence::ValueInstantiation;
527 if (
const auto *Var = dyn_cast<VarDecl>(
Decl)) {
528 if (Var->mightBeUsableInConstantExpressions(Ctx)) {
529 if (
const Expr *Init = Var->getAnyInitializer()) {
530 if (Init->isValueDependent())
531 Deps |= ExprDependence::ValueInstantiation;
532 if (Init->containsErrors())
533 Deps |= ExprDependence::Error;
539 if (Var->isStaticDataMember() &&
540 Var->getDeclContext()->isDependentContext() &&
541 !Var->getFirstDecl()->hasInit()) {
545 Deps |= ExprDependence::TypeValueInstantiation;
546 }
else if (!
First->hasInit()) {
547 Deps |= ExprDependence::ValueInstantiation;
561 if (
auto *MD = dyn_cast<CXXMethodDecl>(
Decl)) {
563 Deps |= ExprDependence::ValueInstantiation;
577 ExprDependence::ErrorDependent;
581 D |= S->getDependence();
599 D |= A->getDependence();
601 for (
auto *A : PreArgs)
602 D |= A->getDependence();
617 if (
FieldDecl *FD = dyn_cast<FieldDecl>(MemberDecl)) {
628 if (FD && FD->isBitField() && FD->getBitWidth()->isValueDependent()) {
629 D |= ExprDependence::Type;
637 auto D = ExprDependence::None;
638 for (
auto *A : E->
inits())
639 D |= A->getDependence();
646 D |=
C->getDependence();
651 bool ContainsUnexpandedPack) {
652 auto D = ContainsUnexpandedPack ? ExprDependence::UnexpandedPack
653 : ExprDependence::None;
655 D |= AE->getDependence() & ExprDependence::Error;
664 return D | ExprDependence::TypeValueInstantiation;
672 auto DesignatorDeps = ExprDependence::None;
673 if (D.isArrayDesignator())
675 else if (D.isArrayRangeDesignator())
678 Deps |= DesignatorDeps;
679 if (DesignatorDeps & ExprDependence::TypeValue)
680 Deps |= ExprDependence::TypeValueInstantiation;
688 D |= E->getDependence();
693 auto D = ExprDependence::None;
695 D |= E->getDependence();
722 ~NestedNameSpecifierDependence::Dependent);
727 auto D = ExprDependence::None;
728 if (Name.isInstantiationDependent())
729 D |= ExprDependence::Instantiation;
730 if (Name.containsUnexpandedParameterPack())
731 D |= ExprDependence::UnexpandedPack;
737 bool KnownInstantiationDependent,
738 bool KnownContainsUnexpandedParameterPack) {
739 auto Deps = ExprDependence::None;
741 Deps |= ExprDependence::TypeValue;
742 if (KnownInstantiationDependent)
743 Deps |= ExprDependence::Instantiation;
744 if (KnownContainsUnexpandedParameterPack)
745 Deps |= ExprDependence::UnexpandedPack;
749 ~NestedNameSpecifierDependence::Dependent);
750 for (
auto *D : E->
decls()) {
751 if (D->getDeclContext()->isDependentContext() ||
752 isa<UnresolvedUsingValueDecl>(D))
753 Deps |= ExprDependence::TypeValueInstantiation;
764 auto D = ExprDependence::TypeValue;
797 bool ContainsUnexpandedParameterPack) {
799 if (ContainsUnexpandedParameterPack)
800 D |= ExprDependence::UnexpandedPack;
805 auto D = ExprDependence::ValueInstantiation;
809 D |= A->getDependence() &
810 (ExprDependence::UnexpandedPack | ExprDependence::Error);
815 auto D = ExprDependence::TypeValueInstantiation;
831 auto D = ExprDependence::TypeValueInstantiation;
840 auto D = ExprDependence::None;
842 D |= A->getDependence();
847 auto D = ExprDependence::None;
848 for (
const auto *A : E->
getArgs())
855 bool ValueDependent) {
856 auto TA = TemplateArgumentDependence::None;
857 const auto InterestingDeps = TemplateArgumentDependence::Instantiation |
858 TemplateArgumentDependence::UnexpandedPack;
861 TA |= ArgLoc.getArgument().getDependence() & InterestingDeps;
862 if (TA == InterestingDeps)
867 ValueDependent ? ExprDependence::Value : ExprDependence::None;
870 Res |= ExprDependence::Error;
875 auto D = ExprDependence::None;
883 auto Deps = ExprDependence::None;
887 KV.Value->getDependence());
888 if (KV.EllipsisLoc.isValid())
896 auto D = ExprDependence::None;
898 D |= R->getDependence();
902 D |= A->getDependence();
static ExprDependence getDependenceInExpr(DeclarationNameInfo Name)
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the ExceptionSpecificationType enumeration and various utility functions.
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines Expressions and AST nodes for C++2a concepts.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
const LangOptions & getLangOpts() const
Represents a loop initializing the elements of an array.
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
QualType getQueriedType() const
Expr * getDimensionExpression() const
AsTypeExpr - Clang builtin function __builtin_astype [OpenCL 6.2.4.2] This AST node provides support ...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
static unsigned getNumSubExprs(AtomicOp Op)
Determine the number of arguments the specified atomic builtin should have.
BinaryConditionalOperator - The GNU extension to the conditional operator which allows the middle ope...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression which will be evaluated if the condnition evaluates to false;...
Expr * getCommon() const
getCommon - Return the common expression, written to the left of the condition.
A builtin binary operation expression such as "x + y" or "x <= y".
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
const BlockDecl * getBlockDecl() const
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
Represents a call to a C++ constructor.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
Represents a C++ member access expression where the actual member referenced could not be resolved be...
const DeclarationNameInfo & getMemberNameInfo() const
Retrieve the name of the member that this expression refers to.
NestedNameSpecifier * getQualifier() const
Retrieve the nested-name-specifier that qualifies the member name.
Expr * getBase() const
Retrieve the base object of this member expressions, e.g., the x in x.m.
bool isImplicitAccess() const
True if this is an implicit access, i.e.
ArrayRef< TemplateArgumentLoc > template_arguments() const
Represents a folding of a pack over an operator.
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
llvm::iterator_range< arg_iterator > placement_arguments()
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
TypeSourceInfo * getAllocatedTypeSourceInfo() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
Expr * getOperand() const
Represents a list-initialization with parenthesis.
ArrayRef< Expr * > getInitExprs()
Represents a C++ pseudo-destructor (C++ [expr.pseudo]).
TypeSourceInfo * getDestroyedTypeInfo() const
Retrieve the source location information for the type being destroyed.
TypeSourceInfo * getScopeTypeInfo() const
Retrieve the scope type in a qualified pseudo-destructor expression.
NestedNameSpecifier * getQualifier() const
If the member name was qualified, retrieves the nested-name-specifier that precedes the member name.
Represents a C++ struct/union/class.
bool isCurrentInstantiation(const DeclContext *CurContext) const
Determine whether this dependent class is a current instantiation, when viewed from within the given ...
A rewritten comparison expression that was originally written using operator syntax.
Expr * getSemanticForm()
Get an equivalent semantic form for this expression.
An expression "T()" which creates a value-initialized rvalue of type T, which is a non-class type.
TypeSourceInfo * getTypeSourceInfo() const
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents a C++ functional cast expression that builds a temporary object.
TypeSourceInfo * getTypeSourceInfo() const
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
const Expr * getSubExpr() const
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
TypeSourceInfo * getTypeOperandSourceInfo() const
Retrieve source information for the type operand.
Expr * getExprOperand() const
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
QualType getTypeAsWritten() const
Retrieve the type that is being constructed, as specified in the source code.
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
Expr * getExprOperand() const
bool isTypeOperand() const
TypeSourceInfo * getTypeOperandSourceInfo() const
Retrieve source information for the type operand.
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this call.
Expr ** getArgs()
Retrieve the call arguments.
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
bool isConditionDependent() const
bool isConditionTrue() const
isConditionTrue - Return whether the condition is true (i.e.
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
TypeSourceInfo * getTypeSourceInfo() const
Stmt * getStmtExprResult()
const ASTTemplateArgumentListInfo * getTemplateArgsAsWritten() const
Represents the specialization of a concept - evaluates to a prvalue of type bool.
const ASTConstraintSatisfaction & getSatisfaction() const
Get elaborated satisfaction info about the template arguments' satisfaction of the named concept.
ConditionalOperator - The ?: ternary operator.
Expr * getCond() const
getCond - Return the expression representing the condition for the ?: operator.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
TypeSourceInfo * getTypeSourceInfo() const
getTypeSourceInfo - Return the destination type.
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
Represents an expression that might suspend coroutine execution; either a co_await or co_yield expres...
Expr * getResumeExpr() const
Expr * getCommonExpr() const
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
bool isDependentContext() const
Determines whether this context is dependent on a template parameter.
A reference to a declared variable, function, enum, etc.
unsigned getNumTemplateArgs() const
Retrieve the number of template arguments provided as part of this template-id.
const TemplateArgumentLoc * getTemplateArgs() const
Retrieve the template arguments provided as part of this template-id.
NestedNameSpecifier * getQualifier() const
If the name was qualified, retrieves the nested-name-specifier that precedes the name.
Decl - This represents one declaration (or definition), e.g.
bool isParameterPack() const
Whether this declaration is a parameter pack.
llvm::iterator_range< specific_attr_iterator< T > > specific_attrs() const
DeclContext * getDeclContext()
@ CXXConversionFunctionName
Represents a 'co_await' expression while the type of the promise is dependent.
Expr * getOperand() const
A qualified reference to a name whose declaration cannot yet be resolved.
ArrayRef< TemplateArgumentLoc > template_arguments() const
NestedNameSpecifier * getQualifier() const
Retrieve the nested-name-specifier that qualifies this declaration.
const DeclarationNameInfo & getNameInfo() const
Retrieve the name that this expression refers to.
Represents a C99 designated initializer expression.
Expr * getArrayRangeEnd(const Designator &D) const
llvm::MutableArrayRef< Designator > designators()
Expr * getArrayRangeStart(const Designator &D) const
Expr * getArrayIndex(const Designator &D) const
Expr * getInit() const
Retrieve the initializer value.
ExplicitCastExpr - An explicit cast written in the source code.
This represents one expression.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool EvaluateAsConstantExpr(EvalResult &Result, const ASTContext &Ctx, ConstantExprKind Kind=ConstantExprKind::Normal) const
Evaluate an expression that is required to be a constant expression.
ExprDependence getDependence() const
An expression trait intrinsic.
Expr * getQueriedExpression() const
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
const Expr * getBase() const
Represents a member of a struct/union/class.
FullExpr - Represents a "full-expression" node.
const Expr * getSubExpr() const
Represents a C11 generic selection.
TypeSourceInfo * getControllingType()
Return the controlling type of this generic selection expression.
ArrayRef< Expr * > getAssocExprs() const
bool isExprPredicate() const
Whether this generic selection uses an expression as its controlling argument.
Expr * getResultExpr()
Return the result expression of this controlling expression.
bool isResultDependent() const
Whether this generic selection is result-dependent.
Expr * getControllingExpr()
Return the controlling expression of this generic selection expression.
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Represents an implicitly-generated value initialization of an object of a given type.
Describes an C or C++ initializer list.
ArrayRef< Expr * > inits()
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
A member reference to an MSPropertyDecl.
Expr * getBaseExpr() const
MS property subscript expression.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
Expr * getSubExpr() const
Retrieve the temporary-generating subexpression whose value will be materialized into a glvalue.
MatrixSubscriptExpr - Matrix subscript expression for the MatrixType extension.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
Represents a place-holder for an object not to be initialized by anything.
OpenMP 5.0 [2.1.5, Array Sections].
Expr * getLength()
Get length of array section.
Expr * getBase()
An array section can be written only as Base[LowerBound:Length].
Expr * getLowerBound()
Get lower bound of array section.
An explicit cast in C or a C-style cast in C++, which uses the syntax ([s1][s2]......
Expr * getBase()
Fetches base expression of array shaping expression.
ArrayRef< Expr * > getDimensions() const
Fetches the dimensions for array shaping expression.
OpenMP 5.0 [2.1.6 Iterators] Iterators are identifiers that expand to multiple values in the clause o...
IteratorRange getIteratorRange(unsigned I)
Gets the iterator range for the given iterator.
unsigned numOfIterators() const
Returns number of iterator definitions.
Decl * getIteratorDecl(unsigned I)
Gets the iterator declaration for the given iterator.
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
Expr ** getElements()
Retrieve elements of array of literals.
unsigned getNumElements() const
getNumElements - Return number of elements of objective-c array literal.
ObjCBoxedExpr - used for generalized expression boxing.
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
unsigned getNumElements() const
getNumElements - Return number of elements of objective-c dictionary literal.
ObjCDictionaryElement getKeyValueElement(unsigned Index) const
ObjCEncodeExpr, used for @encode in Objective-C.
QualType getEncodedType() const
ObjCIndirectCopyRestoreExpr - Represents the passing of a function argument by indirect copy-restore ...
ObjCIsaExpr - Represent X->isa and X.isa when X is an ObjC 'id' type.
ObjCIvarRefExpr - A reference to an ObjC instance variable.
const Expr * getBase() const
An expression that sends a message to the given Objective-C object or class.
Expr * getInstanceReceiver()
Returns the object expression (receiver) for an instance message, or null for a message that is not a...
llvm::iterator_range< arg_iterator > arguments()
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
const Expr * getBase() const
bool isObjectReceiver() const
QualType getSuperReceiverType() const
bool isClassReceiver() const
bool isSuperReceiver() const
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
Expr * getKeyExpr() const
Expr * getBaseExpr() const
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Expr * getIndexExpr(unsigned Idx)
TypeSourceInfo * getTypeSourceInfo() const
unsigned getNumExpressions() const
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Expr * getSourceExpr() const
The source expression of an opaque value expression is the expression which originally generated the ...
A reference to an overloaded function set, either an UnresolvedLookupExpr or an UnresolvedMemberExpr.
NestedNameSpecifier * getQualifier() const
Fetches the nested-name qualifier, if one was given.
const DeclarationNameInfo & getNameInfo() const
Gets the full name info.
llvm::iterator_range< decls_iterator > decls() const
ArrayRef< TemplateArgumentLoc > template_arguments() const
Represents a C++11 pack expansion that produces a sequence of expressions.
Expr * getPattern()
Retrieve the pattern of the pack expansion.
ParenExpr - This represents a parethesized expression, e.g.
const Expr * getSubExpr() const
[C99 6.4.2.2] - A predefined identifier such as func.
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
llvm::iterator_range< semantics_iterator > semantics()
Expr * getSyntacticForm()
Return the syntactic form of this expression, i.e.
A (possibly-)qualified type.
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
ArrayRef< Expr * > subExpressions()
TypeSourceInfo * getTypeSourceInfo()
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
Expr ** getSubExprs()
Retrieve the array of expressions.
unsigned getNumSubExprs() const
getNumSubExprs - Return the size of the SubExprs array.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
CompoundStmt * getSubStmt()
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Expr * getReplacement() const
Location wrapper for a TemplateArgument.
A container of type source information.
QualType getType() const
Return the type wrapped by this type source info.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
ArrayRef< TypeSourceInfo * > getArgs() const
Retrieve the argument types.
The base class of the type hierarchy.
bool isIncompleteArrayType() const
bool isInstantiationDependentType() const
Determine whether this type is an instantiation-dependent type, meaning that the type involves a temp...
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
TypeDependence getDependence() const
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
QualType getArgumentType() const
bool isArgumentType() const
UnaryExprOrTypeTrait getKind() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Expr * getSubExpr() const
Represents a call to the builtin function __builtin_va_arg.
TypeSourceInfo * getWrittenTypeInfo() const
const Expr * getSubExpr() const
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
const Expr * getExprStmt() const
Represents a variable declaration or definition.
ExprDependence toExprDependence(TemplateArgumentDependence TA)
Computes dependencies of a reference with the name having template arguments with TA dependencies.
CanThrowResult
Possible results from evaluation of a noexcept expression.
ExprDependence turnTypeToValueDependence(ExprDependence D)
ExprDependence toExprDependenceAsWritten(TypeDependence D)
ExprDependence computeDependence(FullExpr *E)
ExprDependence turnValueToTypeDependence(ExprDependence D)
@ C
Languages that the frontend can parse and compile.
ExprDependence toExprDependenceForImpliedType(TypeDependence D)
llvm::ArrayRef< TemplateArgumentLoc > arguments() const
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
EvalResult is a struct with detailed info about an evaluated expression.
Iterator range representation begin:end[:step].