Re: Null Range in Unconstrasined Array

["Peter C. Chapin" <pcc482719@gmail.com>]

Robert A Duff <bobduff@shell01.TheWorld.com> wrote in 
news:wcc4ormhe61.fsf@shell01.TheWorld.com:

> Randy's reason applies only if the array is aliased,
> which the above one is not.  There's no reason the compiler 
> has to allocate any space for My_Array above.
> 
> If we have:
> 
>     My_Array : My_Array_Type (1 .. 0);
>     X : Boolean;
> 
> it is entirely possible (likely even) that My_Array'Address = X'Address.


Wouldn't it be possible to pass My_Array to a subprogram expecting 
My_Array_Type? The subprogram might consult the bounds on the formal 
parameter before trying to use the array so sending a null array to such a 
subprogram is not automatically going to cause a problem. In that case, it 
seems like My_Array needs to have memory allocated for it to hold 
information about the bounds.

Peter