X'Alignment and System.Address without a "mod" operator?

X'Alignment and System.Address without a "mod" operator?

[Jacob Sparre Andersen]

RM 13.3(23/2) says:

   The value of this attribute is of type universal_integer, and
   nonnegative; zero means that the object is not necessarily aligned on
   a storage element boundary. If X'Alignment is not zero, then X is
   aligned on a storage unit boundary and X'Address is an integral
   multiple of X'Alignment (that is, the Address modulo the Alignment is
   zero).

But when I look for a suitable function to check the requirement in the
final parenthesis in package System (RM 13.7) - something like:

   function "mod" (Left : Address; Right : some_integer_type)
     return some_integer_type;

it isn't there.  That makes it kind of hard to implement storage pools
for types with alignment requirements.

I suppose I should report the problem to Ada-Comment, but I would prefer
that somebody could tell me that I have overlooked something.

Greetings,

Jacob
-- 
"If I have to choose between two evils, I choose the one I
 haven't tried before."

Re: X'Alignment and System.Address without a "mod" operator?

[Jeffrey Carter]

On 01/05/2015 07:49 AM, Jacob Sparre Andersen wrote:
> 
>    function "mod" (Left : Address; Right : some_integer_type)
>      return some_integer_type;

System.Storage_Elements (ARM 13.7.1) has

8/3
   function "mod"(Left : Address; Right : Storage_Offset)
      return Storage_Offset
         with Convention => Intrinsic;

http://www.adaic.org/resources/add_content/standards/12rm/html/RM-13-7-1.html

-- 
Jeff Carter
"Blessed is just about anyone with a vested interest in the status quo."
Monty Python's Life of Brian
73

Re: X'Alignment and System.Address without a "mod" operator?

[Jacob Sparre Andersen]

Jeffrey Carter wrote:

> System.Storage_Elements (ARM 13.7.1) has
>
> 8/3
>    function "mod"(Left : Address; Right : Storage_Offset)
>       return Storage_Offset
>          with Convention => Intrinsic;

Thanks!

I wonder why I didn't think of looking there.

Jacob
-- 
"There is nothing worse than having only one drunk head."