buffer.null

← buffer dialect

Produce the null buffer, which identifies no storage. The result has zero byte length, allocates nothing, and carries no release obligation. It may be selected, passed, returned, and tested for null, but cannot back a memory access. Null is distinct from every allocated buffer, including zero-length storage. Its physical representation is target and memory-space dependent; it is not an integer address.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, ConstantLike, SafeToSpeculate

Signature

Kind	Name	Type	Cardinality	Description
Result	result	buffer	required	Null storage reference.

Examples

%empty = buffer.null : buffer