From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Free'ing extended types
Date: 1996/04/28
Date: 1996-04-28T00:00:00+00:00 [thread overview]
Message-ID: <dewar.830716817@schonberg> (raw)
In-Reply-To: 3183AC75.335C@ehs.ericsson.se
Jonas said
" So there's nothing that could lead to an erroneous execution
(note
the X.all'access, the libc then does what's needed)."
You seem to have the wrong idea of what erroneous is about. An erroneous
execution is one whose semantics is not specified by the reference
manual. You seem to think this means that it wlil blow up or do
something wrong. Not at all! It *may* blow up but it does not have to!
You can look at the execution of a particular impementation and conclude
that a particular erroneous execution will have no ill effect on that
implementation, but that does not mean that the exeution is not erroneous!
This is one of these places where no amount of testing can help, only
a detailed knowledge of the formal semantics of the refrence manual
can tell you if a given execution is indeed erroneous -- it is not something
you can (necessarily) observe.
next prev parent reply other threads:[~1996-04-28 0:00 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-04-28 0:00 Free'ing extended types Jonas Nygren
1996-04-28 0:00 ` Robert Dewar [this message]
1996-04-29 0:00 ` Jonas Nygren
1996-04-29 0:00 ` Robert A Duff
1996-04-29 0:00 ` Robert Dewar
1996-04-29 0:00 ` Robert A Duff
1996-04-29 0:00 ` Jonas Nygren
1996-05-20 0:00 ` Type conversion between access types (was: Free'ing extended types) Scott Leschke
1996-05-21 0:00 ` Robert A Duff
1996-05-22 0:00 ` Scott Leschke
1996-05-23 0:00 ` Robert A Duff
1996-05-23 0:00 ` progers
1996-05-24 0:00 ` Scott Leschke
1996-05-24 0:00 ` Robert A Duff
1996-05-21 0:00 ` Dale Stanbrough
1996-05-21 0:00 ` Robert A Duff
1996-04-29 0:00 ` Free'ing extended types Laurent Guerby
1996-04-29 0:00 ` Robert A Duff
1996-04-29 0:00 ` Laurent Guerby
1996-04-29 0:00 ` Robert A Duff
1996-04-29 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
1996-04-26 0:00 Jonas Nygren
1996-04-26 0:00 ` Laurent Guerby
1996-04-27 0:00 ` Jerry van Dijk
1996-04-28 0:00 ` Robert Dewar
1996-04-28 0:00 ` Jonas Nygren
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox