Finalization and Garbage Collection: a hole in the RM?

[mazzanti@iei.pi.cnr.it (Franco Mazzanti)]

I could not find are rule describing what could/should happen when an
exception is raised by a Finalization routine called by the garbage
collector.  [RM 7.6.1.(14)] says that this is a bounded error, and this,
fortunately rules out any erroneous execution. But the list of the 
possible effects does not contain the case of Finalize being called
by a garbage collector. 

Should this be interpreted as if the garbage collector should act exactly
as any other Ada task, and handle in its own way any possible exception
raised by Finalize? 
[RM 13.12(6)] says something on the Garbage Collection, but in an a way that
does not seem to mandate at all the above point of view.

Missing something??

Franco Mazzanti  <mazzanti@iei.pi.cnr.it>
I.E.I. - C.N.R.