[llvm-dev] What is the status of the "Killing Undef and Spreading Poison" RFC?

[Benoit Vey via llvm-dev]

Hi,

Back in 2016 an RFC titled "Killing Undef and Spreading Poison" [1]  
was posted on this mailing list, which generated a lot of discussion  
between different people. Later in 2017, a paper titled "Taming  
Undefined Behavior in LLVM" [2] was published, detailing the various  
concerns introduced in the RFC. There is also a patch proposal with an  
initial implementation of the `freeze` instruction on the LLVM review  
website [3].

As far as I can see, there has been no public activity on that matter  
since mid-2017. What is the current status?

Thanks, Benoit

References:
[1]: https://lists.llvm.org/pipermail/llvm-dev/2016-October/106182.html
[2]: https://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf
[3]: https://reviews.llvm.org/D29011

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.