SuccessChanges

Summary

  1. [Attributor] Fix callsite check in AAUndefinedBehavior (details)
Commit a7ca9e09bd10a989cf920df2fd70f562707c4776 by okuraofvegetable
[Attributor] Fix callsite check in AAUndefinedBehavior

This is the next patch of D86842
When we check `noundef` attribute violation at callsites, we do not have to require `nonnull` in the following two cases.
1. An argument is known to be simplified to undef
2. An argument is known to be dead

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D86845
The file was modifiedllvm/lib/Transforms/IPO/AttributorAttributes.cpp (diff)
The file was modifiedllvm/test/Transforms/Attributor/undefined_behavior.ll (diff)