buffer.compare.null

← buffer dialect

Test whether a buffer is null. Returns true exactly when the operand identifies no storage, independently of its byte length. The query does not access memory or change ownership.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, SafeToSpeculate
Ownership effects	borrow buffer (by_value)

Signature

Kind	Name	Type	Cardinality	Description
Operand	buffer	buffer	required	Storage reference to test.
Result	result	i1	required	True for null, false for storage.

Examples

%missing = buffer.compare.null %input : buffer