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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b9c1962801ad6b73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-22 14:08:36 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.icl.net!newsfeed.fjserv.net!nntp.theplanet.net!inewsm1.nntp.theplanet.net!zen.net.uk!195.149.39.56.MISMATCH!news-peer-lilac.gradwell.net!news-peer.gradwell.net!not-for-mail
Newsgroups: comp.lang.ada
From: porton@ex-code.com (Victor Porton)
Date: Thu, 23 Jan 2003 01:21:15 +0500
References: <mailman.12.1043223160.4961.comp.lang.ada@ada.eu.org>
Organization: Extreme Code Software (http://ex-code.com)
Subject: Re: Fussy Standard: what is modulo Address?
Mime-Version: 1.0
X-Newsreader: knews 1.0b.1
Content-Type: text/plain; charset=us-ascii
X-URL: http://www.ex-code.com/
Message-ID: <3e2f1663$0$33931$bed64819@news.gradwell.net>
NNTP-Posting-Date: 22 Jan 2003 22:08:35 GMT
NNTP-Posting-Host: 195.149.39.13
X-Trace: 1043273315 news.gradwell.net 33931 mail2news/195.149.39.13
X-Complaints-To: news-abuse@gradwell.net
Xref: archiver1.google.com comp.lang.ada:33357
Date: 2003-01-22T22:08:35+00:00
List-Id: <comp.lang.ada>

In article <wccn0lt2l47.fsf@shell01.theworld.com>,
	Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> "Grein, Christoph" <christoph.grein@eurocopter.com> writes:
> 
>> > 13.3.22-23. "For a prefix X that denotes a subtype or object:
>> > X'Alignment... Address modulo the Alignment".
>> > 
>> > The Standard seems to not explain what is "Address modulo".
>> > 
>> > It can be:
>> > 
>> > 1. The integer mathematical operation fpr 
>> > System.Storage_Element.Integer_Address.
>> > 
>> > 2. Operation "mod" for System.Address, defined also in System.
>> > 
>> > Moreover the Standard probably does not say anything about relations of 
>> > these two operations (they should be the same as people seem to tend to 
>> > naturally consider these the same).
>> > 
>> > We should correct it, yes?
>> 
>> You seem to have point here. Report it to ada-comment@ada-auth.org.
> 
> I don't think so.  "Modulo" means the "mod" operator for
> System.Address.  This is defined in 13.7.1(8).  The AARM states this
> explicitly in 13.3(24.b) and 13.7.1(11.b).

So, it is stated  nly in AARM, not in ARM? It is a bug.

> The manual does not define the semantics of this "mod" operator.  How
> could it?  Address is just a private type provided by the implementer --
> it could be anything.

The manual should define relations between System.Address and
System.Storage_Element.Integer_Address. To define these seems being 
just forgotten. No these relations which should be true accordingly 
human intuition may have bad impact on reliability.