[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 208112.
reames added a comment.
Herald added a subscriber: jfb.

Flesh out some test cases


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.208112.patch
Type: text/x-patch
Size: 25077 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190705/b98eec13/attachment.bin>