Re: Unchecked_Conversion and alignment

[Simon Wright <simon@pushface.org>]

porton@ex-code.com (Victor Porton) writes:

> > It would help if you said why you want to keep object in arrays of
> > Storage_Elements. 
> 
> I make my own storage pool which uses the standard pool.
> 
> I allocate by "new Storage_Array(1..XXX)".

When you are called as

   procedure Allocate (The_Pool : in out Pool;
                       Storage_Address : out System.Address;
                       Size_In_Storage_Elements : SSE.Storage_Count;
                       Alignment : SSE.Storage_Count);

you need to make sure that you allocate enough extra that you can
start the returned Storage_Address at the correct alignment.

Something like

  Size_In_Storage_Elements
    + (Alignment - (Size_In_Storage_Elements mod Alignment))

(I haven't thought about that a lot, let alone tried to compile it).

Of course your system new will give you some alignment for free
(typically 16?)