Re: += in ada

[Wes Groleau <groleau@freeshell.org>]

christoph.grein@eurocopter.com quoted:
>>>   if X * Y > Integer'Last

and answered:
> X and Y may be kept in registers and also the result, and the registers may well 
> be able to hold values above Integer'Last.
> 
> The RM specifies that either an exception be raised or the mathematically 
> correct result (here Boolean True) be returned. [Only when the result is 
> assigned to an Integer must the exception be raised. There is no assignment in 
> the if-statement's expression.]

which agress with Robert E. -- it's
implementation dependent.

A simple (though not 100% equivalent)
alternative is

   if Integer'Last / X <= Y

(not 100% because if the product just equals
Integer'Last it will be rejected, but if
I used "<" integer division could let a few
overflow values squeak through.


-- 
Wes Groleau

  Guidelines for judging others:

  1. Don't attribute to malice that which
     can be adequately explained by stupidity.

  2. Don't attribute to stupidity that which
     can be adequately explained by ignorance.

  3. Don't attribute to ignorance that which
     can be adequately explained by misunderstanding.