ΒΆbool NullPointerIsDefined(const llvm::Function* F,
unsigned int AS = 0)
bool NullPointerIsDefined(const llvm::Function* F,
unsigned int AS = 0)
Description
Check whether null pointer dereferencing is considered undefined behavior for a given function or an address space. Null pointer access in non-zero address space is not considered undefined. Return value: false => null pointer dereference is undefined. Return value: true => null pointer dereference is not undefined.
Declared at: llvm/include/llvm/IR/Function.h:862
Parameters
- const llvm::Function* F
- unsigned int AS = 0