ΒΆbool impliesPoison(
    const llvm::Value* ValAssumedPoison,
    const llvm::Value* V)

Description

Return true if V is poison given that ValAssumedPoison is already poison. For example, if ValAssumedPoison is `icmp X, 10` and V is `icmp X, 5`, impliesPoison returns true.

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

Parameters

const llvm::Value* ValAssumedPoison
const llvm::Value* V