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

Evgenii Stepanov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 18 13:02:02 PDT 2020


eugenis added a comment.

Interesting. Poison semantics are very similar to MemorySanitizer model.
Should I remove TryToUnfoldSelectInCurrBB completely? I don't see how it can be saved.
Am I right about the other two instances of select folding in this pass being safe? They insert new conditional branches only on code paths that already had a branch with the same condition.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76332





More information about the llvm-commits mailing list