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

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.

Created with MrDocs