Re: Fussy Standard: what is modulo Address?

[porton@ex-code.com (Victor Porton)]

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.