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

[John Regehr via Phabricator via llvm-commits]

regehr added a comment.

I'll just add that we (my students and I) are interested in making the UB semantics easily pluggable / switchable. They'll still (almost certainly) be in C++, but we'd like to factor these out so at least they're cleanly separated and easily swapped out.


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

https://reviews.llvm.org/D64215