Ada front-end depends on signed overflow

[Paul Schlie]

> From: Dave Korn <dave.korn@artimi.com>
> ----Original Message----
>> From: Paul Schlie
>> Sent: 08 June 2005 14:40
>  
>> - Can you give an example of an operation which may yield an undefined
>>   non-deterministic result which is reliably useful for anything?
> 
>   Random number generation?

- which if algorithmically computed relies on deterministic semantics.
  as otherwise the pseudo random distribution the algorithm is relying
  on may break.