ΒΆ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 poison value at the point of execution.

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

Parameters

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