llvm::NullPointerIsDefined

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

Synopsis

Declared in <llvm/IR/Function.h>

bool
NullPointerIsDefined(
    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

NameDescription
FThe function whose attributes may define null behavior, or null.
ASThe address space to check when F is null or does not apply.