Re: Q: Memory management

[Hannes Haug <Hannes.Haug@Student.Uni-Tuebingen.de>]

I think I didn't understand the concept uf unconstrained arrays. There
are no constrained arrays. All arrays are constrained. So there is no
need to store bounds somewhere in the array's storage. But there are
pointers that can point to arbitrary constrained arrays. But Pointer.all
is still constrained. That the bounds are not known at compile time is not
the fault of Pointer.all but of Pointer. So the storage for the bounds
belongs to Pointer and not to Pointer.all. So Pointer.all'Address should
be the address of the elements of the array. Is this view (at least logically)
correct ?

 -hannes