clang 18.0.0git
|
Data structure used to record current or nested expression evaluation contexts. More...
#include "clang/Sema/Sema.h"
Classes | |
struct | InitializationContext |
Public Types | |
enum | ExpressionKind { EK_Decltype , EK_TemplateArgument , EK_Other } |
Describes whether we are in an expression constext which we have to handle differently. More... | |
Public Member Functions | |
ExpressionEvaluationContextRecord (ExpressionEvaluationContext Context, unsigned NumCleanupObjects, CleanupInfo ParentCleanup, Decl *ManglingContextDecl, ExpressionKind ExprContext) | |
bool | isUnevaluated () const |
bool | isConstantEvaluated () const |
bool | isImmediateFunctionContext () const |
bool | isDiscardedStatementContext () const |
Public Attributes | |
ExpressionEvaluationContext | Context |
The expression evaluation context. | |
CleanupInfo | ParentCleanup |
Whether the enclosing context needed a cleanup. | |
unsigned | NumCleanupObjects |
The number of active cleanup objects when we entered this expression evaluation context. | |
unsigned | NumTypos |
The number of typos encountered during this expression evaluation context (i.e. | |
MaybeODRUseExprSet | SavedMaybeODRUseExprs |
SmallVector< LambdaExpr *, 2 > | Lambdas |
The lambdas that are present within this context, if it is indeed an unevaluated context. | |
Decl * | ManglingContextDecl |
The declaration that provides context for lambda expressions and block literals if the normal declaration context does not suffice, e.g., in a default function argument. | |
SmallVector< CallExpr *, 8 > | DelayedDecltypeCalls |
If we are processing a decltype type, a set of call expressions for which we have deferred checking the completeness of the return type. | |
SmallVector< CXXBindTemporaryExpr *, 8 > | DelayedDecltypeBinds |
If we are processing a decltype type, a set of temporary binding expressions for which we have deferred checking the destructor. | |
llvm::SmallPtrSet< const Expr *, 8 > | PossibleDerefs |
SmallVector< Expr *, 2 > | VolatileAssignmentLHSs |
Expressions appearing as the LHS of a volatile assignment in this context. | |
llvm::SmallVector< ImmediateInvocationCandidate, 4 > | ImmediateInvocationCandidates |
Set of candidates for starting an immediate invocation. | |
llvm::SmallPtrSet< DeclRefExpr *, 4 > | ReferenceToConsteval |
Set of DeclRefExprs referencing a consteval function when used in a context not already known to be immediately invoked. | |
enum clang::Sema::ExpressionEvaluationContextRecord::ExpressionKind | ExprContext |
bool | InDiscardedStatement |
bool | InImmediateFunctionContext |
bool | InImmediateEscalatingFunctionContext |
bool | IsCurrentlyCheckingDefaultArgumentOrInitializer = false |
bool | InConditionallyConstantEvaluateContext = false |
std::optional< InitializationContext > | DelayedDefaultInitializationContext |
Data structure used to record current or nested expression evaluation contexts.
|
inline |
|
inline |
Definition at line 1394 of file Sema.h.
References clang::Sema::ConstantEvaluated, Context, and clang::Sema::ImmediateFunctionContext.
Referenced by clang::Sema::isAlwaysConstantEvaluatedContext(), clang::Sema::isConstantEvaluatedContext(), and clang::Sema::PopExpressionEvaluationContext().
|
inline |
Definition at line 1414 of file Sema.h.
References Context, clang::Sema::DiscardedStatement, clang::Sema::ImmediateFunctionContext, and InDiscardedStatement.
|
inline |
Definition at line 1399 of file Sema.h.
References Context, clang::Sema::DiscardedStatement, clang::Sema::ImmediateFunctionContext, InImmediateFunctionContext, and clang::Sema::PotentiallyEvaluated.
Referenced by clang::Sema::isImmediateFunctionContext().
|
inline |
Definition at line 1388 of file Sema.h.
References Context, clang::Sema::Unevaluated, clang::Sema::UnevaluatedAbstract, and clang::Sema::UnevaluatedList.
Referenced by clang::Sema::isUnevaluatedContext(), and clang::Sema::PopExpressionEvaluationContext().
ExpressionEvaluationContext clang::Sema::ExpressionEvaluationContextRecord::Context |
The expression evaluation context.
Definition at line 1295 of file Sema.h.
Referenced by HandleImmediateInvocations(), clang::Sema::isCheckingDefaultArgumentOrInitializer(), isConstantEvaluated(), isDiscardedStatementContext(), isImmediateFunctionContext(), and isUnevaluated().
SmallVector<CXXBindTemporaryExpr *, 8> clang::Sema::ExpressionEvaluationContextRecord::DelayedDecltypeBinds |
SmallVector<CallExpr *, 8> clang::Sema::ExpressionEvaluationContextRecord::DelayedDecltypeCalls |
std::optional<InitializationContext> clang::Sema::ExpressionEvaluationContextRecord::DelayedDefaultInitializationContext |
enum clang::Sema::ExpressionEvaluationContextRecord::ExpressionKind clang::Sema::ExpressionEvaluationContextRecord::ExprContext |
Referenced by clang::Sema::PopExpressionEvaluationContext().
llvm::SmallVector<ImmediateInvocationCandidate, 4> clang::Sema::ExpressionEvaluationContextRecord::ImmediateInvocationCandidates |
Set of candidates for starting an immediate invocation.
Definition at line 1335 of file Sema.h.
Referenced by HandleImmediateInvocations(), and RemoveNestedImmediateInvocation().
Definition at line 1358 of file Sema.h.
Referenced by clang::Sema::isAlwaysConstantEvaluatedContext().
bool clang::Sema::ExpressionEvaluationContextRecord::InDiscardedStatement |
Definition at line 1349 of file Sema.h.
Referenced by isDiscardedStatementContext().
bool clang::Sema::ExpressionEvaluationContextRecord::InImmediateEscalatingFunctionContext |
Definition at line 1351 of file Sema.h.
Referenced by HandleImmediateInvocations().
bool clang::Sema::ExpressionEvaluationContextRecord::InImmediateFunctionContext |
Definition at line 1350 of file Sema.h.
Referenced by isImmediateFunctionContext().
bool clang::Sema::ExpressionEvaluationContextRecord::IsCurrentlyCheckingDefaultArgumentOrInitializer = false |
Definition at line 1353 of file Sema.h.
Referenced by clang::Sema::isCheckingDefaultArgumentOrInitializer().
SmallVector<LambdaExpr *, 2> clang::Sema::ExpressionEvaluationContextRecord::Lambdas |
The lambdas that are present within this context, if it is indeed an unevaluated context.
Definition at line 1312 of file Sema.h.
Referenced by clang::Sema::PopExpressionEvaluationContext().
Decl* clang::Sema::ExpressionEvaluationContextRecord::ManglingContextDecl |
unsigned clang::Sema::ExpressionEvaluationContextRecord::NumCleanupObjects |
The number of active cleanup objects when we entered this expression evaluation context.
Definition at line 1302 of file Sema.h.
Referenced by clang::Sema::PopExpressionEvaluationContext().
unsigned clang::Sema::ExpressionEvaluationContextRecord::NumTypos |
The number of typos encountered during this expression evaluation context (i.e.
the number of TypoExprs created).
Definition at line 1306 of file Sema.h.
Referenced by clang::Sema::PopExpressionEvaluationContext().
CleanupInfo clang::Sema::ExpressionEvaluationContextRecord::ParentCleanup |
Whether the enclosing context needed a cleanup.
Definition at line 1298 of file Sema.h.
Referenced by clang::Sema::PopExpressionEvaluationContext().
llvm::SmallPtrSet<const Expr *, 8> clang::Sema::ExpressionEvaluationContextRecord::PossibleDerefs |
Definition at line 1327 of file Sema.h.
Referenced by clang::Sema::WarnOnPendingNoDerefs().
llvm::SmallPtrSet<DeclRefExpr *, 4> clang::Sema::ExpressionEvaluationContextRecord::ReferenceToConsteval |
Set of DeclRefExprs referencing a consteval function when used in a context not already known to be immediately invoked.
Definition at line 1339 of file Sema.h.
Referenced by HandleImmediateInvocations(), and RemoveNestedImmediateInvocation().
MaybeODRUseExprSet clang::Sema::ExpressionEvaluationContextRecord::SavedMaybeODRUseExprs |
Definition at line 1308 of file Sema.h.
Referenced by clang::Sema::PopExpressionEvaluationContext().
SmallVector<Expr*, 2> clang::Sema::ExpressionEvaluationContextRecord::VolatileAssignmentLHSs |
Expressions appearing as the LHS of a volatile assignment in this context.
We produce a warning for these when popping the context if they are not discarded-value expressions nor unevaluated operands.
Definition at line 1332 of file Sema.h.
Referenced by clang::Sema::PopExpressionEvaluationContext().