From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: How do functions return unbounded arrays?
Date: 1998/06/21
Date: 1998-06-21T00:00:00+00:00 [thread overview]
Message-ID: <dewar.898440019@merv> (raw)
In-Reply-To: 35885BE1.B1CE0503@elca-matrix.ch
Mats said
<<It is true that Ada 83 lacks specification in that respect (e.g.
Unchecked_Deallocation is not forced to do anything but set the pointer to
null). I do not know exactly what Ada 95 has to say on memory leaks for
stack-implementable constructs.
>>
It is in fact almost impossible to define formally when SE can or cannot
be raised, since it depends on implementation models which can vary
widely. But this does not mean that storage leaks are not a bug!
next prev parent reply other threads:[~1998-06-21 0:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-06-14 0:00 How do functions return unbounded arrays? Markus Kuhn
1998-06-14 0:00 ` Robert A Duff
1998-06-15 0:00 ` John Herro
1998-06-17 0:00 ` Matthew Heaney
[not found] ` <35865075.9D7DCBD@cl.cam.ac.uk>
1998-06-17 0:00 ` Matthew Heaney
1998-06-21 0:00 ` Robert Dewar
1998-06-17 0:00 ` Gavin Finnie
1998-06-17 0:00 ` Rod Chapman
1998-06-21 0:00 ` Robert Dewar
1998-06-21 0:00 ` Robert Dewar
1998-06-21 0:00 ` Robert Dewar
1998-06-18 0:00 ` Mats Weber
1998-06-21 0:00 ` Robert Dewar [this message]
1998-06-17 0:00 ` Mark D. McKinney
1998-06-21 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox