Integer overflow is int overflow (Re: Web browser in Ada)

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 27.04.10 16:00, AdaMagica wrote:
> But Standard.Integer is an integer ;-)
> 
>   Very_Big   : constant :=      Integer'Last +      Integer'Last;  --
> "+" of Integer
>   Even_Bigger: constant := Long_Integer'Last + Long_Integer'Last;  --
> "+" of Long_Integer
>   Illegal    : constant := Long_Integer'Last +      Integer'Last;  --
> "+" mixing

Are these really of type Standard.Integer?  I think (after rummaging
through the RM) they are not.
These are named numbers, and their declaration has no effect.
They are of type universal_integer (unconstrained?) which has no name.
And they cannot overflow then.

The builtin "+" can deliver the sum of any static constants
within capacity constraints of the compiler.

package Big is

   Z : constant := 2 ** 1_000_000_000;

   Y : constant := 2 ** 10_000;

   A : constant := 9 ** (9 ** 9);

   B : constant := Long_Long_Integer'Succ (2**63 - 1);

   Bigger : constant Boolean := B > Long_Long_Integer'Last;

end Big;

Compiling: big.ads (source file time stamp: 2010-04-27 14:53:49)

     5.    Z : constant := 2 ** 1_000_000_000;
                             |
        >>> static value too large, capacity exceeded

     7.    A : constant := 9 ** (9 ** 9);
                             |
        >>> static value too large, capacity exceeded


Unavailable:
  for D'Size use ...;
  pragma Inspection_Point (...);

Big.Bigger is True.

My conclusions would be that:

Standard.Integer is a constrained subtype. Its objects are
not like (what is commonly known as) integers, a set that can
be extended at will.
They cannot overflow in Ada mode.  There is no wrap-around.

Named numbers of no-name type universal_integer
cannot overflow, their value is determined by the compiler,
they are not objects, and they can hit compiler capacity limits.

So neither Standard.Integer nor universal_integer is an integer.

Nor is C's int.  Still assuming C's int is like integers,
encouraged by how "int" and "integer" are used interchangeably
in talks and writings, leads to to overflow (this is my
hypothesis).