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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:fd04:: with SMTP id
 m4-v6mr4707553ith.18.1539855217578;
        Thu, 18 Oct 2018 02:33:37 -0700 (PDT)
X-Received: by 2002:aca:c656:: with SMTP id w83-v6mr526107oif.2.1539855217458;
 Thu, 18 Oct 2018 02:33:37 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!z5-v6no162505ite.0!news-out.google.com!n199-v6ni231itn.0!nntp.google.com!z5-v6no162503ite.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 18 Oct 2018 02:33:37 -0700 (PDT)
In-Reply-To: <pq5out$fu2$1@franka.jacob-sparre.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83d2:562e:9080:c00f:9918:9322;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83d2:562e:9080:c00f:9918:9322
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>
 <pq5out$fu2$1@franka.jacob-sparre.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <39be8a25-cc06-4db4-9481-7f484077522d@googlegroups.com>
Subject: Re: Examining individual bytes of an integer
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Thu, 18 Oct 2018 09:33:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:54626
Date: 2018-10-18T02:33:37-07:00
List-Id: <comp.lang.ada>

Am Mittwoch, 17. Oktober 2018 00:33:03 UTC+2 schrieb Randy Brukardt:
> You would.
Thanx for the detailed explanation. I don't know anything about compiler wr=
iting, I just try to understand what the RM says. And normally (OK, what's =
normal) ImplAdv is followed. But I know one has to check the compiler doc t=
o see whether a certain implementation follows the advice.

You never stop learning.

So this was for A'Address =3D A (A'First)'Address, which is not necessarily=
 true.

There remains the other statement:
"By reasonable induction  :-)  the second, third, etc. array elements
follow in increasing address order. But not _guaranteed_, I agree."

I still claim that this has too be true (of course with a grain of salt for=
 packead arrays).