Re: Memory_Management

[Duncan Sands <baldrick@free.fr>]

Hi Bini, maybe what is happening is this:

> 	I1 := (AF.Controlled with Value => new Integer'(123));

here the right-hand-side (RHS) is an object of My_Data type.
You assign it to I1, another object of My_Data type.  After
the assignment, RHS is finalized.  This frees the memory - the
same memory I1.Value is pointing to.  In detail:

(0) Memory is allocated to hold the integer 123.  A pointer
to the memory is in RHS.Value.
(1) a bit-wise copy is made of RHS onto I1.  I1.Value points
to the integer.
(2) Adjust is called on I1.  Since you don't seem to have
defined Adjust, this does nothing.
(3) Finalize is called on RHS.  This frees the memory holding
123.  Now I1.Value is pointing to freed memory.

You then look at I1.Value.all, which could be anything.

You need to define Adjust.

All the best,

Duncan.