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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7b60a2e8329f4e64
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.66.90.67 with SMTP id bu3mr3175285pab.45.1358904592725;
        Tue, 22 Jan 2013 17:29:52 -0800 (PST)
Path: 
 s9ni12049pbb.0!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT 4.4.5 Record Bit_Order Endian issues
References: <854ni9c319.fsf@stephe-leake.org> <kdl77a$2pe$1@dont-email.me>
Date: Tue, 22 Jan 2013 20:29:50 -0500
Message-ID: <85txq8adpt.fsf@stephe-leake.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (windows-nt)
Cancel-Lock: sha1:+Swv0I42sy5z4XqQdRgz1lRUyQA=
MIME-Version: 1.0
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: 8bb0050ff3d10e029e66107515
X-Received-Bytes: 2143
Content-Type: text/plain
Date: 2013-01-22T20:29:50-05:00
List-Id: <comp.lang.ada>

Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> writes:

> On 01/21/2013 08:21 PM, Stephen Leake wrote:
>>
>> 2/2
>> R.C'Position
>>
>>                 {AI95-00133-01AI95-00133-01} If the nondefault bit
>>                 ordering applies to the composite type, and if a
>>                 component_clause specifies the placement of C, denotes
>>                 the value given for the position of the
>>                 component_clause; otherwise, denotes the same value as
>>                 R.C'Address - R'Address. The value of this attribute is
>>                 of the type universal_integer.
>>
>> Note the 'otherwise'; that's means the value is R.C'Address - R'Address
>> only if position is _not_ specified in a rep clause.
>
> No. This says
>
> if A and B then
>    D;
> else
>    E;
> end if;

Ah, missed that. I stand corrected. I did take symbolic algebra in
college - my professor would be disappointed ;).

So, this _never_ defines the meaning of the position given in a
component clause; it only defines the meaning of the 'Position
attribute. 

I suppose we could assume that 'Position always means the same thing as
the position specified in the component clause, but it would be better
if this (and 13.5.1) said that explicitly.

Actually, if we assume Cohen's paper applies, I believe it is still
R.C'Address - R'Address in the nondefault bit order case.

-- 
-- Stephe