Re: Limited type in generic package causes double free or corruption

["Randy Brukardt" <randy@rrsoftware.com>]

"AdaMagica" <christ-usch.grein@t-online.de> wrote in message 
news:c6cae5e7-a215-4560-aa8a-d15ce4bd0852@googlegroups.com...
> Am Mittwoch, 28. September 2016 15:26:02 UTC+2 schrieb onox:
>>    function Load_Thing return Thing is
>>    begin
>>       return Object : Thing := (My_Tree => Trees.Create_Tree) do
>>          null;
>>       end return;
>>    end Load_Thing;
> You can return *new* limited objects - they are created in-place.
>
>>    --  If Trees.Tree (A.Tree) is limited, shouldn't this function be 
>> disallowed?
>>    function Get_Tree (Object : Thing) return Trees.Tree is
>>      (Object.My_Tree);
> Correct, this should not compile - you cannot return existing limited 
> objects.

And if the compiler is allowing it, it is wrong. Report a bug to the vendor.

                                Randy.