Re: Finalization

[Georg Bauhaus <bauhaus@arcor.de>]

On Tue, 2006-11-21 at 10:02 +0100, Philippe Tarroux wrote:
> I have a problem trying to use controlled types. My purpose was to use 
> finalize to deallocate a big data structure each time a reuse.
> 
> I wrote a simpler program that exhibits the problem too. here is the 
> code followed by a comment on what I observed:

Here is what I get:

$ ./main
 1
In process function
In process procedure
Finalize:
Finalize:
Finalize:
Finalize:
*** glibc detected *** double free or corruption (top): 0x0806f820 ***

raised PROGRAM_ERROR : unhandled signal

As a quick guess, maybe it would be best not to call Finalize
yourself? (Perhaps an activation record is the scope to think
of in the case of GNAT, but that's only another guess.)


-- Georg