Re: Examining individual bytes of an integer

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:pq4jjh$5ig$1@gioia.aioe.org...
> On 2018-10-16 12:18, AdaMagica wrote:
>
>> OK, I stay corrected. But I still claim that it would be extremely unfair 
>> of a compiler not to follow this advice (A'Address = A (A'First)'Address 
>> with increasing addresses for further components).
>
> It is a real pain when writing storage pools that must do some bookkeeping 
> around allocated objects. There should really be X'Allocation_Address 
> there in addition.

Meaning what? In Janus/Ada, the allocation address is always what 'Address 
returns. But since objects may be in multiple parts, that isn't necessarily 
useful for anything.

In any case, X(X'First)'Address always works to get the address of the first 
element of an array. If that's what you want, say so and there isn't going 
to be an issue.

                                        Randy.