EvalStatus is a struct with detailed info about an evaluation in progress. More...

#include "clang/AST/Expr.h"

Inheritance diagram for clang::Expr::EvalStatus:

Public Member Functions
	EvalStatus ()=default

bool	hasSideEffects () const

Public Attributes
bool	HasSideEffects = false
	Whether the evaluated expression has side effects.

bool	HasUndefinedBehavior = false
	Whether the evaluation hit undefined behavior.

SmallVectorImpl< PartialDiagnosticAt > *	Diag = nullptr
	Diag - If this is non-null, it will be filled in with a stack of notes indicating why evaluation failed (or why it failed to produce a constant expression).

Detailed Description

EvalStatus is a struct with detailed info about an evaluation in progress.

Definition at line 606 of file Expr.h.

Constructor & Destructor Documentation

◆ EvalStatus()

clang::Expr::EvalStatus::EvalStatus ( )

default

Member Function Documentation

◆ hasSideEffects()

bool clang::Expr::EvalStatus::hasSideEffects ( ) const

inline

Definition at line 636 of file Expr.h.

References HasSideEffects.

Referenced by clang::CodeGen::CodeGenModule::GetAddrOfGlobalTemporary().

Member Data Documentation

◆ Diag

SmallVectorImpl<PartialDiagnosticAt>* clang::Expr::EvalStatus::Diag = nullptr

Diag - If this is non-null, it will be filled in with a stack of notes indicating why evaluation failed (or why it failed to produce a constant expression).

If the expression is unfoldable, the notes will indicate why it's not foldable. If the expression is foldable, but not a constant expression, the notes will describes why it isn't a constant expression. If the expression is a constant expression, no notes will be produced.

FIXME: this causes significant performance concerns and should be refactored at some point. Not all evaluations of the constant expression interpreter will display the given diagnostics, this means those kinds of uses are paying the expense of generating a diagnostic (which may include expensive operations like converting APValue objects to a string representation).

Definition at line 630 of file Expr.h.

Referenced by calculateConstraintSatisfaction(), clang::Sema::CheckForImmediateInvocation(), clang::Sema::ConstantFoldAttrArgs(), diagnoseWellFormedUnsatisfiedConstraintExpr(), EvaluateAndDiagnoseImmediateInvocation(), clang::Expr::EvaluateAsInitializer(), clang::Sema::EvaluateConvertedConstantExpression(), clang::VarDecl::evaluateDestruction(), clang::Expr::EvaluateKnownConstInt(), clang::Expr::EvaluateKnownConstIntCheckOverflow(), isNullPointerValueTemplateArgument(), and clang::Sema::VerifyIntegerConstantExpression().

◆ HasSideEffects

bool clang::Expr::EvalStatus::HasSideEffects = false

Whether the evaluated expression has side effects.

For example, (f() && 0) can be folded, but it still has side effects.

Definition at line 609 of file Expr.h.

Referenced by CheckEvalInICE(), EvaluateDestruction(), clang::VarDecl::evaluateDestruction(), hasSideEffects(), isNullPointerValueTemplateArgument(), and clang::Sema::VerifyIntegerConstantExpression().

◆ HasUndefinedBehavior

bool clang::Expr::EvalStatus::HasUndefinedBehavior = false

Whether the evaluation hit undefined behavior.

For example, 1.0 / 0.0 can be folded to Inf, but has undefined behavior. Likewise, INT_MAX + 1 can be folded to INT_MIN, but has UB.

Definition at line 614 of file Expr.h.

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

include/clang/AST/Expr.h

Public Member Functions

Public Attributes