From: dewar@gnat.com (Robert Dewar)
Subject: Re: How to catch NaNs with gnat3.14p
Date: 1 Feb 2002 22:21:54 -0800
Date: 2002-02-02T06:21:54+00:00 [thread overview]
Message-ID: <5ee5b646.0202012221.17665dfb@posting.google.com> (raw)
In-Reply-To: a3e96l$54u$1@nets3.rz.RWTH-Aachen.DE
"Alexander Boucke" <alexb@lufmech.rwth-aachen.de> wrote in message news:<a3e96l$54u$1@nets3.rz.RWTH-Aachen.DE>...
> This read similar in the gnat3.14p UG, but in the
> features-file included it says
> that gnat has now been modified so that all generated
> NaNs "will always fail any range check and cause
> Constraint_Error to be raised". That's what I was
> looking for.
And indeed this is true, but your original code had no
range checks, since you had only unconstrained floating-point types,
so obviously such a program is
unaffected by a change in the behavior of range checks!
next prev parent reply other threads:[~2002-02-02 6:21 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-01 13:49 How to catch NaNs with gnat3.14p Alexander Boucke
2002-02-01 14:18 ` Preben Randhol
2002-02-01 14:37 ` Alexander Boucke
2002-02-01 14:55 ` Preben Randhol
2002-02-01 14:59 ` Alexander Boucke
2002-02-01 15:30 ` Preben Randhol
2002-02-01 16:10 ` Alexander Boucke
2002-02-01 16:10 ` Jeffrey Creem
2002-02-02 6:23 ` Robert Dewar
2002-02-02 6:21 ` Robert Dewar [this message]
2002-02-04 8:57 ` Alexander Boucke
2002-02-02 6:20 ` Robert Dewar
2002-02-02 12:49 ` Preben Randhol
2002-02-02 22:56 ` Robert Dewar
2002-02-01 20:22 ` Robert Dewar
2002-02-03 13:27 ` Marc A. Criley
2002-02-03 23:06 ` Robert Dewar
2002-02-04 13:05 ` Marc A. Criley
2002-02-05 1:06 ` 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