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

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 18 10:20:22 PDT 2020


aqjune added a comment.

In this example, giving `-disable-undef-input` (which assumes the input is never undef) shows a clearer output: http://volta.cs.utah.edu:8080/z/N5eP_-
If `%b` is false, the source program does not have UB where as the optimized program has conditional branch on `%x` which can introduce UB.


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