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_BoundsAttrArgument , 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	isPotentiallyEvaluated () const

bool	isConstantEvaluated () const

bool	isImmediateFunctionContext () const

bool	isDiscardedStatementContext () const

Public Attributes
ExpressionEvaluationContext	Context
	The expression evaluation context. More...

CleanupInfo	ParentCleanup
	Whether the enclosing context needed a cleanup. More...

unsigned	NumCleanupObjects
	The number of active cleanup objects when we entered this expression evaluation context. More...

unsigned	NumTypos
	The number of typos encountered during this expression evaluation context (i.e. More...

MaybeODRUseExprSet	SavedMaybeODRUseExprs

SmallVector< LambdaExpr *, 2 >	Lambdas
	The lambdas that are present within this context, if it is indeed an unevaluated context. More...

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. More...

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. More...

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. More...

llvm::SmallPtrSet< const Expr *, 8 >	PossibleDerefs

SmallVector< Expr *, 2 >	VolatileAssignmentLHSs
	Expressions appearing as the LHS of a volatile assignment in this context. More...

llvm::SmallVector< ImmediateInvocationCandidate, 4 >	ImmediateInvocationCandidates
	Set of candidates for starting an immediate invocation. More...

llvm::SmallPtrSet< DeclRefExpr *, 4 >	ReferenceToConsteval
	Set of DeclRefExprs referencing a consteval function when used in a context not already known to be immediately invoked. More...

SmallVector< MaterializeTemporaryExpr *, 8 >	ForRangeLifetimeExtendTemps
	P2718R0 - Lifetime extension in range-based for loops. More...

enum clang::Sema::ExpressionEvaluationContextRecord::ExpressionKind	ExprContext

bool	InDiscardedStatement

bool	InImmediateFunctionContext

bool	InImmediateEscalatingFunctionContext

bool	IsCurrentlyCheckingDefaultArgumentOrInitializer = false

bool	InConditionallyConstantEvaluateContext = false

bool	InLifetimeExtendingContext = false
	Whether we are currently in a context in which all temporaries must be lifetime-extended, even if they're not bound to a reference (for example, in a for-range initializer). More...

std::optional< InitializationContext >	DelayedDefaultInitializationContext

Detailed Description

Data structure used to record current or nested expression evaluation contexts.

Definition at line 5168 of file Sema.h.

Member Enumeration Documentation

◆ ExpressionKind

enum clang::Sema::ExpressionEvaluationContextRecord::ExpressionKind

Describes whether we are in an expression constext which we have to handle differently.

Enumerator
EK_Decltype
EK_TemplateArgument
EK_BoundsAttrArgument
EK_Other

Definition at line 5225 of file Sema.h.

Constructor & Destructor Documentation

◆ ExpressionEvaluationContextRecord()

clang::Sema::ExpressionEvaluationContextRecord::ExpressionEvaluationContextRecord	(	ExpressionEvaluationContext	Context,
		unsigned	NumCleanupObjects,
		CleanupInfo	ParentCleanup,
		Decl *	ManglingContextDecl,
		ExpressionKind	ExprContext
	)

inline

Definition at line 5267 of file Sema.h.

Member Function Documentation

◆ isConstantEvaluated()

bool clang::Sema::ExpressionEvaluationContextRecord::isConstantEvaluated ( ) const

inline

Definition at line 5291 of file Sema.h.

References clang::Sema::ConstantEvaluated, clang::Sema::Context, and clang::Sema::ImmediateFunctionContext.

Referenced by clang::Sema::isAlwaysConstantEvaluatedContext(), clang::Sema::isConstantEvaluatedContext(), and clang::Sema::PopExpressionEvaluationContext().

◆ isDiscardedStatementContext()

bool clang::Sema::ExpressionEvaluationContextRecord::isDiscardedStatementContext ( ) const

inline

Definition at line 5311 of file Sema.h.

References clang::Sema::Context, clang::Sema::DiscardedStatement, and clang::Sema::ImmediateFunctionContext.

◆ isImmediateFunctionContext()

bool clang::Sema::ExpressionEvaluationContextRecord::isImmediateFunctionContext ( ) const

inline

Definition at line 5296 of file Sema.h.

References clang::Sema::Context, clang::Sema::DiscardedStatement, clang::Sema::ImmediateFunctionContext, and clang::Sema::PotentiallyEvaluated.

Referenced by HandleImmediateInvocations(), and clang::Sema::isImmediateFunctionContext().

◆ isPotentiallyEvaluated()

bool clang::Sema::ExpressionEvaluationContextRecord::isPotentiallyEvaluated ( ) const

inline

Definition at line 5284 of file Sema.h.

References clang::Sema::ConstantEvaluated, clang::Sema::Context, clang::Sema::PotentiallyEvaluated, and clang::Sema::PotentiallyEvaluatedIfUsed.

◆ isUnevaluated()

bool clang::Sema::ExpressionEvaluationContextRecord::isUnevaluated ( ) const

inline

Definition at line 5278 of file Sema.h.

References clang::Sema::Context, clang::Sema::Unevaluated, clang::Sema::UnevaluatedAbstract, and clang::Sema::UnevaluatedList.

Referenced by clang::Sema::isUnevaluatedContext(), and clang::Sema::PopExpressionEvaluationContext().

Member Data Documentation

◆ Context

ExpressionEvaluationContext clang::Sema::ExpressionEvaluationContextRecord::Context

The expression evaluation context.

Definition at line 5170 of file Sema.h.

Referenced by clang::Sema::isCheckingDefaultArgumentOrInitializer().

◆ DelayedDecltypeBinds

SmallVector<CXXBindTemporaryExpr *, 8> clang::Sema::ExpressionEvaluationContextRecord::DelayedDecltypeBinds

If we are processing a decltype type, a set of temporary binding expressions for which we have deferred checking the destructor.

Definition at line 5200 of file Sema.h.

◆ DelayedDecltypeCalls

SmallVector<CallExpr *, 8> clang::Sema::ExpressionEvaluationContextRecord::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.

Definition at line 5196 of file Sema.h.

◆ DelayedDefaultInitializationContext

std::optional<InitializationContext> clang::Sema::ExpressionEvaluationContextRecord::DelayedDefaultInitializationContext

Definition at line 5265 of file Sema.h.

◆ ExprContext

enum clang::Sema::ExpressionEvaluationContextRecord::ExpressionKind clang::Sema::ExpressionEvaluationContextRecord::ExprContext

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ ForRangeLifetimeExtendTemps

SmallVector<MaterializeTemporaryExpr *, 8> clang::Sema::ExpressionEvaluationContextRecord::ForRangeLifetimeExtendTemps

P2718R0 - Lifetime extension in range-based for loops.

MaterializeTemporaryExprs in for-range-init expressions which need to extend lifetime. Add MaterializeTemporaryExpr* if the value of InLifetimeExtendingContext is true.

Definition at line 5221 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ ImmediateInvocationCandidates

llvm::SmallVector<ImmediateInvocationCandidate, 4> clang::Sema::ExpressionEvaluationContextRecord::ImmediateInvocationCandidates

Set of candidates for starting an immediate invocation.

Definition at line 5211 of file Sema.h.

Referenced by HandleImmediateInvocations().

◆ InConditionallyConstantEvaluateContext

bool clang::Sema::ExpressionEvaluationContextRecord::InConditionallyConstantEvaluateContext = false

Definition at line 5243 of file Sema.h.

Referenced by clang::Sema::isAlwaysConstantEvaluatedContext().

◆ InDiscardedStatement

bool clang::Sema::ExpressionEvaluationContextRecord::InDiscardedStatement

Definition at line 5234 of file Sema.h.

◆ InImmediateEscalatingFunctionContext

bool clang::Sema::ExpressionEvaluationContextRecord::InImmediateEscalatingFunctionContext

Definition at line 5236 of file Sema.h.

◆ InImmediateFunctionContext

bool clang::Sema::ExpressionEvaluationContextRecord::InImmediateFunctionContext

Definition at line 5235 of file Sema.h.

◆ InLifetimeExtendingContext

bool clang::Sema::ExpressionEvaluationContextRecord::InLifetimeExtendingContext = false

Whether we are currently in a context in which all temporaries must be lifetime-extended, even if they're not bound to a reference (for example, in a for-range initializer).

Definition at line 5248 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ IsCurrentlyCheckingDefaultArgumentOrInitializer

bool clang::Sema::ExpressionEvaluationContextRecord::IsCurrentlyCheckingDefaultArgumentOrInitializer = false

Definition at line 5238 of file Sema.h.

Referenced by clang::Sema::isCheckingDefaultArgumentOrInitializer().

◆ Lambdas

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 5187 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ ManglingContextDecl

Decl* clang::Sema::ExpressionEvaluationContextRecord::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.

Definition at line 5192 of file Sema.h.

◆ NumCleanupObjects

unsigned clang::Sema::ExpressionEvaluationContextRecord::NumCleanupObjects

The number of active cleanup objects when we entered this expression evaluation context.

Definition at line 5177 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ NumTypos

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 5181 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ ParentCleanup

CleanupInfo clang::Sema::ExpressionEvaluationContextRecord::ParentCleanup

Whether the enclosing context needed a cleanup.

Definition at line 5173 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ PossibleDerefs

llvm::SmallPtrSet<const Expr *, 8> clang::Sema::ExpressionEvaluationContextRecord::PossibleDerefs

Definition at line 5202 of file Sema.h.

Referenced by clang::Sema::WarnOnPendingNoDerefs().

◆ ReferenceToConsteval

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 5215 of file Sema.h.

Referenced by HandleImmediateInvocations().

◆ SavedMaybeODRUseExprs

MaybeODRUseExprSet clang::Sema::ExpressionEvaluationContextRecord::SavedMaybeODRUseExprs

Definition at line 5183 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

◆ VolatileAssignmentLHSs

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 5207 of file Sema.h.

Referenced by clang::Sema::PopExpressionEvaluationContext().

The documentation for this struct was generated from the following file:

include/clang/Sema/Sema.h

Classes

Public Types

Public Member Functions

Public Attributes

Detailed Description

Member Enumeration Documentation

◆ ExpressionKind

Constructor & Destructor Documentation

◆ ExpressionEvaluationContextRecord()

Member Function Documentation

◆ isConstantEvaluated()

◆ isDiscardedStatementContext()

◆ isImmediateFunctionContext()

◆ isPotentiallyEvaluated()

◆ isUnevaluated()

Member Data Documentation

◆ Context

◆ DelayedDecltypeBinds

◆ DelayedDecltypeCalls

◆ DelayedDefaultInitializationContext

◆ ExprContext

◆ ForRangeLifetimeExtendTemps

◆ ImmediateInvocationCandidates

◆ InConditionallyConstantEvaluateContext

◆ InDiscardedStatement

◆ InImmediateEscalatingFunctionContext

◆ InImmediateFunctionContext

◆ InLifetimeExtendingContext

◆ IsCurrentlyCheckingDefaultArgumentOrInitializer

◆ Lambdas

◆ ManglingContextDecl

◆ NumCleanupObjects

◆ NumTypos

◆ ParentCleanup

◆ PossibleDerefs

◆ ReferenceToConsteval

◆ SavedMaybeODRUseExprs

◆ VolatileAssignmentLHSs