¶bool isGuaranteedNotToBeUndefOrPoison(
    const llvm::Value* V)

Description

Return true if this function can prove that V is never undef value or poison value.

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

Parameters

const llvm::Value* V