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

[AdaMagica <christ-usch.grein@t-online.de>]

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.