Re: Unconstrained base subtype questions

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

"Alex Mentis" <foo@invalid.invalid> writes:
>> - during execution, there are two kinds of overflow checks.
>>   Intermediate results must lie within the "base range of the type"
>>   which, for all intents and purposes, is the full range of
>>   [[Long_]Long_]Integer (ARM 4.5.4(20)).  So, if an intermediate value
>>   exceeds e.g. Integer'Last you get a Constraint_Error.
>
> Well, that's my question. In the calculation above, I clearly have an
> intermediate value that exceeds Integer'Last. And I tried something
> similar with Long_Long_Integer and still couldn't get an overflow
> error! So what is the actual limit on the base range of the type? Is it
> language defined, compiler defined, hardware defined, none of the above?

It is both language- and implementation-defined.  I gave you the
references to what the language says.  The implementation-defined part
is the "base range of the type"; a sane implementation would choose a
range that matches the hardware.

The reason why you did not get an overflow at runtime is because your
computation did not take place at run time.  The GNAT warnings and
Constraint_Error that I reported earlier were for the case of a run-time
computation similar to what Simon and Randy said.

-- 
Ludovic Brenta.