[#llvm-NullPointerIsDefined]
= xref:llvm.adoc[llvm]::NullPointerIsDefined
:relfileprefix: ../
:mrdocs:

Return whether null pointer dereference is defined for `F` or address space `AS.`

== Synopsis

Declared in `<llvm/IR/Function.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
NullPointerIsDefined(
    xref:llvm/Function.adoc[Function] const* F,
    unsigned int AS = 0);
----

== Description

Null pointer access in a non‐zero address space is not considered undefined. Returns false if null pointer dereference is undefined behavior, and true if it is not.

== Return Value

True if null pointer dereference is defined (not UB).

== Parameters

[cols="1,4"]
|===
| Name| Description
| *F*
| The function whose attributes may define null behavior, or null.
| *AS*
| The address space to check when `F` is null or does not apply.
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#