Re: How to catch NaNs with gnat3.14p

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

On 1 Feb 2002 22:20:14 -0800, Robert Dewar wrote:
> Preben Randhol <randhol+abuse@pvv.org> wrote in message news:<slrna5l92d.786.randhol+abuse@kiuk0156.chembio.ntnu.no
> 
>> `-gnato'
>>      Enables overflow checking for integer operations.  
> 
> This is entirely irrelevant, as per your quote, this
> relates to *integer* operations, it has nothing to do 
> with floating-point.

So is this comment! I would appreciate if you didn't cut down my post
in such a bad manner! I said:

   I don't have 3.14p yet, so what does it say in the : Run-time Checks
   part of the GNAT User Guide? In 3.13p it says:

And then I included the snip from the User Guide which clearly states
that the overflow is not checked for floats in 3.13p so if the User
Guide says the same in 3.14p it must mean that there isn't any overflow
checks in 3.14p for floats either.

Preben