ΒΆbool mustTriggerUB(
    const llvm::Instruction* I,
    const SmallSet<const llvm::Value*, 16>&
        KnownPoison)

Description

Return true if the given instruction must trigger undefined behavior. when I is executed with any operands which appear in KnownPoison holding a full-poison value at the point of execution.

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

Parameters

const llvm::Instruction* I
const SmallSet<const llvm::Value*, 16>& KnownPoison