From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Can compilers do this?
Date: 1996/02/23
Date: 1996-02-23T00:00:00+00:00 [thread overview]
Message-ID: <dewar.825137355@schonberg> (raw)
In-Reply-To: Dn99FB.Dn@world.std.com
Robert Duff said, answering a question
">My guess is that on that machine signed zeros exist and that -0.0 < 0.0
>and that -0.0 * 0.0 => 0.0, thus the above gives the right answer when
>given a -0.0.
Ada 83 doesn't say anything about signed zeros."
Yes, true, but even in Ada 83 if a compiler
(a) generated -0.0 values as the result of executing correct Ada code
and
(b) gave a result of false for -0.0 = +0.0, or true for -0.0 < +0.0
then this would plainly be a (significant) bug in the compiler
next prev parent reply other threads:[~1996-02-23 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-02-22 0:00 Can compilers do this? BWBurnsed
1996-02-23 0:00 ` Robert Dewar
1996-02-23 0:00 ` Mark A Biggar
1996-02-24 0:00 ` Robert A Duff
1996-02-23 0:00 ` Robert Dewar [this message]
1996-02-25 0:00 ` Robert Dewar
1996-02-23 0:00 ` Stuart Palin
1996-02-23 0:00 ` Robert Dewar
1996-02-23 0:00 ` Cordes MJ
1996-02-26 0:00 ` Robert I. Eachus
1996-02-26 0:00 ` BWBurnsed
-- strict thread matches above, loose matches on Subject: below --
1996-02-26 0:00 Marin David Condic, 407.796.8997, M/S 731-93
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox