Re: Weird controlled behavior - Gnat 3.15p NT

["Robert I. Eachus" <rieachus@attbi.com>]

Jano wrote:

> Now, I would assume that no Finalization could happen without a
> corresponding Initialization, so is this normal? Is something wrong in
> that read way?

No object can be finalized that has not been initialized (or created as 
part of an assignment with adjust), but there are a number of situations 
where even a limited object may be finalized several times.  I won't go 
into the gory details, I think they are all in the Ada 95 Rationale. 
But you should always either design things so that multiple finalization 
is harmless, or you check in the finalization operation whether the 
object has already been finalized.  For example if your Finalize 
procedure contains a call to Unchecked_Deallocation for an access value 
in the object, be sure to pass the value directly, not a copy, so it 
gets set to null.

--
                                           Robert I. Eachus

"As far as I'm concerned, war always means failure." -- Jacques Chirac, 
President of France
"As far as France is concerned, you're right." -- Rush Limbaugh