Re: Storage_Error with parameterized records

[Robert A Duff <bobduff@world.std.com>]

david.c.hoos.sr@ada95.com writes:

> In article <359D3A0C.13AF4C53@cl.cam.ac.uk>,
>   Markus Kuhn <Markus.Kuhn@cl.cam.ac.uk> wrote:

> >    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

Perhaps a different wording of the message would make it clearer.  The
thing is, if you say "X: Correlation_Matrix(Last_Line => 1_000);" it
will probably *not* raise Storage_Error.  The point is that (1) if you
don't constrain it, it will raise S_E, and (2) there's no point in
giving a default value unless you want to have some unconstrained
objects.  If you leave out ":= 0", I would think the warning would go
away.  But of course you could still get S_E for "Last_Line =>
1_000_000_000" on an object decl.

- Bob
-- 
Change robert to bob to get my real email address.  Sorry.