On Tue, Apr 23, 2013 at 4:18 AM, Graydon Hoare <[email protected]> wrote:
> We've also had some requests for a mechanism to enable overflow checking > on _all_ integer types within a given static or dynamic program extent, > using attributes. I, at least, made a request for overflow checking on all integer types, full stop :-). And I still want it; failure of obvious properties like "a >= 0 ===> a + b >= b" is just crazy, and I'm tired of living in crazy-land. On the other hand, I don't see this as important for floating point types. Accumulating NaNs and infinities is much saner than simply producing the wrong answer, has seldom led to critical browser bugs in my experience, and I can't see how it would without an intervening conversion to integer type which would, of course, be checked. (OK, I can recall exactly one infinite-recursion bug involving NaNs that didn't require an integer conversion.) Rob -- q“qIqfq qyqoquq qlqoqvqeq qtqhqoqsqeq qwqhqoq qlqoqvqeq qyqoquq,q qwqhqaqtq qcqrqeqdqiqtq qiqsq qtqhqaqtq qtqoq qyqoquq?q qEqvqeqnq qsqiqnqnqeqrqsq qlqoqvqeq qtqhqoqsqeq qwqhqoq qlqoqvqeq qtqhqeqmq.q qAqnqdq qiqfq qyqoquq qdqoq qgqoqoqdq qtqoq qtqhqoqsqeq qwqhqoq qaqrqeq qgqoqoqdq qtqoq qyqoquq,q qwqhqaqtq qcqrqeqdqiqtq qiqsq qtqhqaqtq qtqoq qyqoquq?q qEqvqeqnq qsqiqnqnqeqrqsq qdqoq qtqhqaqtq.q"
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
