vitalybuka wrote: ``` This patch deduces noundef attributes for return values. IIUC, a function returns noundef values iff all of its return values are guaranteed not to be undef or poison. ``` https://github.com/llvm/llvm-project/pull/76553