From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Which is right here - GNAT or OA ?
Date: 1999/05/30
Date: 1999-05-30T00:00:00+00:00 [thread overview]
Message-ID: <7is6pt$8cd$1@nnrp1.deja.com> (raw)
In-Reply-To: 928083159.436.79@news.remarQ.com
In article <928083159.436.79@news.remarQ.com>,
"Vladimir Olensky" <vladimir_olensky@yahoo.com> wrote:
This is definitely an RTFM case. The RM says
16 Evaluating a name that denotes a nonexistent object is
erroneous. The execution of a call to an instance of
Unchecked_Deallocation is erroneous if the object was created
other than by an allocator for an access type whose pool is
Name'Storage_Pool.
So this programs is erroneous, and given that, OA and
GNAT behave identically, namely they give unpredictable
results.
No other definition would make sense in the language, you don't
want lots of elaborate checks going for an "unchecked" feature!
Note that you have to be careful in the ase of controlled
objects not to try to free statically allocated stuff. This
is a user responsibility in writing the Finalize routine!
Various tools will detect an attempt to free something that
has never been allocated. For example the gnatmem tool supplied
with GNAT will immediately detect that your program here is
wrong.
Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.
next prev parent reply other threads:[~1999-05-30 0:00 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-30 0:00 Which is right here - GNAT or OA ? Vladimir Olensky
1999-05-30 0:00 ` Florian Weimer
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Florian Weimer
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Robert Dewar
1999-06-07 0:00 ` Ada safety road Was: Which is right Vladimir Olensky
1999-06-06 0:00 ` Robert Dewar
1999-06-07 0:00 ` Pascal F. Martin
1999-06-07 0:00 ` Vladimir Olensky
1999-06-08 0:00 ` Robert A Duff
1999-06-06 0:00 ` Larry Kilgallen
1999-06-07 0:00 ` Keith Thompson
1999-06-07 0:00 ` Hyman Rosen
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Keith Thompson
1999-06-09 0:00 ` dennison
1999-06-09 0:00 ` Entamology of "Nasal Demons" dennison
1999-06-09 0:00 ` Ada safety road Was: Which is right Robert Dewar
1999-06-09 0:00 ` Tucker Taft
1999-06-09 0:00 ` Robert Dewar
1999-06-08 0:00 ` Robert Dewar
1999-06-09 0:00 ` dennison
1999-06-08 0:00 ` Robert Dewar
1999-06-07 0:00 ` Keith Thompson
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Robert A Duff
1999-06-14 0:00 ` Ada safety road Franco Mazzanti
1999-06-15 0:00 ` Franco Mazzanti
1999-06-16 0:00 ` Vladimir Olensky
1999-06-10 0:00 ` Ada safety road Was: Which is right Peter Amey
1999-06-10 0:00 ` Markus Kuhn
1999-06-11 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Robert Dewar
1999-06-12 0:00 ` JP Thornley
1999-06-13 0:00 ` Vladimir Olensky
1999-06-16 0:00 ` William Dale
1999-06-19 0:00 ` JP Thornley
1999-06-21 0:00 ` Robert A Duff
1999-06-13 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Matthew Heaney
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` swhalen
1999-06-13 0:00 ` Vladimir Olensky
1999-06-01 0:00 ` Which is right here - GNAT or OA ? Tucker Taft
1999-05-30 0:00 ` Robert Dewar [this message]
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-01 0:00 ` dennison
1999-05-31 0:00 ` David Botton
1999-06-01 0:00 ` dennison
1999-06-03 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox