On 2/5/2018 1:20 PM, Nick Sabalausky wrote:
Ouch. I guess "the real WTF" is that 2's complement leads to supporting one value that cannot be negated. But still, I thought we had value range propagation rules to avoid this sort of nonsense when possible (such as the example above)?
The real bug is that VRP should allow this particular case.
