From: marciant@earthlink.net
Subject: Re: GNAT "alignment value must be positive"
Date: Thu, 9 Apr 2015 06:28:57 -0700 (PDT)
Date: 2015-04-09T06:28:57-07:00 [thread overview]
Message-ID: <ac4c104c-ebcc-4132-9c53-783dfc083891@googlegroups.com> (raw)
In-Reply-To: <mg43ea$sr6$1@loke.gir.dk>
On Wednesday, April 8, 2015 at 4:35:23 PM UTC-4, Randy Brukardt wrote:
> ...
>
> I should have added that the Recommended Level of Support does seem to
> require supporting that (probably should have read it before pushing
> "send"!), so in that sense, it's a GNAT bug to not allow it. But
> practically, 0 and 1 are the same for a specified alignment; nothing is
> going to be different about the default allocation, so it's doesn't really
> matter.
>
> Randy.
Are you saying that it is not necessary to specify alignment zero for records that end up specifying components of enclosing records whose layout is being fully "rep-spec'd" (pragma Pack is not being used?).
Is it not (no longer?) necessary to ever indicate - as per Ada 95 RM 13.3 [14] - "zero means that the object is not necessarily aligned on a storage element boundary."? Should "object" in the above really be "subtype" or object? Is it no necessary to indicate "not necessarily aligned on a storage element boundary" for anything?
I know that those are a lot of questions but I am trying to understand enough to gain "full command" of this aspect of the language: I have always (at this point about 25 years!) been very interested in hardware and communication interface design in Ada.
next prev parent reply other threads:[~2015-04-09 13:28 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-08 20:35 GNAT "alignment value must be positive" Randy Brukardt
2015-04-09 13:28 ` marciant [this message]
2015-04-10 0:21 ` Randy Brukardt
2015-04-10 15:45 ` marciant
2015-04-10 21:18 ` Randy Brukardt
-- strict thread matches above, loose matches on Subject: below --
2015-04-06 20:16 marciant
2015-04-06 20:48 ` Shark8
2015-04-07 15:28 ` marciant
2015-04-07 15:27 ` marciant
2015-04-07 18:46 ` Jeffrey Carter
2015-04-07 19:45 ` marciant
2015-04-08 20:18 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox