From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Examining individual bytes of an integer
Date: Mon, 15 Oct 2018 03:18:45 -0700 (PDT)
Date: 2018-10-15T03:18:45-07:00 [thread overview]
Message-ID: <4ddbc9bf-0e2e-466d-8238-d8f709b985e1@googlegroups.com> (raw)
In-Reply-To: <g2hqooFq0usU1@mid.individual.net>
Am Sonntag, 14. Oktober 2018 23:28:57 UTC+2 schrieb Niklas Holsti:
> Not guaranteed, but implied by the "Implementation advice":
>
> - RM 13.3(11): X'address denotes the address of the first of the storage
> elements allocated to X.
>
> - RM 13.3(14): For an array X, X'Address should point at the first
> component of the array [...].
>
> Combining those two, it seems that the first element of an array should
> start at the first storage element (= lowest address) allocated to the
> array.
>
> By reasonable induction :-) the second, third, etc. array elements
> follow in increasing address order. But not _guaranteed_, I agree.
There is the old Dewar rule that no compiler is doing nonsense. It would be a very unfriendly compiler to not follow this advice.
next prev parent reply other threads:[~2018-10-15 10:18 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 [this message]
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
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