[Bug ada/55725] New: Anonymous access returned from library-level function is finalized too early, RM 3.10.2(10/2 or 10.3/3)

[Bug ada/55725] New: Anonymous access returned from library-level function is finalized too early, RM 3.10.2(10/2 or 10.3/3)

[demoonlit at panathenaia dot halfmoon.jp]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55725

             Bug #: 55725
           Summary: Anonymous access returned from library-level function
                    is finalized too early, RM 3.10.2(10/2 or 10.3/3)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: demoonlit@panathenaia.halfmoon.jp


Created attachment 28989
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28989
minimal bug triggering source code

An allocated object via anonymous access type returned from a library-level
function like F may be finalized inside of the function.

with Something; 
function F return access T;

function F return access T is
begin
   return new T; -- It returns new allocated value
   -- The allocated object may be finalized here
end F;

If a function is declared in a package, it behaves right.

This bug has also been discussed on comp.lang.ada.