Re: Limited_Controlled, orthogonality and related issues

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

>    type T_Finalizer (Enclosing : access T) is
>      new Ada.Finalization.Limited_Controlled with null record;
>
>    procedure Finalize (Finalizer : in out T);

> but the program compiled with GNAT does not display the two
> finalization messages.  Bug (i.e. the finalization procedures should
> be called as per ARM 7.6.1(9)) or feature (i.e. GNAT optimizes the
> calls away, noticing that the program is terminating anyway)?

Bug -- in your program.  ;-)

You meant T_Finalizer instead of T in procedure Finalize.  This is an
easy mistake to make.  As somebody pointed out, in Ada 2005, you can use
the overriding keyword to prevent that problem.

- Bob