[PATCH] D76332: Fix MSan false positive due to select folding.

[Sanjay Patel via Phabricator via llvm-commits]

spatel added subscribers: aqjune, regehr.
spatel added a comment.

In D76332#1927877 <https://reviews.llvm.org/D76332#1927877>, @efriedma wrote:

> I'm not sure this transform is actually safe even outside of msan workflows.


According to Alive2 (cc @regehr @aqjune ), it's not:
http://volta.cs.utah.edu:8080/z/53knD3
(Hopefully, I reduced the test posted here correctly.)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76332