Simon,
As discussed privately, your patch is interesting but isn't complete enough
so cannot be integrated as is since we also want to avoid not only the
generation of the initialization/finalization exception handlers, but also
to eliminate the creation of the various variables that keep track of
There are two issues in code expansion related to Ada.Finalization that aren’t
properly handled in the presence of pragma Restriction
(No_Exception_Propagation).
The expanded code attempts to catch any exception propagated during Finalize
and record that it happened, and later, if there was a c
