Re: GNAT - return by anonymous access

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 17.12.11 20:17, Simon Belmont wrote:

> begin
>
>     Text_IO.Put_Line(foo.p_obj.all'img);
>
> end test_driver;

Only for completeness, it will be easier to test the program with
alternative compilers if implementation-defined attribute
'Img (introduced in GNAT for debugging with pragma Debug, if memory
serves) is replaced with standard Ada,

       Text_IO.Put_Line(Integer'Image(foo.p_obj.all));

This alone does not change the output to something expected here.
However,

    function get return test_type is
    begin
       --return  test_type'(p_obj => new Integer'(42));
       return result: test_type(p_obj => new Integer'(42));
    end get;

makes the program print 42. Maybe this is triggering some Ada 95
circuits for discriminant constraints?  (Note to self: collect
some statistics of GNAT failing in the presence of discriminants.)