[llvm-dev] RFC: Killing undef and spreading poison

[John Regehr via llvm-dev]

> 3:::   then  (X & 0)   does not translate to  (0)   when X is “poison” 
> ?,  that seems strange, can you explain / elaborate ?

This is how poison already works, please see the LangRef.

John