From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Examining individual bytes of an integer
Date: Thu, 18 Oct 2018 02:33:37 -0700 (PDT)
Date: 2018-10-18T02:33:37-07:00 [thread overview]
Message-ID: <39be8a25-cc06-4db4-9481-7f484077522d@googlegroups.com> (raw)
In-Reply-To: <pq5out$fu2$1@franka.jacob-sparre.dk>
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 writing, 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 to see whether a certain implementation follows the advice.
You never stop learning.
So this was for A'Address = 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).
next prev parent reply other threads:[~2018-10-18 9:33 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-10-14 19:15 Examining individual bytes of an integer Henrik Härkönen
2018-10-14 19:55 ` Jeffrey R. Carter
2018-10-14 21:28 ` Niklas Holsti
2018-10-15 10:18 ` AdaMagica
2018-10-15 18:43 ` Niklas Holsti
2018-10-15 20:18 ` Randy Brukardt
2018-10-16 10:18 ` AdaMagica
2018-10-16 11:55 ` Dmitry A. Kazakov
2018-10-16 22:35 ` Randy Brukardt
2018-10-17 8:10 ` Dmitry A. Kazakov
2018-10-17 9:47 ` briot.emmanuel
2018-10-17 10:04 ` Dmitry A. Kazakov
2018-10-17 21:57 ` Randy Brukardt
2018-10-16 22:33 ` Randy Brukardt
2018-10-17 6:51 ` Niklas Holsti
2018-10-17 22:01 ` Randy Brukardt
2018-10-17 8:17 ` Dmitry A. Kazakov
2018-10-17 22:03 ` Randy Brukardt
2018-10-17 22:10 ` Randy Brukardt
2018-10-18 8:01 ` Dmitry A. Kazakov
2018-10-18 9:33 ` AdaMagica [this message]
2018-10-18 21:18 ` Randy Brukardt
2018-10-19 6:27 ` Niklas Holsti
2018-10-19 8:28 ` AdaMagica
2018-10-19 16:38 ` Niklas Holsti
2018-10-14 21:04 ` Niklas Holsti
2018-10-15 7:49 ` Niklas Holsti
2018-10-15 8:55 ` Simon Wright
2018-10-15 10:52 ` Björn Lundin
2018-10-14 23:42 ` Matt Borchers
2018-10-14 23:45 ` Matt Borchers
2018-10-15 9:02 ` Simon Wright
2018-10-15 7:29 ` Dmitry A. Kazakov
2018-10-15 9:05 ` Simon Wright
2018-10-15 16:11 ` Simon Wright
2018-10-15 20:27 ` Randy Brukardt
2018-10-15 5:37 ` Henrik Härkönen
2018-10-15 7:42 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox