Re: Null Range in Unconstrasined Array

[Adam Beneschan <adam@irvine.com>]

On Aug 31, 6:28 pm, Rick <rickdu...@gmail.com> wrote:
> If I have an unconstrained array type 'My_Array_Type' and declare an
> instance of it as:
>
> My_Array : My_Array_Type (1 .. 0);
>
> then the LRM tells me it is a null range:
>
> 3.5 (4): A range with lower bound L and upper bound R is described by
> “L .. R”. If R is less than L, then the range is a null range, and
> specifies an empty set of values.
>
> What, exactly, is My_Array (forgive the language) pointing to?
> Is any memory allocated to My_Array?

Most likely, no.  Randy gave a reason why a compiler might want to
allocate a little bit of space for the array; but even if it does,
it's memory that will never be used.  Any attempt to refer to My_Array
(X), no matter what X is, will raise Constraint_Error.

                                    -- Adam