[rust-dev] Integer overflow, round -2147483648
regehr at cs.utah.edu
Mon Jun 23 11:59:12 PDT 2014
> > Ada's approach to integer overflows is substantially similar to AIR
> Isn't Ada's response to overflow implementation-defined?
First, the standard seems to require a Constraint_Error when signed
integer overflow happens. For example, on page 47 of the ADA 2012 standard:
"For a signed integer type, the exception Constraint_Error is raised by
the execution of an operation that cannot deliver the correct result
because it is outside the base range of the type."
On the other hand, other parts of the standard provide significant
wiggle room, giving a design that I believe is more or less equivalent
to AIR. The discussion here is the best that I know of:
I believe that Ada's design point is a solid one.
More information about the Rust-dev