This is an archive of the discontinued LLVM Phabricator instance.

Show First 20 Lines • Show All 1,224 Lines • ▼ Show 20 Lines	``dereferenceable(<n>)``
This indicates that the parameter or return pointer is dereferenceable. This		This indicates that the parameter or return pointer is dereferenceable. This
attribute may only be applied to pointer typed parameters. A pointer that		attribute may only be applied to pointer typed parameters. A pointer that
is dereferenceable can be loaded from speculatively without a risk of		is dereferenceable can be loaded from speculatively without a risk of
trapping. The number of bytes known to be dereferenceable must be provided		trapping. The number of bytes known to be dereferenceable must be provided
in parentheses. It is legal for the number of bytes to be less than the		in parentheses. It is legal for the number of bytes to be less than the
size of the pointee type. The ``nonnull`` attribute does not imply		size of the pointee type. The ``nonnull`` attribute does not imply
dereferenceability (consider a pointer to one element past the end of an		dereferenceability (consider a pointer to one element past the end of an
array), however ``dereferenceable(<n>)`` does imply ``nonnull`` in		array), however ``dereferenceable(<n>)`` does imply ``nonnull`` in
``addrspace(0)`` (which is the default address space).		``addrspace(0)`` (which is the default address space), except if the
		``null_pointer_is_valid`` function attribute is present.

``dereferenceable_or_null(<n>)``		``dereferenceable_or_null(<n>)``
This indicates that the parameter or return value isn't both		This indicates that the parameter or return value isn't both
non-null and non-dereferenceable (up to ``<n>`` bytes) at the same		non-null and non-dereferenceable (up to ``<n>`` bytes) at the same
time. All non-null pointers tagged with		time. All non-null pointers tagged with
``dereferenceable_or_null(<n>)`` are ``dereferenceable(<n>)``.		``dereferenceable_or_null(<n>)`` are ``dereferenceable(<n>)``.
For address space 0 ``dereferenceable_or_null(<n>)`` implies that		For address space 0 ``dereferenceable_or_null(<n>)`` implies that
a pointer is exactly one of ``dereferenceable(<n>)`` or ``null``,		a pointer is exactly one of ``dereferenceable(<n>)`` or ``null``,
▲ Show 20 Lines • Show All 19,576 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[LangRef] Clarify `dereferenceable` -> `nonnull` implicationClosedPublic

Details

Diff Detail

Unit TestsFailed

Event Timeline

Revision Contents

Diff 298205

llvm/docs/LangRef.rst

[LangRef] Clarify `dereferenceable` -> `nonnull` implication
ClosedPublic