Re: ADA Popularity Discussion Request

[anders@legolas.gidenstam.se (Anders Gidenstam)]

In article <x7vllffzjj5.fsf@smaug.pushface.org>,
	Simon Wright <simon@pushface.org> writes:
> anders@legolas.gidenstam.se (Anders Gidenstam) writes:
> 
>> In article <x7vllfsa3mc.fsf@smaug.pushface.org>,
>> 	Simon Wright <simon@pushface.org> writes:
>> > The reference (after a _very_ strange compilation problem) loops with
>> > 3.16a1; with 5.02a1 it does something which looks not unreasonable...
> [...]
>> Btw, I suppose you meant "does something which looks unreasonable"
>> above, right? :)
>> (Or does it work with 5.02a?! That would be a suprise..) 
> 
> Since I don't know what it is supposed to do I can't tell whether what
> it seems to do is right. The program terminates without an exception
> after printing out progress messages .. that's all I meant.

Well, the small test program should output something like this when
it works:
# ./test_finalization_anywhere
Tjo!
Controlled_Local: Finalized  3221223464. (Dummy =>  1, Bepa =>  12)
#
 
On GNAT 3.15p it gets stuck in a loop and keeps calling Finalize.

The cause seems to be that the part of the Limited_Controlled_Component
belonging to Ada.Finalization.Controlled does not get initialized when
the Limited_Controlled_Component, which is derived from it, is.

The relevant part of the code in the package
Add_Finalization.Anywhere.To_Limited_Uncontrolled:

   type Limited_Controlled is abstract new Uncontrolled with
      record
         Controller : Limited_Controlled_Component :=
           Limited_Controlled_Component'
            (Ada.Finalization.Controlled with
             Object     => To_Raw (Limited_Controlled'Unchecked_Access),
             Initialize => To_Operation (Raw_Initialize'Access),
             Finalize   => To_Operation (Raw_Finalize'Access));

	  ...
      end record;

What I try to do is to connect the real controlled type to the non-library
level type, but with 3.15p the Ada.Finalization.Controlled part does
not get initialized properly (it did with GNAT 3.11p).

Does anyone know if it is possible to successfully initialize the
Limited_Controlled_Component with the values above while at the same time
ensuring that the Ada.Finalization.Controlled part is also initialized?

(The full code is available here:
http://www.gidenstam.org/Ada/add_finalization_anywhere20031106.tar.gz )

Best Regards,

Anders Gidenstam
-- 
"Luck is my middle name," said Rincewind, indistinctly. "Mind you,
 my first name is Bad." 
   -- (Terry Pratchett, Interesting Times)