Re: Pitfall: freeing access discriminants

[Stephen Leake <Stephen.A.Leake@nasa.gov>]

porton@ex-code.com (Victor Porton) writes:

> type Integer_Access is access Integer;
> 
> type T(D: access Integer) is Ada.Limited_Controlled with null record;
> 
> procedure Finalize(Object: in out T) is
>   -- Error: cannot convert access discriminant to non-local access type
>   D: Integer_Access := Integer_Access(Object.D);
> begin
>   Free(D);
> end;
> 
> What to do? It seems being a serious deficiency in Ada or there are a 
> workaround?

Why would you ever want to free an access discriminant? I usually use
them to point to a constant object.

One good rule for dynamic memory allocation; never free something you
did not allocate.

-- 
-- Stephe