Re: large arrays

["Jeff C r e e.m" <jcreem@yahoo.com>]

"Joel Lepinoux" <Joel.Lepinoux@ltpcm.inpg.fr> wrote in message 
news:mailman.87.1100029172.10401.comp.lang.ada@ada-france.org...
> Hello,
> for the first time I need to declare a large array (>1Go), here are my
> structures:
>
>
>  type Site         is array (1..3) of Short_Short_Integer; -- size=24 bits
>  type Site_Matrix  is array (Integer range <>, Integer range <>) of Site;
>
> -- maximum allowed size, about 245Mo
>  My_Array: Site_Matrix(1..1_132_000,1..72);
>
>
> If I increase the first upper bound (1_132_000) I get a warning from gnat
> (3.15p) comfirmed at runtime: STORAGE_ERROR: object too large
>
> This means that "My_Array" is too large but of course I can declare a
> second array of same dimensions and so one, i.e. it is not a problem of
> total space (2Go available) neither of bound out of range, etc.
>
> I would be glad to understand the origin of this limit and it would be
> great if somebody could tell me how to extend it.
> Thanks in advance
> Joel
>
>

You dont say but I assume you are using GNAT?

From the GNAT RM (6.2)

 The largest Size value permitted in GNAT is 2**31-1. Since this is a Size 
in bits, this corresponds to an object of size 256 megabytes (minus one). 
This limitation is true on all targets. The reason for this limitation is 
that it improves the quality of the code in many cases if it is known that a 
Size value can be accommodated in an object of type Integer.