Ensuring resource cleanup

[Florian Weimer <fw@deneb.enyo.de>]

It looks as if I might need to do some Ada maintenance programming
soon.  I can use the GNAT from GCC 4.3.

Are there any new ways to ensure resource cleanup?

I tried to use Ada.Finalization.Limited_Controlled in the past, but
there were several issues with it: there was some run-time overhead
(because of the tag and because the finalizer is abort-deferred, which
seemed to defeat inlining and scalar replacement of aggregates), it
was impossible to instantiate generics containing such types below the
library level, and having multiple different types inherting from
Limited_Controled in the same package often resulted in multi-dispatch
errors (and using 'Class required exposing the tagged nature of the
type in the interface, with has other drawbacks).

Explicit cleanup using cleanup subprograms is okay, too, provided that
there is some tool to ensure that they are used properly.  This is
despite the rather cumbersome syntax:

  declare
     X : Object;
  
  begin
     Init (X);
     begin
        Make_Use_Of (X);
     exception
        when others =>
           Cleanup (X);
           raise;
     end;
     Cleanup (X);
  end;

But I'd really have a tool that ensures that Init and Cleanup calls
are properly paired in this way.

Are there other approaches I don't know about yet?