¶bool programUndefinedIfFullPoison(
    const llvm::Instruction* PoisonI)

Description

Return true if this function can prove that if PoisonI is executed and yields a full-poison value (all bits poison), then that will trigger undefined behavior. Note that this currently only considers the basic block that is the parent of I.

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

Parameters

const llvm::Instruction* PoisonI