From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Which is right here - GNAT or OA ?
Date: 1999/05/31
Date: 1999-05-31T00:00:00+00:00 [thread overview]
Message-ID: <7iuq5a$lhq$1@nnrp1.deja.com> (raw)
In-Reply-To: 928136551.707.11@news.remarQ.com
In article <928136551.707.11@news.remarQ.com>,
"Vladimir Olensky" <vladimir_olensky@yahoo.com> wrote:
> As I explained in the first message and in here above it
> erroneous on purpose.
Sorry, Vladimir, but your message is still in the archives, we
don't have to rely on memory
a) it made no mention of erreoneous
b) it complained that the RM does not handle this case (it
does, quite clearly)
c) it complained that the behavior of OA and GNAT were
different, and asked which is right (the subject of this
thread is your invention). The complaint is invalid and
the question is meaningless. You cannot make any comments
or complaints about the behavior of an erroneous program
execution or expect any consistency
d) it suggested a semantics quite different from the RM for
this case, one which would in fact be entirely impractical
and certainly undesirable.
> It helps to explain why one should check if the variable is
> static prior to attempt do deallocate
This is highly misleading, you must do this check NOT because
different compilers happen to do different things, but because
it is erroneous not to do this check, as the RM clearly states.
The results of experiments with erroneous programs cannot
possibly have any legitimate influence whatsoever on how you
code your program.
> I only thought that both GNAT and OA will raise exception at
> the same Statement_1.
That would tend to indicate that you do not understand what
erroneous means. Erroneous is a well defined technical term,
it does not just mean wrong, or improper. To expect or think
that compilers should or will behave consistently on erroneous
programs is to misunderstand the definition of erroneous.
> Statement_3 was to show that when q_ptr has NULL value
> exception should be raised here.
Nope! You cannot make ANY statement WHATSOEVER about
expectations form an erroneous program execution.
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-31 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 ` 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 ` 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 ` Robert Dewar
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-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-06 0:00 ` Ada safety road Was: Which is right 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-10 0:00 ` 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 ` swhalen
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Which is right here - GNAT or OA ? Florian Weimer
1999-06-01 0:00 ` Tucker Taft
1999-05-30 0:00 ` Robert Dewar
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar [this message]
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