On 08/22/2014 10:39 PM, Mike Stump wrote:
Before you check it in, consider:930529-1.x has some alpha bits but I didn’t notice a discussion nor do I have state on the bug to know if the resolution is correct.
Those are commented out, and I assume superseded by the use of -fwrapv. Thanks! Bernd