ΒΆllvm::AttributeMask getUBImplyingAttributes()

Description

Get param/return attributes which imply immediate undefined behavior if an invalid value is passed. For example, this includes noundef (where undef implies UB), but not nonnull (where null implies poison). It also does not include attributes like nocapture, which constrain the function implementation rather than the passed value.

Declared at: llvm/include/llvm/IR/Attributes.h:1253