[PATCH] D128779: [GuardWidening] Add tests showing the incorrect behavior of GW wrt poison

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

I didn't quite get what's the problem with 2nd example and `logical and`, but the first example is more than enough to admit it's a bug.


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

https://reviews.llvm.org/D128779