Re: Legit Warnings or not

[Adam Beneschan <adam@irvine.com>]

On Jul 21, 2:30 pm, Brian Drummond <br...@shapes.demon.co.uk> wrote:

> Seems that this implies that either (a: unlikely) the variable-sized
> component MUST remain in place in the record (which makes resizing it all
> but impossible) or (b: would work) the record must contain an ACCESS to
> it (in which case the implementation silently does something other than
> the declaration says).

(b) is pretty much how this would be implemented.  With regard to your
comment "the implementation silently does something other than the
declaration says": the implication, that the declaration says one
thing and the implementation is contradicting what the declaration
says and doing something different, isn't warranted.  If there are no
representation items, then a declaration says *nothing* about how a
type is represented.  If this means hidden pointers (which aren't
really ACCESS objects since the pointers aren't Ada and don't have to
follow Ada semantics), there's nothing wrong with that (and there are
places in the AARM that envision the possibility of hidden pointers).
If you read the declaration and conclude that there can't be any
pointers because the declaration doesn't have any access objects in
it, the problem is with your assumptions, not with the implementation.

                               -- Adam