Re: How to catch NaNs with gnat3.14p

[Preben Randhol <randhol+abuse@pvv.org>]

On Fri, 1 Feb 2002 14:49:56 +0100, Alexander Boucke wrote:
> Hello!
> 
> One of the announced features of gnat3.14p is the ability to raise contraint
> error, when NaN or Inf occures. But how to do it? I was not able to find
[...]
> 
> Did I miss something?

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.�