From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Beginner's questions
Date: 1999/05/04
Date: 1999-05-04T00:00:00+00:00 [thread overview]
Message-ID: <1999May4.124712.1@eisner> (raw)
In-Reply-To: 7gn2d5$a8f$1@cnn.Princeton.EDU
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
next prev parent reply other threads:[~1999-05-04 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-02 0:00 Beginner's questions Marco Schmidt
1999-05-02 0:00 ` Matthew Heaney
1999-05-03 0:00 ` Marco Schmidt
1999-05-03 0:00 ` Matthew Heaney
1999-05-03 0:00 ` dennison
1999-05-04 0:00 ` Tucker Taft
1999-05-04 0:00 ` dennison
1999-05-10 0:00 ` Tucker Taft
1999-05-03 0:00 ` Andreas Winckler
1999-05-03 0:00 ` Matthew Heaney
1999-05-03 0:00 ` Andreas Winckler
1999-05-03 0:00 ` David Starner
1999-05-04 0:00 ` Andreas Winckler
1999-05-04 0:00 ` Larry Kilgallen
1999-05-04 0:00 ` Martin C. Carlisle
1999-05-04 0:00 ` Larry Kilgallen [this message]
1999-05-05 0:00 ` Andreas Winckler
1999-05-04 0:00 ` czgrr
1999-05-04 0:00 ` Nick Roberts
1999-05-07 0:00 ` Robert Dewar
1999-05-07 0:00 ` David Starner
1999-05-08 0:00 ` ak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox