[PATCH] D92739: [ValueTracking] Branch on poison is UB

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Now that the handling of `&&` and `||` in LLVM is poison-safe, do you think we can move ahead with this change? I realize that other problematic control-flow folds still exist, but the and/or handling seems to be the one that caused all the practical miscompiles.


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

https://reviews.llvm.org/D92739