Re: GNAT GPL 2011 bug ?

[Adam Beneschan <adam@irvine.com>]

On Feb 7, 4:05 am, David <d.combesdhen...@gmail.com> wrote:
> Hi all,
>
> The compiler accept the line mark by a arrow of the adb bellow and
> refuse the line mark by "****". I think it must not accept the first
> line to. What do you think ?

I agree, it's a bug.  It shouldn't allow a constant L_I to be passed
as an OUT parameter.

                      -- Adam
>
> Thanks
>
> -------  ads  --------
>
>   type I is interface;
>
>    procedure set (Self  :    out I;
>                        Value : in     Natural) is abstract;
>
>    type A is abstract tagged null record;
>
>    procedure set (Self  :    out A;
>                        Value : in     Natural) is abstract;
>
>    type Implement_I is new I with null record;
>
>    overriding procedure set (Self  :    out Implement_I;
>                                       Value : in     Natural) is
> null;
>
>    Null_Implement_I : constant Implement_I := Implement_I'(null
> record);
>
>    type Implement_A is new A with null record;
>
>    overriding procedure set (Self  :    out Implement_A;
>                                      Value : in     Natural) is null;
>
>    Null_Implement_A : constant Implement_A := Implement_A'(null
> record);
>
>    procedure Test;
>
> ---   adb   ---
>
> procedure Test
> is
>    L_I   : constant test.I'Class    := Null_Implement_I;
>    L_A : constant test.A'Class   := Null_Implement_A;
> begin
>    L_I.set (Value => 2); <--------
>    L_A.set (Value => 2); *******
> end;