From: "Alexander Boucke" <alexb@lufmech.rwth-aachen.de>
Subject: Re: How to catch NaNs with gnat3.14p
Date: Fri, 1 Feb 2002 15:37:05 +0100
Date: 2002-02-01T14:37:09+00:00 [thread overview]
Message-ID: <a3e96l$54u$1@nets3.rz.RWTH-Aachen.DE> (raw)
In-Reply-To: slrna5l92d.786.randhol+abuse@kiuk0156.chembio.ntnu.no
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1198 bytes --]
Preben Randhol wrote in message ...
>I don't have 3.14p yes, so what does it say in the : Run-time Checks
>part of the GNAT User Guide? In 3.13p it says:
>
>`-gnato'
> Enables overflow checking for integer operations. This causes
> GNAT to generate slower and larger executable programs by adding
> code to check for both overflow and division by zero (resulting in
> raising `Constraint_Error' as required by Ada semantics). Note
> that the `-gnato' switch does not affect the code generated for
> any floating-point operations; it applies only to integer
> operations. For floating-point, GNAT has the `Machine_Overflows'
> attribute set to `False' and the normal mode of operation is to
> generate IEEE NaN and infinite values on overflow or invalid
> operations (such as dividing 0.0 by 0.0).
>
>
>--
>Preben Randhol �For me, Ada95 puts back the joy in programming.�
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.
Regards,
Alexander
next prev parent reply other threads:[~2002-02-01 14:37 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 [this message]
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
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