ΒΆbool programUndefinedIfUndefOrPoison(
    const llvm::Instruction* Inst)

Description

Return true if this function can prove that if Inst is executed and yields a poison value or undef bits, then that will trigger undefined behavior. Note that this currently only considers the basic block that is the parent of Inst.

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:650

Parameters

const llvm::Instruction* Inst