Re: Issue with GNAT GPL 2009 and GtkAda

[Stephen Leake <stephen_leake@stephe-leake.org>]

Niklas Holsti <niklas.holsti@tidorum.invalid> writes:

>> Damien Carbonne <damien.carbonne@free.fr> writes:
>>>
>>>    type Listener is interface;
>>>    procedure Process (L : in out Listener) is abstract;
>  ...
>>>    type Base is tagged null record;
>  ...
>>>    type Derived is new Base and Listener with null record;
>>>    overriding procedure Process (D : in out Derived);
>>>
>
> Stephen Leake wrote:
>> The problem is clear here.
>>
>> "D : in out Derived" is allowed to create a copy of the actual
>> parameter.
>
> Huh? Do you mean that this "D" parameter may be passed by copy? But
> "Derived" is a tagged type, and tagged types are passed by reference,
> not by copy. Or so I thought.

Right; I realized that this morning.

So we're back to a compiler bug.

I have a support contract with AdaCore, and this issue has come up in
my real work, so I'll report it.

-- 
-- Stephe