From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Limited type in generic package causes double free or corruption
Date: Wed, 28 Sep 2016 16:42:42 -0500
Organization: JSA Research & Innovation
Message-ID: <nshdfs$67t$1@franka.jacob-sparre.dk>
References: <374b0d79-541d-44d2-886e-dd41f8815914@googlegroups.com>
 <c6cae5e7-a215-4560-aa8a-d15ce4bd0852@googlegroups.com>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1475098940 6397 24.196.82.226 (28 Sep 2016
 21:42:20 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 28 Sep 2016 21:42:20 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-RFC2646: Format=Flowed; Original
Xref: news.eternal-september.org comp.lang.ada:31934
Date: 2016-09-28T16:42:42-05:00
List-Id: <comp.lang.ada>

"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.