APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat], [Complex APSInt] [Complex APFloat], [Expr + Offset], [Vector: N * APValue], [Array: N * APValue]. More...

#include "clang/AST/APValue.h"

Classes
struct	ConstexprUnknown

struct	LV

class	LValueBase

class	LValuePathEntry
	A non-discriminated union of a base, field, or array index. More...

class	LValuePathSerializationHelper

struct	MemberPointerData

struct	NoLValuePath

struct	UninitArray

struct	UninitStruct

Public Types
enum	ValueKind { None , Indeterminate , Int , Float , FixedPoint , ComplexInt , ComplexFloat , LValue , Vector , Array , Struct , Union , MemberPointer , AddrLabelDiff }

typedef llvm::PointerIntPair< const Decl *, 1, bool >	BaseOrMemberType
	A FieldDecl or CXXRecordDecl, along with a flag indicating whether we mean a virtual or non-virtual base class subobject.

Public Member Functions
bool	allowConstexprUnknown () const

void	setConstexprUnknown (bool IsConstexprUnknown=true)

	APValue ()
	Creates an empty APValue of type None.

	APValue (APSInt I)
	Creates an integer APValue holding the given value.

	APValue (APFloat F)
	Creates a float APValue holding the given value.

	APValue (APFixedPoint FX)
	Creates a fixed-point APValue holding the given value.

	APValue (const APValue *E, unsigned N)
	Creates a vector APValue with `N` elements.

	APValue (APSInt R, APSInt I)
	Creates an integer complex APValue with the given real and imaginary values.

	APValue (APFloat R, APFloat I)
	Creates a float complex APValue with the given real and imaginary values.

	APValue (const APValue &RHS)

	APValue (APValue &&RHS)

	APValue (LValueBase Base, const CharUnits &Offset, NoLValuePath, bool IsNullPtr=false)
	Creates an lvalue APValue without an lvalue path.

	APValue (LValueBase Base, const CharUnits &Offset, ArrayRef< LValuePathEntry > Path, bool OnePastTheEnd, bool IsNullPtr=false)
	Creates an lvalue APValue with an lvalue path.

	APValue (LValueBase Base, const CharUnits &Offset, ConstexprUnknown, bool IsNullPtr=false)
	Creates a constexpr unknown lvalue APValue.

	APValue (UninitArray, unsigned InitElts, unsigned Size)
	Creates a new array APValue.

	APValue (UninitStruct, unsigned NumBases, unsigned NumMembers)
	Creates a new struct APValue.

	APValue (const FieldDecl *ActiveDecl, const APValue &ActiveValue=APValue())
	Creates a new union APValue.

	APValue (const ValueDecl Member, bool IsDerivedMember, ArrayRef< const CXXRecordDecl > Path)
	Creates a new member pointer APValue.

	APValue (const AddrLabelExpr LHSExpr, const AddrLabelExpr RHSExpr)
	Creates a new address label diff APValue.

APValue &	operator= (const APValue &RHS)

APValue &	operator= (APValue &&RHS)

	~APValue ()

bool	needsCleanup () const
	Returns whether the object performed allocations.

void	swap (APValue &RHS)
	Swaps the contents of this and the given APValue.

void	Profile (llvm::FoldingSetNodeID &ID) const
	profile this value.

ValueKind	getKind () const

bool	isAbsent () const

bool	isIndeterminate () const

bool	hasValue () const

bool	isInt () const

bool	isFloat () const

bool	isFixedPoint () const

bool	isComplexInt () const

bool	isComplexFloat () const

bool	isLValue () const

bool	isVector () const

bool	isArray () const

bool	isStruct () const

bool	isUnion () const

bool	isMemberPointer () const

bool	isAddrLabelDiff () const

void	dump () const

void	dump (raw_ostream &OS, const ASTContext &Context) const

void	printPretty (raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const

void	printPretty (raw_ostream &OS, const PrintingPolicy &Policy, QualType Ty, const ASTContext *Ctx=nullptr) const

std::string	getAsString (const ASTContext &Ctx, QualType Ty) const

APSInt &	getInt ()

const APSInt &	getInt () const

bool	toIntegralConstant (APSInt &Result, QualType SrcTy, const ASTContext &Ctx) const
	Try to convert this value to an integral constant.

APFloat &	getFloat ()

const APFloat &	getFloat () const

APFixedPoint &	getFixedPoint ()

const APFixedPoint &	getFixedPoint () const

APSInt &	getComplexIntReal ()

const APSInt &	getComplexIntReal () const

APSInt &	getComplexIntImag ()

const APSInt &	getComplexIntImag () const

APFloat &	getComplexFloatReal ()

const APFloat &	getComplexFloatReal () const

APFloat &	getComplexFloatImag ()

const APFloat &	getComplexFloatImag () const

const LValueBase	getLValueBase () const

CharUnits &	getLValueOffset ()

const CharUnits &	getLValueOffset () const

bool	isLValueOnePastTheEnd () const

bool	hasLValuePath () const

ArrayRef< LValuePathEntry >	getLValuePath () const

unsigned	getLValueCallIndex () const

unsigned	getLValueVersion () const

bool	isNullPointer () const

APValue &	getVectorElt (unsigned I)

const APValue &	getVectorElt (unsigned I) const

unsigned	getVectorLength () const

APValue &	getArrayInitializedElt (unsigned I)

const APValue &	getArrayInitializedElt (unsigned I) const

bool	hasArrayFiller () const

APValue &	getArrayFiller ()

const APValue &	getArrayFiller () const

unsigned	getArrayInitializedElts () const

unsigned	getArraySize () const

unsigned	getStructNumBases () const

unsigned	getStructNumFields () const

APValue &	getStructBase (unsigned i)

APValue &	getStructField (unsigned i)

const APValue &	getStructBase (unsigned i) const

const APValue &	getStructField (unsigned i) const

const FieldDecl *	getUnionField () const

APValue &	getUnionValue ()

const APValue &	getUnionValue () const

const ValueDecl *	getMemberPointerDecl () const

bool	isMemberPointerToDerivedMember () const

ArrayRef< const CXXRecordDecl * >	getMemberPointerPath () const

const AddrLabelExpr *	getAddrLabelDiffLHS () const

const AddrLabelExpr *	getAddrLabelDiffRHS () const

void	setInt (APSInt I)

void	setFloat (APFloat F)

void	setFixedPoint (APFixedPoint FX)

void	setVector (const APValue *E, unsigned N)

void	setComplexInt (APSInt R, APSInt I)

void	setComplexFloat (APFloat R, APFloat I)

void	setLValue (LValueBase B, const CharUnits &O, NoLValuePath, bool IsNullPtr)

void	setLValue (LValueBase B, const CharUnits &O, ArrayRef< LValuePathEntry > Path, bool OnePastTheEnd, bool IsNullPtr)

void	setUnion (const FieldDecl *Field, const APValue &Value)

void	setAddrLabelDiff (const AddrLabelExpr LHSExpr, const AddrLabelExpr RHSExpr)

Static Public Member Functions
static APValue	IndeterminateValue ()

Friends
template<typename Impl >
class	clang::serialization::BasicReaderBase

class	ASTImporter

class	ASTNodeImporter

Detailed Description

APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat], [Complex APSInt] [Complex APFloat], [Expr + Offset], [Vector: N * APValue], [Array: N * APValue].

Definition at line 122 of file APValue.h.

Member Typedef Documentation

◆ BaseOrMemberType

typedef llvm::PointerIntPair<const Decl *, 1, bool> clang::APValue::BaseOrMemberType

A FieldDecl or CXXRecordDecl, along with a flag indicating whether we mean a virtual or non-virtual base class subobject.

Definition at line 204 of file APValue.h.

Member Enumeration Documentation

◆ ValueKind

enum clang::APValue::ValueKind

Enumerator
None	There is no such object (it's outside its lifetime).
Indeterminate	This object has an indeterminate value (C++ [basic.indet]).
Int
Float
FixedPoint
ComplexInt
ComplexFloat
LValue
Vector
Array
Struct
Union
MemberPointer
AddrLabelDiff

Definition at line 127 of file APValue.h.

Constructor & Destructor Documentation

◆ APValue() [1/17]

clang::APValue::APValue ( )

inline

Creates an empty APValue of type None.

Definition at line 325 of file APValue.h.

Referenced by operator=().

◆ APValue() [2/17]

clang::APValue::APValue ( APSInt I )

inlineexplicit

Creates an integer APValue holding the given value.

Definition at line 327 of file APValue.h.

References setInt().

◆ APValue() [3/17]

clang::APValue::APValue ( APFloat F )

inlineexplicit

Creates a float APValue holding the given value.

Definition at line 331 of file APValue.h.

References setFloat().

◆ APValue() [4/17]

clang::APValue::APValue ( APFixedPoint FX )

inlineexplicit

Creates a fixed-point APValue holding the given value.

Definition at line 335 of file APValue.h.

◆ APValue() [5/17]

clang::APValue::APValue	(	const APValue *	E,
		unsigned	N
	)

inlineexplicit

Creates a vector APValue with N elements.

The elements are read from E.

Definition at line 340 of file APValue.h.

References E, and setVector().

◆ APValue() [6/17]

clang::APValue::APValue	(	APSInt	R,
		APSInt	I
	)

inline

Creates an integer complex APValue with the given real and imaginary values.

Definition at line 346 of file APValue.h.

References setComplexInt().

◆ APValue() [7/17]

clang::APValue::APValue	(	APFloat	R,
		APFloat	I
	)

inline

Creates a float complex APValue with the given real and imaginary values.

Definition at line 350 of file APValue.h.

References setComplexFloat().

◆ APValue() [8/17]

APValue::APValue ( const APValue & RHS )

Definition at line 311 of file APValue.cpp.

References AddrLabelDiff, Array, ComplexFloat, ComplexInt, FixedPoint, Float, getAddrLabelDiffLHS(), getAddrLabelDiffRHS(), getArrayFiller(), getArrayInitializedElt(), getArrayInitializedElts(), getArraySize(), getComplexFloatImag(), getComplexFloatReal(), getComplexIntImag(), getComplexIntReal(), getFixedPoint(), getFloat(), getInt(), getKind(), getLValueBase(), getLValueOffset(), getLValuePath(), getMemberPointerDecl(), getMemberPointerPath(), getStructBase(), getStructField(), getStructNumBases(), getStructNumFields(), getUnionField(), getUnionValue(), getVectorLength(), hasArrayFiller(), hasLValuePath(), Indeterminate, Int, isLValueOnePastTheEnd(), isMemberPointerToDerivedMember(), isNullPointer(), LValue, MemberPointer, None, setAddrLabelDiff(), setComplexFloat(), setComplexInt(), setFloat(), setInt(), setLValue(), setUnion(), setVector(), Struct, Union, and Vector.

◆ APValue() [9/17]

APValue::APValue ( APValue && RHS )

Definition at line 383 of file APValue.cpp.

References None.

◆ APValue() [10/17]

clang::APValue::APValue	(	LValueBase	Base,
		const CharUnits &	Offset,
		NoLValuePath	,
		bool	IsNullPtr = `false`
	)

inline

Creates an lvalue APValue without an lvalue path.

Parameters

Base	The base of the lvalue.
Offset	The offset of the lvalue.
IsNullPtr	Whether this lvalue is a null pointer.

Definition at line 359 of file APValue.h.

References setLValue().

◆ APValue() [11/17]

clang::APValue::APValue	(	LValueBase	Base,
		const CharUnits &	Offset,
		ArrayRef< LValuePathEntry >	Path,
		bool	OnePastTheEnd,
		bool	IsNullPtr = `false`
	)

inline

Creates an lvalue APValue with an lvalue path.

Parameters

Base	The base of the lvalue.
Offset	The offset of the lvalue.
Path	The lvalue path.
OnePastTheEnd	Whether this lvalue is one-past-the-end of the subobject it points to.
IsNullPtr	Whether this lvalue is a null pointer.

Definition at line 372 of file APValue.h.

References Path, and setLValue().

◆ APValue() [12/17]

clang::APValue::APValue	(	LValueBase	Base,
		const CharUnits &	Offset,
		ConstexprUnknown	,
		bool	IsNullPtr = `false`
	)

inline

Creates a constexpr unknown lvalue APValue.

Parameters

Base	The base of the lvalue.
Offset	The offset of the lvalue.
IsNullPtr	Whether this lvalue is a null pointer.

Definition at line 383 of file APValue.h.

References setLValue().

◆ APValue() [13/17]

clang::APValue::APValue	(	UninitArray	,
		unsigned	InitElts,
		unsigned	Size
	)

inline

Creates a new array APValue.

Parameters

UninitArray	Marker. Pass an empty UninitArray.
InitElts	Number of elements you're going to initialize in the array.
Size	Full size of the array.

Definition at line 395 of file APValue.h.

◆ APValue() [14/17]

clang::APValue::APValue	(	UninitStruct	,
		unsigned	NumBases,
		unsigned	NumMembers
	)

inline

Creates a new struct APValue.

Parameters

UninitStruct	Marker. Pass an empty UninitStruct.
NumBases	Number of bases.
NumMembers	Number of members.

Definition at line 403 of file APValue.h.

◆ APValue() [15/17]

clang::APValue::APValue	(	const FieldDecl *	ActiveDecl,
		const APValue &	ActiveValue = `APValue()`
	)

inlineexplicit

Creates a new union APValue.

Parameters

ActiveDecl	The FieldDecl of the active union member.
ActiveValue	The value of the active union member.

Definition at line 410 of file APValue.h.

References setUnion().

◆ APValue() [16/17]

clang::APValue::APValue	(	const ValueDecl *	Member,
		bool	IsDerivedMember,
		ArrayRef< const CXXRecordDecl * >	Path
	)

inline

Creates a new member pointer APValue.

Parameters

Member	Declaration of the member
IsDerivedMember	Whether member is a derived one.
Path	The path of the member.

Definition at line 420 of file APValue.h.

References clang::Member, and Path.

◆ APValue() [17/17]

clang::APValue::APValue	(	const AddrLabelExpr *	LHSExpr,
		const AddrLabelExpr *	RHSExpr
	)

inline

Creates a new address label diff APValue.

Parameters

LHSExpr	The left-hand side of the difference.
RHSExpr	The right-hand side of the difference.

Definition at line 428 of file APValue.h.

References setAddrLabelDiff().

◆ ~APValue()

clang::APValue::~APValue ( )

inline

Definition at line 441 of file APValue.h.

References Indeterminate, Kind, and None.

Member Function Documentation

◆ allowConstexprUnknown()

bool clang::APValue::allowConstexprUnknown ( ) const

inline

Definition at line 318 of file APValue.h.

Referenced by findSubobject(), and HandleLambdaCapture().

◆ dump() [1/2]

LLVM_DUMP_METHOD void APValue::dump ( ) const

Definition at line 337 of file ASTDumper.cpp.

References clang::ASTNodeTraverser< Derived, NodeDelegateType >::Visit().

◆ dump() [2/2]

LLVM_DUMP_METHOD void APValue::dump	(	raw_ostream &	OS,
		const ASTContext &	Context
	)		const

Definition at line 342 of file ASTDumper.cpp.

References clang::ASTContext::CharTy, clang::ASTContext::getDiagnostics(), clang::ASTContext::getPointerType(), clang::DiagnosticsEngine::getShowColors(), and clang::ASTNodeTraverser< Derived, NodeDelegateType >::Visit().

◆ getAddrLabelDiffLHS()

const AddrLabelExpr * clang::APValue::getAddrLabelDiffLHS ( ) const

inline

Definition at line 645 of file APValue.h.

References Data, and isAddrLabelDiff().

Referenced by APValue(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), and Profile().

◆ getAddrLabelDiffRHS()

const AddrLabelExpr * clang::APValue::getAddrLabelDiffRHS ( ) const

inline

Definition at line 649 of file APValue.h.

References Data, and isAddrLabelDiff().

Referenced by APValue(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), and Profile().

◆ getArrayFiller() [1/2]

APValue & clang::APValue::getArrayFiller ( )

inline

Definition at line 587 of file APValue.h.

References Data, getArrayInitializedElts(), hasArrayFiller(), and isArray().

Referenced by APValue(), expandArray(), findSubobject(), getArrayFiller(), and Profile().

◆ getArrayFiller() [2/2]

const APValue & clang::APValue::getArrayFiller ( ) const

inline

Definition at line 592 of file APValue.h.

References getArrayFiller().

◆ getArrayInitializedElt() [1/2]

APValue & clang::APValue::getArrayInitializedElt ( unsigned I )

inline

Definition at line 576 of file APValue.h.

References Data, getArrayInitializedElts(), and isArray().

Referenced by APValue(), expandArray(), findSubobject(), getArrayInitializedElt(), clang::MSGuidDecl::getAsAPValue(), printPretty(), Profile(), clang::interp::Pointer::toRValue(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ getArrayInitializedElt() [2/2]

const APValue & clang::APValue::getArrayInitializedElt ( unsigned I ) const

inline

Definition at line 581 of file APValue.h.

References getArrayInitializedElt().

◆ getArrayInitializedElts()

unsigned clang::APValue::getArrayInitializedElts ( ) const

inline

Definition at line 595 of file APValue.h.

References Data, and isArray().

Referenced by APValue(), findSubobject(), getArrayFiller(), getArrayInitializedElt(), hasArrayFiller(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), and Profile().

◆ getArraySize()

unsigned clang::APValue::getArraySize ( ) const

inline

Definition at line 599 of file APValue.h.

References Data, and isArray().

Referenced by APValue(), hasArrayFiller(), clang::ASTNodeImporter::ImportAPValue(), Profile(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ getAsString()

std::string APValue::getAsString	(	const ASTContext &	Ctx,
		QualType	Ty
	)		const

Definition at line 957 of file APValue.cpp.

References printPretty(), and clang::Result.

Referenced by BuildConvertedConstantExpression(), checkDynamicType(), checkThreeWayNarrowingConversion(), DiagnoseNarrowingInInitList(), findCompleteObject(), HandleDestructionImpl(), isNullPointerValueTemplateArgument(), clang::interp::FunctionPointer::toDiagnosticString(), clang::interp::MemberPointer::toDiagnosticString(), and clang::interp::Pointer::toDiagnosticString().

◆ getComplexFloatImag() [1/2]

APFloat & clang::APValue::getComplexFloatImag ( )

inline

Definition at line 543 of file APValue.h.

References Data, and isComplexFloat().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), findSubobject(), getComplexFloatImag(), HandleConversionToBool(), IsSameFloatAfterCast(), needsCleanup(), printPretty(), and Profile().

◆ getComplexFloatImag() [2/2]

const APFloat & clang::APValue::getComplexFloatImag ( ) const

inline

Definition at line 547 of file APValue.h.

References getComplexFloatImag().

◆ getComplexFloatReal() [1/2]

APFloat & clang::APValue::getComplexFloatReal ( )

inline

Definition at line 535 of file APValue.h.

References Data, and isComplexFloat().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), findSubobject(), getComplexFloatReal(), HandleConversionToBool(), IsSameFloatAfterCast(), needsCleanup(), printPretty(), and Profile().

◆ getComplexFloatReal() [2/2]

const APFloat & clang::APValue::getComplexFloatReal ( ) const

inline

Definition at line 539 of file APValue.h.

References getComplexFloatReal().

◆ getComplexIntImag() [1/2]

APSInt & clang::APValue::getComplexIntImag ( )

inline

Definition at line 527 of file APValue.h.

References Data, and isComplexInt().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), findSubobject(), getComplexIntImag(), GetValueRange(), HandleConversionToBool(), needsCleanup(), printPretty(), and Profile().

◆ getComplexIntImag() [2/2]

const APSInt & clang::APValue::getComplexIntImag ( ) const

inline

Definition at line 531 of file APValue.h.

References getComplexIntImag().

◆ getComplexIntReal() [1/2]

APSInt & clang::APValue::getComplexIntReal ( )

inline

Definition at line 519 of file APValue.h.

References Data, and isComplexInt().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), findSubobject(), getComplexIntReal(), GetValueRange(), HandleConversionToBool(), needsCleanup(), printPretty(), and Profile().

◆ getComplexIntReal() [2/2]

const APSInt & clang::APValue::getComplexIntReal ( ) const

inline

Definition at line 523 of file APValue.h.

References getComplexIntReal().

◆ getFixedPoint() [1/2]

APFixedPoint & clang::APValue::getFixedPoint ( )

inline

Definition at line 511 of file APValue.h.

References Data, and isFixedPoint().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), EvaluateFixedPoint(), getFixedPoint(), HandleConversionToBool(), needsCleanup(), printPretty(), and Profile().

◆ getFixedPoint() [2/2]

const APFixedPoint & clang::APValue::getFixedPoint ( ) const

inline

Definition at line 515 of file APValue.h.

References getFixedPoint().

◆ getFloat() [1/2]

APFloat & clang::APValue::getFloat ( )

inline

Definition at line 503 of file APValue.h.

References Data, and isFloat().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), getFloat(), clang::StandardConversionSequence::getNarrowingKind(), handleCompareOpForVector(), HandleConversionToBool(), handleLogicalOpForVector(), handleVectorUnaryOperator(), handleVectorVectorBinOp(), IsSameFloatAfterCast(), needsCleanup(), printPretty(), Profile(), clang::CodeGen::ConstantEmitter::tryEmitPrivate(), and clang::interp::Compiler< Emitter >::visitAPValue().

◆ getFloat() [2/2]

const APFloat & clang::APValue::getFloat ( ) const

inline

Definition at line 507 of file APValue.h.

References getFloat().

◆ getInt() [1/2]

APSInt & clang::APValue::getInt ( )

inline

Definition at line 489 of file APValue.h.

References Data, and isInt().

Referenced by clang::SemaOpenACC::ActOnArraySectionExpr(), clang::SemaOpenMP::ActOnOMPArrayShapingExpr(), APValue(), clang::ast_matchers::AST_MATCHER(), clang::ast_matchers::libc_func_matchers::AST_MATCHER(), BuildExpressionFromNonTypeTemplateArgumentValue(), BuiltinAlignment(), calculateConstraintSatisfaction(), canConvertIntToOtherIntTy(), canConvertIntTyToFloatTy(), clang::Sema::CheckAdditionOperands(), clang::SemaAMDGPU::CheckAMDGCNBuiltinFunctionCall(), clang::Sema::checkCall(), checkFormatStringExpr(), clang::Sema::CheckLogicalOperands(), checkOpenMPLoop(), checkSimdlenSafelenSpecified(), clang::Sema::CheckSubtractionOperands(), DiagnoseBadDivideOrRemainderValues(), DiagnoseBadShiftValues(), diagnoseWellFormedUnsatisfiedConstraintExpr(), EvaluateBuiltinStrLen(), clang::Expr::EvaluateCharRangeAsString(), EvaluateInteger(), clang::Sema::FillInlineAsmIdentifierInfo(), getInt(), clang::ConstantExpr::getResultAsAPSInt(), GetValueRange(), handleCompareOpForVector(), HandleConversionToBool(), handleLogicalOpForVector(), handleVectorUnaryOperator(), handleVectorVectorBinOp(), needsCleanup(), clang::InitializationSequence::Perform(), printPretty(), Profile(), shouldAddCase(), toIntegralConstant(), clang::CodeGen::ConstantEmitter::tryEmitPrivate(), clang::Sema::VerifyIntegerConstantExpression(), clang::interp::Compiler< Emitter >::visitAPValue(), and clang::interp::Compiler< Emitter >::VisitSourceLocExpr().

◆ getInt() [2/2]

const APSInt & clang::APValue::getInt ( ) const

inline

Definition at line 493 of file APValue.h.

References getInt().

◆ getKind()

ValueKind clang::APValue::getKind ( ) const

inline

Definition at line 461 of file APValue.h.

References Kind.

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), handleCompareOpForVector(), HandleConversionToBool(), handleLogicalOpForVector(), handleVectorUnaryOperator(), handleVectorVectorBinOp(), clang::ASTNodeImporter::ImportAPValue(), needsCleanup(), and printPretty().

◆ getLValueBase()

const APValue::LValueBase APValue::getLValueBase ( ) const

Definition at line 984 of file APValue.cpp.

References isLValue().

Referenced by APValue(), EvaluateBuiltinConstantPForLValue(), getLValueType(), clang::ASTNodeImporter::ImportAPValue(), clang::interp::interp__builtin_constant_p(), clang::Expr::EvalResult::isGlobalLValue(), isNullPointerValueTemplateArgument(), printPretty(), Profile(), toIntegralConstant(), clang::interp::Compiler< Emitter >::visitAPValue(), and clang::interp::Compiler< Emitter >::VisitSourceLocExpr().

◆ getLValueCallIndex()

unsigned APValue::getLValueCallIndex ( ) const

Definition at line 1010 of file APValue.cpp.

References isLValue().

◆ getLValueOffset() [1/2]

CharUnits & APValue::getLValueOffset ( )

Definition at line 994 of file APValue.cpp.

References isLValue().

Referenced by addOrSubLValueAsInteger(), APValue(), EvaluateBuiltinConstantPForLValue(), getLValueOffset(), clang::ASTNodeImporter::ImportAPValue(), clang::interp::interp__builtin_assume_aligned(), clang::interp::interp__builtin_constant_p(), printPretty(), Profile(), and toIntegralConstant().

◆ getLValueOffset() [2/2]

const CharUnits & clang::APValue::getLValueOffset ( ) const

inline

Definition at line 553 of file APValue.h.

References getLValueOffset().

◆ getLValuePath()

ArrayRef< APValue::LValuePathEntry > APValue::getLValuePath ( ) const

Definition at line 1004 of file APValue.cpp.

References clang::APValue::LV::getPath(), hasLValuePath(), and isLValue().

Referenced by APValue(), getLValueType(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), Profile(), and clang::interp::Compiler< Emitter >::VisitSourceLocExpr().

◆ getLValueVersion()

unsigned APValue::getLValueVersion ( ) const

Definition at line 1015 of file APValue.cpp.

References isLValue().

◆ getMemberPointerDecl()

const ValueDecl * APValue::getMemberPointerDecl ( ) const

Definition at line 1067 of file APValue.cpp.

References isMemberPointer().

Referenced by APValue(), clang::ASTContext::getMemberPointerPathAdjustment(), HandleConversionToBool(), clang::ASTNodeImporter::ImportAPValue(), isNullPointerValueTemplateArgument(), printPretty(), Profile(), and clang::interp::Compiler< Emitter >::visitAPValue().

◆ getMemberPointerPath()

ArrayRef< const CXXRecordDecl * > APValue::getMemberPointerPath ( ) const

Definition at line 1081 of file APValue.cpp.

References clang::APValue::MemberPointerData::getPath(), and isMemberPointer().

Referenced by APValue(), clang::ASTContext::getMemberPointerPathAdjustment(), clang::ASTNodeImporter::ImportAPValue(), and Profile().

◆ getStructBase() [1/2]

APValue & clang::APValue::getStructBase ( unsigned i )

inline

Definition at line 612 of file APValue.h.

References Data, getStructNumBases(), and isStruct().

Referenced by APValue(), findSubobject(), getStructBase(), printPretty(), and Profile().

◆ getStructBase() [2/2]

const APValue & clang::APValue::getStructBase ( unsigned i ) const

inline

Definition at line 622 of file APValue.h.

References getStructBase().

◆ getStructField() [1/2]

APValue & clang::APValue::getStructField ( unsigned i )

inline

Definition at line 617 of file APValue.h.

References Data, getStructNumBases(), getStructNumFields(), and isStruct().

Referenced by APValue(), findSubobject(), clang::MSGuidDecl::getAsAPValue(), getStructField(), printPretty(), Profile(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ getStructField() [2/2]

const APValue & clang::APValue::getStructField ( unsigned i ) const

inline

Definition at line 625 of file APValue.h.

References getStructField().

◆ getStructNumBases()

unsigned clang::APValue::getStructNumBases ( ) const

inline

Definition at line 604 of file APValue.h.

References Data, and isStruct().

Referenced by APValue(), getStructBase(), getStructField(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), and Profile().

◆ getStructNumFields()

unsigned clang::APValue::getStructNumFields ( ) const

inline

Definition at line 608 of file APValue.h.

References Data, and isStruct().

Referenced by APValue(), getStructField(), clang::ASTNodeImporter::ImportAPValue(), Profile(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ getUnionField()

const FieldDecl * clang::APValue::getUnionField ( ) const

inline

Definition at line 629 of file APValue.h.

References Data, and isUnion().

Referenced by APValue(), findSubobject(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), Profile(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ getUnionValue() [1/2]

APValue & clang::APValue::getUnionValue ( )

inline

Definition at line 633 of file APValue.h.

References Data, and isUnion().

Referenced by APValue(), findSubobject(), getUnionValue(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), Profile(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ getUnionValue() [2/2]

const APValue & clang::APValue::getUnionValue ( ) const

inline

Definition at line 637 of file APValue.h.

References getUnionValue().

◆ getVectorElt() [1/2]

APValue & clang::APValue::getVectorElt ( unsigned I )

inline

Definition at line 563 of file APValue.h.

References Data, getVectorLength(), and isVector().

Referenced by BuildExpressionFromNonTypeTemplateArgumentValue(), findSubobject(), GetValueRange(), getVectorElt(), handleVectorShuffle(), handleVectorVectorBinOp(), IsSameFloatAfterCast(), printPretty(), and Profile().

◆ getVectorElt() [2/2]

const APValue & clang::APValue::getVectorElt ( unsigned I ) const

inline

Definition at line 568 of file APValue.h.

References getVectorElt().

◆ getVectorLength()

unsigned clang::APValue::getVectorLength ( ) const

inline

Definition at line 571 of file APValue.h.

References Data, and isVector().

Referenced by APValue(), BuildExpressionFromNonTypeTemplateArgumentValue(), GetValueRange(), getVectorElt(), handleVectorShuffle(), handleVectorVectorBinOp(), clang::ASTNodeImporter::ImportAPValue(), IsSameFloatAfterCast(), printPretty(), and Profile().

◆ hasArrayFiller()

bool clang::APValue::hasArrayFiller ( ) const

inline

Definition at line 584 of file APValue.h.

References getArrayInitializedElts(), and getArraySize().

Referenced by APValue(), expandArray(), getArrayFiller(), and Profile().

◆ hasLValuePath()

bool APValue::hasLValuePath ( ) const

Definition at line 999 of file APValue.cpp.

References isLValue().

Referenced by addOrSubLValueAsInteger(), APValue(), getLValuePath(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), and Profile().

◆ hasValue()

bool clang::APValue::hasValue ( ) const

inline

Definition at line 465 of file APValue.h.

References Indeterminate, Kind, and None.

Referenced by CheckEvaluationResult(), clang::Sema::CheckForImmediateInvocation(), clang::Sema::ConstantFoldAttrArgs(), findSubobject(), getBuiltinAlignArguments(), and HandleLambdaCapture().

◆ IndeterminateValue()

static APValue clang::APValue::IndeterminateValue ( )

inlinestatic

Definition at line 432 of file APValue.h.

References Indeterminate, and clang::Result.

Referenced by clang::ConstantExpr::getAPValueResult(), and handleDefaultInitValue().

◆ isAbsent()

bool clang::APValue::isAbsent ( ) const

inline

Definition at line 463 of file APValue.h.

References Kind, and None.

Referenced by clang::Sema::EvaluateConvertedConstantExpression(), findSubobject(), and clang::MSGuidDecl::getAsAPValue().

◆ isAddrLabelDiff()

bool clang::APValue::isAddrLabelDiff ( ) const

inline

Definition at line 478 of file APValue.h.

References AddrLabelDiff, and Kind.

Referenced by getAddrLabelDiffLHS(), getAddrLabelDiffRHS(), and GetValueRange().

◆ isArray()

bool clang::APValue::isArray ( ) const

inline

Definition at line 474 of file APValue.h.

References Array, and Kind.

Referenced by getArrayFiller(), getArrayInitializedElt(), getArrayInitializedElts(), getArraySize(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ isComplexFloat()

bool clang::APValue::isComplexFloat ( ) const

inline

Definition at line 471 of file APValue.h.

References ComplexFloat, and Kind.

Referenced by findSubobject(), getComplexFloatImag(), getComplexFloatReal(), IsSameFloatAfterCast(), and setComplexFloat().

◆ isComplexInt()

bool clang::APValue::isComplexInt ( ) const

inline

Definition at line 470 of file APValue.h.

References ComplexInt, and Kind.

Referenced by findSubobject(), getComplexIntImag(), getComplexIntReal(), GetValueRange(), and setComplexInt().

◆ isFixedPoint()

bool clang::APValue::isFixedPoint ( ) const

inline

Definition at line 469 of file APValue.h.

References FixedPoint, and Kind.

Referenced by EvaluateFixedPoint(), getFixedPoint(), and setFixedPoint().

◆ isFloat()

bool clang::APValue::isFloat ( ) const

inline

Definition at line 468 of file APValue.h.

References Float, and Kind.

Referenced by getFloat(), clang::StandardConversionSequence::getNarrowingKind(), IsSameFloatAfterCast(), setFloat(), clang::CodeGen::ConstantEmitter::tryEmitPrivate(), clang::interp::Compiler< Emitter >::visitAPValue(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ isIndeterminate()

bool clang::APValue::isIndeterminate ( ) const

inline

Definition at line 464 of file APValue.h.

References Indeterminate, and Kind.

Referenced by findSubobject(), and clang::CodeGen::ConstantEmitter::tryEmitPrivate().

◆ isInt()

bool clang::APValue::isInt ( ) const

inline

◆ isLValue()

bool clang::APValue::isLValue ( ) const

inline

◆ isLValueOnePastTheEnd()

bool APValue::isLValueOnePastTheEnd ( ) const

Definition at line 989 of file APValue.cpp.

References isLValue().

Referenced by APValue(), clang::ASTNodeImporter::ImportAPValue(), printPretty(), and Profile().

◆ isMemberPointer()

bool clang::APValue::isMemberPointer ( ) const

inline

Definition at line 477 of file APValue.h.

References Kind, and MemberPointer.

Referenced by getMemberPointerDecl(), getMemberPointerPath(), isMemberPointerToDerivedMember(), isNullPointerValueTemplateArgument(), clang::interp::Compiler< Emitter >::visitAPValue(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ isMemberPointerToDerivedMember()

bool APValue::isMemberPointerToDerivedMember ( ) const

Definition at line 1074 of file APValue.cpp.

References isMemberPointer().

Referenced by APValue(), clang::ASTContext::getMemberPointerPathAdjustment(), clang::ASTNodeImporter::ImportAPValue(), and Profile().

◆ isNullPointer()

bool APValue::isNullPointer ( ) const

Definition at line 1020 of file APValue.cpp.

References isLValue().

Referenced by APValue(), clang::ASTNodeImporter::ImportAPValue(), isNullPointerValueTemplateArgument(), clang::InitializationSequence::Perform(), printPretty(), Profile(), toIntegralConstant(), and clang::interp::Compiler< Emitter >::visitAPValue().

◆ isStruct()

bool clang::APValue::isStruct ( ) const

inline

Definition at line 475 of file APValue.h.

References Kind, and Struct.

Referenced by getStructBase(), getStructField(), getStructNumBases(), getStructNumFields(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ isUnion()

bool clang::APValue::isUnion ( ) const

inline

Definition at line 476 of file APValue.h.

References Kind, and Union.

Referenced by getUnionField(), getUnionValue(), setUnion(), and clang::interp::Compiler< Emitter >::visitAPValueInitializer().

◆ isVector()

bool clang::APValue::isVector ( ) const

inline

Definition at line 473 of file APValue.h.

References Kind, and Vector.

Referenced by GetValueRange(), getVectorElt(), getVectorLength(), handleVectorVectorBinOp(), and IsSameFloatAfterCast().

◆ needsCleanup()

bool APValue::needsCleanup ( ) const

Returns whether the object performed allocations.

If APValues are constructed via placement new, needsCleanup() indicates whether the destructor must be called in order to correctly free all allocated memory.

Definition at line 438 of file APValue.cpp.

References AddrLabelDiff, Array, ComplexFloat, ComplexInt, FixedPoint, Float, getComplexFloatImag(), getComplexFloatReal(), getComplexIntImag(), getComplexIntReal(), getFixedPoint(), getFloat(), getInt(), getKind(), Indeterminate, Int, LValue, MemberPointer, needsCleanup(), None, Struct, Union, and Vector.

Referenced by needsCleanup(), and clang::ASTDeclReader::ReadVarDeclInit().

◆ operator=() [1/2]

APValue & APValue::operator= ( APValue && RHS )

Definition at line 397 of file APValue.cpp.

References Indeterminate, and None.

◆ operator=() [2/2]

APValue & APValue::operator= ( const APValue & RHS )

Definition at line 389 of file APValue.cpp.

References APValue().

◆ printPretty() [1/2]

void APValue::printPretty	(	raw_ostream &	OS,
		const ASTContext &	Ctx,
		QualType	Ty
	)		const

Definition at line 704 of file APValue.cpp.

References clang::ASTContext::getPrintingPolicy(), and printPretty().

Referenced by DiagTemplateArg(), getAsString(), clang::TemplateArgument::print(), clang::TemplateParamObjectDecl::printAsInit(), and printPretty().

◆ printPretty() [2/2]

void APValue::printPretty	(	raw_ostream &	OS,
		const PrintingPolicy &	Policy,
		QualType	Ty,
		const ASTContext *	Ctx = `nullptr`
	)		const

Definition at line 709 of file APValue.cpp.

References AddrLabelDiff, Array, clang::CXXRecordDecl::bases_begin(), clang::CXXRecordDecl::bases_end(), clang::Type::castAs(), clang::Type::castAsArrayTypeUnsafe(), ComplexFloat, ComplexInt, E, clang::PrintingPolicy::EntireContentsOfLargeArray, clang::RecordDecl::fields(), clang::First, FixedPoint, Float, getAddrLabelDiffLHS(), getAddrLabelDiffRHS(), GetApproxValue(), getArrayInitializedElt(), getArrayInitializedElts(), clang::Type::getAs(), getComplexFloatImag(), getComplexFloatReal(), getComplexIntImag(), getComplexIntReal(), clang::ArrayType::getElementType(), getFixedPoint(), getFloat(), getInt(), getKind(), clang::AddrLabelExpr::getLabel(), getLValueBase(), getLValueOffset(), getLValuePath(), getMemberPointerDecl(), clang::NamedDecl::getName(), clang::QualType::getNonReferenceType(), clang::Type::getPointeeType(), clang::CharUnits::getQuantity(), getStructBase(), getStructField(), getStructNumBases(), clang::ValueDecl::getType(), clang::CXXBaseSpecifier::getType(), clang::ASTContext::getTypeSizeInCharsIfKnown(), getUnionField(), getUnionValue(), getVectorElt(), getVectorLength(), hasLValuePath(), Indeterminate, Int, clang::Type::isAnyComplexType(), clang::Type::isBooleanType(), isLValueOnePastTheEnd(), clang::QualType::isNull(), isNullPointer(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Type::isVoidType(), clang::CharUnits::isZero(), LValue, MemberPointer, None, clang::PrintingPolicy::Nullptr, clang::CharUnits::One(), Path, printPretty(), clang::Stmt::printPretty(), clang::QualType::stream(), Struct, TryPrintAsStringLiteral(), Union, Vector, and clang::CharUnits::Zero().

◆ Profile()

void APValue::Profile ( llvm::FoldingSetNodeID & ID ) const

profile this value.

There is no guarantee that values of different types will not produce the same profiled value, so the type should typically also be profiled if it's not implied by the context.

Definition at line 490 of file APValue.cpp.

References AddrLabelDiff, Array, ComplexFloat, ComplexInt, D, E, FixedPoint, Float, getAddrLabelDiffLHS(), getAddrLabelDiffRHS(), getArrayFiller(), getArrayInitializedElt(), getArrayInitializedElts(), getArraySize(), getCanonicalDecl(), getComplexFloatImag(), getComplexFloatReal(), getComplexIntImag(), getComplexIntReal(), getFixedPoint(), getFloat(), getInt(), getLValueBase(), getLValueOffset(), getLValuePath(), getMemberPointerDecl(), getMemberPointerPath(), getStructBase(), getStructField(), getStructNumBases(), getStructNumFields(), getUnionField(), getUnionValue(), getVectorElt(), getVectorLength(), hasArrayFiller(), hasLValuePath(), Indeterminate, Int, isLValueOnePastTheEnd(), isMemberPointerToDerivedMember(), isNullPointer(), LValue, MemberPointer, None, clang::APValue::LValueBase::Profile(), Profile(), clang::Stmt::Profile(), profileIntValue(), Struct, Union, and Vector.

Referenced by Profile(), clang::TemplateArgument::Profile(), clang::UnnamedGlobalConstantDecl::Profile(), and clang::TemplateArgument::structurallyEquals().

◆ setAddrLabelDiff()

void clang::APValue::setAddrLabelDiff	(	const AddrLabelExpr *	LHSExpr,
		const AddrLabelExpr *	RHSExpr
	)

inline

Definition at line 691 of file APValue.h.

References Data.

Referenced by APValue().

◆ setComplexFloat()

void clang::APValue::setComplexFloat	(	APFloat	R,
		APFloat	I
	)

inline

Definition at line 678 of file APValue.h.

References Data, and isComplexFloat().

Referenced by APValue().

◆ setComplexInt()

void clang::APValue::setComplexInt	(	APSInt	R,
		APSInt	I
	)

inline

Definition at line 671 of file APValue.h.

References Data, and isComplexInt().

Referenced by APValue().

◆ setConstexprUnknown()

void clang::APValue::setConstexprUnknown ( bool IsConstexprUnknown = true )

inline

Definition at line 320 of file APValue.h.

◆ setFixedPoint()

void clang::APValue::setFixedPoint ( APFixedPoint FX )

inline

Definition at line 662 of file APValue.h.

References Data, and isFixedPoint().

◆ setFloat()

void clang::APValue::setFloat ( APFloat F )

inline

Definition at line 658 of file APValue.h.

References Data, and isFloat().

Referenced by APValue().

◆ setInt()

void clang::APValue::setInt ( APSInt I )

inline

Definition at line 654 of file APValue.h.

References Data, and isInt().

Referenced by APValue().

◆ setLValue() [1/2]

void APValue::setLValue	(	LValueBase	B,
		const CharUnits &	O,
		ArrayRef< LValuePathEntry >	Path,
		bool	OnePastTheEnd,
		bool	IsNullPtr
	)

Definition at line 1049 of file APValue.cpp.

References memcpy(), and Path.

◆ setLValue() [2/2]

void APValue::setLValue	(	LValueBase	B,
		const CharUnits &	O,
		NoLValuePath	,
		bool	IsNullPtr
	)

Definition at line 1025 of file APValue.cpp.

References isLValue(), and clang::APValue::LV::resizePath().

Referenced by APValue().

◆ setUnion()

void APValue::setUnion	(	const FieldDecl *	Field,
		const APValue &	Value
	)

Definition at line 1060 of file APValue.cpp.

References isUnion().

Referenced by APValue(), and findSubobject().

◆ setVector()

void clang::APValue::setVector	(	const APValue *	E,
		unsigned	N
	)

inline

Definition at line 666 of file APValue.h.

References E.

Referenced by APValue().

◆ swap()

void APValue::swap ( APValue & RHS )

Swaps the contents of this and the given APValue.

Definition at line 475 of file APValue.cpp.

Referenced by expandArray().

◆ toIntegralConstant()

bool APValue::toIntegralConstant	(	APSInt &	Result,
		QualType	SrcTy,
		const ASTContext &	Ctx
	)		const

Try to convert this value to an integral constant.

This works if it's an integer, null pointer, or offset from a null pointer. Returns true on success.

Definition at line 964 of file APValue.cpp.

References getInt(), getLValueBase(), getLValueOffset(), clang::ASTContext::getTargetNullPointerValue(), isInt(), isLValue(), isNullPointer(), clang::ASTContext::MakeIntValue(), and clang::Result.

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

Friends And Related Function Documentation

◆ ASTImporter

friend class ASTImporter

friend

Definition at line 254 of file APValue.h.

◆ ASTNodeImporter

friend class ASTNodeImporter

friend

Definition at line 255 of file APValue.h.

◆ clang::serialization::BasicReaderBase

template<typename Impl >

friend class clang::serialization::BasicReaderBase

friend

Definition at line 253 of file APValue.h.

The documentation for this class was generated from the following files:

include/clang/AST/APValue.h
lib/AST/APValue.cpp
lib/AST/ASTDumper.cpp

Classes

Public Types

Public Member Functions

Static Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ BaseOrMemberType

Member Enumeration Documentation

◆ ValueKind

Constructor & Destructor Documentation

◆ APValue() [1/17]

◆ APValue() [2/17]

◆ APValue() [3/17]

◆ APValue() [4/17]

◆ APValue() [5/17]

◆ APValue() [6/17]

◆ APValue() [7/17]

◆ APValue() [8/17]

◆ APValue() [9/17]

◆ APValue() [10/17]

◆ APValue() [11/17]

◆ APValue() [12/17]

◆ APValue() [13/17]

◆ APValue() [14/17]

◆ APValue() [15/17]

◆ APValue() [16/17]

◆ APValue() [17/17]

◆ ~APValue()

Member Function Documentation

◆ allowConstexprUnknown()

◆ dump() [1/2]

◆ dump() [2/2]

◆ getAddrLabelDiffLHS()

◆ getAddrLabelDiffRHS()

◆ getArrayFiller() [1/2]

◆ getArrayFiller() [2/2]

◆ getArrayInitializedElt() [1/2]

◆ getArrayInitializedElt() [2/2]

◆ getArrayInitializedElts()

◆ getArraySize()

◆ getAsString()

◆ getComplexFloatImag() [1/2]

◆ getComplexFloatImag() [2/2]

◆ getComplexFloatReal() [1/2]

◆ getComplexFloatReal() [2/2]

◆ getComplexIntImag() [1/2]

◆ getComplexIntImag() [2/2]

◆ getComplexIntReal() [1/2]

◆ getComplexIntReal() [2/2]

◆ getFixedPoint() [1/2]

◆ getFixedPoint() [2/2]

◆ getFloat() [1/2]

◆ getFloat() [2/2]

◆ getInt() [1/2]

◆ getInt() [2/2]

◆ getKind()

◆ getLValueBase()

◆ getLValueCallIndex()

◆ getLValueOffset() [1/2]

◆ getLValueOffset() [2/2]

◆ getLValuePath()

◆ getLValueVersion()

◆ getMemberPointerDecl()

◆ getMemberPointerPath()

◆ getStructBase() [1/2]

◆ getStructBase() [2/2]

◆ getStructField() [1/2]

◆ getStructField() [2/2]

◆ getStructNumBases()

◆ getStructNumFields()

◆ getUnionField()

◆ getUnionValue() [1/2]

◆ getUnionValue() [2/2]

◆ getVectorElt() [1/2]

◆ getVectorElt() [2/2]

◆ getVectorLength()

◆ hasArrayFiller()

◆ hasLValuePath()

◆ hasValue()