Re: Legit Warnings or not

[Adam Beneschan <adam@irvine.com>]

On Jul 21, 2:50 am, Brian Drummond <br...@shapes.demon.co.uk> wrote:
> On Wed, 20 Jul 2011 19:37:48 -0700, Jeffrey Carter wrote:
> > On 07/20/2011 03:30 PM, Anh Vo wrote:
> >> package Warnings_Legit is
>
> >>     type Warned_Person (Size : Positive := 10) is -- Warnings issued
> >> here
> >>        record
> >>           Name : String (1 .. Size);
> >>        end record;
> > some compilers not only won't give any warning,
> > but a declaration of
>
> > X : Warned_Person;
>
> > will not raise Storage_Error on those compilers, either.
> [...]
> > The harder way only allocates enough space for the current value, and
> > actually changes the space of the object if the size is changed through
> > an assignment.
>
> > Some who have gone to the trouble to implement the 2nd way say they
> > think it was the intention of the language designers.
>
> Interesting. Do you mean they allocate a new object?
> Then how do they handle the following declarations  
>    X : aliased Warned_Person;
>    Y : access Warned_Person := X'access;
> when X.Name is resized?

You don't have to allocate a whole new Warned_Person, just a new Name.

                         -- Adam