Describes a memory block created by an allocation site. More...

#include "/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/AST/Interp/Descriptor.h"

Classes
struct	UnknownSize
	Token to denote structures of unknown size. More...

Public Types
using	MetadataSize = std::optional< unsigned >

Public Member Functions
	Descriptor (const DeclTy &D, PrimType Type, MetadataSize MD, bool IsConst, bool IsTemporary, bool IsMutable)
	Allocates a descriptor for a primitive.

	Descriptor (const DeclTy &D, PrimType Type, MetadataSize MD, size_t NumElems, bool IsConst, bool IsTemporary, bool IsMutable)
	Allocates a descriptor for an array of primitives.

	Descriptor (const DeclTy &D, PrimType Type, MetadataSize MDSize, bool IsTemporary, UnknownSize)
	Allocates a descriptor for an array of primitives of unknown size.

	Descriptor (const DeclTy &D, const Descriptor *Elem, MetadataSize MD, unsigned NumElems, bool IsConst, bool IsTemporary, bool IsMutable)
	Allocates a descriptor for an array of composites.

	Descriptor (const DeclTy &D, const Descriptor *Elem, MetadataSize MD, bool IsTemporary, UnknownSize)
	Allocates a descriptor for an array of composites of unknown size.

	Descriptor (const DeclTy &D, const Record *R, MetadataSize MD, bool IsConst, bool IsTemporary, bool IsMutable)
	Allocates a descriptor for a record.

	Descriptor (const DeclTy &D)
	Allocates a dummy descriptor.

void	makeDummy ()
	Make this descriptor a dummy descriptor.

QualType	getType () const

QualType	getElemQualType () const

SourceLocation	getLocation () const

const Decl *	asDecl () const

const Expr *	asExpr () const

const DeclTy &	getSource () const

const ValueDecl *	asValueDecl () const

const VarDecl *	asVarDecl () const

const FieldDecl *	asFieldDecl () const

const RecordDecl *	asRecordDecl () const

unsigned	getSize () const
	Returns the size of the object without metadata.

PrimType	getPrimType () const

unsigned	getAllocSize () const
	Returns the allocated size, including metadata.

unsigned	getElemSize () const
	returns the size of an element when the structure is viewed as an array.

unsigned	getMetadataSize () const
	Returns the size of the metadata.

unsigned	getNumElems () const
	Returns the number of elements stored in the block.

bool	isPrimitiveArray () const
	Checks if the descriptor is of an array of primitives.

bool	isCompositeArray () const
	Checks if the descriptor is of an array of composites.

bool	isZeroSizeArray () const
	Checks if the descriptor is of an array of zero size.

bool	isUnknownSizeArray () const
	Checks if the descriptor is of an array of unknown size.

bool	isPrimitive () const
	Checks if the descriptor is of a primitive.

bool	isArray () const
	Checks if the descriptor is of an array.

bool	isRecord () const
	Checks if the descriptor is of a record.

bool	isDummy () const
	Checks if this is a dummy descriptor.

void	dump () const

void	dump (llvm::raw_ostream &OS) const

Public Attributes
const Record *const	ElemRecord = nullptr
	Pointer to the record, if block contains records.

const Descriptor *const	ElemDesc = nullptr
	Descriptor of the array element.

const std::optional< PrimType >	PrimT = std::nullopt
	The primitive type this descriptor was created for, or the primitive element type in case this is a primitive array.

const bool	IsConst = false
	Flag indicating if the block is mutable.

const bool	IsMutable = false
	Flag indicating if a field is mutable.

const bool	IsTemporary = false
	Flag indicating if the block is a temporary.

const bool	IsArray = false
	Flag indicating if the block is an array.

bool	IsDummy = false
	Flag indicating if this is a dummy descriptor.

const BlockCtorFn	CtorFn = nullptr
	Storage management methods.

const BlockDtorFn	DtorFn = nullptr

const BlockMoveFn	MoveFn = nullptr

Static Public Attributes
static constexpr MetadataSize	InlineDescMD = sizeof(InlineDescriptor)

static constexpr MetadataSize	GlobalMD = sizeof(GlobalInlineDescriptor)

static constexpr unsigned	MaxArrayElemBytes
	Maximum number of bytes to be used for array elements.

Detailed Description

Describes a memory block created by an allocation site.

Definition at line 107 of file Descriptor.h.

Member Typedef Documentation

◆ MetadataSize

using clang::interp::Descriptor::MetadataSize = std::optional<unsigned>

Definition at line 127 of file Descriptor.h.

Constructor & Destructor Documentation

◆ Descriptor() [1/7]

Descriptor::Descriptor	(	const DeclTy &	D,
		PrimType	Type,
		MetadataSize	MD,
		bool	IsConst,
		bool	IsTemporary,
		bool	IsMutable
	)

Allocates a descriptor for a primitive.

Primitives.

Definition at line 286 of file Descriptor.cpp.

◆ Descriptor() [2/7]

Descriptor::Descriptor	(	const DeclTy &	D,
		PrimType	Type,
		MetadataSize	MD,
		size_t	NumElems,
		bool	IsConst,
		bool	IsTemporary,
		bool	IsMutable
	)

Allocates a descriptor for an array of primitives.

Primitive arrays.

Definition at line 298 of file Descriptor.cpp.

References MaxArrayElemBytes.

◆ Descriptor() [3/7]

Descriptor::Descriptor	(	const DeclTy &	D,
		PrimType	Type,
		MetadataSize	MDSize,
		bool	IsTemporary,
		UnknownSize
	)

Allocates a descriptor for an array of primitives of unknown size.

Primitive unknown-size arrays.

Definition at line 312 of file Descriptor.cpp.

◆ Descriptor() [4/7]

Descriptor::Descriptor	(	const DeclTy &	D,
		const Descriptor *	Elem,
		MetadataSize	MD,
		unsigned	NumElems,
		bool	IsConst,
		bool	IsTemporary,
		bool	IsMutable
	)

Allocates a descriptor for an array of composites.

Arrays of composite elements.

Definition at line 324 of file Descriptor.cpp.

◆ Descriptor() [5/7]

Descriptor::Descriptor	(	const DeclTy &	D,
		const Descriptor *	Elem,
		MetadataSize	MD,
		bool	IsTemporary,
		UnknownSize
	)

Allocates a descriptor for an array of composites of unknown size.

Unknown-size arrays of composite elements.

Definition at line 337 of file Descriptor.cpp.

◆ Descriptor() [6/7]

Descriptor::Descriptor	(	const DeclTy &	D,
		const Record *	R,
		MetadataSize	MD,
		bool	IsConst,
		bool	IsTemporary,
		bool	IsMutable
	)

Allocates a descriptor for a record.

Composite records.

Definition at line 348 of file Descriptor.cpp.

◆ Descriptor() [7/7]

Descriptor::Descriptor ( const DeclTy & D )

Allocates a dummy descriptor.

Dummy.

Definition at line 359 of file Descriptor.cpp.

Member Function Documentation

◆ asDecl()

const Decl * clang::interp::Descriptor::asDecl ( ) const

inline

Definition at line 194 of file Descriptor.h.

Referenced by asFieldDecl(), asRecordDecl(), asValueDecl(), asVarDecl(), clang::interp::CheckFieldsInitialized(), dump(), getType(), clang::interp::Pointer::isField(), and clang::interp::Pointer::toAPValue().

◆ asExpr()

const Expr * clang::interp::Descriptor::asExpr ( ) const

inline

Definition at line 195 of file Descriptor.h.

Referenced by clang::interp::DynamicAllocator::allocate(), clang::interp::CheckFieldsInitialized(), dump(), clang::interp::Program::dump(), clang::interp::Free(), getType(), clang::interp::InitGlobalTemp(), and clang::interp::Pointer::toAPValue().

◆ asFieldDecl()

const FieldDecl * clang::interp::Descriptor::asFieldDecl ( ) const

inline

Definition at line 206 of file Descriptor.h.

References asDecl().

Referenced by clang::interp::Pointer::getField(), and clang::interp::Pointer::toRValue().

◆ asRecordDecl()

const RecordDecl * clang::interp::Descriptor::asRecordDecl ( ) const

inline

Definition at line 210 of file Descriptor.h.

References asDecl().

◆ asValueDecl()

const ValueDecl * clang::interp::Descriptor::asValueDecl ( ) const

inline

Definition at line 198 of file Descriptor.h.

References asDecl().

Referenced by clang::interp::CheckDummy(), clang::interp::CheckExtern(), clang::interp::CheckGlobalInitialized(), getType(), clang::interp::interp__builtin_is_aligned_up_down(), and clang::interp::Pointer::toAPValue().

◆ asVarDecl()

const VarDecl * clang::interp::Descriptor::asVarDecl ( ) const

inline

Definition at line 202 of file Descriptor.h.

References asDecl().

Referenced by clang::interp::CheckConstant(), clang::interp::CheckExtern(), and clang::interp::CheckInitialized().

◆ dump() [1/2]

LLVM_DUMP_METHOD void Descriptor::dump ( ) const

Definition at line 209 of file Disasm.cpp.

References dump().

Referenced by dump(), clang::interp::InlineDescriptor::dump(), clang::interp::Block::dump(), and clang::interp::Program::dump().

◆ dump() [2/2]

LLVM_DUMP_METHOD void Descriptor::dump ( llvm::raw_ostream & OS ) const

Definition at line 214 of file Disasm.cpp.

References asDecl(), asExpr(), isCompositeArray(), isDummy(), isPrimitive(), isPrimitiveArray(), isRecord(), isUnknownSizeArray(), and isZeroSizeArray().

◆ getAllocSize()

unsigned clang::interp::Descriptor::getAllocSize ( ) const

inline

Returns the allocated size, including metadata.

Definition at line 226 of file Descriptor.h.

Referenced by clang::interp::Program::createDescriptor(), clang::interp::Program::createGlobalString(), clang::interp::Program::getOrCreateDummy(), clang::interp::Program::getOrCreateRecord(), clang::interp::Block::getSize(), and clang::interp::Block::invokeCtor().

◆ getElemQualType()

QualType Descriptor::getElemQualType ( ) const

Definition at line 376 of file Descriptor.cpp.

References clang::Type::getAs(), clang::Type::getAsArrayTypeUnsafe(), getType(), isArray(), and clang::T.

◆ getElemSize()

unsigned clang::interp::Descriptor::getElemSize ( ) const

inline

returns the size of an element when the structure is viewed as an array.

Definition at line 228 of file Descriptor.h.

Referenced by clang::interp::Pointer::elemSize(), and getNumElems().

◆ getLocation()

SourceLocation Descriptor::getLocation ( ) const

Definition at line 388 of file Descriptor.cpp.

References D, E, clang::Expr::getExprLoc(), and clang::Decl::getLocation().

Referenced by clang::interp::Pointer::getDeclLoc().

◆ getMetadataSize()

unsigned clang::interp::Descriptor::getMetadataSize ( ) const

inline

Returns the size of the metadata.

Definition at line 230 of file Descriptor.h.

Referenced by clang::interp::CheckDowncast(), clang::interp::Block::data(), clang::interp::InterpState::deallocate(), clang::interp::Pointer::expand(), and clang::interp::MemberPointer::toPointer().

◆ getNumElems()

unsigned clang::interp::Descriptor::getNumElems ( ) const

inline

Returns the number of elements stored in the block.

Definition at line 233 of file Descriptor.h.

References getElemSize(), and getSize().

Referenced by clang::interp::collectBlocks(), clang::interp::DoMemcpy(), clang::interp::Pointer::initialize(), clang::interp::RunDestructors(), and clang::interp::runRecordDestructor().

◆ getPrimType()

PrimType clang::interp::Descriptor::getPrimType ( ) const

inline

Definition at line 220 of file Descriptor.h.

References isPrimitive(), isPrimitiveArray(), and PrimT.

Referenced by clang::interp::collectBlocks(), clang::interp::DoMemcpy(), and clang::interp::Program::dump().

◆ getSize()

unsigned clang::interp::Descriptor::getSize ( ) const

inline

Returns the size of the object without metadata.

Definition at line 215 of file Descriptor.h.

References isUnknownSizeArray().

Referenced by clang::interp::AllocCN(), clang::interp::Pointer::elemSize(), getNumElems(), and clang::interp::Pointer::getSize().

◆ getSource()

const DeclTy & clang::interp::Descriptor::getSource ( ) const

inline

Definition at line 196 of file Descriptor.h.

Referenced by clang::interp::Pointer::getSource().

◆ getType()

QualType Descriptor::getType ( ) const

Definition at line 366 of file Descriptor.cpp.

References asDecl(), asExpr(), asValueDecl(), D, E, clang::Expr::getType(), and clang::T.

Referenced by CheckTemporary(), getElemQualType(), and clang::interp::Pointer::getType().

◆ isArray()

bool clang::interp::Descriptor::isArray ( ) const

inline

Checks if the descriptor is of an array.

Definition at line 250 of file Descriptor.h.

References IsArray.

Referenced by getElemQualType().

◆ isCompositeArray()

bool clang::interp::Descriptor::isCompositeArray ( ) const

inline

Checks if the descriptor is of an array of composites.

Definition at line 240 of file Descriptor.h.

References ElemDesc, and IsArray.

Referenced by clang::interp::collectBlocks(), dump(), and clang::interp::RunDestructors().

◆ isDummy()

bool clang::interp::Descriptor::isDummy ( ) const

inline

Checks if this is a dummy descriptor.

Definition at line 254 of file Descriptor.h.

References IsDummy.

Referenced by dump(), clang::interp::Program::dump(), clang::interp::Program::getOrCreateDummy(), and clang::interp::Pointer::isDummy().

◆ isPrimitive()

bool clang::interp::Descriptor::isPrimitive ( ) const

inline

Checks if the descriptor is of a primitive.

Definition at line 247 of file Descriptor.h.

References ElemRecord, and IsArray.

Referenced by clang::interp::collectBlocks(), clang::interp::DoMemcpy(), dump(), clang::interp::Program::dump(), getPrimType(), and clang::interp::RunDestructors().

◆ isPrimitiveArray()

bool clang::interp::Descriptor::isPrimitiveArray ( ) const

inline

Checks if the descriptor is of an array of primitives.

Definition at line 238 of file Descriptor.h.

References ElemDesc, and IsArray.

Referenced by clang::interp::collectBlocks(), clang::interp::DoMemcpy(), dump(), getPrimType(), clang::interp::Pointer::initialize(), clang::interp::Pointer::inPrimitiveArray(), clang::interp::interp__builtin_nan(), clang::interp::interp__builtin_strcmp(), clang::interp::interp__builtin_strlen(), clang::interp::Pointer::isInitialized(), and clang::interp::RunDestructors().

◆ isRecord()

bool clang::interp::Descriptor::isRecord ( ) const

inline

Checks if the descriptor is of a record.

Definition at line 252 of file Descriptor.h.

References ElemRecord, and IsArray.

Referenced by clang::interp::DoMemcpy(), dump(), clang::interp::RunDestructors(), and clang::interp::runRecordDestructor().

◆ isUnknownSizeArray()

bool clang::interp::Descriptor::isUnknownSizeArray ( ) const

inline

Checks if the descriptor is of an array of unknown size.

Definition at line 244 of file Descriptor.h.

Referenced by dump(), getSize(), and clang::interp::Pointer::isUnknownSizeArray().

◆ isZeroSizeArray()

bool clang::interp::Descriptor::isZeroSizeArray ( ) const

inline

Checks if the descriptor is of an array of zero size.

Definition at line 242 of file Descriptor.h.

Referenced by dump(), and clang::interp::Pointer::isZeroSizeArray().

◆ makeDummy()

void clang::interp::Descriptor::makeDummy ( )

inline

Make this descriptor a dummy descriptor.

Definition at line 188 of file Descriptor.h.

References IsDummy.

Referenced by clang::interp::Program::getOrCreateDummy().

Member Data Documentation

◆ CtorFn

const BlockCtorFn clang::interp::Descriptor::CtorFn = nullptr

Storage management methods.

Definition at line 156 of file Descriptor.h.

Referenced by clang::interp::Block::invokeCtor().

◆ DtorFn

const BlockDtorFn clang::interp::Descriptor::DtorFn = nullptr

Definition at line 157 of file Descriptor.h.

Referenced by clang::interp::Block::invokeDtor().

◆ ElemDesc

const Descriptor* const clang::interp::Descriptor::ElemDesc = nullptr

Descriptor of the array element.

Definition at line 139 of file Descriptor.h.

Referenced by clang::interp::Pointer::getElemRecord(), isCompositeArray(), isPrimitiveArray(), clang::interp::RunDestructors(), and clang::interp::runRecordDestructor().

◆ ElemRecord

const Record* const clang::interp::Descriptor::ElemRecord = nullptr

Pointer to the record, if block contains records.

Definition at line 137 of file Descriptor.h.

Referenced by clang::interp::collectBlocks(), clang::interp::DoMemcpy(), clang::interp::Pointer::getElemRecord(), clang::interp::Pointer::getRecord(), isPrimitive(), isRecord(), and clang::interp::runRecordDestructor().

◆ GlobalMD

constexpr MetadataSize clang::interp::Descriptor::GlobalMD = sizeof(GlobalInlineDescriptor)

staticconstexpr

Definition at line 129 of file Descriptor.h.

Referenced by clang::interp::Program::createGlobalString().

◆ InlineDescMD

constexpr MetadataSize clang::interp::Descriptor::InlineDescMD = sizeof(InlineDescriptor)

staticconstexpr

Definition at line 128 of file Descriptor.h.

Referenced by clang::interp::DynamicAllocator::allocate(), clang::interp::Compiler< Emitter >::allocateLocal(), clang::interp::Compiler< Emitter >::allocateLocalPrimitive(), clang::interp::Compiler< Emitter >::VisitCastExpr(), and clang::interp::Compiler< Emitter >::VisitCXXNewExpr().

◆ IsArray

const bool clang::interp::Descriptor::IsArray = false

Flag indicating if the block is an array.

Definition at line 151 of file Descriptor.h.

Referenced by clang::interp::Pointer::expand(), clang::interp::Pointer::hasSameArray(), clang::interp::Pointer::inArray(), isArray(), isCompositeArray(), isPrimitive(), isPrimitiveArray(), and isRecord().

◆ IsConst

const bool clang::interp::Descriptor::IsConst = false

Flag indicating if the block is mutable.

Definition at line 145 of file Descriptor.h.

Referenced by clang::interp::Block::invokeCtor(), and clang::interp::Pointer::isConst().

◆ IsDummy

bool clang::interp::Descriptor::IsDummy = false

Flag indicating if this is a dummy descriptor.

Definition at line 153 of file Descriptor.h.

Referenced by isDummy(), and makeDummy().

◆ IsMutable

const bool clang::interp::Descriptor::IsMutable = false

Flag indicating if a field is mutable.

Definition at line 147 of file Descriptor.h.

Referenced by clang::interp::Block::invokeCtor().

◆ IsTemporary

const bool clang::interp::Descriptor::IsTemporary = false

Flag indicating if the block is a temporary.

Definition at line 149 of file Descriptor.h.

Referenced by clang::interp::Program::dump(), and clang::interp::Block::isTemporary().

◆ MaxArrayElemBytes

constexpr unsigned clang::interp::Descriptor::MaxArrayElemBytes

staticconstexpr

Initial value:

=
      std::numeric_limits<decltype(AllocSize)>::max() - sizeof(InitMapPtr) -
      align(std::max(*InlineDescMD, *GlobalMD))

Maximum number of bytes to be used for array elements.

Definition at line 132 of file Descriptor.h.

Referenced by clang::interp::CheckArraySize(), and Descriptor().

◆ MoveFn

const BlockMoveFn clang::interp::Descriptor::MoveFn = nullptr

Definition at line 158 of file Descriptor.h.

Referenced by clang::interp::InterpState::deallocate().

◆ PrimT

const std::optional<PrimType> clang::interp::Descriptor::PrimT = std::nullopt

The primitive type this descriptor was created for, or the primitive element type in case this is a primitive array.

Definition at line 143 of file Descriptor.h.

Referenced by getPrimType().

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

lib/AST/Interp/Descriptor.h
lib/AST/Interp/Descriptor.cpp
lib/AST/Interp/Disasm.cpp

Classes

Public Types

Public Member Functions

Public Attributes

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ MetadataSize

Constructor & Destructor Documentation

◆ Descriptor() [1/7]

◆ Descriptor() [2/7]

◆ Descriptor() [3/7]

◆ Descriptor() [4/7]

◆ Descriptor() [5/7]

◆ Descriptor() [6/7]

◆ Descriptor() [7/7]

Member Function Documentation

◆ asDecl()

◆ asExpr()

◆ asFieldDecl()

◆ asRecordDecl()

◆ asValueDecl()

◆ asVarDecl()

◆ dump() [1/2]

◆ dump() [2/2]

◆ getAllocSize()

◆ getElemQualType()

◆ getElemSize()

◆ getLocation()

◆ getMetadataSize()

◆ getNumElems()

◆ getPrimType()

◆ getSize()

◆ getSource()

◆ getType()

◆ isArray()

◆ isCompositeArray()

◆ isDummy()

◆ isPrimitive()

◆ isPrimitiveArray()

◆ isRecord()

◆ isUnknownSizeArray()

◆ isZeroSizeArray()

◆ makeDummy()

Member Data Documentation

◆ CtorFn

◆ DtorFn

◆ ElemDesc

◆ ElemRecord

◆ GlobalMD

◆ InlineDescMD

◆ IsArray

◆ IsConst

◆ IsDummy

◆ IsMutable

◆ IsTemporary

◆ MaxArrayElemBytes

◆ MoveFn

◆ PrimT