Re: Legit Warnings or not

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 07/21/2011 02:50 AM, Brian Drummond wrote:
>
> 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?

I should have said such compilers change the space for the variable-sized 
components, not the space for the entire object, so X remains in a constant 
position. I'm not a compiler writer so I'm not entirely sure what's involved in 
implementing such an approach.

If this approach had been required by the language, it would make some things 
much easier:

type Unbounded_String (Length : Natural := 0) is record
    Value : String (1 .. Length);
end record;

-- 
Jeff Carter
"I spun around, and there I was, face to face with a
six-year-old kid. Well, I just threw my guns down and
walked away. Little bastard shot me in the ass."
Blazing Saddles
40