Bug in Nitrogen's value analysis Pascal Cuoq on 23 November 2011
In the course of restructuring the value analysis, I noticed a difference in some regression tests. The \after" version had some new warnings that weren't in the "before" version. After further investigation it turned out that displaying the warnings was correct and that the "before" version was unsound. This soundness...
Read More