Re: Arrays in Ada 2012

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 07/06/2017 13:47, Anatoly Chernyshev wrote:
> On Wednesday, June 7, 2017 at 7:06:13 PM UTC+12, Dmitry A. Kazakov wrote:
>> On 06/06/2017 22:56, Randy Brukardt wrote:
>>
>>>          Current := Current + Long_Long_Integer'Size/Storage_Unit;
>>
>> A bit OT question.
>>
>> I always use rounding in the corresponding cases
>>
>>      (Long_Long_Integer'Size + Storage_Unit - 1) / Storage_Unit;
>>
>> Is this an overkill from the point of view the permissions RM gives to
>> array implementation?
> 
> Miserable life of a computer scientist...
> 
> Couple of minor questions:
> 
> 1 (to Dmitry): Aren't you screwing up the whole idea when using plain '1' in the formula above?

It is no problem, integer literals are kind of overloaded. The 
expression above is of universal integer type until it gets forced into 
the target type, Storage_Offset in the case of address arithmetic.

BTW, if you don't like constant you could use this instead:

  (Long_Long_Integer'Size + Storage_Offset'Pred (Storage_Unit)) / 
Storage_Unit;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de