[PATCH] D71799: [Attributor] AAUndefinedBehavior: Check for branches on undef value.

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added a comment.

Well, scratch all that, this is wrong as well. For one, we can't assume that an instruction is UB just because it isn't in the `KnownNoUBInsts`. If we go with that implementation, we will consider UB instructions such as unconditional branches or really any instruction that it is never checked.


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

https://reviews.llvm.org/D71799