From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Examining individual bytes of an integer
Date: Tue, 16 Oct 2018 17:35:31 -0500
Organization: JSA Research & Innovation
Message-ID: <pq5p3k$i3h$1@franka.jacob-sparre.dk>
References: <9d90fa3e-f800-4086-bf97-a65474a8140a@googlegroups.com>
 <pq0706$60k$1@dont-email.me> <g2hqooFq0usU1@mid.individual.net>
 <4ddbc9bf-0e2e-466d-8238-d8f709b985e1@googlegroups.com>
 <g2k5fbF9thnU1@mid.individual.net> <pq2sm7$in8$1@franka.jacob-sparre.dk>
 <35f53cd9-4979-49b8-a5df-2c1cf0764507@googlegroups.com>
 <pq4jjh$5ig$1@gioia.aioe.org>
Injection-Date: Tue, 16 Oct 2018 22:35:32 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="18545"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:54609
Date: 2018-10-16T17:35:31-05:00
List-Id: <comp.lang.ada>

"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.