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

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added a comment.

In D71799#1794391 <https://reviews.llvm.org/D71799#1794391>, @uenoku wrote:

> I think you can't use assumption (`getAssumedSimplifiedValue`) for the known information. You need to use only known information.


In what part you're referring to? case 2) of the manifest cases?

**Edit**: i.e. that I end up making blocks unreachable on assumed info?


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

https://reviews.llvm.org/D71799