Return true if this function can prove that if Inst is executed and yields a poison value or undef bits, then that will trigger undefined behavior.
Synopsis
Declared in <llvm/Analysis/ValueTracking.h>
bool
programUndefinedIfUndefOrPoison(Instruction const* Inst);Description
Note that this currently only considers the basic block that is the parent of Inst.
Return Value
True if undef or poison from Inst implies program UB.
Parameters
Name |
Description |
Inst |
Instruction whose undef/poison result would trigger UB. |
Created with MrDocs