llvm::CallBase::isPassingUndefUB

Return true if passing undef to argument ArgNo is undefined behavior.

Synopsis

Declared in <llvm/IR/InstrTypes.h>

bool
isPassingUndefUB(unsigned int ArgNo) const;

Description

Determine whether passing undef to this argument is undefined behavior. If passing undef to this argument is UB, passing poison is UB as well because poison is more undefined than undef.

Return Value

True if undef or poison at this argument is UB.

Parameters

NameDescription
ArgNoZero-based argument index.