Re: Question about library-level functions

[sbelmont700@gmail.com]

On Friday, December 14, 2012 10:38:20 PM UTC-5, ytomino wrote:
> 
>    function Create return T is
> 
>    begin
> 
>       return Result : T := (Ada.Finalization.Limited_Controlled with null record) do
> 
>          Ada.Text_IO.Put_Line ("Initialize (" & System.Address_Image (Result'Address) & ")");
> 
>       end return;
> 
>    end Create;


FWIW, I have run into several occasions where GNAT 2012 extended return statements randomly try to finalize objects erroneously, though usually I end up with a program error ('finalize raised exception').  My feeling is that if you change the above to:

    function Create return T is
    begin

      return (Ada.Finalization.Limited_Controlled with null record);

    end Create;

your problem could mysteriously vanish.

-sb