[PATCH] D64215: Add a transform pass to make the executable semantics of poison explicit in the IR

[Philip Reames via Phabricator via llvm-commits]

reames updated this revision to Diff 208113.
reames added a comment.

Add a case of imprecision to the comments, and move away from terminology around false positive/false negative since that dependents heavily on the use case.  (i.e. is finding more UB after a transform a false negative in the analysis of the previous IR, or a false positive in the comparison?)


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

https://reviews.llvm.org/D64215

Files:
  include/llvm/Transforms/Instrumentation/PoisonChecking.h
  lib/IR/Instruction.cpp
  lib/Passes/PassBuilder.cpp
  lib/Passes/PassRegistry.def
  lib/Transforms/Instrumentation/CMakeLists.txt
  lib/Transforms/Instrumentation/PoisonChecking.cpp
  test/Instrumentation/PoisonChecking/basic-flag-validation.ll
  test/Instrumentation/PoisonChecking/ub-checks.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D64215.208113.patch
Type: text/x-patch
Size: 25242 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190705/141581fa/attachment.bin>