Re: Unchecked deallocation issues

["Jeffrey R. Carter" <spam@spam.com>]

ejijott@gmail.com wrote:

> Right.. code snippet above is a part of my BST Remove() handling. The
> issue I'm having is using unchecked deallocation... what im figuring
> here is that my Free() procedure frees the part of memory that contains
> my value, but does nothing to the pointer itself. So, if I just call
> Free() on an value-pointed-to and directly after print out
> value-pointed-to it _could_ still print out whatever it contains, but
> it could change at any time due to the fact that that part of memory is
> part of the pool again? And to solve this, I should set the pointer of
> the pointed-to-value to null ... is my implementation of this correct,
> as in this snippet:
> 
>                     Free(Node);
>                     Node:=null;

ARM 13.11.2: "After executing Free(X), the value of X is null. [where Free is an 
instantiation of Ada.Unchecked_Deallocation]"

-- 
Jeff Carter
"Why don't you bore a hole in yourself and let the sap run out?"
Horse Feathers
49