Re: Storage_Error with parameterized records

[smize@news.imagin.net (Samuel Mize)]

If you create an unconstrained instance of this type, your compiler
allocates enough space to hold the largest example: an array of
Natural*Natural elements.  This is large.

If you only create constrained instances, you should be OK.  If you
need to be able to change the constraint, you need to determine the
largest constraint you may need, and use a subtype constrained by
that maximum value (instead of Natural) for the constraint.  Depending
on how smart the compiler is, you may need to use that subtype for
the indices of CMatrix too.

Best,
Sam Mize

In article <359D3A0C.13AF4C53@cl.cam.ac.uk>,
Markus Kuhn  <Markus.Kuhn@cl.cam.ac.uk> wrote:
>May be I have something severely missunderstood, but I have no idea,
>why the declaration
>
>   subtype Correlation_Coefficient is Float;
>
>   type CMatrix is
>      array (Natural range <>, Natural range <>) of
>        Correlation_Coefficient;
>
>   type Correlation_Matrix(Last_Line : Natural := 0) is
>      record
>	 Mat : CMatrix(0 .. Last_Line, 0 .. Last_Line);
>      end record;
>
>causes the following warnings (and at runtime the promised
>Storage_Error):
>
>  warning: Storage_Error will be raised at run-time
>  warning: creation of object of this type may raise Storage_Error


-- 
Samuel Mize -- smize@imagin.net (home email) -- Team Ada
Fight Spam: see http://www.cauce.org/ \\\ Smert Spamonam