Re: debuginformation generated by GNAT

[Joel Brobecker <brobecker@gnat.com>]

> The first tells me 'tas' has a variable length and needs an alignment of 
> 4 storage units ... the given field is as you said the access field.

Right.

> As I understood it is just a substitute or does it actually represent 
> the pointer to the array behind it.

In memory, this is a pointer to your array. From the user's perspective,
though, the ___XVL suffix tells you that he believes it's just an array.

> The second tells me it actually is an array .... exp_debug.ads:

Did GNAT generate any ___XUP or ___XUT type, that's where the bounds are
stored when the upper bounds are dynamic. See "Pointers to Unconstrained
Arrays".

The types you were looking at are useful when you are trying to print
the type of the array type itself, not the type of the field, I believe.

-- 
Joel