[PATCH] D71960: [Attributor] AAUndefinedBehavior: Use AAValueSimplify

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added a comment.

In D71960#1870868 <https://reviews.llvm.org/D71960#1870868>, @jdoerfert wrote:

> 2. add a test that checks the functionality. the test changes in this patch "repair" existing tests to not expose unwanted UB but we want to have at least one test that exhibits UB and which gets exploited due to this patch.


Something more complicated than `load_null_propagated()` and / or `cond_br_on_undef*` functions (in `undefined_behavior.ll` testcase) ?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D71960/new/

https://reviews.llvm.org/D71960