Re: Wraparound on multiply overflow

[Jacob Sparre Andersen <sparre@nbi.dk>]

Paul:

> In C it is defined that the result of multiplying two unsigned integers
> is the mathematical result modulo the value (int_max + 1), where int_max
> is the maximum unsigned integer.

That kind of integers are called modular types in Ada. Have
a look at 3.5.4(4) and 3.5.4(36) in the Ada Reference Manual
(1995 edition).

> I know that Ada has modular types, but these don't work with multiply,
> do they?

You might want to RTFM. 4.5.5(1):

   "The multiplying operators [...] are predefined for EVERY
    specific integer type T:"

(my emphasis) and modular types are together with signed
integer types classified as integer types.

Jacob
-- 
"You've got to build bypasses!"