[PATCH] D19210: Teach poison value tracking that certain calls always terminate

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Mon May 30 13:31:26 PDT 2016


sanjoy abandoned this revision.
sanjoy added a comment.

The "icmp propagages poison" bit has been checked in in http://reviews.llvm.org/rL271150.  The "branch on poison is UB" bit is incorrect, and has been abandoned.


http://reviews.llvm.org/D19210





More information about the llvm-commits mailing list