ΒΆbool programUndefinedIfUndefOrPoison(
const llvm::Instruction* Inst)
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