Re: Finalization of static package variables

["Alex R. Mosteo" <devnull@mailinator.com>]

Manuel Collado wrote:

> Variables declared in the global scope of a package body seem not to be
> finalized automatically at the end of the whole program (using GNAT
> 3.15p on WindowsXP).
> 
> If some of these variables contain certain GUI stuff, the program
> remains as a zombie process after the main procedure termination.
> 
> After several trial-and-error attemps, an Unchecked_Deallocation on
> these variables seems to do the trick (the whole program terminates
> smoothly). But this is probably not standard-conformant (ARM 13.11.2-16).
> 
> If there a standard way of forcing finalization of static package
> variables at program termination? I.e., without declaring them as
> dynamic, or inside a main procedure, or calling explicitly the
> finalization actions.

You say using Unchecked_Deallocation does work, so that makes me think that
your global variables aren't Controlled objects but accesses to controlled
objects. Am I right? Deallocating a Controlled object indeed should trigger
a Finalize call on it.

Otherwise, I would expect that Finalize is called on any Controlled object
at program finalization, even if it's a variable at the library level in a
package body...