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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ccb8bd6b4c3162fd
X-Google-Attributes: gid103376,public
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Beginner's questions
Date: 1999/05/04
Message-ID: <1999May4.124712.1@eisner>#1/1
X-Deja-AN: 473973978
X-Nntp-Posting-Host: eisner.decus.org
References: <372da49c.12366381@news.rwth-aachen.de>
 <372E7475.6D884152@aasaa.ofe.org> <372ED1C4.9A1AE1B2@frqnet.de>
 <1999May4.093747.1@eisner> <7gn2d5$a8f$1@cnn.Princeton.EDU>
X-Trace: news.decus.org 925836440 8890 KILGALLEN [192.67.173.2]
Organization: LJK Software
Reply-To: Kilgallen@eisner.decus.org.nospam
Newsgroups: comp.lang.ada
Date: 1999-05-04T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7gn2d5$a8f$1@cnn.Princeton.EDU>, mcc@entropy.cs.princeton.edu (Martin C. Carlisle) writes:
> Unbounded strings are required not to leak memory.  See A.4.5(88)
> "No storage associated with an Unbounded_String object shall be lost upon
> assignment or scope exit."
> 
> This sentence immediately reminds me of Ada.Finalization.Controlled, and
> not suprisingly, GNAT uses controlled types to implement unbounded
> strings.  I have not checked ACVC, but I suspect it would be very hard 
> to validate a compiler not meeting this requirement.

Of course proof that no memory is leaked under ACVC is not proof that
memory could never leak, so I would still urge the poster with the
Air Traffic Control system to test it for memory leaks after it has
been built.  After a plane has crashed seems like the incorrect time
to ask to have the compiler price refunded.

Larry Kilgallen