llvm::assumeBundleImpliesNonNull

Return true if the given assume operand bundle implies that Val is non-null.

Synopsis

Declared in <llvm/IR/BundleAttributes.h>

bool
assumeBundleImpliesNonNull(
    Value const* Val,
    Function const* Context,
    OperandBundleUse OBU);

Return Value

True if OBU implies that Val is non-null.

Parameters

NameDescription
ValValue that may be proven non-null by the bundle.
ContextFunction providing null-pointer address-space rules.
OBUAssume operand bundle to interpret.